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

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

Reachability Problems - 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Springer, 2024)

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

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

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

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

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

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

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

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

Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Springer, 2021)

Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. (2021)

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

Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings (Springer, 2020)

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

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

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

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

8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019)

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

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

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

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

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

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

Termination in Convex Sets of Distributions. - Sokolova, Ana; Woracek, Harald (2017)

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

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

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

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

Termination in Convex Sets of Distributions. - Sokolova, Ana; Woracek, Harald (CoRR, 2017)

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

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

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

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

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

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

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

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

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

Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures. - Aigner, Martin; Kirsch, Christoph M.; Lippautz, Michael; Sokolova, Ana (CoRR, 2015)

Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. (2014)

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

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

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

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

Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. (2013)

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

Trace Semantics via Determinization. - Jacobs, Bart; Silva, Alexandra; Sokolova, Ana (2012)

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

Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. (2012)

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

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

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

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

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

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

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

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

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

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

Information Hiding in Probabilistic Concurrent Systems. - Andrés, Miguel E.; Palamidessi, Catuscia; Rossum, Peter van; Sokolova, Ana (2010)

Response Time versus Utilization in Scheduler Overhead Accounting. - Craciunas, Silviu S.; Kirsch, Christoph M.; Sokolova, Ana (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

Generic Trace Semantics via Coinduction - Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana (CoRR, 2007)

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

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

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

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

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