Concepedia

Jan Schwinghammer

JS

Statistics

Publications

10

Citations

407

H-Index

10

Active since

2006

Affiliations

Saarland University(Current)

IT University of Copenhagen

University of Copenhagen

University of Sussex

Institut national de recherche en sciences et technologies du numérique

Jan Schwinghammer is an author at Saarland University specializing in computing, computer science, and programming languages.

Publications per year

2006–2015

10

Publications

10

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer et al. · Logical Methods in Computer Science · 2012 · 76 citations · Full text

, , +16

A concurrent lambda calculus with futures

Joachim Niehren, Jan Schwinghammer, Gert Smolka · Theoretical Computer Science · 2006 · 72 citations

, , +8

First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees

Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer et al. · 2011 · 70 citations

, , +16

Step-indexed kripke models over recursive worlds

Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al. · ACM SIGPLAN Notices · 2011 · 56 citations · Full text

, , +10

Step-indexed kripke models over recursive worlds

Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al. · 2011 · 43 citations

, , +10

1–5 of 10