Items where Author / Artist / Editor is "Di Pierro, Alessandra"
![]() | See full list of headings |
Book Section
Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867 and Clark, David
(2020)
Correctly slicing extended finite state machines.
In:
From lambda calculus to cybersecurity through program analysis - essays dedicated to Chris Hankin on the occasion of his retirement.
Di Pierro, Alessandra, Malacaria, Pasquale and Nagarajan, Rajagopal
ORCID: https://orcid.org/0000-0002-9724-4962, eds.
Theoretical Computer Science and General Issues
(12065)
.
Springer International Publishing, Switzerland, pp. 149-197.
pbk-ISBN 9783030411022, e-ISBN 9783030411039.
[Book Section]
(doi:10.1007/978-3-030-41103-9_6)
Conference or Workshop Item
Di Pierro, Alessandra, Mengoni, Riccardo, Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Windridge, David
ORCID: https://orcid.org/0000-0001-5507-8516
(2017)
Hamming distance kernelisation via topological quantum computation.
Theory and Practice of Natural Computing TPNC 2017. Lecture Notes in Computer Science, vol 10687.
In: 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017, 18-20 Dec 2017, Prague, Czech Republic.
ISBN 9783319710686.
ISSN 0302-9743
[Conference or Workshop Item]
(doi:10.1007/978-3-319-71069-3_21)