Theoretical Computer Science - Selected papers of CMCS'03
State space analysis of Petri nets with relation-algebraic methods
Journal of Symbolic Computation
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
Coalgebraic symbolic semantics
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A categorical view of timed weak bisimulation
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Coalgebraic models for reactive systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
| Hi-index | 5.23 |