`Travelled to:`

1 × Canada

1 × Cyprus

1 × Germany

1 × Hungary

1 × Iceland

1 × Norway

1 × Portugal

1 × USA

1 × United Kingdom

`Collaborated with:`

L.Birkedal B.Reus H.Yang K.Støvring R.E.Møgelberg F.Pottier J.Thamsborg

`Talks about:`

step (5) index (4) recurs (3) higher (3) store (3) order (3) model (3) logic (3) semant (2) hidden (2)

## Person: Jan Schwinghammer

### DBLP: Schwinghammer:Jan

### Contributed to:

### Wrote 9 papers:

- CSL-2011-SchwinghammerB #nondeterminism #reasoning #relational
- Step-Indexed Relational Reasoning for Countable Nondeterminism (JS, LB), pp. 512–524.
- FoSSaCS-2011-SchwinghammerBS #metric #recursion
- A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.
- LICS-2011-BirkedalMSS
- First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.
- POPL-2011-BirkedalRSSTY #modelling #recursion
- Step-indexed kripke models over recursive worlds (LB, BR, JS, KS, JT, HY), pp. 119–132.
- FoSSaCS-2010-SchwinghammerYBPR #semantics
- A Semantic Foundation for Hidden State (JS, HY, LB, FP, BR), pp. 2–17.
- CSL-2009-SchwinghammerBRY #higher-order #hoare
- Nested Hoare Triples and Frame Rules for Higher-Order Store (JS, LB, BR, HY), pp. 440–454.
- ICALP-B-2008-BirkedalRSY #higher-order #logic
- A Simple Model of Separation Logic for Higher-Order Store (LB, BR, JS, HY), pp. 348–360.
- CSL-2006-ReusS #higher-order #logic
- Separation Logic for Higher-Order Store (BR, JS), pp. 575–590.
- ESOP-2005-ReusS #logic #semantics
- Denotational Semantics for Abadi and Leino’s Logic of Objects (BR, JS), pp. 263–278.