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
arXiv preprint arXiv:0710.2505, 2007
1842007
Probabilistic automata: system types, parallel composition and comparison
A Sokolova, EP De Vink
Validation of Stochastic Systems, 1-43, 2004
1272004
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Theoretical Computer Science 327 (1-2), 3-22, 2004
812004
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
792013
The logical execution time paradigm
CM Kirsch, A Sokolova
Advances in Real-Time Systems, 103-120, 2012
742012
Coalgebraic analysis of probabilistic systems
A Sokolova
Technische Universiteit Eindhoven, 2005
652005
Probabilistic systems coalgebraically: A survey
A Sokolova
Theoretical Computer Science 412 (38), 5095-5110, 2011
592011
Exemplaric expressivity of modal logics
B Jacobs, A Sokolova
Journal of logic and computation 20 (5), 1041-1068, 2010
552010
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
International Workshop on Coalgebraic Methods in Computer Science, 109-129, 2012
512012
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
502013
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
502013
Information-acquisition-as-a-service for cyber-physical cloud computing
SS Craciunas, A Haas, CM Kirsch, H Payer, H Röck, A Rottmann, ...
Proceedings of the 2nd USENIX conference on Hot topics in cloud computing, 14-14, 2010
492010
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003
492003
Information hiding in probabilistic concurrent systems
ME Andrés, C Palamidessi, P Van Rossum, A Sokolova
Theoretical computer science 412 (28), 3072-3089, 2011
402011
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
Journal of Computer and System Sciences 81 (5), 859-879, 2015
392015
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
362015
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
352006
A Compacting Real-Time Memory Management System.
SS Craciunas, CM Kirsch, H Payer, A Sokolova, H Stadler, R Staudinger
USENIX Annual Technical Conference, 349-362, 2008
252008
The microcosm principle and concurrency in coalgebra
I Hasuo, B Jacobs, A Sokolova
International Conference on Foundations of Software Science and …, 2008
252008
Coalgebraic components in a many-sorted microcosm
I Hasuo, C Heunen, B Jacobs, A Sokolova
International Conference on Algebra and Coalgebra in Computer Science, 64-80, 2009
232009
The system can't perform the operation now. Try again later.
Articles 1–20