Ana Sokolova

Ana Sokolova

Universität Salzburg - Salzburg / Austria
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1557574
University of Salzburg
person_outline Ana Sokolova's MOST POPULAR ARTICLES
1-) Generic trace semantics via coinduction Logical Methods in Computer Science 3, 2007
2-) The logical execution time paradigm Advances in Real-Time Systems, 103-120, 2012
3-) Probabilistic automata: system types, parallel composition and comparison Validation of Stochastic Systems: A Guide to Current Research, 1-43, 2004
4-) Quantitative relaxation of concurrent data structuresTA Henzinger, CM Kirsch, H Payer, A Sezgin, A SokolovaProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 20131242013
5-) A hierarchy of probabilistic system typesF Bartels, A Sokolova, E de VinkTheoretical Computer Science 327 (1-2), 3-22, 20041002004