| 2026 | CSL | ε-Distance via Lvy-Prokhorov Lifting. | Jose Desharnais, Ana Sokolova |
| 2026 | CSL | Automata and Algebras for Probability and Nondeterminism (Invited Talk). | Ana Sokolova |
| 2025 | CALCO | Cancellative Convex Semilattices. | Ana Sokolova, Harald Woracek |
| 2025 | CSL | A Complete Inference System for Probabilistic Infinite Trace Equivalence. | Corina Crstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova |
| 2021 | CALCO | Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2021 | CALCO | Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). | Ana Sokolova, Harald Woracek |
| 2019 | LICS | The Theory of Traces for Systems with Nondeterminism and Probability. | Filippo Bonchi, Ana Sokolova, Valeria Vignudelli |
| 2018 | FOSSACS | Proper Semirings and Proper Convex Functors. | Ana Sokolova, Harald Woracek |
| 2017 | CALCO | Termination in Convex Sets of Distributions. | Ana Sokolova, Harald Woracek |
| 2017 | CONCUR | The Power of Convex Algebras. | Filippo Bonchi, Alexandra Silva, Ana Sokolova |
| 2017 | VMCAI | Dynamic Reductions for Model Checking Concurrent Software. | Henning Gnther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher |
| 2016 | CONCUR | 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 |
| 2015 | OOPSLA | Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. | Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova |
| 2013 | POPL | Quantitative relaxation of concurrent data structures. | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova |
| 2012 | ICA3PP | Performance, Scalability, and Semantics of Concurrent FIFO Queues. | Christoph M. Kirsch, Hannes Payer, Harald Rck, Ana Sokolova |
| 2011 | PODC | Scalability versus semantics of concurrent FIFO queues. | Hannes Payer, Harald Rck, Christoph M. Kirsch, Ana Sokolova |
| 2010 | EMSOFT | Power-aware temporal isolation with variable-bandwidth servers. | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |
| 2010 | RTAS | Response Time versus Utilization in Scheduler Overhead Accounting. | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |
| 2009 | CALCO | Coalgebraic Components in a Many-Sorted Microcosm. | Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova |
| 2009 | CALCO | Traces, Executions and Schedulers, Coalgebraically. | Bart Jacobs, Ana Sokolova |
| 2009 | EuroSys | Programmable temporal isolation in real-time and embedded execution environments. | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Rck, Ana Sokolova |
| 2009 | RTSS | Distributed, Modular HTL. | Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova |
| 2008 | FOSSACS | The Microcosm Principle and Concurrency in Coalgebra. | Ichiro Hasuo, Bart Jacobs, Ana Sokolova |
| 2008 | USENIX | A Compacting Real-Time Memory Management System. | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger |