Step-Indexed Relational Reasoning for Countable Nondeterminism
Birkedal, Lars, Bizjak, Aleš, Schwinghammer, Jan
Published in Logical methods in computer science (15.10.2013)
Published in Logical methods in computer science (15.10.2013)
Get full text
Journal Article
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees
Birkedal, L., Mogelberg, R. E., Schwinghammer, J., Stovring, K.
Published in 2011 IEEE 26th Annual Symposium on Logic in Computer Science (01.06.2011)
Published in 2011 IEEE 26th Annual Symposium on Logic in Computer Science (01.06.2011)
Get full text
Conference Proceeding
Nested Hoare Triples and Frame Rules for Higher-order Store
Schwinghammer, Jan, Birkedal, Lars, Reus, Bernhard, Yang, Hongseok
Published in Logical methods in computer science (01.01.2011)
Published in Logical methods in computer science (01.01.2011)
Get full text
Journal Article
Observational program calculi and the correctness of translations
Schmidt-Schauß, Manfred, Sabel, David, Niehren, Joachim, Schwinghammer, Jan
Published in Theoretical computer science (27.04.2015)
Published in Theoretical computer science (27.04.2015)
Get full text
Journal Article
A Typed Semantics of Higher-Order Store and Subtyping
Get full text
Book Chapter
Conference Proceeding
Denotational semantics for a program logic of objects
REUS, BERNHARD, SCHWINGHAMMER, JAN
Published in Mathematical structures in computer science (01.04.2006)
Published in Mathematical structures in computer science (01.04.2006)
Get full text
Journal Article
A step-indexed Kripke model of hidden state
SCHWINGHAMMER, JAN, BIRKEDAL, LARS, POTTIER, FRANÇOIS, REUS, BERNHARD, STØVRING, KRISTIAN, YANG, HONGSEOK
Published in Mathematical structures in computer science (01.02.2013)
Published in Mathematical structures in computer science (01.02.2013)
Get full text
Journal Article
Coiling device for a large range of metal strip thicknesses
Bischoff, Matthias, Hofer, Roland, Neumüller, Mathias, Ostheimer, Pascal, Schwinghammer, Jan, Salzmann, Christoph
Year of Publication 20.02.2024
Get full text
Year of Publication 20.02.2024
Patent
REEL DEVICE FOR LARGE THICKNESS RANGE OF METAL STRIPS
Bischoff, Matthias, Hofer, Roland, Neumüller, Mathias, Ostheimer, Pascal, Schwinghammer, Jan, Salzmann, Christoph
Year of Publication 01.11.2023
Get full text
Year of Publication 01.11.2023
Patent
REEL DEVICE FOR LARGE THICKNESS RANGE OF METAL STRIPS
Bischoff, Matthias, Hofer, Roland, Neumüller, Mathias, Ostheimer, Pascal, Schwinghammer, Jan, Salzmann, Christoph
Year of Publication 01.11.2023
Get full text
Year of Publication 01.11.2023
Patent
Denotational Semantics for Abadi and Leino’s Logic of Objects
Get full text
Book Chapter
Conference Proceeding
COILING DEVICE FOR A LARGE RANGE OF METAL STRIP THICKNESSES
HOFER, Roland, NEUMÜLLER, Mathias, OSTHEIMER, Pascal, Schwinghammer, Jan, Salzmann, Christoph, BISCHOFF, Matthias
Year of Publication 23.06.2022
Get full text
Year of Publication 23.06.2022
Patent
A Concurrent Lambda Calculus with Futures
Niehren, Joachim, Schwinghammer, Jan, Smolka, Gert
Published in Frontiers of Combining Systems (2005)
Published in Frontiers of Combining Systems (2005)
Get full text
Book Chapter
Conference Proceeding