 | 2011 |
|---|
| 12 |       | Jasmin Christian Blanchette,
Sascha Böhme,
Lawrence C. Paulson:
Extending Sledgehammer with SMT Solvers.
CADE 2011: 116-130 |
| 11 | | Jasmin Christian Blanchette,
Lukas Bulwahn,
Tobias Nipkow:
Automatic Proof and Disproof in Isabelle/HOL.
FroCos 2011: 12-27 |
| 10 | | Jasmin Christian Blanchette,
Tjark Weber,
Mark Batty,
Scott Owens,
Susmit Sarkar:
Nitpicking c++ concurrency.
PPDP 2011: 113-124 |
| 9 | | Jasmin Christian Blanchette,
Alexander Krauss:
Monotonicity Inference for Higher-Order Formulas.
J. Autom. Reasoning 47(4): 369-398 (2011) |
| 2010 |
|---|
| 8 | | Jasmin Christian Blanchette,
Alexander Krauss:
Monotonicity Inference for Higher-Order Formulas.
IJCAR 2010: 91-106 |
| 7 | | Jasmin Christian Blanchette,
Tobias Nipkow:
Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder.
ITP 2010: 131-146 |
| 6 | | Jasmin Christian Blanchette,
Koen Claessen:
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models.
LPAR (Yogyakarta) 2010: 127-141 |
| 5 | | Jasmin Christian Blanchette:
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions.
TAP 2010: 117-134 |
| 2009 |
|---|
| 4 | | Einar Broch Johnsen,
Jasmin Christian Blanchette,
Marcel Kyas,
Olaf Owe:
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.
Electr. Notes Theor. Comput. Sci. 243: 89-103 (2009) |
| 3 | | Jasmin Christian Blanchette:
Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm.
J. Autom. Reasoning 43(1): 1-18 (2009) |
| 2008 |
|---|
| 2 | | Jasmin Christian Blanchette:
The Textbook Proof of Huffman's Algorithm.
Archive of Formal Proofs 2008: (2008) |
| 1 | | Jasmin Christian Blanchette,
Olaf Owe:
An Open System Operational Semantics for an Object-Oriented and Component-Based Language.
Electr. Notes Theor. Comput. Sci. 215: 151-169 (2008) |
Data released under the ODC-BY 1.0 license — See also our legal information page