Probabilistic Automata: System Types, Parallel Composition and Comparison. - Ana Sokolova; Erik P. de Vink (Validation of Stochastic Systems, 2004)

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). - Ana Sokolova; Erik P. de Vink; Harald Woracek (CTCS, 2004)

A hierarchy of probabilistic system types. - Falk Bartels; Ana Sokolova; Erik P. de Vink (Theor. Comput. Sci., 2004)

Generic Trace Theory. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (CMCS, 2006)

Compositionality for Markov Reward Chains with Fast Transitions. - Jasen Markovski; Ana Sokolova; Nikola Trcka; Erik P. de Vink (EPEW, 2007)

Probabilistic Anonymity and Admissible Schedulers - Flavio D. Garcia; Peter van Rossum; Ana Sokolova (CoRR, 2007)

Generic Trace Semantics via Coinduction. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (Log. Methods Comput. Sci., 2007)

The Microcosm Principle and Concurrency in Coalgebra. - Ichiro Hasuo; Bart Jacobs 001; Ana Sokolova (FoSSaCS, 2008)

A Compacting Real-Time Memory Management System. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Ana Sokolova; Horst Stadler; Robert Staudinger (USENIX ATC, 2008)

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. - Jos C. M. Baeten; Ana Sokolova (J. Log. Algebraic Methods Program., 2008)

Coalgebraic Components in a Many-Sorted Microcosm. - Ichiro Hasuo; Chris Heunen; Bart Jacobs 001; Ana Sokolova (CALCO, 2009)

Traces, Executions and Schedulers, Coalgebraically. - Bart Jacobs 001; Ana Sokolova (CALCO, 2009)

Programmable temporal isolation in real-time and embedded execution environments. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (IIES@EuroSys, 2009)

Distributed, Modular HTL. - Thomas A. Henzinger; Christoph M. Kirsch; Eduardo R. B. Marques; Ana Sokolova (RTSS, 2009)

Programmable temporal isolation through variable-bandwidth servers. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (SIES, 2009)

Coalgebraic Weak Bisimulation for Action-Type Systems. - Ana Sokolova; Erik P. de Vink; Harald Woracek (Sci. Ann. Comput. Sci., 2009)

Compositionality for Markov reward chains with fast and silent transitions. - Jasen Markovski; Ana Sokolova; Nikola Trcka; Erik P. de Vink (Perform. Evaluation, 2009)

Power-aware temporal isolation with variable-bandwidth servers. - Silviu S. Craciunas; Christoph M. Kirsch; Ana Sokolova (EMSOFT, 2010)

Runtime Programming through Model-Preserving, Scalable Runtime Patches. - Christoph M. Kirsch; Luís M. B. Lopes; Eduardo R. B. Marques; Ana Sokolova (FACS, 2010)

Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing. - Silviu S. Craciunas; Andreas Haas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Andreas Rottmann; Ana Sokolova; Rainer Trummer; Joshua Love; Raja Sengupta 002 (HotCloud, 2010)

Response Time versus Utilization in Scheduler Overhead Accounting. - Silviu S. Craciunas; Christoph M. Kirsch; Ana Sokolova (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

Exemplaric Expressivity of Modal Logics. - Bart Jacobs 001; Ana Sokolova (J. Log. Comput., 2010)

Short-term memory for self-collecting mutators. - Martin Aigner 003; Andreas Haas; Christoph M. Kirsch; Michael Lippautz; Ana Sokolova; Stephanie Stroka; Andreas Unterweger (ISMM, 2011)

Scalability versus semantics of concurrent FIFO queues. - Hannes Payer; Harald Röck; Christoph M. Kirsch; Ana Sokolova (PODC, 2011)

Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. - Alexandra Silva 001; Ana Sokolova (MFPS, 2011)

Information hiding in probabilistic concurrent systems. - Miguel E. Andrés; Catuscia Palamidessi; Peter van Rossum; Ana Sokolova (Theor. Comput. Sci., 2011)

Probabilistic systems coalgebraically: A survey. - Ana Sokolova (Theor. Comput. Sci., 2011)

The Logical Execution Time Paradigm. - Christoph M. Kirsch; Ana Sokolova (Advances in Real-Time Systems, 2012)

Performance, Scalability, and Semantics of Concurrent FIFO Queues. - Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (ICA3PP (1), 2012)

Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. - Andreas Haas; Michael Lippautz; Thomas A. Henzinger; Hannes Payer; Ana Sokolova; Christoph M. Kirsch; Ali Sezgin (Conf. Computing Frontiers, 2013)

Quantitative relaxation of concurrent data structures. - Thomas A. Henzinger; Christoph M. Kirsch; Hannes Payer; Ali Sezgin; Ana Sokolova (POPL, 2013)

Temporal isolation in real-time systems: the VBS approach. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (Int. J. Softw. Tools Technol. Transf., 2013)

Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (CoRR, 2014)

Scal: A Benchmarking Suite for Concurrent Data Structures. - Andreas Haas; Thomas Hütter; Christoph M. Kirsch; Michael Lippautz; Mario Preishuber; Ana Sokolova (NETYS, 2015)

Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. - Martin Aigner 003; Christoph M. Kirsch; Michael Lippautz; Ana Sokolova (OOPSLA, 2015)

Local Linearizability. - Andreas Haas; Thomas A. Henzinger; Andreas Holzer; Christoph M. Kirsch; Michael Lippautz; Hannes Payer; Ali Sezgin; Ana Sokolova; Helmut Veith (CoRR, 2015)

Trace semantics via determinization. - Bart Jacobs 001; Alexandra Silva 001; Ana Sokolova (J. Comput. Syst. Sci., 2015)

Preface for the special issue on Interaction and Concurrency Experience 2012. - Marco Carbone; Ivan Lanese; Alexandra Silva 001; Ana Sokolova (Sci. Comput. Program., 2015)

Preface for the special issue of Interaction and Concurrency Experience 2013. - Marco Carbone; Ivan Lanese; Alberto Lluch-Lafuente; Ana Sokolova (Sci. Comput. Program., 2015)

Local Linearizability for Concurrent Container-Type Data Structures. - Andreas Haas; Thomas A. Henzinger; Andreas Holzer; Christoph M. Kirsch; Michael Lippautz; Hannes Payer; Ali Sezgin; Ana Sokolova; Helmut Veith (CONCUR, 2016)

Preface for the special issue on Interaction and Concurrency Experience 2014. - Ivan Lanese; Alberto Lluch-Lafuente; Ana Sokolova; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2016)

The Power of Convex Algebras. - Filippo Bonchi; Alexandra Silva 001; Ana Sokolova (CONCUR, 2017)

Dynamic Reductions for Model Checking Concurrent Software. - Henning Günther; Alfons Laarman; Ana Sokolova; Georg Weissenbacher (VMCAI, 2017)

SEA-PARAM: Exploring Schedulers in Parametric MDPs. - Sebastian Arming; Ezio Bartocci; Ana Sokolova (QAPL@ETAPS, 2017)

Proper Semirings and Proper Convex Functors. - Ana Sokolova; Harald Woracek (FoSSaCS, 2018)

Parameter-Independent Strategies for pMDPs via POMDPs. - Sebastian Arming; Ezio Bartocci; Krishnendu Chatterjee; Joost-Pieter Katoen; Ana Sokolova (QEST, 2018)

Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (CoRR, 2018)

Termination in Convex Sets of Distributions. - Ana Sokolova; Harald Woracek (Log. Methods Comput. Sci., 2018)

The Theory of Traces for Systems with Nondeterminism and Probability. - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (LICS, 2019)

Preface for the special issue of Proof, Structure, and Computation 2014. - Dirk Pattinson; Peter Schuster 001; Ana Sokolova (J. Log. Comput., 2019)

Helmut Veith memorial workshop 2019 report. - Michael Morak; Anna Prianichnikova; Ana Sokolova (ACM SIGLOG News, 2019)

Presenting convex sets of probability distributions by convex semilattices and unique bases. - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (CoRR, 2020)

Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (CALCO, 2021)

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). - Ana Sokolova; Harald Woracek (CALCO, 2021)

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively. - Ana Sokolova; Harald Woracek (CoRR, 2021)

Distribution Bisimilarity via the Power of Convex Algebras. - Filippo Bonchi; Alexandra Silva 001; Ana Sokolova (Log. Methods Comput. Sci., 2021)

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. - Filippo Bonchi; Ana Sokolova; Valeria Vignudelli (Log. Methods Comput. Sci., 2022)

Report on women in logic 2020 & 2021. - Sandra Alves; Sandra Kiefer; Ana Sokolova (ACM SIGLOG News, 2022)

Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). - Hagit Attiya; Constantin Enea; Sergio Rajsbaum; Ana Sokolova (Dagstuhl Reports, 2022)

Preface to the special issue on Open Problems in Concurrency Theory. - Ilaria Castellani; Pedro R. D'Argenio; Mohammad Reza Mousavi 001; Ana Sokolova (J. Log. Algebraic Methods Program., 2023)

Introduction to the special issue for SPIN 2021. - Alfons Laarman; Ana Sokolova (Int. J. Softw. Tools Technol. Transf., 2023)

A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case. - Ezio Bartocci; Josée Desharnais; Peter Lindner 001; Ana Sokolova (Principles of Verification (2), 2024)

Cancellative Convex Semilattices. - Ana Sokolova; Harald Woracek (CALCO, 2025)

A Complete Inference System for Probabilistic Infinite Trace Equivalence. - Corina Cîrstea; Lawrence S. Moss; Victoria Noquez; Todd Schmid; Alexandra Silva 001; Ana Sokolova (CSL, 2025)

ε-Distance via Lévy-Prokhorov Lifting. - Josée Desharnais; Ana Sokolova (CoRR, 2025)