Jasmin Blanchette
Jasmin Blanchette
Geverifieerd e-mailadres voor vu.nl - Homepage
TitelGeciteerd doorJaar
C++ GUI Programming with Qt 4
J Blanchette, M Summerfield
Pearson Education, 2008
Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers.
LC Paulson, JC Blanchette
IWIL @ LPAR, 2010
Nitpick: A counterexample generator for higher-order logic based on a relational model finder
JC Blanchette, T Nipkow
International conference on interactive theorem proving, 131-146, 2010
Extending Sledgehammer with SMT solvers
JC Blanchette, S Böhme, LC Paulson
Journal of automated reasoning 51 (1), 109-128, 2013
Extending Sledgehammer with SMT solvers
JC Blanchette, S Böhme, LC Paulson
International Conference on Automated Deduction, 116-130, 2011
Automatic proof and disproof in Isabelle/HOL
JC Blanchette, L Bulwahn, T Nipkow
International Symposium on Frontiers of Combining Systems, 12-27, 2011
Hammering towards QED
JC Blanchette, C Kaliszyk, LC Paulson, J Urban
Journal of Formalized Reasoning 9 (1), 101-148, 2016
Truly modular (co)datatypes for Isabelle/HOL
JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel
Interactive Theorem Proving, 93-110, 2014
Encoding monomorphic and polymorphic types
JC Blanchette, S Böhme, A Popescu, N Smallbone
International Conference on Tools and Algorithms for the Construction and …, 2013
MaSh: Machine learning for Sledgehammer
D Kühlwein, JC Blanchette, C Kaliszyk, J Urban
International Conference on Interactive Theorem Proving, 35-50, 2013
TFF1: The TPTP typed first-order form with rank-1 polymorphism
JC Blanchette, A Paskevich
International Conference on Automated Deduction, 414-420, 2013
Foundational, compositional (co)datatypes for higher-order logic: Category theory applied to theorem proving
D Traytel, A Popescu, JC Blanchette
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer …, 2012
More SPASS with Isabelle: Superposition with Hard Sorts and Configurable Simplification
JC Blanchette, A Popescu, D Wand, C Weidenbach
Interactive Theorem Proving, 345-360, 2012
A learning-based fact selector for Isabelle/HOL
JC Blanchette, D Greenaway, C Kaliszyk, D Kühlwein, J Urban
Journal of Automated Reasoning 57 (3), 219-244, 2016
Automatic proofs and refutations for higher-order logic
JC Blanchette
Technische Universität München, 2012
Foundational extensible corecursion: A proof assistant perspective
JC Blanchette, A Popescu, D Traytel
ICFP 2015 50 (9), 192-204, 2015
Nitpicking C++ concurrency
JC Blanchette, T Weber, M Batty, S Owens, S Sarkar
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
A decision procedure for (co)datatypes in SMT solvers
A Reynolds, JC Blanchette
Automated Deduction-CADE-25, 197-213, 2015
The little manual of API design
J Blanchette
Trolltech, Nokia, 2008
A verified SAT solver framework with learn, forget, restart, and incrementality
JC Blanchette, M Fleury, P Lammich, C Weidenbach
Journal of Automated Reasoning 61 (1-4), 333-365, 2018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20