Kyriaki Psara

dblp:218/5669 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
3since 2021 · last 2022
0000-0002-6554-7950ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 2 since 2021Applied, interdisciplinary, general and emerging computing · 4 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
YearPublicationVenuePosition
2022 Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
RC6
2022 Reversible computation in nets with bonds
Anna Philippou, Kyriaki Psara
J. Log. Algebraic Methods Program.2
2022 A collective interpretation semantics for reversing Petri nets
Anna Philippou, Kyriaki Psara
Theor. Comput. Sci.2
2020 Encoding Reversing Petri Nets in Answer Set Programming
Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara
RC4
2019 Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper
Anna Philippou, Kyriaki Psara, Harun Siljak
RC2
2018 Reversible Computation in Petri Nets
Anna Philippou, Kyriaki Psara
RC2