Research output per year
Research output per year
Search results
-
2019
30th International Conference on Concurrency Theory (CONCUR 2019)
Fokkink, W. J. (Editor) & van Glabbeek, R. J. (Editor), 1 Aug 2019, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. 642 p. (Leibniz International Proceedings in Informatics (LIPIcs))Research output: Book/Report › Anthology
Open AccessFile -
2018
Proceedings: Third Workshop on Models for Formal Analysis of Real Systems rm and Sixth International Workshop on Verification and Program Transformation, Greece, 20th April 2018
Gallagher, J. (Editor), van Glabbeek, R. J. (Editor) & Serwe, W. (Editor), 23 Mar 2018, Open Publishing Association. (Electronic Proceedings in Theoretical Computer Science)Research output: Book/Report › Anthology
Open Access -
2017
POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Castagna, G. & Gordon, A., Jan 2017, New York, NY, USA: ACM. 922 p.Research output: Book/Report › Anthology
-
2008
PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers
Stark, I. (Editor) & Aspinall, D. (Editor), 2008, University of Edinburgh. (Informatics Research Report; no. 1256)Research output: Book/Report › Anthology
-
2002
Types for Proofs and Programs, International Workshop, TYPES 2000: Durham, UK, December 8-12, 2000, Selected Papers
Callaghan, P. (Editor), Luo, Z. (Editor), McKinna, J. (Editor) & Pollack, R. (Editor), 2002, Berlin: Springer. 242 p. (Lecture Notes in Computer Science)Research output: Book/Report › Anthology