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

Publications & Reports

Filter by

Filters
Year

Neural Networks, Secure by Construction.

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, and David Aspinall.

In: Oliveira, B.C.d.S. (eds) Programming Languages and Systems. APLAS 2020, vol 12470.  2020

Implementing Multiparty Session Types in Rust.

Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida.

In: Bliudze, S., Bocchi, L. (eds) Coordination Models and Languages. COORDINATION 2020. Lecture Notes in Computer Science, vol 12134. 2020

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

History-deterministic Timed Automata.

Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke.

History-deterministic Timed Automata. 2024. In Logical Methods in Computer Science, 20(4:1). 2024.

Go to Top