Ana Sokolova

	2009
16		Bart Jacobs, Ana Sokolova: Traces, Executions and Schedulers, Coalgebraically. CALCO 2009: 206-220
15		Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80
14		Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180
13		Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov reward chains with fast and silent transitions. Perform. Eval. 66(8): 435-452 (2009)
	2008
12		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260
11		Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger: A Compacting Real-Time Memory Management System. USENIX Annual Technical Conference 2008: 349-362
10		Jos C. M. Baeten, Ana Sokolova: Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. J. Log. Algebr. Program. 78(1): 52 (2008)
	2007
9		Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink: Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32
8		Flavio D. Garcia, Peter van Rossum, Ana Sokolova: Probabilistic Anonymity and Admissible Schedulers CoRR abs/0706.1019: (2007)
7		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction CoRR abs/0710.2505: (2007)
6		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Logical Methods in Computer Science 3(4): (2007)
	2006
5		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Theory. Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006)
	2005
4		Ana Sokolova, Erik P. de Vink, Harald Woracek: Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 122: 211-228 (2005)
	2004
3		Ana Sokolova, Erik P. de Vink: Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43
2		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004)
	2003
1		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): (2003)

Coauthor Index

1	Jos C. M. Baeten	[10]
2	Falk Bartels	[1] [2]
3	Silviu S. Craciunas	[11] [14]
4	Flavio D. Garcia	[8]
5	Ichiro Hasuo	[5] [6] [7] [12] [15]
6	Chris Heunen	[15]
7	Bart Jacobs	[5] [6] [7] [12] [15] [16]
8	Christoph M. Kirsch (Christoph Meyer)	[11] [14]
9	Jasen Markovski	[9] [13]
10	Hannes Payer	[11] [14]
11	Harald Röck	[14]
12	Peter van Rossum	[8]
13	Horst Stadler	[11]
14	Robert Staudinger	[11]
15	Nikola Trcka	[9] [13]
16	Erik P. de Vink	[1] [2] [3] [4] [9] [13]
17	Harald Woracek	[4]

Colors in the list of coauthors