Andrei Paskevich
发表
Konstantin Verchinine,
Alexander V. Lyaletski,
Andrei Paskevich,
2007,
CADE.
Andrei Paskevich,
2006,
IJCAR.
François Bobot,
Andrei Paskevich,
2011,
FroCoS.
Andrei Paskevich,
Jean-Christophe Filliâtre,
Cláudio Belo Lourenço,
2020
.
Claude Marché,
Andrei Paskevich,
Martin Clochard,
2014,
PLPV '14.
Sylvain Conchon,
Andrei Paskevich,
Claire Dross,
2012,
SMT@IJCAR.
Yannick Moy,
Andrei Paskevich,
Georges-Axel Jaloyan,
2018,
ArXiv.
Andrei Paskevich,
Jean-Christophe Filliâtre,
Léon Gondelman,
2018
.
Jean-Christophe Filliâtre,
Andrei Paskevich,
Léon Gondelman,
2014,
Formal Methods Syst. Des..
Jean-Christophe Filliâtre,
Andrei Paskevich,
Léon Gondelman,
2016
.
Konstantin Verchinine,
Alexander V. Lyaletski,
Andrei Paskevich,
2002,
Intelligent Information Systems.
Andrei Paskevich,
Jean-Christophe Filliâtre,
2020,
ISoLA.
François Bobot,
Guillaume Melquiond,
Claude Marché,
2013
.
Claude Marché,
Jean-Christophe Filliâtre,
Andrei Paskevich,
2014,
VSTTE.
Pierre Courtieu,
Andrei Paskevich,
Evelyne Contejean,
2010,
PEPM '10.
Jean-Christophe Filliâtre,
Andrei Paskevich,
Martin Clochard,
2015,
VSTTE.
Andrei Paskevich,
A. Paskevich,
2006,
Journal of Automated Reasoning.
Claude Marché,
Andrei Paskevich,
Martin Clochard,
2018
.
Konstantin Verchinine,
Alexander V. Lyaletski,
Andrei Paskevich,
2006,
J. Appl. Log..
Guillaume Melquiond,
Claude Marché,
Sylvain Conchon,
2014
.
Jean-Christophe Filliâtre,
Andrei Paskevich,
J. Filliâtre,
2013,
ESOP.
Alexander V. Lyaletski,
Andrei Paskevich,
Alexandre Lyaletsky,
2018
.
Jean-Christophe Filliâtre,
Andrei Paskevich,
Aaron Stump,
2012,
COMPARE.
François Bobot,
Guillaume Melquiond,
Claude Marché,
2013,
VSTTE.
Yannick Moy,
Andrei Paskevich,
Claire Dross,
2018,
ICFEM.
François Bobot,
Claude Marché,
Jean-Christophe Filliâtre,
2011
.
Konstantin Verchinine,
Alexander V. Lyaletski,
Andrei Paskevich,
2004,
ISTA.
Claude Marché,
Andrei Paskevich,
Jean-Christophe Filliâtre,
2011
.
Thomas Wies,
Andrei Paskevich,
A. Paskevich,
2017,
Lecture Notes in Computer Science.
Claude Marché,
Andrei Paskevich,
Xavier Urbain,
2010
.
Sylvain Conchon,
Andrei Paskevich,
Claire Dross,
2016,
Journal of Automated Reasoning.
Claude Marché,
Andrei Paskevich,
Evelyne Contejean,
2013
.
Cezary Kaliszyk,
Andrei Paskevich,
2015,
PxTP@CADE.
Guillaume Melquiond,
Claude Marché,
Jean-Christophe Filliâtre,
2013
.
Andrei Paskevich,
Jasmin Christian Blanchette,
A. Paskevich,
2013,
CADE.
Claude Marché,
Andrei Paskevich,
Martin Clochard,
2020,
Proc. ACM Program. Lang..
Guillaume Melquiond,
Claude Marché,
Jean-Christophe Filliâtre,
2013
.
Alexander V. Lyaletski,
Andrei Paskevich,
Alexandre Lyaletsky,
2016,
ICTERI.
Jean-Christophe Filliâtre,
Andrei Paskevich,
Léon Gondelman,
2016,
Formal Methods Syst. Des..
Konstantin Verchinine,
Alexander V. Lyaletski,
Andrei Paskevich,
2008,
AISC/MKM/Calculemus.
François Bobot,
Guillaume Melquiond,
Claude Marché,
2010
.
Konstantin Verchinine,
Alexander V. Lyaletski,
Andrei Paskevich,
2004,
MKM.
François Bobot,
Claude Marché,
Jean-Christophe Filliâtre,
2014,
International Journal on Software Tools for Technology Transfer.
Andrei Paskevich,
José Proença,
2021,
Electronic Proceedings in Theoretical Computer Science.
Konstantin Verchinine,
Alexander V. Lyaletski,
Andrei Paskevich,
2007
.