Concepedia

Georg Neis

GN

Statistics

Publications

12

Citations

602

H-Index

11

Active since

2009

Affiliations

Max Planck Institute for Software Systems(Current)

IT University of Copenhagen

Max Planck Society

Microsoft Research (United Kingdom)

Saarland University

Georg Neis is an author at Max Planck Institute for Software Systems specializing in computer science, computing, and programming languages.

Publications per year

2009–2015

12

Publications

12

The power of parameterization in coinductive proof

Chung-Kil Hur, Georg Neis, Derek Dreyer et al. · 2013 · 98 citations

, , +13

Pilsner: a compositionally verified compiler for a higher-order imperative language

Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser et al. · 2015 · 91 citations

, , +10

The impact of higher-order state and control effects on local relational reasoning

Derek Dreyer, Georg Neis, Lars Birkedal · 2010 · 86 citations

, , +12

The impact of higher-order state and control effects on local relational reasoning

Derek Dreyer, Georg Neis, Lars Birkedal · Journal of Functional Programming · 2012 · 72 citations · Full text

, , +12

The marriage of bisimulations and Kripke logical relations

Chung-Kil Hur, Derek Dreyer, Georg Neis et al. · 2012 · 60 citations

, , +14

1–5 of 12