L. Ryzhyk
发表
Toby C. Murray,
Sidney Amani,
L. Ryzhyk,
2022
.
Leonid Ryzhyk,
Niklas Een,
Alexander Legg,
2014
.
L. Ryzhyk,
Y. Timoshenko,
2022
.
G. Heiser,
Gerwin Klein,
I. Kuz,
2012
.
N. Bjørner,
D. Terry,
G. Varghese,
2016
.
L. Ryzhyk,
Sun WildFire,
Sun Niagara,
2006
.
Sidney Amani,
Leonid Ryzhyk,
Alexander Legg,
2014,
OPSR.
Leonid Ryzhyk,
Mihai Budiu,
M. Budiu,
2019,
Datalog.
A. Burtsev,
L. Ryzhyk,
2005
.
Leonid Ryzhyk,
Gernot Heiser,
Yanjin Zhu,
2010,
APSys '10.
Leonid Ryzhyk,
Toby Walsh,
Nina Narodytska,
2017,
AAAI.
Jean-Baptiste Jeannin,
George Varghese,
Leonid Ryzhyk,
2017,
NSDI.
Leonid Ryzhyk,
Shmuel Sagiv,
Aurojit Panda,
2021,
SoCC.
Leonid Ryzhyk,
Thomas Schmitz,
Shmuel Sagiv,
2018,
Proc. ACM Program. Lang..
Xiao Zhang,
Leonid Ryzhyk,
Minlan Yu,
2020,
OSDI.
Frank McSherry,
M. Budiu,
V. Tannen,
2022,
Proc. VLDB Endow..
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2013,
CAV.
Leonid Ryzhyk,
L. Ryzhyk,
2010
.
Leonid Ryzhyk,
L. Ryzhyk,
2006
.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Leonid Ryzhyk,
Alexander Legg,
Michael Stumm,
2014,
OSDI.
Leonid Ryzhyk,
Zvonimir Rakamaric,
Marek S. Baranowski,
2017,
HotOS.
M. Budiu,
Ben Pfaff,
L. Ryzhyk,
2022,
HotNets.
M. Budiu,
Ben Pfaff,
L. Ryzhyk,
2022
.
M. Budiu,
Ben Pfaff,
L. Ryzhyk,
2022
.
Sidney Amani,
Leonid Ryzhyk,
Alexander Legg,
2011,
APSys.
Leonid Ryzhyk,
Gernot Heiser,
Ihor Kuz,
2007,
PLOS '07.
Leonid Ryzhyk,
Nina Narodytska,
Sangeetha Abdu Jyothi,
2020,
OSDI.
Leonid Ryzhyk,
Nina Narodytska,
Soner Sevinc,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2015,
ArXiv.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2015,
CAV.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2014,
CAV.
Jorge A. Navas,
Leonid Ryzhyk,
Nina Narodytska,
2019,
PLDI.
Leonid Ryzhyk,
Alexander Legg,
Nina Narodytska,
2015,
AAAI.
Leonid Ryzhyk,
Adam Walker,
L. Ryzhyk,
2016,
SYNT@CAV.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
R. Bloem,
Robert Könighofer,
Nina Narodytska,
2016,
SYNT@CAV.
Leonid Ryzhyk,
Zvonimir Rakamaric,
Marek S. Baranowski,
2017,
OPSR.
Leonid Ryzhyk,
Nina Narodytska,
João Loff,
2019,
ArXiv.
Leonid Ryzhyk,
Gernot Heiser,
Kevin Elphinstone,
2010,
STC '10.
B. Oki,
L. Suresh,
Nina Narodytska,
2022
.