Kyriaki Psara

Orcid: 0000-0002-6554-7950

According to our database1, Kyriaki Psara authored at least 14 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Presenting the COGNIFOG Framework: Architecture, Building Blocks and Road toward Cognitive Connectivity.
Sensors, August, 2024

2022
A collective interpretation semantics for reversing Petri nets.
Theor. Comput. Sci., 2022

Reversible computation in nets with bonds.
J. Log. Algebraic Methods Program., 2022

Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation.
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.
Proceedings of the Reversible Computation - 14th International Conference, 2022

2021
Reversible Computation in Petri Nets.
CoRR, 2021

2020
Reversibility in Chemical Reactions.
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Reversible Computation in Cyclic Petri Nets.
CoRR, 2020

Encoding Reversing Petri Nets in Answer Set Programming.
Proceedings of the Reversible Computation - 12th International Conference, 2020

2019
Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets.
IEEE Wirel. Commun. Lett., 2019

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

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper.
Proceedings of the Reversible Computation - 11th International Conference, 2019

2018
Reversible Computation in Petri Nets.
Proceedings of the Reversible Computation - 10th International Conference, 2018

Reversing Computations Modelled by Coloured Petri Nets.
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


  Loading...