Concepedia

Jasmin Christian Blanchette

JC

Statistics

Publications

33

Citations

1.1K

H-Index

18

Active since

2009

Affiliations

Max Planck Institute for Informatics(Current)

Vrije Universiteit Amsterdam

Technical University of Munich

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Laboratoire d'Informatique en Images et Systèmes d'Information

Jasmin Christian Blanchette is an author at Max Planck Institute for Informatics specializing in formal methods, automated reasoning, and computer science.

ORCID

Top concepts

Publications per year

2009–2023

33

Publications

33

Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers

Lawrence C. Paulson, Jasmin Christian Blanchette · EPiC series in computing · 2018 · 160 citations

, , +18

Extending Sledgehammer with SMT Solvers

Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson · Journal of Automated Reasoning · 2013 · 157 citations

, , +6

Hammering towards QED

Jasmin Christian Blanchette, Cezary Kaliszyk, Lawrence C. Paulson et al. · Radboud Repository (Radboud University) · 2014 · 98 citations · Full text

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving

Dmitriy Traytel, Andrei Popescu, Jasmin Christian Blanchette · 2012 · 62 citations

, , +15

A Learning-Based Fact Selector for Isabelle/HOL

Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk et al. · Journal of Automated Reasoning · 2016 · 55 citations · Full text

, , +7

1–5 of 33