Takip et
Ana Sokolova
Ana Sokolova
Associate Professor at University of Salzburg
cs.uni-salzburg.at üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Generic trace semantics via coinduction
I Hasuo, B Jacobs, A Sokolova
Logical Methods in Computer Science 3, 2007
2242007
The logical execution time paradigm
CM Kirsch, A Sokolova
Advances in Real-Time Systems, 103-120, 2012
1682012
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
1512004
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
1212013
A hierarchy of probabilistic system types
F Bartels, A Sokolova, E de Vink
Theoretical Computer Science 327 (1-2), 3-22, 2004
1032004
Coalgebraic analysis of probabilistic systems
A Sokolova
732005
Probabilistic systems coalgebraically: A survey
A Sokolova
Theoretical Computer Science 412 (38), 5095-5110, 2011
722011
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
662013
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
662013
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
Journal of Computer and System Sciences 81 (5), 859-879, 2015
622015
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
582010
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
International Workshop on Coalgebraic Methods in Computer Science, 109-129, 2012
552012
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
462003
Information hiding in probabilistic concurrent systems
ME Andrés, C Palamidessi, P van Rossum, A Sokolova
Theoretical computer science 412 (28), 3072-3089, 2011
452011
The power of convex algebras
F Bonchi, A Silva, A Sokolova
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
392017
Generic trace theory
I Hasuo, B Jacobs, A Sokolova
Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006
362006
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
322008
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
302019
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20