Concepedia

Patrick Bahr

PB

8

Publications

172

Citations

8

H-Index

2010

Active since

Affiliations

University of Copenhagen(Current)

Patrick Bahr is an author at University of Copenhagen specializing in program analysis, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

2010–2017

8

Publications

8

Compositional data types

Patrick Bahr, Tom Hvitved · 2011 · 45 citations

The clocks are ticking: No more delays!

Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg · 2017 · 35 citations · Full text

, , +15

Certified symbolic management of financial multi-party contracts

Patrick Bahr, Jost Berthold, Martin Elsman · 2015 · 22 citations

, , +23

Calculating correct compilers

Patrick Bahr, Graham Hutton · Journal of Functional Programming · 2015 · 18 citations · Full text

, , +18

Parametric Compositional Data Types

Patrick Bahr, Tom Hvitved · Electronic Proceedings in Theoretical Computer Science · 2012 · 16 citations · Full text

, , +21

Rows per page

1–5 of 8