Sergueï Lenglet
发表
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2017,
MFPS.
Dariusz Biernacki,
Sergueï Lenglet,
Malgorzata Biernacka,
2011,
PPDP.
Sacha Krakowiak,
Nikos Parlavantzas,
Fabienne Boyer,
2006
.
Alan Schmitt,
Jean-Bernard Stefani,
Sergueï Lenglet,
2011,
Inf. Comput..
Sergueï Lenglet,
Guillaume Ambal,
Alan Schmitt,
2020
.
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2020
.
Dariusz Biernacki,
Sergueï Lenglet,
2012,
FoSSaCS.
Luca Padovani,
Giuseppe Castagna,
Hyeonseung Im,
2014,
POPL.
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2017,
Log. Methods Comput. Sci..
Dariusz Biernacki,
Sergueï Lenglet,
2013,
APLAS.
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2019,
Log. Methods Comput. Sci..
Sergueï Lenglet,
Guillaume Ambal,
Alan Schmitt,
2021,
J. Autom. Reason..
Alan Schmitt,
Jean-Bernard Stefani,
Sergueï Lenglet,
2009,
FoSSaCS.
Martin Odersky,
Sergueï Lenglet,
Vincent Cremet,
2006,
MFCS.
Alan Schmitt,
Sergueï Lenglet,
2018,
CPP.
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2020,
FSCD.
Dariusz Biernacki,
Damien Pous,
Alan Schmitt,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Michael Lienhardt,
Alan Schmitt,
Jean-Bernard Stefani,
2006
.
Horatiu Cirstea,
Pierre-Etienne Moreau,
Sergueï Lenglet,
2015,
RTA.
Joe B. Wells,
Sergueï Lenglet,
2012,
ESOP.
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2016,
FSCD.
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2017,
Log. Methods Comput. Sci..
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2019,
MFPS.
Alan Schmitt,
Jean-Bernard Stefani,
Sergueï Lenglet,
2009,
CONCUR.
Dariusz Biernacki,
Sergueï Lenglet,
Dariusz Biernacki,
2012,
FLOPS.
Dariusz Biernacki,
Sergueï Lenglet,
Malgorzata Biernacka,
2013,
COS.
Dariusz Biernacki,
Sergueï Lenglet,
Piotr Polesiuk,
2019,
FoSSaCS.
Dariusz Biernacki,
Sergueï Lenglet,
2014,
MFPS.
Horatiu Cirstea,
Pierre-Etienne Moreau,
Sergueï Lenglet,
2017,
Log. Methods Comput. Sci..
Sergueï Lenglet,
2010
.
Alan Schmitt,
Sergueï Lenglet,
2015,
CONCUR.
Alan Schmitt,
Sergueï Lenglet,
Guillaume Ambal,
2022,
CPP.
Alan Schmitt,
Jean-Bernard Stefani,
Sergueï Lenglet,
2008
.