Ana Sokolova

Cited by

	All	Since 2016
Citations	1653	696
h-index	22	14
i10-index	36	19

180

135

2001200220032004200520062007200820092010201120122013201420152016201720182019202020219 5 8 16 20 35 50 39 57 93 98 102 110 117 151 116 141 178 118 115 28

Public access

View all

34 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
Ichiro HasuoAssociate Professor of Computer Science, National Institute of InformaticsVerified email at acm.org
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Alexandra SilvaProfessor at University College LondonVerified email at ucl.ac.uk
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 AndresGoogle Inc, Ecole Polytechnique, Radboud UniversityVerified email at lix.polytechnique.fr
Jasen MarkovskiEindhoven University of TechnologyVerified email at tue.nl
Flavio D. GarciaProfessor of Computer Security, University of BirminghamVerified email at bham.ac.uk
Raja SenguptaSystems Program, CEE, University of California, BerkeleyVerified email at ce.berkeley.edu
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk

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	194	2007
Probabilistic automata: system types, parallel composition and comparison A Sokolova, EP De Vink Validation of Stochastic Systems, 1-43, 2004	134	2004
The logical execution time paradigm CM Kirsch, A Sokolova Advances in Real-Time Systems, 103-120, 2012	91	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	89	2013
A hierarchy of probabilistic system types F Bartels, A Sokolova, E de Vink Theoretical Computer Science 327 (1-2), 3-22, 2004	84	2004
Coalgebraic analysis of probabilistic systems A Sokolova Technische Universiteit Eindhoven, 2005	68	2005
Probabilistic systems coalgebraically: A survey A Sokolova Theoretical Computer Science 412 (38), 5095-5110, 2011	62	2011
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	57	2010
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	55	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	55	2013
Exemplaric expressivity of modal logics B Jacobs, A Sokolova Journal of logic and computation 20 (5), 1041-1068, 2010	55	2010
Trace semantics via determinization B Jacobs, A Silva, A Sokolova International Workshop on Coalgebraic Methods in Computer Science, 109-129, 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	49	2003
Trace semantics via determinization B Jacobs, A Silva, A Sokolova Journal of Computer and System Sciences 81 (5), 859-879, 2015	42	2015
Information hiding in probabilistic concurrent systems ME Andrés, C Palamidessi, P Van Rossum, A Sokolova Theoretical computer science 412 (28), 3072-3089, 2011	42	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	36	2015
Generic trace theory I Hasuo, B Jacobs, A Sokolova Electronic Notes in Theoretical Computer Science 164 (1), 47-65, 2006	35	2006
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
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	27	2008
The power of convex algebras F Bonchi, A Silva, A Sokolova arXiv preprint arXiv:1707.02344, 2017	26	2017

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

Upload PDF

Follow this author

Cited by

Co-authors