Jasmin Christian Blanchette
发表
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2017,
Arch. Formal Proofs.
Jasmin Christian Blanchette,
2010,
TAP@TOOLS.
Christoph Weidenbach,
Jasmin Christian Blanchette,
Mathias Fleury,
2016,
IJCAR.
Heiko Becker,
Uwe Waldmann,
Jasmin Christian Blanchette,
2016,
Arch. Formal Proofs.
Tobias Nipkow,
Jasmin Christian Blanchette,
Arnaud Gotlieb,
2009
.
Dmitriy Traytel,
Jasmin Christian Blanchette,
Anders Schlichtkrull,
2018,
Arch. Formal Proofs.
Lawrence C. Paulson,
Sascha Böhme,
Jasmin Christian Blanchette,
2011,
CADE.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Olaf Owe,
Jasmin Christian Blanchette,
J. Blanchette,
2008,
FACS.
Dmitriy Traytel,
Jasmin Christian Blanchette,
Mathias Fleury,
2017,
FSCD.
Uwe Waldmann,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2018,
Journal of Automated Reasoning.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Nicolas Peltier,
Simon Robillard,
Jasmin Christian Blanchette,
2018,
IJCAR.
Andrei Popescu,
Fabian Meier,
Dmitriy Traytel,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Pascal Fontaine,
Stephan Schulz,
Uwe Waldmann,
2017,
ARCADE@CADE.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2015,
ESOP.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2014,
ITP.
Uwe Waldmann,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2018,
Journal of Automated Reasoning.
Jasmin Christian Blanchette,
Andrew Reynolds,
2015,
CADE.
Cezary Kaliszyk,
Jasmin Christian Blanchette,
2016
.
Uwe Waldmann,
Jasmin Christian Blanchette,
Daniel Wand,
2016,
Arch. Formal Proofs.
Heiko Becker,
Uwe Waldmann,
Jasmin Christian Blanchette,
2017,
CADE.
Tobias Nipkow,
Lars Hupel,
Dmitriy Traytel,
2014,
Haskell '14.
Nikolai Kosmatov,
Jasmin Christian Blanchette,
2015,
Lecture Notes in Computer Science.
Christoph Weidenbach,
Peter Lammich,
Jasmin Christian Blanchette,
2016,
Journal of Automated Reasoning.
Jasmin Christian Blanchette,
J. Blanchette,
2013,
PxTP@CADE.
Stephan Merz,
Jasmin Christian Blanchette,
Stephan Merz,
2016,
Lecture Notes in Computer Science.
Jasmin Christian Blanchette,
J. Blanchette,
2008
.
Cezary Kaliszyk,
Josef Urban,
Jasmin Christian Blanchette,
2016,
J. Formaliz. Reason..
Cesare Tinelli,
Simon Cruanes,
Jasmin Christian Blanchette,
2016,
IJCAR.
Koen Claessen,
Jasmin Christian Blanchette,
2010,
LPAR.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2015,
ArXiv.
Uwe Waldmann,
Jasmin Christian Blanchette,
Sophie Tourret,
2019,
Journal of Automated Reasoning.
Lawrence C. Paulson,
Sascha Böhme,
Jasmin Christian Blanchette,
2011,
Journal of Automated Reasoning.
Andrei Popescu,
Jasmin Christian Blanchette,
2013,
Arch. Formal Proofs.
Dietrich Klakow,
Jasmin Christian Blanchette,
Alexander Bentkamp,
2018,
Journal of Automated Reasoning.
Christoph Weidenbach,
Jasmin Christian Blanchette,
Michael Noel Divo,
2017
.
Jasmin Christian Blanchette,
Alexander Krauss,
2011,
Journal of Automated Reasoning.
Dietrich Klakow,
Jasmin Christian Blanchette,
Alexander Bentkamp,
2017
.
Jasmin Christian Blanchette,
2011,
Software Quality Journal.
Jasmin Christian Blanchette,
Mark Summerfield,
2008
.
Einar Broch Johnsen,
Olaf Owe,
Jasmin Christian Blanchette,
2009,
TTSS.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Dmitriy Traytel,
Jasmin Christian Blanchette,
Mathias Fleury,
2016,
Arch. Formal Proofs.
Andrei Popescu,
Nicholas Smallbone,
Sascha Böhme,
2013,
TACAS.
Uwe Waldmann,
Jasmin Christian Blanchette,
Daniel Wand,
2017,
FoSSaCS.
Pascal Fontaine,
Jasmin Christian Blanchette,
Mathias Fleury,
2019
.
Jasmin Christian Blanchette,
Lawrence C. Paulson,
Lawrence Charles Paulson,
2012,
IWIL@LPAR.
Dmitriy Traytel,
Jasmin Christian Blanchette,
Anders Schlichtkrull,
2019,
CPP.
Jasmin Christian Blanchette,
Marcel Kyas,
M. Kyas,
2007
.
Cesare Tinelli,
Carsten Fuhs,
Viorica Sofronie-Stokkermans,
2017,
Dagstuhl Reports.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Sascha Böhme,
Jasmin Christian Blanchette,
Mathias Fleury,
2015,
Journal of Automated Reasoning.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Tobias Nipkow,
Jasmin Christian Blanchette,
T. Nipkow,
2010,
ITP.
Cezary Kaliszyk,
Jasmin Christian Blanchette,
Pascal Fontaine,
2019
.
Jasmin Christian Blanchette,
J. Blanchette,
2019,
CPP.
Jasmin Christian Blanchette,
2014,
Vampire Workshop.
Jasmin Christian Blanchette,
Andrew Reynolds,
Andrew Reynolds,
2016,
Journal of Automated Reasoning.
Nicholas Smallbone,
Jasmin Christian Blanchette,
Andrei Popescu,
2016
.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Simon Cruanes,
Jasmin Christian Blanchette,
2016,
HaTT@IJCAR.
Christoph Weidenbach,
Nikolaj Bjørner,
Viorica Sofronie-Stokkermans,
2015,
Dagstuhl Reports.
Jasmin Christian Blanchette,
2008,
Arch. Formal Proofs.
Susmit Sarkar,
Jasmin Christian Blanchette,
Scott Owens,
2011,
PPDP.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2016,
Journal of Automated Reasoning.
Andrei Popescu,
Jeremy Avigad,
Gregor Snelting,
2018,
Journal of Automated Reasoning.
Jasmin Christian Blanchette,
Alexander Krauss,
2010,
IJCAR.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2017,
Arch. Formal Proofs.
Pascal Fontaine,
Jasmin Christian Blanchette,
Haniel Barbosa,
2017,
CADE.
Stephan Merz,
Jasmin Christian Blanchette,
2018,
Journal of Automated Reasoning.
Cezary Kaliszyk,
Josef Urban,
Jasmin Christian Blanchette,
2013,
ITP.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Andrei Paskevich,
Jasmin Christian Blanchette,
A. Paskevich,
2013,
CADE.
Christoph Weidenbach,
Jasmin Christian Blanchette,
Mathias Fleury,
2017,
IJCAI.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2014,
IJCAR.
Jasmin Christian Blanchette,
Mark Summerfield,
J. Blanchette,
2004
.
Jasmin Christian Blanchette,
J. Blanchette,
2009,
Journal of Automated Reasoning.
Gabriele Taentzer,
Manuel Wimmer,
Nikolai Kosmatov,
2018,
Software & Systems Modeling.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2014,
Arch. Formal Proofs.
Pascal Fontaine,
Simon Cruanes,
Jasmin Christian Blanchette,
2017,
PxTP.
Simon Cruanes,
Stephan Schulz,
Jasmin Christian Blanchette,
2019,
International Journal on Software Tools for Technology Transfer.
Jasmin Christian Blanchette,
Steffen Juilf Smolka,
J. Blanchette,
2013,
PxTP@CADE.
Jasmin Christian Blanchette,
Daniel Kühlwein,
J. Blanchette,
2014
.
Tobias Nipkow,
Jasmin Christian Blanchette,
Max W. Haslbeck,
2015,
CICM.
Jasmin Christian Blanchette,
Mark Summerfield,
J. Blanchette,
2008
.
Andrei Popescu,
Johannes Hölzl,
Dmitriy Traytel,
2014,
ITP.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Andrei Popescu,
Christoph Weidenbach,
Jasmin Christian Blanchette,
2012,
ITP.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Simon Cruanes,
Uwe Waldmann,
Jasmin Christian Blanchette,
2018,
IJCAR.
Andrei Popescu,
Jasmin Christian Blanchette,
2013,
FroCos.
Peter Lammich,
Jasmin Christian Blanchette,
Mathias Fleury,
2018,
CPP.
Jasmin Christian Blanchette,
2010,
LPAR short papers.
Jasmin Christian Blanchette,
J. Blanchette,
2012
.
Lawrence C. Paulson,
Jasmin Christian Blanchette,
Nik Sultana,
2013,
J. Appl. Log..
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2015,
ICFP.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Andrei Popescu,
Nicholas Smallbone,
Sascha Böhme,
2013,
TACAS.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2016,
ESOP.
Dmitriy Traytel,
Jasmin Christian Blanchette,
Andreas Lochbihler,
2016
.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Dietrich Klakow,
Jasmin Christian Blanchette,
Alexander Bentkamp,
2017,
ITP.
Cezary Kaliszyk,
Josef Urban,
Jasmin Christian Blanchette,
2016,
Journal of Automated Reasoning.
Tobias Nipkow,
Jasmin Christian Blanchette,
Lukas Bulwahn,
2011,
FroCoS.
Uwe Waldmann,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2018,
Arch. Formal Proofs.
Andrei Popescu,
Johannes Hölzl,
René Thiemann,
2017,
FroCoS.
Tobias Nipkow,
Jasmin Christian Blanchette,
2010
.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2019,
Proc. ACM Program. Lang..
Cezary Kaliszyk,
Jasmin Christian Blanchette,
2016
.
Uwe Waldmann,
Jasmin Christian Blanchette,
Sophie Tourret,
2021,
J. Autom. Reason..
Jasmin Christian Blanchette,
2021,
J. Autom. Reason..
Jasmin Christian Blanchette,
J. Blanchette,
2009
.
Andrei Popescu,
Dmitriy Traytel,
Jasmin Christian Blanchette,
2013
.
Simon Cruanes,
Uwe Waldmann,
Jasmin Christian Blanchette,
2018
.