Jasmin Blanchette

Citée par

	Toutes	Depuis 2020
Citations	4846	1675
indice h	34	25
indice i10	64	44

420

210

105

315

20052006200720082009201020112012201320142015201620172018201920202021202220232024202536 33 58 57 115 150 186 232 258 254 277 289 384 317 414 310 338 327 368 287 36

Accès public

Tout afficher

71 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Andrei PopescuUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
Dmitriy TraytelUniversity of CopenhagenAdresse e-mail validée de di.ku.dk
Sophie TourretInriaAdresse e-mail validée de loria.fr
Petar VukmirovicVrije Universiteit AmsterdamAdresse e-mail validée de vu.nl
Alexander BentkampHeinrich-Heine-Universität DüsseldorfAdresse e-mail validée de hhu.de
Lawrence PaulsonUniversity of CambridgeAdresse e-mail validée de cam.ac.uk
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenAdresse e-mail validée de in.tum.de
Cezary KaliszykUniversity of MelbourneAdresse e-mail validée de unimelb.edu.au
Mathias FleuryUniversity FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
Josef UrbanDistinguished Researcher at Czech Technical University in PragueAdresse e-mail validée de cvut.cz
Johannes HölzlAdresse e-mail validée de in.tum.de
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceAdresse e-mail validée de loria.fr
Daniel KuehlweinCapgeminiAdresse e-mail validée de cs.ru.nl
Stephan SchulzProfessor of Computer Science, DHBW StuttgartAdresse e-mail validée de eprover.org
Andreas LochbihlerDigital Asset (Switzerland) GmbHAdresse e-mail validée de inf.ethz.ch
Anders SchlichtkrullAalborg University CopenhagenAdresse e-mail validée de cs.aau.dk
Lorenz PannyTechnische Universität MünchenAdresse e-mail validée de yx7.cc
Peter LammichThe University of ManchesterAdresse e-mail validée de in.tum.de
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesAdresse e-mail validée de uiowa.edu
Haniel BarbosaUniversidade Federal de Minas GeraisAdresse e-mail validée de dcc.ufmg.br

Suivre

Jasmin Blanchette

Ludwig-Maximilians-Universität München

Adresse e-mail validée de ifi.lmu.de - Page d'accueil

Interactive and automatic theorem proving


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
C++ GUI Programming with Qt 4 J Blanchette, M Summerfield Pearson Education, 2008	1350*	2008
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	348	2010
Extending Sledgehammer with SMT solvers JC Blanchette, S Böhme, LC Paulson Journal of automated reasoning 51 (1), 109-128, 2013	317	2013
Hammering towards QED JC Blanchette, C Kaliszyk, LC Paulson, J Urban Journal of Formalized Reasoning 9 (1), 101-148, 2016	239	2016
Automatic proof and disproof in Isabelle/HOL JC Blanchette, L Bulwahn, T Nipkow Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011 …, 2011	141	2011
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	126	2014
MaSh: Machine learning for Sledgehammer D Kühlwein, JC Blanchette, C Kaliszyk, J Urban International Conference on Interactive Theorem Proving, 35-50, 2013	114	2013
Encoding monomorphic and polymorphic types JC Blanchette, S Böhme, A Popescu, N Smallbone Logical Methods in Computer Science 12, 2017	96*	2017
A verified SAT solver framework with learn, forget, restart, and incrementality JC Blanchette, M Fleury, P Lammich, C Weidenbach Journal of automated reasoning 61, 333-365, 2018	88	2018
TFF1: The TPTP typed first-order form with rank-1 polymorphism JC Blanchette, A Paskevich Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013	84	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	82	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, 219-244, 2016	81	2016
Mining the Archive of Formal Proofs JC Blanchette, M Haslbeck, D Matichuk, T Nipkow Intelligent Computer Mathematics, 3-17, 2015	66	2015
Superposition with lambdas A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann Journal of Automated Reasoning 65 (7), 893-940, 2021	57	2021
Superposition for lambda-free higher-order logic A Bentkamp, J Blanchette, S Cruanes, U Waldmann Logical Methods in Computer Science 17, 2021	57	2021
A decision procedure for (co)datatypes in SMT solvers A Reynolds, JC Blanchette Automated Deduction-CADE-25, 197-213, 2015	57	2015
Extending a brainiac prover to lambda-free higher-order logic P Vukmirović, JC Blanchette, S Cruanes, S Schulz International Conference on Tools and Algorithms for the Construction and …, 2019	54	2019
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	51	2012
A comprehensive framework for saturation theorem proving U Waldmann, S Tourret, S Robillard, J Blanchette IJCAR, 2020	48	2020
Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk) JC Blanchette Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019	46	2019

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs