Ranko Lazic
发表
Marcin Jurdzinski,
Laure Daviaud,
Ranko Lazic,
2018,
LICS.
Stéphane Demri,
Arnaud Sangnier,
Ranko Lazic,
2010,
Theor. Comput. Sci..
Marcin Jurdzinski,
Ranko Lazic,
Michal Rutkowski,
2008,
International Journal on Software Tools for Technology Transfer.
Patrick Totzke,
Ranko Lazic,
Matthias Englert,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Stéphane Demri,
Ranko Lazic,
R. Lazic,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Slawomir Lasota,
Sylvain Schmitz,
Jérôme Leroux,
2016,
FoSSaCS.
Lorenzo Clemente,
Slawomir Lasota,
Filip Mazowiecki,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Aleksandar Dimovski,
Ranko Lazic,
2004,
ICFEM.
Rajagopal Nagarajan,
Ranko Lazic,
2006,
Electron. Notes Theor. Comput. Sci..
A. W. Roscoe,
Ranko Lazic,
R. Lazic,
1999,
PDPTA.
Ranko Lazic,
2019,
SIGL.
Aleksandar Dimovski,
Ranko Lazic,
Aleksandar S. Dimovski,
2007,
International Journal on Software Tools for Technology Transfer.
Lorenzo Clemente,
Slawomir Lasota,
Filip Mazowiecki,
2019,
TOCL.
Marcin Jurdzinski,
Sylvain Schmitz,
Ranko Lazic,
2015,
ICALP.
A. W. Roscoe,
Xu Wang,
Ranko Lazic,
2004,
IFM.
Ranko Lazic,
2006,
FSTTCS.
David Nowak,
Ranko Lazic,
R. Lazic,
2000,
CONCUR.
Ranko Lazic,
2019,
FSTTCS.
Stéphane Demri,
Ranko Lazic,
2006,
LICS.
Joël Ouaknine,
James Worrell,
Ranko Lazic,
2016,
ACM Trans. Comput. Log..
Christoph Haase,
Stefan Göller,
Patrick Totzke,
2016,
ICALP.
A. W. Roscoe,
Ranko Lazic,
Thomas Christopher Newcomb,
2004,
Theory and Practice of Logic Programming.
Stéphane Demri,
Arnaud Sangnier,
Ranko Lazic,
2008,
FoSSaCS.
Patricia Bouyer,
Marcin Jurdzinski,
Thomas Brihaye,
2008,
FORMATS.
Ranko Lazic,
2004,
INFINITY.
Dan R. Ghica,
Aleksandar Dimovski,
Ranko Lazic,
2006,
SPIN.
Joël Ouaknine,
James Worrell,
A. W. Roscoe,
2008,
Fundam. Informaticae.
Stéphane Demri,
Marcin Jurdzinski,
Oded Lachish,
2013,
J. Comput. Syst. Sci..
Ranko Lazic,
2013,
ArXiv.
Sylvain Schmitz,
Ranko Lazic,
2014,
CSL-LICS.
Marcin Jurdzinski,
Pawel Parys,
Wojciech Czerwinski,
2018,
SODA.
Marcin Jurdzinski,
Ranko Lazic,
M. Jurdzinski,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Ranko Lazic,
2018,
SIGL.
Marcin Jurdzinski,
Ranko Lazic,
Michal Rutkowski,
2009,
VMCAI.
Sylvain Schmitz,
Ranko Lazic,
R. Lazic,
2020,
RP.
Aleksandar Dimovski,
Ranko Lazic,
Aleksandar S. Dimovski,
2005,
AVoCS.
Sylvain Schmitz,
Ranko Lazic,
R. Lazic,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Slawomir Lasota,
Jérôme Leroux,
Wojciech Czerwinski,
2018,
J. ACM.
Aleksandar Dimovski,
Ranko Lazic,
2006,
ICFEM.
Dan R. Ghica,
Aleksandar Dimovski,
Ranko Lazic,
2005,
SAS.
Ranko Lazic,
2018,
SIGL.
Patrick Totzke,
Ranko Lazic,
2017,
Concurrency, Security, and Puzzles.
Marcin Jurdzinski,
Laure Daviaud,
Ranko Lazic,
2018,
LICS 2018.
Rajagopal Nagarajan,
Ranko Lazic,
2007,
Formal Aspects of Computing.
Ranko Lazic,
2018,
SIGL.
Ranko Lazic,
R. Lazic,
2010,
Inf. Process. Lett..
Ranko Lazic,
2011,
TOCL.
Stéphane Demri,
David Nowak,
Ranko Lazic,
2005,
12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Joël Ouaknine,
James Worrell,
Ranko Lazic,
2013,
MFCS.
Stéphane Demri,
Marcin Jurdzinski,
Oded Lachish,
2009,
FSTTCS.
Thomas Colcombet,
Marcin Jurdzinski,
Sylvain Schmitz,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
A. W. Roscoe,
Ranko Lazic,
Thomas Christopher Newcomb,
2004,
25 Years Communicating Sequential Processes.
Stéphane Demri,
David Nowak,
Ranko Lazic,
2005,
TIME.
A. W. Roscoe,
Ranko Lazic,
Thomas Christopher Newcomb,
2004,
INFINITY.
David Nowak,
Ranko Lazic,
2003,
TLCA.
Grégoire Sutre,
Jérôme Leroux,
Diego Figueira,
2017,
ICALP.
Andrzej S. Murawski,
Ranko Lazic,
R. Lazic,
2016,
FoSSaCS.
Dan R. Ghica,
Aleksandar Dimovski,
Ranko Lazic,
2005,
GALOP@ETAPS.
Marcin Jurdzinski,
Ranko Lazic,
M. Jurdzinski,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
James Worrell,
Guillermo A. Pérez,
Marcin Jurdzinski,
2018,
ICALP.
Ranko Lazic,
2021,
ACM SIGLOG News.
Ranko Lazic,
2021,
ACM SIGLOG News.
Slawomir Lasota,
Jérôme Leroux,
Wojciech Czerwinski,
2020,
J. ACM.
Frank Guerin,
Ranko Lazic,
Joseph Chrol-Cannon,
2021,
2107.05319.
Slawomir Lasota,
Jérôme Leroux,
Ranko Lazic,
2021,
Inf. Process. Lett..
James Worrell,
Guillermo A. Pérez,
Marcin Jurdzinski,
2021,
J. Comput. Syst. Sci..
Marcin Jurdzinski,
Ranko Lazic,
M. Jurdzinski,
2008,
TOCL.