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. (ed.), Horne, R. (ed.) & Probst, C. W. (ed.), 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. (ed.) & Lindley, S. (ed.), 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. (ed.) & Krishnaswami, N. R. (ed.), 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. (ed.), Connor, R. (ed.), Falchi, F. (ed.) & Gennaro, C. (ed.), 6 Oct 2015, Cham, Switzerland: Springer. 356 p. (Lecture Notes in Computer Science; vol. 9371)Research output: Book/Report › Anthology