×

zbMATH — the first resource for mathematics

Sokolova, Ana

Compute Distance To:
Author ID: sokolova.ana Recent zbMATH articles by "Sokolova, Ana"
Published as: Sokolova, A.; Sokolova, Ana
Documents Indexed: 38 Publications since 1999, including 4 Books

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 205 times in 146 Documents Cited by Year
Generic trace semantics via coinduction. Zbl 1131.68058
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
45
2007
Exemplaric expressivity of modal logics. Zbl 1234.03009
Jacobs, Bart; Sokolova, Ana
22
2010
A hierarchy of probabilistic system types. Zbl 1071.68071
Bartels, Falk; Sokolova, Ana; de Vink, Erik
20
2004
A hierarchy of probabilistic system types. Zbl 1270.68186
Bartels, Falk; Sokolova, Ana; de Vink, Erik
17
2003
Probabilistic automata: System types, parallel composition and comparison. Zbl 1203.68089
Sokolova, Ana; de Vink, Erik P.
16
2004
Probabilistic systems coalgebraically: a survey. Zbl 1234.68308
Sokolova, Ana
12
2011
The microcosm principle and concurrency in coalgebra. Zbl 1139.68042
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
9
2008
Trace semantics via determinization. Zbl 1327.68158
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
8
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
7
2012
Weak bisimulation for action-type coalgebras (extended abstract). Zbl 1272.68321
Sokolova, Ana; de Vink, Erik; Woracek, Harald
7
2005
Information hiding in probabilistic concurrent systems. Zbl 1216.68182
Andrés, Miguel E.; Palamidessi, Catuscia; van Rossum, Peter; Sokolova, Ana
6
2011
Coalgebraic components in a many-sorted microcosm. Zbl 1239.68044
Hasuo, Ichiro; Heunen, Chris; Jacobs, Bart; Sokolova, Ana
6
2009
Generic trace theory. Zbl 1276.68122
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
6
2006
Congruences of convex algebras. Zbl 1320.08003
Sokolova, Ana; Woracek, Harald
5
2015
Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243
Silva, Alexandra; Sokolova, Ana
4
2011
Traces, executions and schedulers, coalgebraically. Zbl 1239.68052
Jacobs, Bart; Sokolova, Ana
2
2009
Proper semirings and proper convex functors. Zbl 06904544
Sokolova, Ana; Woracek, Harald
1
2018
Termination in convex sets of distributions. Zbl 1400.68145
Sokolova, Ana; Woracek, Harald
1
2017
Dynamic reductions for model checking concurrent software. Zbl 06687360
Günther, Henning; Laarman, Alfons; Sokolova, Ana; Weissenbacher, Georg
1
2017
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald
1
2009
On groupoids with identity \(x(xy)=y\). Zbl 1059.20061
Goračinova-Ilieva, Lidija; Markovski, Smile; Sokolova, Ana
1
2004
Proper semirings and proper convex functors. Zbl 06904544
Sokolova, Ana; Woracek, Harald
1
2018
Termination in convex sets of distributions. Zbl 1400.68145
Sokolova, Ana; Woracek, Harald
1
2017
Dynamic reductions for model checking concurrent software. Zbl 06687360
Günther, Henning; Laarman, Alfons; Sokolova, Ana; Weissenbacher, Georg
1
2017
Trace semantics via determinization. Zbl 1327.68158
Jacobs, Bart; Silva, Alexandra; Sokolova, Ana
8
2015
Congruences of convex algebras. Zbl 1320.08003
Sokolova, Ana; Woracek, Harald
5
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
7
2012
Probabilistic systems coalgebraically: a survey. Zbl 1234.68308
Sokolova, Ana
12
2011
Information hiding in probabilistic concurrent systems. Zbl 1216.68182
Andrés, Miguel E.; Palamidessi, Catuscia; van Rossum, Peter; Sokolova, Ana
6
2011
Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243
Silva, Alexandra; Sokolova, Ana
4
2011
Exemplaric expressivity of modal logics. Zbl 1234.03009
Jacobs, Bart; Sokolova, Ana
22
2010
Coalgebraic components in a many-sorted microcosm. Zbl 1239.68044
Hasuo, Ichiro; Heunen, Chris; Jacobs, Bart; Sokolova, Ana
6
2009
Traces, executions and schedulers, coalgebraically. Zbl 1239.68052
Jacobs, Bart; Sokolova, Ana
2
2009
Coalgebraic weak bisimulation for action-type systems. Zbl 1424.68109
Sokolova, Ana; de Vink, Erik; Woracek, Harald
1
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
45
2007
Generic trace theory. Zbl 1276.68122
Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana
6
2006
Weak bisimulation for action-type coalgebras (extended abstract). Zbl 1272.68321
Sokolova, Ana; de Vink, Erik; Woracek, Harald
7
2005
A hierarchy of probabilistic system types. Zbl 1071.68071
Bartels, Falk; Sokolova, Ana; de Vink, Erik
20
2004
Probabilistic automata: System types, parallel composition and comparison. Zbl 1203.68089
Sokolova, Ana; de Vink, Erik P.
16
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
17
2003
all top 5

Cited by 205 Authors

12 Silva, Alexandra
11 Hasuo, Ichiro
11 Sokolova, Ana
10 Jacobs, Bart
9 Milius, Stefan
7 Bonchi, Filippo
7 Kurz, Alexander
6 Schröder, Lutz
5 Bonsangue, Marcello Maria
5 Cîrstea, Corina
5 Wißmann, Thorsten
4 Bernardo, Marco
4 Georgievska, Sonja
4 Klin, Bartek
4 Miculan, Marino
4 Panangaden, Prakash
4 Pattinson, Dirk
4 Rot, Jurriaan
4 Rutten, Jan J. M. M.
3 Andova, Suzana
3 Barbosa, Luís Soares
3 Cao, Yongzhi
3 Danos, Vincent
3 De Nicola, Rocco
3 Loreti, Michele
3 Palamidessi, Catuscia
3 Talmage, Edward
3 Wang, Hanpin
3 Welch, Jennifer Lundelius
2 Adámek, Jiří
2 Bacci, Giorgio
2 Balan, Adriana
2 Brengos, Tomasz
2 Caltais, Georgiana
2 Chaput, Philippe
2 Cheung, Ling
2 Cho, Kenta
2 Dahlqvist, Fredrik
2 de Francesco Albasini, Luisa
2 de Frutos-Escrig, David
2 Dorsch, Ulrich
2 Feret, Jérôme
2 Gregorio-Rodríguez, Carlos
2 Hansen, Helle Hvid
2 Kataoka, Toshiki
2 König, Barbara
2 Kupke, Clemens
2 Küpper, Sebastian
2 Leal, Raul Andres
2 Lynch, Nancy Ann
2 Monteiro, Luís
2 Peressotti, Marco
2 Piróg, Maciej
2 Plotkin, Gordon D.
2 Pym, David J.
2 Sabadini, Nicoletta
2 Schubert, Christoph
2 Segala, Roberto
2 Shavit, Nir N.
2 Taubenfeld, Gadi
2 Trčka, Nikola
2 Urabe, Natsuki
2 Walters, Robert F. C.
2 Woracek, Harald
1 Abou-Saleh, Faris
1 Ahmed, Yaqoub
1 Aiguier, Marc
1 Andrés, Miguel E.
1 Asada, Kazuyuki
1 Badouel, Eric
1 Baier, Christel
1 Bartels, Falk
1 Basset, Nicolas
1 Beohar, Harsh
1 Bílková, Marta
1 Boulanger, Frédéric
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 D’Argenio, Pedro Rubén
1 de Vink, Erik P.
1 Deng, Yuxin
1 Desharnais, Josée
1 Doberkat, Ernst-Erich
1 Docherty, Simon
1 Dongol, Brijesh
1 Dostál, Matěj
1 Dubut, Jérémy
1 Dudek, Wiesław Aleksander
1 Fauser, Bertfried
1 Ferrer Fioriti, Luis María
1 Fijalkow, Nathanaël
1 Fu, Yuxi
1 Furber, Robert W. J.
1 Gibbons, Jeremy
...and 105 more Authors

Citations by Year