Kyriaki Psara

According to our database, Kyriaki Psara authored at least 13 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A collective interpretation semantics for reversing Petri nets.

Anna Philippou, Kyriaki Psara

Theor. Comput. Sci., 2022

Reversible computation in nets with bonds.

Anna Philippou, Kyriaki Psara

J. Log. Algebraic Methods Program., 2022

Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation.

Anna Philippou, Kyriaki Psara

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

Formal Translation from Reversing Petri Nets to Coloured Petri Nets.

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara

Proceedings of the Reversible Computation - 14th International Conference, 2022

2021

Reversible Computation in Petri Nets.

Kyriaki Psara

CoRR, 2021

2020

Reversibility in Chemical Reactions.

Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Reversible Computation in Cyclic Petri Nets.

Anna Philippou, Kyriaki Psara

CoRR, 2020

Encoding Reversing Petri Nets in Answer Set Programming.

Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara

Proceedings of the Reversible Computation - 12th International Conference, 2020

2019

Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets.

Harun Siljak, Kyriaki Psara, Anna Philippou

IEEE Wirel. Commun. Lett., 2019

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.

Anna Philippou, Kyriaki Psara, Harun Siljak

CoRR, 2019

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper.

Anna Philippou, Kyriaki Psara, Harun Siljak

Proceedings of the Reversible Computation - 11th International Conference, 2019

2018

Reversible Computation in Petri Nets.

Anna Philippou, Kyriaki Psara

Proceedings of the Reversible Computation - 10th International Conference, 2018

Reversing Computations Modelled by Coloured Petri Nets.

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018