Search results for: Ana Sokolova
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Theory of Coalgebra > 64-80
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 206-220
Lecture Notes in Computer Science > Validation of Stochastic Systems > Modelling Stochastic Systems > 1-43
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 246-260
Journal of Pure and Applied Algebra > 2015 > 219 > 8 > 3110-3148
Journal of Computer and System Sciences > 2015 > 81 > 5 > 859-879
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 3 > 189-209
Electronic Notes in Theoretical Computer Science > 2011 > 276 > Complete > 291-311
Theoretical Computer Science > 2011 > 412 > 38 > 5095-5110
Theoretical Computer Science > 2011 > 412 > 28 > 3072-3089
Electronic Notes in Theoretical Computer Science > 2006 > 164 > 1 > 47-65
Electronic Notes in Theoretical Computer Science > 2005 > 122 > Complete > 211-228
Theoretical Computer Science > 2004 > 327 > 1-2 > 3-22