E-LIB Suche - Ergebnisse für: Psara, Kyriaki

1

Formal Translation from Reversing Petri Nets to Coloured Pe..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Barylska, Kamila ; Gogolińska, Anna ; Mikulski, Łukasz... - p. 172-186 , 2022

Link: https://doi.org/10.1007/..

2

Regulatory analysis of barriers to SYNERGY's innovation:

, In: 2022 2nd International Conference on Energy Transition in the Mediterranean Area (SyNERGY MED),

Psara, Kyriaki ; Papadimitriou, Christina ; Efstratiadi, Marily... - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

3

A review of Energy Communities: Definitions, Technologies, ..:

, In: 2022 2nd International Conference on Energy Transition in the Mediterranean Area (SyNERGY MED),

Yiasoumas, Georgios ; Psara, Kyriaki ; Georghiou, George E. - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

4

Reversible computation in nets with bonds:

Philippou, Anna ; Psara, Kyriaki
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100718 , 2022

Link: https://doi.org/10.1016/..

5

European Energy Regulatory, Socioeconomic, and Organization..:

Psara, Kyriaki ; Papadimitriou, Christina ; Efstratiadi, Marily...
Energies. 15 (2022) 6 - p. 2197 , 2022

Link: https://doi.org/10.3390/..

6

A collective interpretation semantics for reversing Petri n..:

Philippou, Anna ; Psara, Kyriaki
Theoretical Computer Science. 924 (2022) - p. 148-170 , 2022

Link: https://doi.org/10.1016/..

7

Reversibility in Chemical Reactions:

, In: Reversible Computation: Extending Horizons of Computing; Lecture Notes in Computer Science,

Kuhn, Stefan ; Aman, Bogdan ; Ciobanu, Gabriel... - p. 151-176 , 2020

Link: https://doi.org/10.1007/..

8

Encoding Reversing Petri Nets in Answer Set Programming:

, In: Reversible Computation; Lecture Notes in Computer Science,

Dimopoulos, Yannis ; Kouppari, Eleftheria ; Philippou, Anna. - p. 264-271 , 2020

Link: https://doi.org/10.1007/..

9

Controlling Reversibility in Reversing Petri Nets with Appl..:

, In: Reversible Computation; Lecture Notes in Computer Science,

Philippou, Anna ; Psara, Kyriaki ; Siljak, Harun - p. 238-245 , 2019

Link: https://doi.org/10.1007/..

10

Reversible Computation in Petri Nets:

, In: Reversible Computation; Lecture Notes in Computer Science,

Philippou, Anna ; Psara, Kyriaki - p. 84-101 , 2018

Link: https://doi.org/10.1007/..

11

Formal Translation from Reversing Petri Nets to Coloured Pe..:

Barylska, Kamila ; Gogolinska, Anna ; Mikulski, Lukasz...
http://arxiv.org/abs/2311.00629. , 2023

Link: http://arxiv.org/abs/231..

12

Token Multiplicity in Reversing Petri Nets Under the Indivi..:

Philippou, Anna ; Psara, Kyriaki
http://arxiv.org/abs/2209.02359. , 2022

Link: http://arxiv.org/abs/220..

13

Reversible Computation in Petri Nets:

Psara, Kyriaki
http://arxiv.org/abs/2101.07066. , 2021

Link: http://arxiv.org/abs/210..

14

Reversible Computation in Cyclic Petri Nets:

Philippou, Anna ; Psara, Kyriaki
http://arxiv.org/abs/2010.04000. , 2020

Link: http://arxiv.org/abs/201..

15

Reversible Computation in Petri Nets ; Αναστρέψιμος υπολογι..:

Psara, Kyriaki
http://gnosis.library.ucy.ac.cy/handle/7/61739. , 2020

Link: http://gnosis.library.uc..