×
Compute Distance To:
Author ID: sokolova.ana Recent zbMATH articles by "Sokolova, Ana"
Published as: Sokolova, Ana; Sokolova, A.

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 246 times in 170 Documents Cited by Year
Generic trace semantics via coinduction. Zbl 1131.68058
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
53
2007
A hierarchy of probabilistic system types. Zbl 1071.68071
Bartels, Falk; Sokolova, Ana; de Vink, Erik
22
2004
Exemplaric expressivity of modal logics. Zbl 1234.03009
Jacobs, Bart; Sokolova, Ana
21
2010
Probabilistic systems coalgebraically: a survey. Zbl 1234.68308
Sokolova, Ana
18
2011
Probabilistic automata: System types, parallel composition and comparison. Zbl 1203.68089
Sokolova, Ana; de Vink, Erik P.
17
2004
Trace semantics via determinization. Zbl 1327.68158
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
16
2015
A hierarchy of probabilistic system types. Zbl 1270.68186
Bartels, Falk; Sokolova, Ana; de Vink, Erik
15
2003
The microcosm principle and concurrency in coalgebra. Zbl 1139.68042
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
9
2008
Trace semantics via determinization. Zbl 1328.68122
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
9
2012
The power of convex algebras. Zbl 1442.68085
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana
8
2017
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
8
2013
Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243
Silva, Alexandra; Sokolova, Ana
8
2011
Information hiding in probabilistic concurrent systems. Zbl 1216.68182
Andrés, Miguel E.; Palamidessi, Catuscia; van Rossum, Peter; Sokolova, Ana
6
2011
Weak bisimulation for action-type coalgebras (extended abstract). Zbl 1272.68321
Sokolova, Ana; de Vink, Erik; Woracek, Harald
6
2005
Coalgebraic components in a many-sorted microcosm. Zbl 1239.68044
Hasuo, Ichiro; Heunen, Chris; Jacobs, Bart; Sokolova, Ana
6
2009
Congruences of convex algebras. Zbl 1320.08003
Sokolova, Ana; Woracek, Harald
6
2015
Generic trace theory. Zbl 1276.68122
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
5
2006
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald
3
2009
Proper semirings and proper convex functors. Zbl 06904544
Sokolova, Ana; Woracek, Harald
2
2018
Traces, executions and schedulers, coalgebraically. Zbl 1239.68052
Jacobs, Bart; Sokolova, Ana
2
2009
Termination in convex sets of distributions. Zbl 1400.68146
Sokolova, Ana; Woracek, Harald
2
2018
Termination in convex sets of distributions. Zbl 1400.68145
Sokolova, Ana; Woracek, Harald
1
2017
Compositionality for Markov reward chains with fast transitions. Zbl 1149.68320
Markovski, J.; Sokolova, A.; Trčka, N.; de Vink, E. P.
1
2007
On groupoids with identity \(x(xy)=y\). Zbl 1059.20061
Goračinova-Ilieva, Lidija; Markovski, Smile; Sokolova, Ana
1
2004
Dynamic reductions for model checking concurrent software. Zbl 1484.68102
Günther, Henning; Laarman, Alfons; Sokolova, Ana; Weissenbacher, Georg
1
2017
Proper semirings and proper convex functors. Zbl 06904544
Sokolova, Ana; Woracek, Harald
2
2018
Termination in convex sets of distributions. Zbl 1400.68146
Sokolova, Ana; Woracek, Harald
2
2018
The power of convex algebras. Zbl 1442.68085
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana
8
2017
Termination in convex sets of distributions. Zbl 1400.68145
Sokolova, Ana; Woracek, Harald
1
2017
Dynamic reductions for model checking concurrent software. Zbl 1484.68102
Günther, Henning; Laarman, Alfons; Sokolova, Ana; Weissenbacher, Georg
1
2017
Trace semantics via determinization. Zbl 1327.68158
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
16
2015
Congruences of convex algebras. Zbl 1320.08003
Sokolova, Ana; Woracek, Harald
6
2015
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
8
2013
Trace semantics via determinization. Zbl 1328.68122
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
9
2012
Probabilistic systems coalgebraically: a survey. Zbl 1234.68308
Sokolova, Ana
18
2011
Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243
Silva, Alexandra; Sokolova, Ana
8
2011
Information hiding in probabilistic concurrent systems. Zbl 1216.68182
Andrés, Miguel E.; Palamidessi, Catuscia; van Rossum, Peter; Sokolova, Ana
6
2011
Exemplaric expressivity of modal logics. Zbl 1234.03009
Jacobs, Bart; Sokolova, Ana
21
2010
Coalgebraic components in a many-sorted microcosm. Zbl 1239.68044
Hasuo, Ichiro; Heunen, Chris; Jacobs, Bart; Sokolova, Ana
6
2009
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald
3
2009
Traces, executions and schedulers, coalgebraically. Zbl 1239.68052
Jacobs, Bart; Sokolova, Ana
2
2009
The microcosm principle and concurrency in coalgebra. Zbl 1139.68042
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
9
2008
Generic trace semantics via coinduction. Zbl 1131.68058
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
53
2007
Compositionality for Markov reward chains with fast transitions. Zbl 1149.68320
Markovski, J.; Sokolova, A.; Trčka, N.; de Vink, E. P.
1
2007
Generic trace theory. Zbl 1276.68122
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
5
2006
Weak bisimulation for action-type coalgebras (extended abstract). Zbl 1272.68321
Sokolova, Ana; de Vink, Erik; Woracek, Harald
6
2005
A hierarchy of probabilistic system types. Zbl 1071.68071
Bartels, Falk; Sokolova, Ana; de Vink, Erik
22
2004
Probabilistic automata: System types, parallel composition and comparison. Zbl 1203.68089
Sokolova, Ana; de Vink, Erik P.
17
2004
On groupoids with identity \(x(xy)=y\). Zbl 1059.20061
Goračinova-Ilieva, Lidija; Markovski, Smile; Sokolova, Ana
1
2004
A hierarchy of probabilistic system types. Zbl 1270.68186
Bartels, Falk; Sokolova, Ana; de Vink, Erik
15
2003
all top 5

Cited by 227 Authors

13 Hasuo, Ichiro
13 Silva, Alexandra
12 Sokolova, Ana
11 Bonchi, Filippo
11 Jacobs, Bart
11 Milius, Stefan
9 Schröder, Lutz
7 Kurz, Alexander
7 Rot, Jurriaan
6 Wißmann, Thorsten
5 Bernardo, Marco
5 Bonsangue, Marcello Maria
5 Cîrstea, Corina
4 Brengos, Tomasz
4 Georgievska, Sonja
4 Klin, Bartek
4 Kupke, Clemens
4 Miculan, Marino
4 Panangaden, Prakash
4 Pattinson, Dirk
4 Rutten, Jan J. M. M.
3 Adámek, Jiří
3 Andova, Suzana
3 Bacci, Giorgio
3 Barbosa, Luís Soares
3 Danos, Vincent
3 De Nicola, Rocco
3 Hansen, Helle Hvid
3 König, Barbara
3 Loreti, Michele
3 Plotkin, Gordon D.
3 Talmage, Edward
3 Urabe, Natsuki
3 Welch, Jennifer Lundelius
2 Balan, Adriana
2 Caltais, Georgiana
2 Cao, Yongzhi
2 Chaput, Philippe
2 Cheung, Ling
2 Cho, Kenta
2 de Francesco Albasini, Luisa
2 de Frutos-Escrig, David
2 Dorsch, Ulrich
2 Gregorio-Rodríguez, Carlos
2 Kataoka, Toshiki
2 Küpper, Sebastian
2 Leal, Raul Andres
2 Levy, Paul Blain
2 Lynch, Nancy Ann
2 Mardare, Radu
2 Mio, Matteo
2 Monteiro, Luís
2 Moss, Lawrence S.
2 Palamidessi, Catuscia
2 Peressotti, Marco
2 Petrisan, Daniela Luan
2 Piróg, Maciej
2 Sabadini, Nicoletta
2 Salamanca, Julian
2 Schubert, Christoph
2 Segala, Roberto
2 Shavit, Nir N.
2 Taubenfeld, Gadi
2 Trčka, Nikola
2 Urbat, Henning
2 Vignudelli, Valeria
2 Walters, Robert F. C.
2 Wang, Hanpin
2 Wild, Paul
2 Woracek, Harald
2 Zanasi, Fabio
1 Abou-Saleh, Faris
1 Affeldt, Reynald
1 Ahmed, Yaqoub
1 Aiguier, Marc
1 Asada, Kazuyuki
1 Ateniese, Giuseppe
1 Bacci, Giovanni
1 Badouel, Eric
1 Baier, Christel
1 Bartels, Falk
1 Basset, Nicolas
1 Beohar, Harsh
1 Bhateja, Puneet
1 Bílková, Marta
1 Boulanger, Frédéric
1 Bowler, Nathan
1 Bravetti, Mario
1 Camacho, Carlos J.
1 Canetti, Ran
1 Chatzikokolakis, Konstantinos
1 Chen, Liang-Ting
1 Chen, Weien
1 Chen, Yixiang
1 Clerc, Florence
1 Dahlqvist, Fredrik
1 D’Argenio, Pedro Rubén
1 Dash, Swaraj
1 de Vink, Erik P.
1 Deifel, Hans-Peter
...and 127 more Authors

Citations by Year