Ana Sokolova - RankMe

89 papers A* 3A 3B 17C 2Misc 1Journal 38Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Automata and Algebras for Probability and Nondeterminism (Invited Talk). CSL Ana Sokolova
2026	J	`jnl`	Convex algebras on an interval with semicontinuous monotone operations. CoRR Ana Sokolova, Harald Woracek
2026	B	`conf`	ε-Distance via Lévy-Prokhorov Lifting. CSL Josée Desharnais, Ana Sokolova
2025	B	`conf`	A Complete Inference System for Probabilistic Infinite Trace Equivalence. CSL Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova
2025	B	`conf`	Cancellative Convex Semilattices. CALCO Ana Sokolova, Harald Woracek
2025	J	`jnl`	Cancellative Convex Semilattices. CoRR Ana Sokolova, Harald Woracek
2025	J	`jnl`	ε-Distance via Lévy-Prokhorov Lifting. CoRR Josée Desharnais, Ana Sokolova
2024	—	`conf`	A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case. Principles of Verification (2) Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova
2024	—	`ed.`	Reachability Problems - 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings RP Laura Kovács, Ana Sokolova
2023	J	`jnl`	Introduction to the special issue for SPIN 2021. Int. J. Softw. Tools Technol. Transf. Alfons Laarman, Ana Sokolova
2023	J	`jnl`	Preface to the special issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova
2022	J	`jnl`	Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). Dagstuhl Reports Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova
2022	J	`jnl`	Report on women in logic 2020 & 2021. ACM SIGLOG News Sandra Alves, Sandra Kiefer, Ana Sokolova
2022	J	`jnl`	The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. Log. Methods Comput. Sci. Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2021	J	`jnl`	Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. Filippo Bonchi, Alexandra Silva, Ana Sokolova
2021	—	`ed.`	Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings SPIN Alfons Laarman, Ana Sokolova
2021	B	`conf`	Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). CALCO Ana Sokolova, Harald Woracek
2021	J	`jnl`	Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively. CoRR Ana Sokolova, Harald Woracek
2021	B	`conf`	Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). CALCO Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2021	B	`ed.`	Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. MFPS Ana Sokolova
2020	C	`ed.`	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 DisCoTec Alexey Gotsman, Ana Sokolova
2020	J	`jnl`	Presenting convex sets of probability distributions by convex semilattices and unique bases. CoRR Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2019	B	`ed.`	8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, United Kingdom, June 3-6, 2019 CALCO Markus Roggenbach, Ana Sokolova
2019	J	`jnl`	Helmut Veith memorial workshop 2019 report. ACM SIGLOG News Michael Morak, Anna Prianichnikova, Ana Sokolova
2019	J	`jnl`	Preface for the special issue of Proof, Structure, and Computation 2014. J. Log. Comput. Dirk Pattinson, Peter Schuster, Ana Sokolova
2019	A*	`conf`	The Theory of Traces for Systems with Nondeterminism and Probability. LICS Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2018	—	`conf`	Parameter-Independent Strategies for pMDPs via POMDPs. QEST Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
2018	J	`jnl`	Parameter-Independent Strategies for pMDPs via POMDPs. CoRR Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
2018	B	`conf`	Proper Semirings and Proper Convex Functors. FoSSaCS Ana Sokolova, Harald Woracek
2018	J	`jnl`	Proper Semirings and Proper Convex Functors. CoRR Ana Sokolova, Harald Woracek
2018	J	`jnl`	Termination in Convex Sets of Distributions. Log. Methods Comput. Sci. Ana Sokolova, Harald Woracek
2018	J	`jnl`	Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. CoRR Filippo Bonchi, Ana Sokolova, Valeria Vignudelli
2017	B	`conf`	Dynamic Reductions for Model Checking Concurrent Software. VMCAI Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
2017	—	`conf`	SEA-PARAM: Exploring Schedulers in Parametric MDPs. QAPL Sebastian Arming, Ezio Bartocci, Ana Sokolova
2017	B	`conf`	Termination in Convex Sets of Distributions. CALCO Ana Sokolova, Harald Woracek
2017	J	`jnl`	Termination in Convex Sets of Distributions. CoRR Ana Sokolova, Harald Woracek
2017	B	`conf`	The Power of Convex Algebras. CONCUR Filippo Bonchi, Alexandra Silva, Ana Sokolova
2017	J	`jnl`	The Power of Convex Algebras. CoRR Filippo Bonchi, Alexandra Silva, Ana Sokolova
2016	J	`jnl`	Dynamic Reductions for Model Checking Concurrent Software. CoRR Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
2016	B	`conf`	Local Linearizability for Concurrent Container-Type Data Structures. CONCUR Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
2016	J	`jnl`	Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
2015	J	`jnl`	Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures. CoRR Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
2015	A	`conf`	Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. OOPSLA Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
2015	J	`jnl`	Local Linearizability. CoRR Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
2015	J	`jnl`	Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
2015	J	`jnl`	Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
2015	—	`conf`	Scal: A Benchmarking Suite for Concurrent Data Structures. NETYS Andreas Haas, Thomas Hütter, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, Ana Sokolova
2015	J	`jnl`	Trace semantics via determinization. J. Comput. Syst. Sci. Bart Jacobs, Alexandra Silva, Ana Sokolova
2014	J	`jnl`	Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. CoRR Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
2014	—	`ed.`	Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. ICE Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
2013	—	`conf`	Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. Conf. Computing Frontiers Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin
2013	—	`ed.`	Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. ICE Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
2013	A*	`conf`	Quantitative relaxation of concurrent data structures. POPL Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova
2013	J	`jnl`	Temporal isolation in real-time systems: the VBS approach. Int. J. Softw. Tools Technol. Transf. Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
2012	—	`conf`	Performance, Scalability, and Semantics of Concurrent FIFO Queues. ICA3PP (1) Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
2012	—	`ed.`	Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. ICE Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
2012	—	`conf`	The Logical Execution Time Paradigm. Advances in Real-Time Systems Christoph M. Kirsch, Ana Sokolova
2012	—	`conf`	Trace Semantics via Determinization. CMCS Bart Jacobs, Alexandra Silva, Ana Sokolova
2011	J	`jnl`	Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
2011	J	`jnl`	Probabilistic systems coalgebraically: A survey. Theor. Comput. Sci. Ana Sokolova
2011	—	`conf`	Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova
2011	A*	`conf`	Scalability versus semantics of concurrent FIFO queues. PODC Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova
2011	C	`conf`	Short-term memory for self-collecting mutators. ISMM Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger
2011	B	`conf`	Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. MFPS Alexandra Silva, Ana Sokolova
2010	J	`jnl`	Exemplaric Expressivity of Modal Logics. J. Log. Comput. Bart Jacobs, Ana Sokolova
2010	—	`conf`	Information Hiding in Probabilistic Concurrent Systems. QEST Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
2010	—	`conf`	Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing. HotCloud Silviu S. Craciunas, Andreas Haas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Andreas Rottmann, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta
2010	Misc	`conf`	Power-aware temporal isolation with variable-bandwidth servers. EMSOFT Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova
2010	A	`conf`	Response Time versus Utilization in Scheduler Overhead Accounting. IEEE Real-Time and Embedded Technology and Applications Symposium Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova
2010	—	`conf`	Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova
2009	B	`conf`	Coalgebraic Components in a Many-Sorted Microcosm. CALCO Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
2009	J	`jnl`	Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comput. Sci. Ana Sokolova, Erik P. de Vink, Harald Woracek
2009	J	`jnl`	Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
2009	A	`conf`	Distributed, Modular HTL. RTSS Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova
2009	—	`conf`	Programmable temporal isolation in real-time and embedded execution environments. IIES@EuroSys Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
2009	—	`conf`	Programmable temporal isolation through variable-bandwidth servers. SIES Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
2009	B	`conf`	Traces, Executions and Schedulers, Coalgebraically. CALCO Bart Jacobs, Ana Sokolova
2008	—	`conf`	A Compacting Real-Time Memory Management System. USENIX ATC Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger
2008	J	`jnl`	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. Jos C. M. Baeten, Ana Sokolova
2008	B	`conf`	The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007	—	`conf`	Compositionality for Markov Reward Chains with Fast Transitions. EPEW Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink
2007	J	`jnl`	Generic Trace Semantics via Coinduction CoRR Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007	J	`jnl`	Generic Trace Semantics via Coinduction. Log. Methods Comput. Sci. Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007	J	`jnl`	Probabilistic Anonymity and Admissible Schedulers CoRR Flavio D. Garcia, Peter van Rossum, Ana Sokolova
2006	—	`conf`	Generic Trace Theory. CMCS Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2004	J	`jnl`	A hierarchy of probabilistic system types. Theor. Comput. Sci. Falk Bartels, Ana Sokolova, Erik P. de Vink
2004	—	`conf`	Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems Ana Sokolova, Erik P. de Vink
2004	—	`conf`	Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS Ana Sokolova, Erik P. de Vink, Harald Woracek
2003	—	`conf`	A hierarchy of probabilistic system types. CMCS Falk Bartels, Ana Sokolova, Erik P. de Vink