Projekte pro Jahr
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:
- Publications via dblp
- Bibliometrics on Google Scholar
Externe Posten
Postdoc, Radboud University Nijmegen
1 Okt. 2005 → 28 Feb. 2007
PhD Student, Eindhoven University of Technology
15 Juni 2001 → 15 Juni 2005
Teaching and Research Assistant, SS Cyril and Methodius University in Skopje
1 Okt. 1995 → 14 Juni 2001
Kooperationen
Publikationen und Projekte der letzten 5 Jahre. Auf Punkte klicken, um Details anzuzeigen. Oder
Projekte
- 4 Abgeschlossen
-
Informatik-Online: "CS-Unplugged" für Online-Lehre
Sokolova, A. (Projektleitung)
1/06/20 → 30/09/20
Projekt: Forschung
-
Sommerpraktika 2015 des Software Systems Center - Teil Sokolova
Sokolova, A. (Projektleitung)
1/06/15 → 30/09/15
Projekt: Forschung
-
Rigorous Systems Engineering - 2. Förderungsperiode
Kirsch, C. (Projektleitung) & Sokolova, A. (Projektmitarbeiter/in)
1/03/15 → 31/08/19
Projekt: Forschung
-
LEGO-CPT: Compositionality in Coalgebraic Process Theory
Sokolova, A. (Projektleitung)
1/03/09 → 28/02/13
Projekt: Forschung
Publikationen
-
Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)
Kirsch, C., Kocher, D., Sokolova, A., Bloem, R., Spitzer, P., Breu, R., Motschnig, R., Kayali, F. & Plant, C., Okt. 2023, in: Zeitschrift für Hochschulentwicklung. 2023, 18Publikation: Beitrag in Fachzeitschrift › Artikel › Peer-reviewed
Open Access -
Introduction to the special issue for SPIN 2021
Laarman, A. & Sokolova, A., 25 Feb. 2023, Int. Journal on Software Tools for Technology Transfer (STTT).Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation
Open Access -
Preface to the special issue on Open Problems in Concurrency Theory
Castellani, I., D'Argenio, P., Mousavi, M. R. & Sokolova, A., Jan. 2023, Journal of Logical and Algebraic Methods in Programming (JLAMP).Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation
-
Report on women in logic 2020 & 2021
Alves, S., Kiefer, S. & Sokolova, A., 2022, in: ACM SIGLOG News. 9, 2, S. 31-33 3 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Peer-reviewed
-
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Sokolova, A., Bonchi, F. & Vignudelli, V., 2022, in: Logical Methods in Computer Science. 2022, 18(2), 67 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Peer-reviewed
Open Access
Aktivitäten
-
FAU Erlangen-Nürnberg Informatik
Sokolova, A. (Gastforscher/-in)
24 Okt. 2023 → 27 Okt. 2023Aktivität: Forschungsaufenthalt › vor Ort
-
The 12th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
D'Argenio, P. (Organisator/in) & Sokolova, A. (Organisator/in)
23 Sept. 2023Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Organisation einer Veranstaltung
-
Simple Coalgebraic Traces
Sokolova, A. (Redner/in)
28 Juni 2023Aktivität: Gastvortrag oder Vortrag › Vortrag › science to science / art to art
-
Open Problems in Concurrency Theory
Bernardo, M. (Organisator/in), D'Argenio, P. (Organisator/in) & Sokolova, A. (Organisator/in)
26 Juni 2023 → 30 Juni 2023Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Organisation einer Veranstaltung
-
Traces
Sokolova, A. (Redner/in)
30 Mai 2023Aktivität: Gastvortrag oder Vortrag › Vortrag › science to science / art to art