Medverkande i utredning : Patrik Jansson

Danielson, Johan, Svenningsson, Anna, Jansson, Patrik och Läckgren, Göran, Controlled long term outcome of pyloromyotomy for pyloric stenosis [Elektronisk resurs] No long-term adverse effect, Journal of Pediatric Surgery, 2022, 57 nr 11, 736–739

Jansson, Patrik, Ionescu, Cezar och Bernardy, Jean-Philippe, Domain-Specific Languages of Mathematics, 2022, College publications

Jansson, Patrik, Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming [Elektronisk resurs], 2009, ACM

Jansson, Patrik och Roland, Magnus, Effektivisering av våtrumsrenoveringar : Med speciell hänsyn tagen till tillval – och kommunikationsprocessen /, 2007, Chalmers tekniska högskola, Göteborg

Jansson, Patrik, Functional polytypic programming, 2000, Chalmers tekniska högsk. och Chalmers tekniska högsk., Göteborg och Göteborg

Ageskog, Lars och Jansson, Patrik, Heat propagation in and around the deep repository : thermal calculations applied to three hypothetical sites: Aberg, Beberg and Ceberg, 1999, Svensk kärnbränslehantering AB, Stockholm

Gustafsson, Gary och Jansson, Patrik, Dimensionering och analys av samverkansbjälklag i Microsoft Excel, 1998, Ingenjörs- och sjöbefälsskolan vid Chalmers tekniska högsk., Göteborg

Eriksson, Niklas, Gustavsson, Gary och Jansson, Patrik, Myresjöhus Villa Växa i virtual reality, 1997, Ingenjörs- och sjöbefälsskolan vid Chalmers tekniska högsk., Göteborg

Jansson, Patrik, Functional polytypic programming use and implementation, 1997, Dept. of Computing Science, Göteborg

SD-kuriren, 1991, Sverigedemokraterna, Sverigedemokraterna och Tigertryck, Stockholm, Stockholm och Lund

Jansson, Patrik, Proceedings of the 2009 Acm Sigplan Workshop on Generic Programming [Elektronisk resurs], uuuu

Bernardy, Jean-Philippe och Jansson, Patrik, Domain-Specific Tensor Languages, Journal of functional programming, 2025, 35

Ekmark, Ida, Hoppe, Mathias, Fülöp, Tünde-Maria, Tinguely, R. A., Sweeney, R., Jansson, Patrik, Antonsson, Liam, Vallhagen, Oskar och Pusztai, Istvan, Fluid and kinetic modeling of runaway electron generation from tritium beta decay and Compton scattering, 50th EPS Conference on Plasma Physics, EPS 2024, 2024, : European Physical Society (EPS)

Ekmark, Ida, Hoppe, Mathias, Fülöp, Tünde-Maria, Jansson, Patrik, Antonsson, Liam, Vallhagen, Oskar och Pusztai, Istvan, Fluid and kinetic studies of tokamak disruptions using Bayesian optimization, Journal of Plasma Physics, 2024, 90 nr 3, : Cambridge University Press (CUP)

Botta, Nicola, Brede, Nuria, Crucifix, Michel, Ionescu, Cezar, Jansson, Patrik, Li, Zheng, Martínez, Marina och Richter, Tim, Responsibility Under Uncertainty: Which Climate Decisions Matter Most?, Environmental Modeling and Assessment, 2023, 28 nr 3, s. 337–365, : Springer Science and Business Media LLC

Ekmark, Ida, Pusztai, Istvan, Hoppe, Mathias, Jansson, Patrik och Fülöp, Tünde-Maria, Bayesian optimization of disruption scenarios with fluid-kinetic models, 49th EPS Conference on Plasma Physics, EPS 2023, 2023, : European Physical Society (EPS)

Jansson, Julia och Jansson, Patrik, Level-p-complexity of Boolean functions using thinning, memoization, and polynomials, Journal of Functional Programming, 2023, 33

Pusztai, Istvan, Ekmark, Ida, Bergström, H., Halldestam, P., Jansson, Patrik, Hoppe, M., Vallhagen, Oskar och Fülöp, Tünde-Maria, Bayesian optimization of massive material injection for disruption mitigation in tokamaks, Journal of Plasma Physics, 2023, 89 nr 2

Danielson, Johan, Svenningsson, A, Jansson, Patrik och Läckgren, Göran, Controlled long term outcome of pyloromyotomy for pyloric stenosis : No long-term adverse effect, Journal of Pediatric Surgery, 2022, 57 nr 11, s. 736–739, : Elsevier

Jansson, Patrik, Ionescu, Cezar och Bernardy, Jean-Philippe, Domain-Specific Languages of Mathematics, 2022, College Publications, London

Botta, Nicola, Brede, Nuria, Jansson, Patrik och Richter, Tim, Extensional equality preservation and verified generic programming, Journal of Functional Programming, 2021, 31

Botta, N., Brede, N., Jansson, Patrik och Richter, T., Extensional equality preservation and verified generic programming, Journal of Functional Programming, 2021, 31, : Cambridge University Press (CUP)

Algehed, Maximilian, Jansson, Patrik, Einarsdóttir, Sólrún och Gerdes, Alex, Saint: an API-generic type-safe interpreter, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11457 LNCS, s. 94–113, Cham : Springer International Publishing

Jansson, Patrik, Einarsdóttir, Sólrún och Ionescu, Cezar, Examples and Results from a BSc-level course on domain specific languages of mathematics, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 295, s. 79–90

Krook, Robert och Jansson, Patrik, An Algebra of Sequential Decision Problems, 2019

Botta, Nicola, Jansson, Patrik och Ionescu, Cezar, The impact of uncertainty on optimal emission policies, Earth System Dynamics, 2018, 9 nr 2, s. 525–542, : Copernicus GmbH

Ionescu, Cezar, Jansson, Patrik och Botta, Nicola, Type theory as a framework for modelling and programming, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11244 LNCS nr 1, s. 119–133, Cham : Springer International Publishing

Algehed, Maximilian och Jansson, Patrik, VisPar: Visualising dataflow graphs from the Par monad, 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC 2017, Oxford, United Kingdom, 7 September 2017, 2017,, s. 24–29, New York, NY, USA : ACM

Botta, N., Jansson, Patrik och Ionescu, Cesar, Contributions to a computational theory of policy advice and avoidability, Journal of Functional Programming, 2017, 27, s. 1–52, : Cambridge University Press (CUP)

Botta, Nicola, Jansson, Patrik och Ionescu, Cezar, Contributions to a computational theory of policy advice and avoidability, Journal of Functional Programming, 2017, 27, s. 1–52

Botta, Nicola, Jansson, Patrik, Ionescu, Cezar, Christiansen, David R. och Brady, Edwin, Sequential decision problems, dependent types and generic solutions, Logical Methods in Computer Science, 2017, 13 nr 1

Bernardy, Jean-Philippe och Jansson, Patrik, Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda, Logical Methods in Computer Science, 2016, 12 nr 2, s. 28-

Ionescu, Cezar och Jansson, Patrik, Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016, 230, s. 1–15

Sandberg Eriksson, Adam och Jansson, Patrik, An Agda formalisation of the transitive closure of block matrices (Extended Abstract), TyDe 2016 Proceedings of the 1st International Workshop on Type-Driven Development, 2016,, s. 2-, New York, NY, USA : ACM

Ionescu, Cezar och Jansson, Patrik, Dependently-typed programming in scientific computing: Examples from economic modelling, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 8241 LNCS, Berlin, Heidelberg : Springer Berlin Heidelberg

Ionescu, Cezar och Jansson, Patrik, Testing versus proving in climate impact research, Leibniz International Proceedings in Informatics, LIPIcs, 2013, 19, s. 41–54