Ana Sokolova
发表
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2008,
USENIX Annual Technical Conference.
Ana Sokolova,
Thomas A. Henzinger,
Helmut Veith,
2016,
CONCUR.
Alexandra Silva,
Ana Sokolova,
Filippo Bonchi,
2017,
CONCUR.
Ana Sokolova,
Thomas A. Henzinger,
Christoph M. Kirsch,
2013,
POPL.
Ana Sokolova,
A. Sokolova,
2011,
Theor. Comput. Sci..
Ivan Lanese,
Ana Sokolova,
Alberto Lluch Lafuente,
2013
.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2009,
2009 IEEE International Symposium on Industrial Embedded Systems.
Ana Sokolova,
Christoph M. Kirsch,
Andreas Unterweger,
2011,
ISMM '11.
Erik P. de Vink,
Ana Sokolova,
Jasen Markovski,
2007,
EPEW.
Ana Sokolova,
Flavio D. Garcia,
Peter van Rossum,
2007,
ArXiv.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
ArXiv.
Ana Sokolova,
Technical University of Denmark,
Ivan Lanese Focus Team,
2014
.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2010,
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.
Ana Sokolova,
Michael Morak,
Anna Prianichnikova,
2019,
SIGL.
Ivan Lanese,
Alexandra Silva,
Ana Sokolova,
2015,
Sci. Comput. Program..
Ana Sokolova,
Christoph M. Kirsch,
Hannes Payer,
2011,
PODC '11.
Ana Sokolova,
Christoph M. Kirsch,
Hannes Payer,
2012,
ICA3PP.
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2009,
Sci. Ann. Comput. Sci..
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Ana Sokolova,
Bart Jacobs,
Ichiro Hasuo,
2007,
Log. Methods Comput. Sci..
Ana Sokolova,
Catuscia Palamidessi,
Peter van Rossum,
2011
.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2013
.
Ana Sokolova,
Thomas A. Henzinger,
Christoph M. Kirsch,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Ana Sokolova,
Christoph M. Kirsch,
Andreas Haas,
2010
.
Alexandra Silva,
Ana Sokolova,
Bart Jacobs,
2015,
J. Comput. Syst. Sci..
Ana Sokolova,
Bart Jacobs,
B. Jacobs,
2009,
CALCO.
Ana Sokolova,
Harald Woracek,
2017,
CALCO.
Ana Sokolova,
Harald Woracek,
A. Sokolova,
2018,
FoSSaCS.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2014,
ArXiv.
Ana Sokolova,
Christoph M. Kirsch,
A. Sokolova,
2012,
Advances in Real-Time Systems.
Ana Sokolova,
Ichiro Hasuo,
Bart Jacobs,
2007
.
Jos C. M. Baeten,
Ana Sokolova,
2008,
J. Log. Algebraic Methods Program..
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2008
.
Ana Sokolova,
Ichiro Hasuo,
Bart Jacobs,
2008,
FoSSaCS.
Chee Peng Lim,
Alie El-Din Mady,
Jin Song Dong,
2010
.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2009,
IIES '09.
Ana Sokolova,
Joost-Pieter Katoen,
Krishnendu Chatterjee,
2018,
QEST.
Ana Sokolova,
Markus Roggenbach,
A. Sokolova,
2019,
CALCO.
Ana Sokolova,
Bart Jacobs,
Ichiro Hasuo,
2006,
CMCS.
Ana Sokolova,
Bart Jacobs,
B. Jacobs,
2010,
J. Log. Comput..
Ivan Lanese,
Ana Sokolova,
Alberto Lluch-Lafuente,
2014,
ICE.
Ana Sokolova,
Catuscia Palamidessi,
Peter van Rossum,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Ana Sokolova,
Smile Markovski,
2000
.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2020,
CALCO.
Elisa Bertino,
Ana Sokolova,
Alexey Gotsman,
2020,
DisCoTec.
Ana Sokolova,
Ichiro Hasuo,
Bart Jacobs,
2007
.
Alexandra Silva,
Ana Sokolova,
Bart Jacobs,
2012,
J. Comput. Syst. Sci..
Ana Sokolova,
Catuscia Palamidessi,
Peter van Rossum,
2010,
QEST.
Ivan Lanese,
Ana Sokolova,
Alberto Lluch-Lafuente,
2015,
Sci. Comput. Program..
Erik P. de Vink,
Ana Sokolova,
Falk Bartels,
2003,
CMCS.
Ana Sokolova,
Bart Jacobs,
Ichiro Hasuo,
2009,
CALCO.
Ana Sokolova,
Christoph M. Kirsch,
Eduardo R. B. Marques,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
Ana Sokolova,
Ezio Bartocci,
Sebastian Arming,
2017,
QAPL@ETAPS.
Ana Sokolova,
Christoph M. Kirsch,
Michael Lippautz,
2015,
OOPSLA.
Ana Sokolova,
Harald Woracek,
A. Sokolova,
2017,
CALCO.
Erik P. de Vink,
Ana Sokolova,
A. Sokolova,
2004,
Validation of Stochastic Systems.
Ana Sokolova,
Christoph M. Kirsch,
Eduardo R. B. Marques,
2011,
ACSD.
Alfons Laarman,
Ana Sokolova,
Georg Weissenbacher,
2017,
VMCAI.
Ana Sokolova,
Ichiro Hasuo,
Bart Jacobs,
2008
.
Ivan Lanese,
Ana Sokolova,
Alberto Lluch-Lafuente,
2013,
ICE.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2010,
HotCloud.
Erik P. de Vink,
Ana Sokolova,
Falk Bartels,
2003,
CMCS.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2009
.
Ivan Lanese,
Ana Sokolova,
Alberto Lluch-Lafuente,
2016,
J. Log. Algebraic Methods Program..
Ana Sokolova,
Thomas A. Henzinger,
Helmut Veith,
2015,
ArXiv.
Ana Sokolova,
Peter Schuster,
Dirk Pattinson,
2019,
J. Log. Comput..
Erik P. de Vink,
Ana Sokolova,
Jasen Markovski,
2009,
Perform. Evaluation.
Ana Sokolova,
Christoph M. Kirsch,
Andreas Haas,
2015,
NETYS.
Ana Sokolova,
Christoph M. Kirsch,
Silviu S. Craciunas,
2010,
EMSOFT '10.
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2005,
CTCS.
Ivan Lanese,
Ana Sokolova,
Marco Carbone,
2012
.
Ana Sokolova,
Thomas A. Henzinger,
Christoph M. Kirsch,
2013,
CF '13.
Ana Sokolova,
2021,
Electronic Proceedings in Theoretical Computer Science.
Ana Sokolova,
Filippo Bonchi,
Alexandra SIlva,
2021,
Logical Methods in Computer Science.
Ana Sokolova,
Harald Woracek,
A. Sokolova,
2021,
CALCO.
Erik P. de Vink,
Ana Sokolova,
Harald Woracek,
2004
.
Ana Sokolova,
de Ep Erik Vink,
2003
.
Ana Sokolova,
Harald Woracek,
A. Sokolova,
2015
.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
Log. Methods Comput. Sci..
Ana Sokolova,
2005
.
Ana Sokolova,
2009
.
Ana Sokolova,
A. Sokolova,
2005
.