| 2008 |
|---|
| 12 | EE | Ichiro Hasuo,
Bart Jacobs,
Ana Sokolova:
The Microcosm Principle and Concurrency in Coalgebra.
FoSSaCS 2008: 246-260 |
| 11 | EE | Silviu S. Craciunas,
Christoph M. Kirsch,
Hannes Payer,
Ana Sokolova,
Horst Stadler,
Robert Staudinger:
A Compacting Real-Time Memory Management System.
USENIX Annual Technical Conference 2008: 349-362 |
| 10 | EE | Jos C. M. Baeten,
Ana Sokolova:
Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462.
J. Log. Algebr. Program. 78(1): 52 (2008) |
| 2007 |
|---|
| 9 | EE | Jasen Markovski,
Ana Sokolova,
Nikola Trcka,
Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions.
EPEW 2007: 18-32 |
| 8 | EE | Flavio D. Garcia,
Peter van Rossum,
Ana Sokolova:
Probabilistic Anonymity and Admissible Schedulers
CoRR abs/0706.1019: (2007) |
| 7 | EE | Ichiro Hasuo,
Bart Jacobs,
Ana Sokolova:
Generic Trace Semantics via Coinduction
CoRR abs/0710.2505: (2007) |
| 6 | EE | Ichiro Hasuo,
Bart Jacobs,
Ana Sokolova:
Generic Trace Semantics via Coinduction.
Logical Methods in Computer Science 3(4): (2007) |
| 2006 |
|---|
| 5 | EE | Ichiro Hasuo,
Bart Jacobs,
Ana Sokolova:
Generic Trace Theory.
Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006) |
| 2005 |
|---|
| 4 | EE | Ana Sokolova,
Erik P. de Vink,
Harald Woracek:
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 122: 211-228 (2005) |
| 2004 |
|---|
| 3 | EE | Ana Sokolova,
Erik P. de Vink:
Probabilistic Automata: System Types, Parallel Composition and Comparison.
Validation of Stochastic Systems 2004: 1-43 |
| 2 | EE | Falk Bartels,
Ana Sokolova,
Erik P. de Vink:
A hierarchy of probabilistic system types.
Theor. Comput. Sci. 327(1-2): 3-22 (2004) |
| 2003 |
|---|
| 1 | EE | Falk Bartels,
Ana Sokolova,
Erik P. de Vink:
A hierarchy of probabilistic system types.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
