| Publication | Date of Publication | Type |
|---|
Properly colored cycles of different lengths in edge-colored complete graphs
Discrete Mathematics | 2023-10-04 | Paper |
Sufficient conditions for properly colored \(C_3\)'s and \(C_4\)'s in edge-colored complete graphs
Discrete Applied Mathematics | 2023-01-11 | Paper |
Color neighborhood union conditions for proper edge-pancyclicity of edge-colored complete graphs
Discrete Applied Mathematics | 2021-12-07 | Paper |
Edge-colored complete graphs containing no properly colored odd cycles
Graphs and Combinatorics | 2021-08-12 | Paper |
| Modal specifications for probabilistic timed systems | 2021-06-09 | Paper |
Modal specifications for probabilistic timed systems
(available as arXiv preprint) | 2021-06-09 | Paper |
| Improved GM-PHD filtering algorithm for multi-target tracking in sonar images | 2021-01-14 | Paper |
Probabilistic verification of hierarchical leader election protocol in dynamic systems
Frontiers of Computer Science | 2019-01-30 | Paper |
| Arc-disjoint Hamiltonian cycles and paths in positive-round digraphs | 2018-07-18 | Paper |
Bisimulations for fuzzy transition systems revisited
International Journal of Approximate Reasoning | 2018-06-27 | Paper |
Polynomial-time algorithms for computing distances of fuzzy transition systems
Theoretical Computer Science | 2018-05-17 | Paper |
Polynomial-time algorithms for computing distances of fuzzy transition systems
Theoretical Computer Science | 2018-05-17 | Paper |
Arc-disjoint Hamiltonian cycles in round decomposable locally semicomplete digraphs
Discussiones Mathematicae Graph Theory | 2018-03-23 | Paper |
Arc-disjoint Hamiltonian paths in non-round decomposable local tournaments
Discrete Mathematics | 2017-09-18 | Paper |
| On the complexity of computing maximum entropy for Markovian models | 2017-04-25 | Paper |
Continuous-time orbit problems are decidable in polynomial-time
Information Processing Letters | 2014-10-07 | Paper |
| Checking strong open congruence in \(\chi\)-calculus | 2013-08-30 | Paper |
| Intensionality of modal logic for robust ambient calculus | 2013-08-27 | Paper |
On the complexity of model checking interval-valued discrete time Markov chains
Information Processing Letters | 2013-03-20 | Paper |
Observing continuous-time MDPs by 1-clock timed automata
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Logical Methods in Computer Science | 2011-05-26 | Paper |
Efficient CTMC Model Checking of Linear Real-Time Objectives
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
On metrics for probabilistic systems: definitions and algorithms
Computers & Mathematics with Applications | 2010-05-16 | Paper |
LTL model checking of time-inhomogeneous Markov chains
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Counterexamples in Probabilistic Model Checking
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
| On the complete axiomatization for prefix iteration modulo observation congruence | 2006-10-05 | Paper |
Specification and verification for semi-structured data
Wuhan University Journal of Natural Sciences | 2006-05-09 | Paper |
| scientific article; zbMATH DE number 2219130 (Why is no real title available?) | 2005-10-27 | Paper |
