Name Card

Full name Familienname, Vorname
Sokolova, Ana
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Sokolova, Ana ; Woracek, Harald Nawrotzki's Algorithm for the Countable Splitting Lemma, ConstructivelyKonferenzbeitrag Inproceedings2021
2Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana Parameter-Independent Strategies for pMDPs via POMDPsKonferenzbeitrag Inproceedings 2018
3Sokolova, Ana ; Woracek, Harald Termination in Convex Sets of DistributionsArtikel Article 2018
4Sokolova, Ana ; Woracek, Harald Proper Semirings and Proper Convex FunctorsBuchbeitrag Book Contribution2018
5Sokolova, Ana ; Woracek, Harald Termination in Convex Sets of DistributionsBericht Report2017
6Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana SEA-PARAM: Exploring Schedulers in Parametric MDPsKonferenzbeitrag Inproceedings2017
7Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg Dynamic Reductions for Model Checking Concurrent SoftwareKonferenzbeitrag Inproceedings 2017
8Sokolova, Ana ; Woracek, Harald Proper semirings and proper convex functorsBericht Report2017
9Sokolova, Ana ; Woracek, Harald Termination in Convex Sets of DistributionsKonferenzbeitrag Inproceedings2017
10Sokolova, Ana ; Woracek, Harald Congruences of Convex AlgebrasArtikel Article2015
11Sokolova, Ana ; Woracek, Harald Congruences of Convex AlgebrasBericht Report2012
12Sokolova, Ana ; de Vink, Erik ; Woracek, Harald Coalgebraic weak bisimulation for action type systemsArtikel Article2009
13Sokolova, Ana ; de Vink, Erik ; Woracek, Harald A companion to coalgebraic weak bisumulation for action-type systemsArtikel Article2007
14Woracek, Harald ; Sokolova, Ana ; de Vink, Erik Weak Bisimulation for action type coalgebrasArtikel Article2005