Ana Sokolova

Cited by

	All	Since 2019
Citations	2128	737
h-index	25	15
i10-index	42	20

180

135

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 5 7 16 30 34 47 39 65 82 106 104 104 118 150 113 133 169 117 108 133 111 132 135

Public access

View all

38 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Silviu S. CraciunasTTTech Computertechnik AGVerified email at tttech.com
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Andreas HaasUniversity of SalzburgVerified email at cs.uni-salzburg.at
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsVerified email at acm.org
Thomas HenzingerIST AustriaVerified email at ist.ac.at
ali sezginUniversity of CambridgeVerified email at cam.ac.uk
Peter van RossumVerified email at cs.ru.nl
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Andreas HolzerUniversity of TorontoVerified email at cs.toronto.edu
Eduardo R. B. MarquesDCC / FCUP & CRACS / INESC-TECVerified email at dcc.fc.up.pt
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Miguel E. AndresGoogle Inc, Ecole Polytechnique, Radboud UniversityVerified email at lix.polytechnique.fr
Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk
Raja SenguptaSystems Program, CEE, University of California, BerkeleyVerified email at ce.berkeley.edu
Jasen MarkovskiEindhoven University of TechnologyVerified email at tue.nl
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Flavio D. GarciaProfessor of Computer Security, University of BirminghamVerified email at bham.ac.uk

Ana Sokolova

Associate Professor at University of Salzburg

Verified email at cs.uni-salzburg.at - Homepage

Coalgebra Concurrency Formal Methods Probabilistic Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Generic trace semantics via coinduction I Hasuo, B Jacobs, A Sokolova Logical Methods in Computer Science 3, 2007	234	2007
The logical execution time paradigm CM Kirsch, A Sokolova Advances in Real-Time Systems, 103-120, 2012	183	2012
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	159	2004
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	122	2013
A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Theoretical Computer Science 327 (1-2), 3-22, 2004	110	2004
Coalgebraic analysis of probabilistic systems A Sokolova	76	2005
Probabilistic systems coalgebraically: A survey A Sokolova Theoretical Computer Science 412 (38), 5095-5110, 2011	74	2011
Trace semantics via determinization B Jacobs, A Silva, A Sokolova Journal of Computer and System Sciences 81 (5), 859-879, 2015	69	2015
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	68	2013
Exemplaric expressivity of modal logics B Jacobs, A Sokolova Journal of logic and computation 20 (5), 1041-1068, 2010	61	2010
{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	59	2010
Trace semantics via determinization B Jacobs, A Silva, A Sokolova International Workshop on Coalgebraic Methods in Computer Science, 109-129, 2012	57	2012
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	49	2015
A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003	49	2003
The power of convex algebras F Bonchi, A Silva, A Sokolova 28th International Conference on Concurrency Theory (CONCUR 2017), 2017	45	2017
Information hiding in probabilistic concurrent systems ME Andrés, C Palamidessi, P van Rossum, A Sokolova Theoretical computer science 412 (28), 3072-3089, 2011	45	2011
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	38	2019
Generic trace theory I Hasuo, B Jacobs, A Sokolova Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006	37	2006
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	33	2008
The microcosm principle and concurrency in coalgebra I Hasuo, B Jacobs, A Sokolova International Conference on Foundations of Software Science and …, 2008	30	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors