Ana Sokolova

Orcid: 0000-0002-8384-3438

According to our database1, Ana Sokolova authored at least 61 papers between 2004 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Introduction to the special issue for SPIN 2021.
Int. J. Softw. Tools Technol. Transf., February, 2023

Preface to the special issue on Open Problems in Concurrency Theory.
J. Log. Algebraic Methods Program., 2023

2022
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492).
Dagstuhl Reports, December, 2022

Report on women in logic 2020 & 2021.
ACM SIGLOG News, 2022

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.
Log. Methods Comput. Sci., 2022

2021
Distribution Bisimilarity via the Power of Convex Algebras.
Log. Methods Comput. Sci., 2021

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively.
CoRR, 2021

Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls).
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls).
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020
Presenting convex sets of probability distributions by convex semilattices and unique bases.
CoRR, 2020

2019
Helmut Veith memorial workshop 2019 report.
ACM SIGLOG News, 2019

Preface for the special issue of Proof, Structure, and Computation 2014.
J. Log. Comput., 2019

The Theory of Traces for Systems with Nondeterminism and Probability.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018
Termination in Convex Sets of Distributions.
Log. Methods Comput. Sci., 2018

Trace Semantics for Nondeterministic Probabilistic Automata via Determinization.
CoRR, 2018

Parameter-Independent Strategies for pMDPs via POMDPs.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Proper Semirings and Proper Convex Functors.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017
SEA-PARAM: Exploring Schedulers in Parametric MDPs.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

Dynamic Reductions for Model Checking Concurrent Software.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

The Power of Convex Algebras.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
Preface for the special issue on Interaction and Concurrency Experience 2014.
J. Log. Algebraic Methods Program., 2016

Local Linearizability for Concurrent Container-Type Data Structures.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Preface for the special issue of Interaction and Concurrency Experience 2013.
Sci. Comput. Program., 2015

Preface for the special issue on Interaction and Concurrency Experience 2012.
Sci. Comput. Program., 2015

Trace semantics via determinization.
J. Comput. Syst. Sci., 2015

Local Linearizability.
CoRR, 2015

Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Scal: A Benchmarking Suite for Concurrent Data Structures.
Proceedings of the Networked Systems - Third International Conference, 2015

2014
Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit.
CoRR, 2014

2013
Temporal isolation in real-time systems: the VBS approach.
Int. J. Softw. Tools Technol. Transf., 2013

Quantitative relaxation of concurrent data structures.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation.
Proceedings of the Computing Frontiers Conference, 2013

2012
Performance, Scalability, and Semantics of Concurrent FIFO Queues.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

The Logical Execution Time Paradigm.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

2011
Probabilistic systems coalgebraically: A survey.
Theor. Comput. Sci., 2011

Information hiding in probabilistic concurrent systems.
Theor. Comput. Sci., 2011

Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems.
Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

Scalability versus semantics of concurrent FIFO queues.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Short-term memory for self-collecting mutators.
Proceedings of the 10th International Symposium on Memory Management, 2011

2010
Exemplaric Expressivity of Modal Logics.
J. Log. Comput., 2010

Response Time versus Utilization in Scheduler Overhead Accounting.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing.
Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

Runtime Programming through Model-Preserving, Scalable Runtime Patches.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Power-aware temporal isolation with variable-bandwidth servers.
Proceedings of the 10th International conference on Embedded software, 2010

2009
Compositionality for Markov reward chains with fast and silent transitions.
Perform. Evaluation, 2009

Coalgebraic Weak Bisimulation for Action-Type Systems.
Sci. Ann. Comput. Sci., 2009

Programmable temporal isolation through variable-bandwidth servers.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Distributed, Modular HTL.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Programmable temporal isolation in real-time and embedded execution environments.
Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

Traces, Executions and Schedulers, Coalgebraically.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Coalgebraic Components in a Many-Sorted Microcosm.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

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.
J. Log. Algebraic Methods Program., 2008

A Compacting Real-Time Memory Management System.
Proceedings of the 2008 USENIX Annual Technical Conference, 2008

The Microcosm Principle and Concurrency in Coalgebra.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007
Generic Trace Semantics via Coinduction.
Log. Methods Comput. Sci., 2007

Probabilistic Anonymity and Admissible Schedulers
CoRR, 2007

Compositionality for Markov Reward Chains with Fast Transitions.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

2006
Generic Trace Theory.
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

2004
A hierarchy of probabilistic system types.
Theor. Comput. Sci., 2004

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract).
Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Probabilistic Automata: System Types, Parallel Composition and Comparison.
Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004


  Loading...