Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Propositional dynamic logic for searching games with errors | Journal of Applied Logic | 5 | 2014 | |
The Arden Syntax standard for clinical decision support: Experiences and directions | Journal of Biomedical Informatics |
| 46 | 2012 |
Concurrent Kleene Algebra and its Foundations | The Journal of Logic and Algebraic Programming | 41 | 2011 | |
On fuzzy modal logics | Fuzzy Sets and Systems |
| 32 | 2010 |
Synchronous Kleene algebra | The Journal of Logic and Algebraic Programming | 9 | 2010 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Weighted synchronous automata | Mathematical Structures in Computer Science |
| 2022 | |
Special issue “International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18” | Soft Computing |
| 2021 | |
Flexible control of Discrete Event Systems using environment simulation and Reinforcement Learning | Applied Soft Computing |
| 10 | 2021 |