Publications2024-07-29T13:30:35+00:00

Publications & Reports

Filter by

Filters
Year

Generators and Bases for Monadic Closures.

Stefan Zetzsche, Alexandra Silva and Matteo Sammartino.

In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 270, pp. 11:1-11:19, 2023

Verifying Read-Copy Update Under RC11.

Mikhail Semenyuk, Mark Batty and Brijesh Dongol.

In: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, vol 14323. Springer, Cham. 2023

Foundations of Persistent Programming.

Hans-J. Boehm, Ori Lahav, and Azalea Raad.

In Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) 2022

Blockchain Superoptimizer.

Julian Nagele and Maria A Schett.

Preproceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2019, 166-180. 2019

Distributed Protocol Combinators.

Kristoffer J. A. Andersen and Ilya Sergey.

In: Alferes, J., Johansson, M. (eds) Practical Aspects of Declarative Languages. PADL 2019. Lecture Notes in Computer Science, vol 11372. 2019

Omega-Regular Reward Machines.

Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak.

In Proc. 26th European Conference on Artificial Intelligence (ECAI 2023), pp. 972–979. 2023.

Go to Top