Research output per year
Research output per year
Search results
-
2019
Graphical Models for Security: 6th International Workshop, GraMSec@CSF 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Albanese, M. (Editor), Horne, R. (Editor) & Probst, C. W. (Editor), 24 Jun 2019, 1 ed. Cham: Springer. 221 p. (Lecture Notes in Computer Science; vol. 11720)Research output: Book/Report › Anthology
-
2018
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
Atkey, B. (Editor) & Lindley, S. (Editor), 8 Jul 2018, (EPTCS)Research output: Book/Report › Anthology
Open Access -
2016
Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016
Atkey, B. (Editor) & Krishnaswami, N. R. (Editor), 1 Apr 2016, 98 p. (EPTCS)Research output: Book/Report › Anthology
Open Access -
2015
Similarity Search and Applications: 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings
Amato, G. (Editor), Connor, R. (Editor), Falchi, F. (Editor) & Gennaro, C. (Editor), 6 Oct 2015, Cham, Switzerland: Springer. 356 p. (Lecture Notes in Computer Science; vol. 9371)Research output: Book/Report › Anthology