Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Patrik Jansson - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Patrik Jansson

Bitr professor

Patrik Jansson
Bitr professor , Tf Prefekt
patrik.jansson@chalmers.se
0 31-772 5415

Rumsnummer: 5468
Besöksadress: Rännvägen 6 b , 41258 Göteborg


Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
www.chalmers.se/sv/institutioner/cse
cse@cse.gu.se
Fax: 0 317723663
Besöksadress: Rännvägen 6 B , 412 58 Göteborg

Senaste publikationer

Contributions to a computational theory of policy advice and avoidability
N. Botta, Patrik Jansson, Cesar Ionescu
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Sequential decision problems, dependent types and generic solutions
N. Botta, Patrik Jansson, Cesar Ionescu, D. R. Christiansen, E. Brady
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Certified context-free parsing: A formalisation of valiant’s algorithm in Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

An Agda formalisation of the transitive closure of block matrices (Extended Abstract)
Adam Sandberg Eriksson, Patrik Jansson
TyDe 2016 Proceedings of the 1st International Workshop on Type-Driven Development, Paper i proceeding 2016
Paper i proceeding

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Cezar Ionescu, Patrik Jansson
Proceedings 4th International Workshop on Trends in Functional Programming in Education, Paper i proceeding 2015
Paper i proceeding

GSS: Towards a Research Program for Global Systems Science
Carlo Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tabara
Germany, Global Climate Forum e.V., Bok 2013
Bok

Dependently-typed programming in scientific computing: Examples from economic modelling
Cezar Ionescu, Patrik Jansson
24th Symposium on Implementation and Application of Functional Languages (IFL 2012), Paper i proceeding 2013
Paper i proceeding

Global Systems Science orientation paper - background material
Carlo C. Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tàbara et al.
Rapport 2013
Rapport

Testing versus proving in climate impact research
Cezar Ionescu, Patrik Jansson
Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11), Paper i proceeding 2013
Paper i proceeding

Visar 1 - 10 av 53

2017

Contributions to a computational theory of policy advice and avoidability
N. Botta, Patrik Jansson, Cesar Ionescu
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Sequential decision problems, dependent types and generic solutions
N. Botta, Patrik Jansson, Cesar Ionescu, D. R. Christiansen, E. Brady
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

2016

Certified context-free parsing: A formalisation of valiant’s algorithm in Agda
Jean-Philippe Bernardy, Patrik Jansson
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

An Agda formalisation of the transitive closure of block matrices (Extended Abstract)
Adam Sandberg Eriksson, Patrik Jansson
TyDe 2016 Proceedings of the 1st International Workshop on Type-Driven Development, Paper i proceeding 2016
Paper i proceeding

2015

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Cezar Ionescu, Patrik Jansson
Proceedings 4th International Workshop on Trends in Functional Programming in Education, Paper i proceeding 2015
Paper i proceeding

2013

GSS: Towards a Research Program for Global Systems Science
Carlo Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tabara
Germany, Global Climate Forum e.V., Bok 2013
Bok

Dependently-typed programming in scientific computing: Examples from economic modelling
Cezar Ionescu, Patrik Jansson
24th Symposium on Implementation and Application of Functional Languages (IFL 2012), Paper i proceeding 2013
Paper i proceeding

Global Systems Science orientation paper - background material
Carlo C. Jaeger, Patrik Jansson, Sander van der Leeuw, Michael Resch, J. David Tàbara et al.
Rapport 2013
Rapport

Testing versus proving in climate impact research
Cezar Ionescu, Patrik Jansson
Proceedings of the 18th Workshop Types for Proofs and Programs (TYPES’11), Paper i proceeding 2013
Paper i proceeding

Visar 1 - 10 av 53

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?