Ana Sokolova

Assoz. Prof. Priv.-Doz. Dr.

20002019

Research output per year

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Persönliches Profil

Forschungsgebiete

I work in the area of formal methods, logic in computer science, and coalgebra theory. I am particularly interested in semantics of probabilistic systems and concurrency, but have also worked and contributed on real-time systems and memory management.   

Weitere Informationen

Further profiles:

Externe Posten

Postdoc, Radboud University Nijmegen

1 Okt 200528 Feb 2007

PhD Student, Eindhoven University of Technology

15 Jun 200115 Jun 2005

Teaching and Research Assistant, SS Cyril and Methodius University in Skopje

1 Okt 199514 Jun 2001

Netzwerk Jüngste externe Zusammenarbeit auf Länderebene Erkunden Sie die Details, indem Sie auf die Punkte klicken.

Projekte

  • 3 Abschlussdatum

Publikationen

8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom.

Roggenbach, M. & Sokolova, A., 2019, 2 S.

Publikation: Andere BeiträgeSonstiger BeitragTransfer

Helmut Veith memorial workshop 2019 report

Morak, M., Prianichnikova, A. & Sokolova, A., 2019, 2 S. Association for Computing Machinery (ACM).

Publikation: Andere BeiträgeSonstiger BeitragTransfer

Preface for the special issue of Proof, Structure, and Computation 2014

Pattinson, D., Schuster, P. & Sokolova, A., 2019, Oxford University Press.

Publikation: Andere BeiträgeSonstiger BeitragForschung

The theory of traces for systems with nondeterminism and probability

Bonchi, F., Sokolova, A. & Vignudelli, V., 1 Jun 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. Institute of Electrical and Electronics Engineers Inc., 8785673. (Proceedings - Symposium on Logic in Computer Science; Band 2019-June).

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitrag

Parameter-Independent Strategies for pMDPs via POMDPs

Titel in Übersetzung: Parameter-Independent Strategies for pMDPs via POMDPsArming, S., Bartocci, E. & Sokolova, A., 2018, Proceedings QEST'18. Springer, S. 53-70 (Lecture Notes in Computer Science; Band 11024).

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitrag

Verwandte Tätigkeiten

Universität Pisa

Ana Sokolova (Gastforscher/-in), Harald Woracek (Gastforscher/-in)
14 Apr 201918 Apr 2019

Aktivität: Forschungsaufenthalt

12th Panhellenic Logic Symposium

Ana Sokolova (Teilnehmer/in)
28 Jun 201930 Jun 2019

Aktivität: Mitwirkung an und Organisation einer VeranstaltungMitwirkung an einer Veranstaltung

Semantics of Probabilistic Automata via Coalgebra

Ana Sokolova (Redner/in)
29 Jun 2019

Aktivität: Gastvortrag oder VortragVortragscience to science / art to art

Syntax and Semantics for Probability and Nondeterminism

Ana Sokolova (Redner/in)
19 Mär 2019

Aktivität: Gastvortrag oder VortragVortragscience to science / art to art

8th Conference on Algebra and Coalgebra in Computer Science - CALCO 2019

Ana Sokolova (Chair), Markus Roggenbach (Chair)
3 Jun 20196 Jun 2019

Aktivität: Mitwirkung an und Organisation einer VeranstaltungMitwirkung an einer Veranstaltung