Ana Sokolova

Cited by

	All	Since 2018
Citations	1924	712
h-index	24	14
i10-index	38	18

180

135

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 5 8 15 22 36 48 36 58 83 101 102 107 118 155 112 148 178 118 102 132 123 58

Public access

View all

37 articles

2 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
Andreas HaasUniversity of SalzburgVerified email at cs.uni-salzburg.at
Alexandra SilvaCornell UniversityVerified email at cornell.edu
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
Raja SenguptaSystems Program, CEE, University of California, BerkeleyVerified email at ce.berkeley.edu
Eduardo R. B. MarquesDCC / FCUP & CRACS / INESC-TECVerified email at dcc.fc.up.pt
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Miguel AndresGoogle Inc, Ecole Polytechnique, Radboud UniversityVerified email at lix.polytechnique.fr
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
Chris HeunenUniversity of EdinburghVerified email at ed.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 arXiv preprint arXiv:0710.2505, 2007	223	2007
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	148	2004
The logical execution time paradigm CM Kirsch, A Sokolova Advances in Real-Time Systems, 103-120, 2012	146	2012
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	111	2013
A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Theoretical Computer Science 327 (1-2), 3-22, 2004	97	2004
Coalgebraic analysis of probabilistic systems A Sokolova Technische Universiteit Eindhoven, 2005	71	2005
Probabilistic systems coalgebraically: A survey A Sokolova Theoretical Computer Science 412 (38), 5095-5110, 2011	70	2011
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	63	2013
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	63	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, ... Proceedings of the 2nd USENIX conference on Hot topics in cloud computing, 14-14, 2010	59	2010
Trace semantics via determinization B Jacobs, A Silva, A Sokolova Journal of Computer and System Sciences 81 (5), 859-879, 2015	58	2015
Trace semantics via determinization B Jacobs, A Silva, A Sokolova Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012	54	2012
A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Electronic Notes in Theoretical Computer Science 82 (1), 57-75, 2003	53	2003
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
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	42	2015
Generic trace theory I Hasuo, B Jacobs, A Sokolova Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006	38	2006
The power of convex algebras F Bonchi, A Silva, A Sokolova 28th International Conference on Concurrency Theory (CONCUR 2017), 2017	37	2017
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	30	2008
Programmable temporal isolation through variable-bandwidth servers SS Craciunas, CM Kirsch, H Payer, H Rock, A Sokolova 2009 IEEE International Symposium on Industrial Embedded Systems, 171-180, 2009	28	2009

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