Theo dõi
Ana Sokolova
Ana Sokolova
Associate Professor at University of Salzburg
Email được xác minh tại cs.uni-salzburg.at - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Generic trace semantics via coinduction
I Hasuo, B Jacobs, A Sokolova
Logical Methods in Computer Science 3, 2007
2372007
The logical execution time paradigm
CM Kirsch, A Sokolova
Advances in Real-Time Systems, 103-120, 2012
1852012
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
1602004
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
1262013
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Theoretical Computer Science 327 (1-2), 3-22, 2004
1002004
Coalgebraic analysis of probabilistic systems
A Sokolova
762005
Probabilistic systems coalgebraically: A survey
A Sokolova
Theoretical Computer Science 412 (38), 5095-5110, 2011
742011
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
722013
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
Journal of Computer and System Sciences 81 (5), 859-879, 2015
692015
Exemplaric expressivity of modal logics
B Jacobs, A Sokolova
Journal of logic and computation 20 (5), 1041-1068, 2010
622010
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
International Workshop on Coalgebraic Methods in Computer Science, 109-129, 2012
592012
{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
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003
552003
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
542015
Information hiding in probabilistic concurrent systems
ME Andrés, C Palamidessi, P van Rossum, A Sokolova
Theoretical computer science 412 (28), 3072-3089, 2011
482011
The power of convex algebras
F Bonchi, A Silva, A Sokolova
28th International Conference on Concurrency Theory (CONCUR 2017), 23: 1-23: 18, 2017
462017
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
402019
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
372006
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
302008
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20