Follow
Ana Sokolova
Ana Sokolova
Associate Professor at University of Salzburg
Verified email at cs.uni-salzburg.at - Homepage
Title
Cited by
Cited by
Year
Generic trace semantics via coinduction
I Hasuo, B Jacobs, A Sokolova
Logical Methods in Computer Science 3, 2007
2302007
The logical execution time paradigm
CM Kirsch, A Sokolova
Advances in Real-Time Systems, 103-120, 2012
1722012
Probabilistic automata: system types, parallel composition and comparison
A Sokolova, EP De Vink
Validation of Stochastic Systems: A Guide to Current Research, 1-43, 2004
1542004
Quantitative relaxation of concurrent data structures
TA Henzinger, CM Kirsch, H Payer, A Sezgin, A Sokolova
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
1202013
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Theoretical Computer Science 327 (1-2), 3-22, 2004
1062004
Coalgebraic analysis of probabilistic systems
A Sokolova
762005
Probabilistic systems coalgebraically: A survey
A Sokolova
Theoretical Computer Science 412 (38), 5095-5110, 2011
732011
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation
A Haas, M Lippautz, TA Henzinger, H Payer, A Sokolova, CM Kirsch, ...
Proceedings of the ACM International Conference on Computing Frontiers, 1-9, 2013
672013
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
Journal of Computer and System Sciences 81 (5), 859-879, 2015
652015
Exemplaric expressivity of modal logics
B Jacobs, A Sokolova
Journal of logic and computation 20 (5), 1041-1068, 2010
612010
{Information-Acquisition-as-a-Service} for {Cyber-Physical} Cloud Computing
SS Craciunas, A Haas, CM Kirsch, H Payer, H Röck, A Rottmann, ...
2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10), 2010
592010
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
International Workshop on Coalgebraic Methods in Computer Science, 109-129, 2012
542012
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures
M Aigner, CM Kirsch, M Lippautz, A Sokolova
ACM SIGPLAN Notices 50 (10), 451-469, 2015
482015
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003
482003
Information hiding in probabilistic concurrent systems
ME Andrés, C Palamidessi, P van Rossum, A Sokolova
Theoretical computer science 412 (28), 3072-3089, 2011
442011
The power of convex algebras
F Bonchi, A Silva, A Sokolova
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
432017
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
372006
The theory of traces for systems with nondeterminism and probability
F Bonchi, A Sokolova, V Vignudelli
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
332019
A Compacting {Real-Time} Memory Management System
SS Craciunas, CM Kirsch, H Payer, A Sokolova, H Stadler, R Staudinger
2008 USENIX Annual Technical Conference (USENIX ATC 08), 2008
332008
The microcosm principle and concurrency in coalgebra
I Hasuo, B Jacobs, A Sokolova
International Conference on Foundations of Software Science and …, 2008
292008
The system can't perform the operation now. Try again later.
Articles 1–20