Ana Sokolova
Universität Salzburg
H-index: 24
Europe-Austria
Top articles of Ana Sokolova
Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)
Zeitschrift für Hochschulentwicklung
2023/10
Dagstuhl Reports, Vol. 12, Issue 12 ISSN 2192-5283
2023/5
Introduction to the special issue for SPIN 2021
International Journal on Software Tools for Technology Transfer
2023/2
Alfons Laarman
H-Index: 12
Ana Sokolova
H-Index: 14
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)
2023
Preface to the special issue on Open Problems in Concurrency Theory
2023/1/1
Mohammad Reza Mousavi
H-Index: 15
Ana Sokolova
H-Index: 14
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Logical Methods in Computer Science
2022/6/17
Filippo Bonchi
H-Index: 20
Ana Sokolova
H-Index: 14
Report on women in logic 2020 & 2021
ACM SIGLOG News
2022/5/12
Sandra Alves
H-Index: 9
Ana Sokolova
H-Index: 14
Journal of Logical and Algebraic Methods in Programming
2023
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
arXiv preprint arXiv:2112.13746
2021/12/27
Ana Sokolova
H-Index: 14
Distribution bisimilarity via the power of convex algebras
Logical Methods in Computer Science
2021/7/23
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
arXiv preprint arXiv:2106.06614
2021/6/11
Ana Sokolova
H-Index: 14
Harald Woracek
H-Index: 8
Presenting convex sets of probability distributions by convex semilattices and unique bases
arXiv preprint arXiv:2005.01670
2020/5/4
Filippo Bonchi
H-Index: 20
Ana Sokolova
H-Index: 14