The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ana Sokolova: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002