Kyriaki Psara

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 15

Top Topics

Wireless Communication

Discrete Dynamical Systems

Top Venues

ATAED@Petri Nets/ACSD

J. Log. Algebraic Methods Program.

Publications

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. CoRR (2023)
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. RC (2022)
Anna Philippou, Kyriaki Psara
A collective interpretation semantics for reversing Petri nets. Theor. Comput. Sci. 924 (2022)
Anna Philippou, Kyriaki Psara
Reversible computation in nets with bonds. J. Log. Algebraic Methods Program. 124 (2022)
Anna Philippou, Kyriaki Psara
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. EXPRESS/SOS (2022)
Kyriaki Psara
Reversible Computation in Petri Nets. CoRR (2021)
Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara
Encoding Reversing Petri Nets in Answer Set Programming. RC (2020)
Anna Philippou, Kyriaki Psara
Reversible Computation in Cyclic Petri Nets. CoRR (2020)
Harun Siljak, Kyriaki Psara, Anna Philippou
Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets. IEEE Wirel. Commun. Lett. 8 (5) (2019)
Anna Philippou, Kyriaki Psara, Harun Siljak
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. RC (2019)
Harun Siljak, Kyriaki Psara, Anna Philippou
Distributed Antenna Selection for Massive MIMO using Reversing Petri Nets. CoRR (2019)
Anna Philippou, Kyriaki Psara, Harun Siljak
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. CoRR (2019)
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Reversing Computations Modelled by Coloured Petri Nets. ATAED@Petri Nets/ACSD (2018)
Anna Philippou, Kyriaki Psara
Reversible Computation in Petri Nets. RC (2018)
Anna Philippou, Kyriaki Psara
Reversible Computation in Petri Nets. CoRR (2018)