Items where Author / Artist / Editor is "Di Pierro, Alessandra"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

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)

This list was generated on Fri Oct 23 05:13:27 2020 BST.