Search the dblp DataBase

Publications of Author

1. Ana Sokolova, Erik P. de Vink
   Probabilistic Automata: System Types, Parallel Composition and Comparison. [Citation Graph (0, 0)][DBLP]
   Validation of Stochastic Systems, 2004, pp:1-43 [Conf]
   
2. Falk Bartels, Ana Sokolova, Erik P. de Vink
   A hierarchy of probabilistic system types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
3. Ana Sokolova, Erik P. de Vink, Harald Woracek
   Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:211-228 [Journal]
   
4. Ichiro Hasuo, Bart Jacobs, Ana Sokolova
   Generic Trace Theory. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:47-65 [Journal]
   
5. Falk Bartels, Ana Sokolova, Erik P. de Vink
   A hierarchy of probabilistic system types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:3-22 [Journal]
   
6. Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
   Compositionality for Markov Reward Chains with Fast Transitions. [Citation Graph (0, 0)][DBLP]
   EPEW, 2007, pp:18-32 [Conf]
   
7. Flavio D. Garcia, Peter van Rossum, Ana Sokolova
   Probabilistic Anonymity and Admissible Schedulers [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
8. Ichiro Hasuo, Bart Jacobs, Ana Sokolova
   Generic Trace Semantics via Coinduction [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
9. 
   Coalgebraic Components in a Many-Sorted Microcosm. [Citation Graph (, )][DBLP]
   
   
10. 
    Traces, Executions and Schedulers, Coalgebraically. [Citation Graph (, )][DBLP]
    
    
11. 
    The Microcosm Principle and Concurrency in Coalgebra. [Citation Graph (, )][DBLP]
    
    
12. 
    Response Time versus Utilization in Scheduler Overhead Accounting. [Citation Graph (, )][DBLP]
    
    
13. 
    Distributed, Modular HTL. [Citation Graph (, )][DBLP]
    
    
14. 
    A Compacting Real-Time Memory Management System. [Citation Graph (, )][DBLP]
    
    
15. 
    Programmable temporal isolation through variable-bandwidth servers. [Citation Graph (, )][DBLP]