Denis Kuperberg
发表
Denis Kuperberg,
Jan Martens,
2020,
MFCS.
Denis Kuperberg,
Simon Iosti,
Simon Iosti,
2019,
DLT.
Denis Kuperberg,
Michael Vanden Boom,
M. V. Boom,
2012,
ICALP.
Damien Pous,
Denis Kuperberg,
Laureline Pinault,
2021,
Proc. ACM Program. Lang..
David Chemouil,
Denis Kuperberg,
Alcino Cunha,
2016,
SIGSOFT FSE.
Peter Dybjer,
Denis Kuperberg,
2012,
Ann. Pure Appl. Log..
Alexis Saurin,
David Baelde,
Denis Kuperberg,
2020,
ArXiv.
Denis Kuperberg,
2011,
STACS.
Denis Kuperberg,
Michael Vanden Boom,
2011,
FSTTCS.
Denis Kuperberg,
2021,
ArXiv.
Anca Muscholl,
Igor Walukiewicz,
Javier Esparza,
2018,
Log. Methods Comput. Sci..
Orna Kupferman,
Shaull Almagor,
Denis Kuperberg,
2014,
FSTTCS.
Damien Pous,
Denis Kuperberg,
Pierre Pradic,
2019,
FoSSaCS.
Anca Muscholl,
Igor Walukiewicz,
Javier Esparza,
2016,
CONCUR.
Thomas Colcombet,
Achim Blumensath,
Pawel Parys,
2014,
CSL-LICS.
David Chemouil,
Denis Kuperberg,
Julien Brunel,
2016,
ATVA.
Thomas Colcombet,
Denis Kuperberg,
Sylvain Lombardy,
2010,
ICALP.
Udi Boker,
Denis Kuperberg,
Karoliina Lehtinen,
2020,
FSTTCS.
Michal Skrzypczak,
Udi Boker,
Denis Kuperberg,
2020,
ArXiv.
Denis Kuperberg,
Hugo Gimbert,
Edon Kelmendi,
2017,
CIAA.
Damien Pous,
Denis Kuperberg,
Laureline Pinault,
2019,
FSTTCS.
Denis Kuperberg,
2014,
Log. Methods Comput. Sci..
Denis Kuperberg,
Jean-Éric Pin,
Laure Daviaud,
2016,
STACS.
Michal Skrzypczak,
Orna Kupferman,
Udi Boker,
2013,
ICALP.
Orna Kupferman,
Shaull Almagor,
Denis Kuperberg,
2017,
DCFS.
Denis Kuperberg,
Nathanaël Fijalkow,
2014,
ATVA.
Orna Kupferman,
Shaull Almagor,
Denis Kuperberg,
2019,
Int. J. Found. Comput. Sci..
Michal Skrzypczak,
Florian Horn,
Denis Kuperberg,
2015,
ICALP.
Denis Kuperberg,
Marc Bagnol,
Marc Bagnol,
2018,
FSTTCS.
Thomas Colcombet,
Szymon Torunczyk,
Denis Kuperberg,
2016,
STACS.
Denis Kuperberg,
Anirban Majumdar,
2018,
STACS.
Orna Kupferman,
Shaull Almagor,
Denis Kuperberg,
2015,
FSTTCS.
Damien Pous,
Denis Kuperberg,
Laureline Pinault,
2019,
DLT.
Denis Kuperberg,
Anirban Majumdar,
2019,
Log. Methods Comput. Sci..
Christof Löding,
Thomas Colcombet,
Denis Kuperberg,
2013,
CSL.
Michal Skrzypczak,
Denis Kuperberg,
Michal Skrzypczak,
2015,
ICALP.
Denis Kuperberg,
2022
.
Denis Kuperberg,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Denis Kuperberg,
Emile Hazard,
2022,
CSL.