![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ana Sokolova
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j21]Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova:
Preface to the special issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 130: 100823 (2023) - [j20]Alfons Laarman
, Ana Sokolova
:
Introduction to the special issue for SPIN 2021. Int. J. Softw. Tools Technol. Transf. 25(1): 75-76 (2023) - 2022
- [j19]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination. Log. Methods Comput. Sci. 18(2) (2022) - [j18]Sandra Alves, Sandra Kiefer, Ana Sokolova:
Report on women in logic 2020 & 2021. ACM SIGLOG News 9(2): 31-33 (2022) - [i14]Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova:
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). Dagstuhl Reports 12(12): 27-53 (2022) - 2021
- [j17]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. 17(3) (2021) - [c38]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls). CALCO 2021: 11:1-11:18 - [c37]Ana Sokolova, Harald Woracek:
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls). CALCO 2021: 23:1-23:16 - [e7]Alfons Laarman
, Ana Sokolova
:
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Lecture Notes in Computer Science 12864, Springer 2021, ISBN 978-3-030-84628-2 [contents] - [e6]Ana Sokolova:
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. EPTCS 351, 2021 [contents] - [i13]Ana Sokolova, Harald Woracek:
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively. CoRR abs/2106.06614 (2021) - 2020
- [e5]Alexey Gotsman, Ana Sokolova:
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. Lecture Notes in Computer Science 12136, Springer 2020, ISBN 978-3-030-50085-6 [contents] - [i12]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Presenting convex sets of probability distributions by convex semilattices and unique bases. CoRR abs/2005.01670 (2020)
2010 – 2019
- 2019
- [j16]Dirk Pattinson, Peter Schuster, Ana Sokolova
:
Preface for the special issue of Proof, Structure, and Computation 2014. J. Log. Comput. 29(4): 417-418 (2019) - [j15]Michael Morak, Anna Prianichnikova, Ana Sokolova:
Helmut Veith memorial workshop 2019 report. ACM SIGLOG News 6(3): 7-8 (2019) - [c36]Filippo Bonchi
, Ana Sokolova
, Valeria Vignudelli:
The Theory of Traces for Systems with Nondeterminism and Probability. LICS 2019: 1-14 - [e4]Markus Roggenbach, Ana Sokolova:
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. LIPIcs 139, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-120-7 [contents] - 2018
- [j14]Ana Sokolova
, Harald Woracek:
Termination in Convex Sets of Distributions. Log. Methods Comput. Sci. 14(4) (2018) - [c35]Ana Sokolova
, Harald Woracek
:
Proper Semirings and Proper Convex Functors. FoSSaCS 2018: 331-347 - [c34]Sebastian Arming, Ezio Bartocci
, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
:
Parameter-Independent Strategies for pMDPs via POMDPs. QEST 2018: 53-70 - [i11]Ana Sokolova, Harald Woracek:
Proper Semirings and Proper Convex Functors. CoRR abs/1802.07830 (2018) - [i10]Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova:
Parameter-Independent Strategies for pMDPs via POMDPs. CoRR abs/1806.05126 (2018) - [i9]Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. CoRR abs/1808.00923 (2018) - 2017
- [c33]Ana Sokolova
, Harald Woracek:
Termination in Convex Sets of Distributions. CALCO 2017: 22:1-22:16 - [c32]Filippo Bonchi
, Alexandra Silva, Ana Sokolova
:
The Power of Convex Algebras. CONCUR 2017: 23:1-23:18 - [c31]Henning Günther, Alfons Laarman
, Ana Sokolova
, Georg Weissenbacher
:
Dynamic Reductions for Model Checking Concurrent Software. VMCAI 2017: 246-265 - [c30]Sebastian Arming
, Ezio Bartocci
, Ana Sokolova
:
SEA-PARAM: Exploring Schedulers in Parametric MDPs. QAPL@ETAPS 2017: 25-38 - [i8]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
The Power of Convex Algebras. CoRR abs/1707.02344 (2017) - [i7]Ana Sokolova, Harald Woracek:
Termination in Convex Sets of Distributions. CoRR abs/1710.10402 (2017) - 2016
- [j13]Ivan Lanese, Alberto Lluch-Lafuente
, Ana Sokolova, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. 85(3): 367 (2016) - [c29]Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova
, Helmut Veith:
Local Linearizability for Concurrent Container-Type Data Structures. CONCUR 2016: 6:1-6:15 - [i6]Henning Günther, Alfons Laarman
, Ana Sokolova, Georg Weissenbacher:
Dynamic Reductions for Model Checking Concurrent Software. CoRR abs/1611.09318 (2016) - 2015
- [j12]Bart Jacobs, Alexandra Silva, Ana Sokolova
:
Trace semantics via determinization. J. Comput. Syst. Sci. 81(5): 859-879 (2015) - [j11]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
:
Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100: 1 (2015) - [j10]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente
, Ana Sokolova
:
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109: 1 (2015) - [c28]Andreas Haas, Thomas Hütter
, Christoph M. Kirsch, Michael Lippautz, Mario Preishuber, Ana Sokolova
:
Scal: A Benchmarking Suite for Concurrent Data Structures. NETYS 2015: 1-14 - [c27]Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
:
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. OOPSLA 2015: 451-469 - [i5]Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith:
Local Linearizability. CoRR abs/1502.07118 (2015) - [i4]Martin Aigner, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova:
Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures. CoRR abs/1503.09006 (2015) - 2014
- [e3]Ivan Lanese, Alberto Lluch-Lafuente
, Ana Sokolova
, Hugo Torres Vieira:
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS 166, 2014 [contents] - [i3]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova:
Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. CoRR abs/1404.1830 (2014) - 2013
- [j9]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
:
Temporal isolation in real-time systems: the VBS approach. Int. J. Softw. Tools Technol. Transf. 15(3): 189-209 (2013) - [c26]Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova
, Christoph M. Kirsch, Ali Sezgin:
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. Conf. Computing Frontiers 2013: 17:1-17:9 - [c25]Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova
:
Quantitative relaxation of concurrent data structures. POPL 2013: 317-328 - [e2]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente
, Ana Sokolova
:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 [contents] - 2012
- [c24]Christoph M. Kirsch, Ana Sokolova
:
The Logical Execution Time Paradigm. Advances in Real-Time Systems 2012: 103-120 - [c23]Bart Jacobs, Alexandra Silva, Ana Sokolova
:
Trace Semantics via Determinization. CMCS 2012: 109-129 - [c22]Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
:
Performance, Scalability, and Semantics of Concurrent FIFO Queues. ICA3PP (1) 2012: 273-287 - [e1]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012 [contents] - 2011
- [j8]Miguel E. Andrés, Catuscia Palamidessi
, Peter van Rossum, Ana Sokolova
:
Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. 412(28): 3072-3089 (2011) - [j7]Ana Sokolova
:
Probabilistic systems coalgebraically: A survey. Theor. Comput. Sci. 412(38): 5095-5110 (2011) - [c21]Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques
, Ana Sokolova
:
Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD 2011: 77-86 - [c20]Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova
, Stephanie Stroka, Andreas Unterweger:
Short-term memory for self-collecting mutators. ISMM 2011: 99-108 - [c19]Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova
:
Scalability versus semantics of concurrent FIFO queues. PODC 2011: 331-332 - [c18]Alexandra Silva, Ana Sokolova
:
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. MFPS 2011: 291-311 - 2010
- [j6]Bart Jacobs, Ana Sokolova
:
Exemplaric Expressivity of Modal Logics. J. Log. Comput. 20(5): 1041-1068 (2010) - [c17]Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova
:
Power-aware temporal isolation with variable-bandwidth servers. EMSOFT 2010: 259-268 - [c16]Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques
, Ana Sokolova
:
Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS 2010: 290-294 - [c15]Silviu S. Craciunas, Andreas Haas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Andreas Rottmann, Ana Sokolova, Rainer Trummer, Joshua Love, Raja Sengupta:
Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing. HotCloud 2010 - [c14]Miguel E. Andrés, Catuscia Palamidessi
, Peter van Rossum, Ana Sokolova
:
Information Hiding in Probabilistic Concurrent Systems. QEST 2010: 17-26 - [c13]Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova
:
Response Time versus Utilization in Scheduler Overhead Accounting. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 291-300
2000 – 2009
- 2009
- [j5]Ana Sokolova, Erik P. de Vink, Harald Woracek:
Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comput. Sci. 19: 93-144 (2009) - [j4]Jasen Markovski, Ana Sokolova
, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66(8): 435-452 (2009) - [c12]Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
:
Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80 - [c11]Bart Jacobs, Ana Sokolova
:
Traces, Executions and Schedulers, Coalgebraically. CALCO 2009: 206-220 - [c10]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
:
Programmable temporal isolation in real-time and embedded execution environments. IIES@EuroSys 2009: 19-24 - [c9]Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques
, Ana Sokolova
:
Distributed, Modular HTL. RTSS 2009: 171-180 - [c8]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova
:
Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180 - 2008
- [j3]Jos C. M. Baeten, Ana Sokolova:
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. 78(1): 52 (2008) - [c7]Ichiro Hasuo, Bart Jacobs, Ana Sokolova
:
The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260 - [c6]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger:
A Compacting Real-Time Memory Management System. USENIX ATC 2008: 349-362 - 2007
- [j2]Ichiro Hasuo
, Bart Jacobs, Ana Sokolova
:
Generic Trace Semantics via Coinduction. Log. Methods Comput. Sci. 3(4) (2007) - [c5]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32 - [i2]Flavio D. Garcia, Peter van Rossum, Ana Sokolova:
Probabilistic Anonymity and Admissible Schedulers. CoRR abs/0706.1019 (2007) - [i1]Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
Generic Trace Semantics via Coinduction. CoRR abs/0710.2505 (2007) - 2006
- [c4]Ichiro Hasuo
, Bart Jacobs, Ana Sokolova
:
Generic Trace Theory. CMCS 2006: 47-65 - 2004
- [j1]Falk Bartels, Ana Sokolova
, Erik P. de Vink:
A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004) - [c3]Ana Sokolova, Erik P. de Vink:
Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43 - [c2]Ana Sokolova
, Erik P. de Vink, Harald Woracek:
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS 2004: 211-228 - 2003
- [c1]Falk Bartels, Ana Sokolova
, Erik P. de Vink:
A hierarchy of probabilistic system types. CMCS 2003: 57-75
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint