Statistics
Publications
23
Citations
784
H-Index
17
Active since
2003
Ana Sokolova is an author at University of Salzburg specializing in computer science, computing, and probability theory.
Publications per year
2003–2021
23
23
A hierarchy of probabilistic system types
Falk Bartels, Ana Sokolova, E.P. de Vink · Theoretical Computer Science · 2004 · 96 citations · Full text
Quantitative relaxation of concurrent data structures
Thomas A. Henzinger, Christoph Kirsch, Hannes Payer et al. · 2013 · 93 citations
Probabilistic systems coalgebraically: A survey
Ana Sokolova · Theoretical Computer Science · 2011 · 59 citations · Full text
Distributed queues in shared memory
Andreas Haas, Michael Lippautz, Thomas A. Henzinger et al. · 2013 · 56 citations
1–5 of 23