Biering, B.
, Birkedal, L. & Torp-Smith, N. (2005).
BI hyperdoctrines and higher-order separation logic. In M. Sagiv (Ed.),
Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings (pp. 233-247). Springer.
https://doi.org/10.1007/978-3-540-31987-0_17
Birkedal, L., Bundgaard, M., Debois, S., Elsborg, E., Glenstrup, A. J., Hildebrandt, T., Milner, R. & Niss, H. (2006).
Bigraphical Programming Languages for Pervasive Computing. In T. Strang, V. Cahill & A. Quigley (Eds.),
Proceedings of Pervasive 2006 International Workshop on Combining Theory and Systems Building in Pervasive Computing (CTSB'06 (pp. 653-658)
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
Oortwijn, W., Huisman, M., Joosten, S. J. C.
& van de Pol, J. (2020).
Automated verification of parallel nested DFS. In A. Biere & D. Parker (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (pp. 247-265). Springer.
https://doi.org/10.1007/978-3-030-45190-5_14
Larsen, C. A., Schmidt, S. M., Steensgaard, J.
, Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023).
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. In S. Sankaranarayanan & N. Sharygina (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (pp. 353-371). Springer.
https://doi.org/10.1007/978-3-031-30820-8_22
Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J.
& Birkedal, L. (2024).
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic.
Proceedings of the ACM on Programming Languages ,
8(POPL), Article 26.
https://doi.org/10.1145/3632868
Schwinghammer, J.
, Birkedal, L. & Støvring, K. (2011).
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. In M. Hofmann (Ed.),
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings (pp. 305-319). Springer.
https://doi.org/10.1007/978-3-642-19805-2_21
Schwinghammer, J.
, Birkedal, L., Pottier, F., Reus, B., Støvring, K. & Yang, H. (2013).
A step-indexed Kripke model of hidden state.
Mathematical Structures in Computer Science,
23(1), 1-54.
https://doi.org/10.1017/S0960129512000035
Schwinghammer, J., Yang, H.
, Birkedal, L., Pottier, F. & Reus, B. (2010).
A semantic foundation for hidden state. In L. Ong (Ed.),
Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 2-17). Springer.
https://doi.org/10.1007/978-3-642-12032-9_2
Dreyer, D., Neis, G., Rossberg, A.
& Birkedal, L. (2010).
A relational modal logic for higher-order stateful ADTs. In M. Hermenegildo & J. Palsberg (Eds.),
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 (pp. 185-198). Association for Computing Machinery.
https://doi.org/http://doi.acm.org/10.1145/1706299.1706323
Sørensen, J. A., Kristoffersen, K. J., Cervera, A., Schiøtz, M., Lynge, T., Safar, Z.
& Birkedal, L. (2004).
An infrastructure for context dependent mobile multimedia communication. In
2004 IEEE 6th Workshop on Multimedia Signal Processing (pp. 462-464). IEEE Press.
https://doi.org/10.1109/MMSP.2004.1436595
Krogh-Jespersen, M.
, Timany, A., Ohlenbusch, M. E.
, Gregersen, S. O. & Birkedal, L. (2020).
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. In P. Müller (Ed.),
Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (pp. 336-365). Springer.
https://doi.org/10.1007/978-3-030-44914-8_13
Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L.
, van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N. (2021).
An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation.
Frontiers in Bioengineering and Biotechnology,
9, Article 732917.
https://doi.org/10.3389/fbioe.2021.732917
Hammond, A.
, Liu, Z., Pérami, T., Sewell, P.
, Birkedal, L. & Pichon-Pharabod, J. (2024).
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.
Proceedings of the ACM on Programming Languages ,
8, 604-637. Article 21.
https://doi.org/10.1145/3632863
Bizjak, 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
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.101456
Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B. (2022).
Adiar Binary Decision Diagrams in External Memory. In D. Fisman & G. Rosu (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 295-313). Springer.
https://doi.org/10.1007/978-3-030-99527-0_16
Sølvsten, S. & van de Pol, J. (2023).
Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. In K. Y. Rozier & S. Chaudhuri (Eds.),
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (pp. 464-471). Springer.
https://doi.org/10.1007/978-3-031-33170-1_28