Mathematical Institute

Filter
Conference contribution

Search results

  • 2025

    Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories

    Ahrens, B., Lumsdaine, P. L. F. & North, P. R., 2025, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Proceedings. Kiselyov, O. (ed.). Springer, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Insights from Univalent Foundations: A Case Study Using Double Categories

    Rasekh, N., van der Weide, N., Ahrens, B. & North, P. R., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl Publishing, p. 45:1-45:18 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2024

    Emergence and Approximation of Tori

    Bakri, T. & Verhulst, F., 27 Feb 2024, Advances in Nonlinear Dynamics and Control of Mechanical and Physical Systems: Selected Articles from CSNDD 2023; 15–17 May; Marrakesh, Morocco. Belhaq, M. (ed.). 1 ed. Singapore: Springer, p. 1-22 22 p. (Springer Proceedings in Physics; vol. 301).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Exponential Steepest Ascent from Valued Constraint Graphs of Pathwidth Four

    Kaznatcheev, A. & Van Marle, M., Aug 2024, 30th International Conference on Principles and Practice of Constraint Programming, CP 2024. Shaw, P. (ed.). Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 307).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Formalizing the Algebraic Small Object Argument in UniMath

    Hilhorst, D. & North, P. R., 2 Sept 2024, 15th International Conference on Interactive Theorem Proving, ITP 2024. Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Dagstuhl Publishing, 18 p. 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Univalent Double Categories

    Van Der Weide, N., Rasekh, N., Ahrens, B. & North, P. R., 9 Jan 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). Association for Computing Machinery, p. 246-259 14 p. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2023

    Adjoint operators enable fast and amortized machine learning based Bayesian uncertainty quantification

    Orozco, R., Siahkoohi, A., Rizzuti, G., van Leeuwen, T. & Herrmann, F., 2023, Medical Imaging 2023: Image Processing. Colliot, O. & Isgum, I. (eds.). SPIE, 124641L. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 12464).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters

    Bodlaender, H. L., Groenland, C. & Pilipczuk, M., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 261).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2022

    Exact k-way sparse matrix partitioning

    Jenneskens, E. L. & Bisseling, R. H., 2022, Proceedings - 2022 IEEE 36th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2022. IEEE, p. 754-763 10 p. (Proceedings - 2022 IEEE 36th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • List Colouring Trees in Logarithmic Space

    Bodlaender, H. L., Groenland, C. & Jacob, H., 1 Sept 2022, 30th Annual European Symposium on Algorithms, ESA 2022. Chechik, S., Navarro, G., Rotenberg, E. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 24:1-24:15 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 244).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • On the Complexity of Problems on Tree-Structured Graphs

    Bodlaender, H. L., Groenland, C., Jacob, H., Pilipczuk, M. & Pilipczuk, M., 1 Dec 2022, 17th International Symposium on Parameterized and Exact Computation, IPEC 2022. Dell, H. & Nederlof, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 6:1-6:17 17 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 249).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • On the Parameterized Complexity of Computing Tree-Partitions

    Bodlaender, H. L., Groenland, C. & Jacob, H., 1 Dec 2022, 17th International Symposium on Parameterized and Exact Computation, IPEC 2022. Dell, H. & Nederlof, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 7:1-7:20 20 p. 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 249).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space

    Bodlaender, H. L., Groenland, C., Nederlof, J. & Swennenhuis, C. M. F., 2022, Proceedings - 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science, FOCS 2021. IEEE, p. 193-204 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Problems Hard for Treewidth but Easy for Stable Gonality

    Bodlaender, H. L., Cornelissen, G. & Wegen, M. V. D., 1 Oct 2022, Graph-Theoretic Concepts in Computer Science: 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers. Bekos, M. A. & Kaufmann, M. (eds.). 1 ed. Springer, p. 84-97 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13453 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Tight Bounds for Counting Colorings and Connected Edge Sets Parameterized by Cutwidth

    Groenland, C., Mannens, I., Nederlof, J. & Szilágyi, K., 2022, 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, p. 36:1--36:20 (Leibniz International Proceedings in Informatics (LIPIcs); vol. 219).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure

    Bodlaender, H. L., Groenland, C., Jacob, H., Jaffke, L. & Lima, P. T., 1 Dec 2022, 17th International Symposium on Parameterized and Exact Computation, IPEC 2022. Dell, H. & Nederlof, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 8:1-8:18 18 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 249).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2021

    A Matrix Version of Dwork’s Congruences

    Beukers, F., 3 Nov 2021, Transcendence in Algebra, Combinatorics, Geometry and Number Theory: TRANS19 – Transient Transcendence in Transylvania, Brașov, Romania, May 13–17, 2019, Revised and Extended Contributions. Bostan, A. & Raschel, K. (eds.). 1 ed. Springer, p. 47-59 13 p. (Springer Proceedings in Mathematics and Statistics; vol. 373).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Approximate Langevin Monte Carlo with Adaptation for Bayesian Full-Waveform Inversion

    Izzatullah, M., Van Leeuwen, T. & Peter, D., Oct 2021, 82nd EAGE Annual Conference & Exhibition. EAGE Publications bv, Vol. 2021. p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2020

    A projection-based data partitioning method for distributed tomographic reconstruction

    Buurlage, J.-W., Bisseling, R. H., Palenstijn, W. J. & Batenburg, K. J., 1 Jan 2020, Proceedings of the 2020 SIAM Conference on Parallel Processing for Scientific Computing. SIAM, p. 58-68 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Combinatorial Tiling for Sparse Neural Networks

    Pawłowski,, F., Bisseling, R. H., Uçar , B. & Yzelman, A.-J. N., 2020, Proceedings 2020 IEEE High Performance Extreme Computing Conference (HPEC). IEEE, p. 1-7

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Constructing Tree Decompositions of Graphs with Bounded Gonality

    Bodlaender, H. L., Bruyn, J. V. D. D., Gijswijt, D. & Smit, H., 2020, Computing and Combinatorics: 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings. Kim, D., Uma, R. N., Cai, Z. & Lee, D. H. (eds.). Cham: Springer, p. 384-396 13 p. ( Lecture Notes in Computer Science ; vol. 12273).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Deep data compression for approximate ultrasonic image formation

    Pilikos, G., Horchens, L., Batenburg, K. J., van Leeuwen, T. & Lucka, F., Sept 2020, 2020 IEEE International Ultrasonics Symposium. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
  • End-Member Modeling Analyses (EMMA) of pseudo-Thellier style experiments to derive absolute paleointensities from lavas

    van Grinsven, L. B., van Leeuwen, T. & de Groot, L. V., May 2020, EGU General Assembly Conference Abstracts, 19991 . 1 p. 19991

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Fast ultrasonic imaging using end-to-end deep learning

    Pilikos, G., Horchens, L., Batenburg, K. J., van Leeuwen, T. & Lucka, F., Sept 2020, 020 IEEE International Ultrasonics Symposium. IEEE, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • First steps towards deriving rock magnetic and paleomagnetic data from subsets of magnetic grains in lavas using Micromagnetic Tomography

    de Groot, L. V., Fabian, K., Béguin, A., Kosters, M. E., Fu, R., Harrson, R., Barnhoorn, A. & van Leeuwen, T., May 2020, EGU General Assembly Conference Abstracts: EGU2020-18114. EGU General Assembly 2020, 2 p. 18114

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Langevin Dynamics Markov Chain Monte Carlo Solution for Seismic Inversion

    Izzatullah, M., van Leeuwen, T. & Peter, D., Jul 2020, Conference Proceedings, 82nd EAGE Annual Conference & Exhibition. July ed. Amsterdam: European Association of Geoscientists and Engineers, EAGE, Vol. 2020. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2019

    Having fun in learning formal specifications

    Prasetya, I. S. W. B., Leek, C. Q. H. D., Melkonian, O., Tusscher, J. T., Bergen, J. V., Everink, J. M., Klis, T. V. D., Kostic, P., Meijerink, R., Oosenbrug, R., Oostveen, J. J., Pol, T. V. D., Vries, M. D. & Zon, W. M. V., 1 Mar 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2019. IEEE, p. 192-196 5 p. 8802100

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Reflection Tomographic Imaging of Highly Scattering Objects Using Incremental Frequency Inversion

    Kadu, A., Mansour, H., Boufounos, P. T. & Liu, D., 1 May 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. IEEE, Vol. 2019-May. p. 7735-7739 5 p. 8682393

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Sixth-order adaptive non-uniform grids for singularly perturbed boundary value problems

    Iqbal, S. & Zegeling, P. A., Jan 2019, Numerical geometry, grid generation and scientific computing: proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, celebrating the 150th anniversary of G.F. Voronoi, Moscow, Russia, December 2018. Garanzha, V. A., Kamenski, L. & Si, H. (eds.). Springer, p. 109-124 16 p. (Lecture Notes in Computational Science and Engineering; vol. 131).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Stable Divisorial Gonality is in NP

    Bodlaender, H. L., Wegen, M. V. D. & Zanden, T. C. V. D., 2019, SOFSEM 2019: Theory and Practice of Computer Science: 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings. Catania, B., Královič, R., Nawrocki, J. & Pighizzini, G. (eds.). Springer, p. 81-93 13 p. (Lecture Notes in Computer Science; vol. 11376).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • THz Multi-Layer Imaging via Nonlinear Inverse Scattering

    Bose, A., Kadu, A., Mansour, H., Wang, P., Boufounos, P., Orlik, P. V. & Soltanalian, M., 1 Sept 2019, IRMMW-THz 2019 - 44th International Conference on Infrared, Millimeter, and Terahertz Waves. IEEE, Vol. 2019-September. 8874118

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2018

    BIPV courseware for higher education and professionals

    Sark, W. V., Leeuwen, J. V., Bontekoe, E., Louwen, A., Weiss, I., Arancón, S., Tabakovic, M., Fechner, H., Georghiou, G., Makrides, G., Hadjipanayi, M., Loucaidou, E. & Ioannidou, M., 2018, 2018 IEEE 7th World Conference on Photovoltaic Energy Conversion (WCPEC) (A Joint Conference of 45th IEEE PVSC, 28th PVSEC & 34th EU PVSEC). IEEE, p. 2476-2479 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Bulk: A Modern C++ Interface for Bulk-Synchronous Parallel Programs

    Buurlage, J. W., Bannink, T. & Bisseling, R. H., 27 Aug 2018, Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Proceedings. Torquati, M., Aldinucci, M. & Padovani, L. (eds.). Springer, p. 519-532 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11014 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Double Homotopy (Co)Limits for Relative Categories

    Werndli, K. R., 2018, An Alpine Bouquet of Algebraic Topology. American Mathematical Society, (Contemporary Mathematics; vol. 708).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Equalizing the Cost of Health Insurance

    Kadu, A. A., Beentjes, C., Di Bucchianico, A., Hamster, C., Man, I., Myerscough, K. W., Regis, M. & Richardson, O., Apr 2018, Proceedings of the 126th European Study Group Mathematics with Industry: SWI 2017. Crommelin, D., Kapodistria, S., Regts, G., Stolk, C. & van de Ven, P. (eds.). Studiegroep Wiskunde met de Industrie, p. 29-49 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

    Open Access
    File
  • Estimating the Regularization Parameter Efficiently

    Luiken, N. A. & van Leeuwen, T., 11 Jun 2018, 80th EAGE Conference and Exhibition 2018 . Vol. EAGE.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Hypergeometric Functions, from Riemann till Present

    Beukers, F., 15 Aug 2018, Uniformization, Riemann-Hilbert correspondence, Calabi-Yau manifolds & Picard-Fuchs equations. Ji, L. & Yau, S.-T. (eds.). Beijing: International Press, p. 1-19 (Adv. Let. Math (ALM); vol. 42).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Recognizing hyperelliptic graphs in polynomial time

    Bodewes, J. M., Bodlaender, H. L., Cornelissen, G. & van der Wegen, M., 1 Jan 2018, Graph-Theoretic Concepts in Computer Science - 44th International Workshop, WG 2018, Proceedings. Springer, p. 52-64 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11159 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • The navigation data in the Compasso de Navegare: Accuracy and provenance

    Nicolai, R., 8 Jun 2018, Second international workshop on the origin and evolution of Potolan charts. Utrecht University, p. 1-27

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
  • Theoretical analysis of beaconless geocast protocols in 1D

    Gudmundsson, J., Kostitsyna, I., Löffler, M., Müller, T., Sacristán, V. & Silveira, R. I., 2018, 2018 Proceedings of the Meeting on Analytic Algorithmics and Combinatorics (ANALCO). Nebel , M. & Wagner, S. (eds.). SIAM, p. 62-76

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Using dynamics to analyse time series

    Verduyn Lunel, S., 8 Feb 2018, Patterns of Dynamics - In Honour of Bernold Fiedler’s 60th Birthday. Gurevich, P., Hell, J., Scheel, A. & Sandstede, B. (eds.). Springer, p. 370-392 23 p. (Springer Proceedings in Mathematics and Statistics; vol. 205).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2017

    A neutral homoclinic bifurcation in a 3D map

    Meijer, H., Govaerts, W., Kuznetsov, Y. A. & Neirycnk, N., 2017, Proceedings of the 9th European Nonlinear Dynamics Conference. Stépán, G. & Csernák, G. (eds.). Budapest: CongressLIne Ltd., 2 p. ID 290

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • A parametric level-set method for partially discrete tomography

    Kadu, A., van Leeuwen, T. & Batenburg, K. J., 2017, Discrete Geometry for Computer Imagery - 20th IAPR International Conference, DGCI 2017, Proceedings. Springer, Vol. 10502 LNCS. p. 122-134 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10502 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Exponentially convergent data assimilation algorithm for Navier-Stokes equations

    Zhuk, S., Tchrakian, T. T. & Frank, J., 29 Jun 2017, 2017 American Control Conference, ACC 2017. IEEE, p. 3249-3256 8 p. 7963448

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Homoclinic orbits embedded in one-dimensional invariant manifolds of maps

    Neirynck, N., Govaerts, W., Kuznetsov, Y. A. & Meijer, H., 2017, Proceedings of the 9th European Nonlinear Dynamics Conference. Stépán, G. & Csernák, G. (eds.). Budapest: CongressLIne Ltd., 2 p. ID 149

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Joint parameter and state estimation for wave-based imaging and inversion

    Leeuwen, T. V., 1 Mar 2017, 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 6210-6214 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Mass transport generated by stratified internal wave boundary layers

    Beckebanze, F., Horne Iribane, E. & Maas, L. R. M., 2017, 4th International Symposium of Shallow Flows. 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Parametric level-set full-waveform inversion in the presence of salt bodies

    Kadu, A. A., van Leeuwen, T. & Mulder, W., 17 Aug 2017, SEG Technical Program Expanded Abstracts 2017. p. 1518-1522 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Switching to nonhyperbolic cycles from codim-2 bifurcations of equilibria in DDEs

    Bosschaert, M., Janssens, S. G. & Kuznetsov, Y. A., 2017, Proceedings of the 9th European Nonlinear Dynamics Conference. Stépán, G. & Csernák , G. (eds.). Budapest: CongressLIne Ltd., 2 p. ID 276

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2016

    Conformal nets are factorization algebras

    Henriques, A., 17 Nov 2016, Conformal nets are factorization algebras.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic