Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V.
& Pol, J. V. D. (2022).
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones.
Information Systems,
103, Article 101456.
https://doi.org/10.1016/j.is.2019.101456Bizjak, A., Birkedal, L. & Miculan, M. (2014).
A model of countable nondeterminism in guarded type theory. In G. Dowek (Ed.),
Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (pp. 108-123). Springer VS.
https://doi.org/10.1007/978-3-319-08918-8_8
Bizjak, A. & Birkedal, L. (2015).
Step-indexed logical relations for probability. In A. Pitts (Ed.),
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (pp. 279-294 ). Springer VS.
https://doi.org/10.1007/978-3-662-46678-0_18
Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E.
& Birkedal, L. (2016).
Guarded dependent type theory with coinductive types. In B. Jacobs & C. Löding (Eds.),
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Vol. 9634, pp. 20-35). Springer VS.
https://doi.org/10.1007/978-3-662-49630-5_2
Birkedal, L., Reus, B., Schwinghammer, J., Støvring, K., Thamsborg, J. J. & Yang, H. (2011).
Step-Indexed Kripke Models over Recursive Worlds. In
Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA (pp. 119-132). Association for Computing Machinery.
Birkedal, L., Støvring, K. & Thamsborg, J. J. (2009).
Relational Parametricity for References and Recursive Types. In A. Kennedy & A. Ahmed (Eds.),
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. (pp. 91-104). Association for Computing Machinery.
Birkedal, L., Støvring, K. & Thamsborg, J. (2009).
Realizability semantics of parametric polymorphism, general references, and recursive types. In L. D. Alfaro (Ed.),
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings (pp. 456-470). Springer.
https://doi.org/10.1007/978-3-642-00596-1_32
Birkedal, L. & Yang, H. (2007).
Relational parametricity and separation logic. In S. Helmut (Ed.),
Foundations of Software Science and Computation Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings (pp. 93-107). Springer.
https://doi.org/10.1007/978-3-540-71389-0_8
Birkedal, L., Debois, S.
& Hildebrandt, T. (2006).
Sortings for reactive systems. In C. Baier & H. Hermanns (Eds.),
CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings (pp. 248-262). Springer.
https://doi.org/10.1007/11817949_17
Birkedal, L., Debois, S., Elsborg, E.
, Hildebrandt, T. & Niss, H. (2006).
Bigraphical models of context-aware systems. In L. Aceto & A. Ingólfsdóttir (Eds.),
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings (Vol. 3921 , pp. 187-201). Springer VS.
https://doi.org/10.1007/11690634_13
