A. Sokolova
发表
A. Sokolova,
D. Vink,
H. Woracek,
2007
.
Ana Sokolova,
A. Sokolova,
2005
.
Miguel E. Andr,
A. Sokolova,
P. Rossum,
2010
.
A. Sokolova,
H. Woracek,
2018
.
A. Sokolova,
D. Vink,
2002
.
A. Sokolova,
Roggenbach,
M.,
2019
.
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2005,
CTCS.
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2004
.
A. Sokolova,
H. Woracek,
E. Vink,
2009
.
A. Sokolova,
C. Kirsch,
H. Payer,
2011
.
A. Sokolova,
H. Woracek,
E. Vink,
1985,
Sci. Ann. Comput. Sci..
A. Sokolova,
2009
.
A. Sokolova,
H. Woracek,
2004
.
A. Sokolova,
H. Woracek,
2018
.
B. Jacobs,
A. Sokolova,
2018,
The Grants Register 2019.
A. Sokolova,
C. Heunen,
I. Hasuo,
2017
.
A. Sokolova,
M. Roggenbach,
2019
.
Elisa Bertino,
Ana Sokolova,
Alexey Gotsman,
2020,
DisCoTec.
Ana Sokolova,
Harald Woracek,
A. Sokolova,
2021,
CALCO.
Ana Sokolova,
A. Sokolova,
2011,
Theor. Comput. Sci..
Ana Sokolova,
Christoph M. Kirsch,
Andreas Haas,
2015,
NETYS.
A. Sokolova,
M. Galic,
2023,
Biological chemistry.
Ana Sokolova,
Harald Woracek,
A. Sokolova,
2018,
FoSSaCS.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
Log. Methods Comput. Sci..
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
ArXiv.
Ana Sokolova,
Ezio Bartocci,
Sebastian Arming,
2017,
QAPL@ETAPS.
Alexandra Silva,
Ana Sokolova,
Filippo Bonchi,
2017,
CONCUR.
A. Sokolova,
E. Bartocci,
Sebastian Arming,
2017
.
Ana Sokolova,
Bart Jacobs,
B. Jacobs,
2010,
J. Log. Comput..
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2009,
Sci. Ann. Comput. Sci..
Erik P. de Vink,
Ana Sokolova,
A. Sokolova,
2004,
Validation of Stochastic Systems.
Erik P. de Vink,
Ana Sokolova,
Falk Bartels,
2003,
CMCS.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2020,
CALCO.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Ana Sokolova,
Joost-Pieter Katoen,
Krishnendu Chatterjee,
2018,
QEST.
A. Sokolova,
J. Reillya,
S. Paltseva,
2006
.
Alexandra Silva,
Ana Sokolova,
Bart Jacobs,
2012,
J. Comput. Syst. Sci..
Ana Sokolova,
Markus Roggenbach,
A. Sokolova,
2019,
CALCO.
A. Sokolova,
Alexandra Silva,
F. Bonchi,
2017,
Log. Methods Comput. Sci..
Ana Sokolova,
Thomas A. Henzinger,
Christoph M. Kirsch,
2013,
CF '13.
Ana Sokolova,
Christoph M. Kirsch,
A. Sokolova,
2012,
Advances in Real-Time Systems.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2008,
USENIX Annual Technical Conference.
Ana Sokolova,
Bart Jacobs,
Ichiro Hasuo,
2007,
Log. Methods Comput. Sci..
Ana Sokolova,
Bart Jacobs,
B. Jacobs,
2009,
CALCO.
Ana Sokolova,
Bart Jacobs,
Ichiro Hasuo,
2006,
CMCS.
Ana Sokolova,
Ichiro Hasuo,
Bart Jacobs,
2008,
FoSSaCS.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2013
.
Ana Sokolova,
Christoph M. Kirsch,
Andreas Unterweger,
2011,
ISMM '11.
Ana Sokolova,
Catuscia Palamidessi,
Peter van Rossum,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2014,
ArXiv.
A. Sokolova,
Alexandra Silva,
2011,
MFPS.
Ana Sokolova,
Bart Jacobs,
Ichiro Hasuo,
2009,
CALCO.
A. Sokolova,
F. Bonchi,
Valeria Vignudelli,
2018,
Log. Methods Comput. Sci..
Ana Sokolova,
Harald Woracek,
A. Sokolova,
2017,
CALCO.
A. Sokolova,
Alexandra Silva,
F. Bonchi,
2017,
Log. Methods Comput. Sci..
A. Sokolova,
Alexandra Silva,
F. Bonchi,
2017,
CONCUR.
Ana Sokolova,
Harald Woracek,
A. Sokolova,
2015
.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2010,
HotCloud.
Silviu S. Craciunas,
A. Sokolova,
C. Kirsch,
2008,
USENIX Annual Technical Conference.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2009,
2009 IEEE International Symposium on Industrial Embedded Systems.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2009,
IIES '09.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2009
.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2008
.
Silviu S. Craciunas,
A. Sokolova,
C. Kirsch,
2012,
International Journal on Software Tools for Technology Transfer.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2010,
EMSOFT '10.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2010,
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.
Ana Sokolova,
Thomas A. Henzinger,
Christoph M. Kirsch,
2009,
2009 30th IEEE Real-Time Systems Symposium.