D. Gurov
发表
S. Berezin,
D. Gurov,
1997
.
S. Berezin,
D. Gurov,
2022
.
D. Gurov,
G. Chugunov,
2000
.
D. Gurov,
A. Jantsch,
1999
.
S. Berezin,
D. Gurov,
1997
.
Pedro de Carvalho Gomes,
M. Huisman,
D. Gurov,
2016
.
D. Gurov,
M. Dam,
Irem Aktug,
2008
.
Lars-Åke Fredlund,
Dilian Gurov,
Mads Dam,
1998
.
D. Gurov,
M. Nyberg,
Predrag Filipovikj,
2022,
Electronic Proceedings in Theoretical Computer Science.
M. Huisman,
D. Gurov,
A. Malkis,
2020,
ArXiv.
Reiner Hähnle,
D. Gurov,
Richard Bubel,
2022,
EPiC Series in Computing.
Reiner Hähnle,
D. Gurov,
Richard Bubel,
2022,
ArXiv.
D. Gurov,
T. Elizarova,
1990
.
Dilian Gurov,
Siavash Soleimanifard,
D. Gurov,
2014,
Sci. Comput. Program..
Marieke Huisman,
Dilian Gurov,
Siavash Soleimanifard,
2015,
Software & Systems Modeling.
Marieke Huisman,
Dilian Gurov,
Siavash Soleimanifard,
2011,
SEFM.
Marieke Huisman,
Dilian Gurov,
Christoph Sprenger,
2008,
Inf. Comput..
Dilian Gurov,
Irem Aktug,
D. Gurov,
2006,
AMAST.
Marieke Huisman,
Dilian Gurov,
Christoph Sprenger,
2004,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..
Marieke Huisman,
Dilian Gurov,
M. Huisman,
2008,
Theor. Comput. Sci..
Marieke Huisman,
Dilian Gurov,
M. Huisman,
2010,
FoVeOOS.
Lars-Åke Fredlund,
Dilian Gurov,
Gennady Chugunov,
2002,
CARDIS.
Dilian Gurov,
Mads Dam,
Irem Aktug,
2008,
J. Log. Algebraic Methods Program..
Dilian Gurov,
Uwe Nestmann,
Luc Onana Alima,
2004,
Global Computing.
Reiner Hähnle,
Eduard Kamburjan,
Dilian Gurov,
2020,
ISoLA.
Marieke Huisman,
Dilian Gurov,
Wytse Oortwijn,
2020,
VMCAI.
Marieke Huisman,
Pedro de Carvalho Gomes,
Dilian Gurov,
2016,
International Journal on Software Tools for Technology Transfer.
Marieke Huisman,
Pedro de Carvalho Gomes,
Dilian Gurov,
2012,
SEFM.
Marieke Huisman,
Dilian Gurov,
Siavash Soleimanifard,
2010,
FTfJP@ECOOP.
Marieke Huisman,
Dilian Gurov,
Irem Aktug,
2008,
ICFEM.
Marieke Huisman,
Dilian Gurov,
Christoph Sprenger,
2004,
FASE.
Bernhard Beckert,
Dilian Gurov,
Ferruccio Damiani,
2011,
FoVeOOS.
Dilian Gurov,
Jonas Westman,
Mattias Nyberg,
2017,
FMICS-AVoCS.
D. Gurov,
Christian Lidström,
2021,
FASE.
Peeter Laud,
Dilian Gurov,
Roberto Guanciale,
2014,
2014 Twelfth Annual International Conference on Privacy, Security and Trust.
Lars-Åke Fredlund,
Dilian Gurov,
Thomas Arts,
2003,
International Journal on Software Tools for Technology Transfer.
Cyrille Artho,
Dilian Gurov,
Mojtaba Eshghie,
2021,
EASE.
Dilian Gurov,
Rena Bakhshi,
R. Bakhshi,
2007,
CoOrg/MTCoord@COORDINATION.
Lars-Åke Fredlund,
Dilian Gurov,
D. Gurov,
1999,
ASIAN.
Dilian Gurov,
Mads Dam,
D. Gurov,
2002,
J. Log. Comput..
Dilian Gurov,
Mads Dam,
D. Gurov,
2000
.
Dilian Gurov,
Jonas Westman,
Mattias Nyberg,
2020,
ISoLA.
Georg Friedrich Schuppe,
D. Gurov,
2023,
ArXiv.
D. B. Gurov,
H. A. Muller,
B. M. Kapron,
1995,
1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.
D. Gurov,
M. Pinto,
L. Fuentes,
2022,
SPLC.
Dilian Gurov,
Minko Markov,
D. Gurov,
2015,
FICS.
Dilian Gurov,
Ina Schaefer,
Bjarte M. Østvold,
2011,
ISoLA Workshops.
Dilian Gurov,
Ina Schaefer,
Siavash Soleimanifard,
2010,
FMCO.
Lidia Fuentes,
Mónica Pinto,
Daniel-Jesus Munoz,
2021,
CAiSE.
D. Gurov,
Philipp Rümmer,
Christian Lidström,
2023,
ArXiv.
Marieke Huisman,
Dilian Gurov,
M. Huisman,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
S. Hansson,
Peter Pagin,
D. Gurov,
2018,
The Bulletin of Symbolic Logic.
Michael Felderer,
Björn Lisper,
Marieke Huisman,
2018,
ISoLA.
Pedro de Carvalho Gomes,
Attilio Picoco,
Dilian Gurov,
2012
.
Cyrille Artho,
Marieke Huisman,
Pedro de Carvalho Gomes,
2016,
FTSCS.
Reiner Hähnle,
M. Huisman,
Giles Reger,
2023
.
Dilian Gurov,
Mads Dam,
D. Gurov,
1999,
Ershov Memorial Conference.
Lars-Åke Fredlund,
Dilian Gurov,
Mads Dam,
1997,
COMPOS.
Dilian Gurov,
Jonas Westman,
Mattias Nyberg,
2017,
Sci. Comput. Program..
D. Gurov,
M. Pinto,
L. Fuentes,
2022,
SPLC.