BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Poland
1 × USA
1 × United Kingdom
Collaborated with:
J.C.Blanchette M.Moskal T.Nipkow L.C.Paulson A.Popescu N.Smallbone E.Alkassar K.Mehlhorn C.Rizkallah
Talks about:
sledgehamm (2) polymorph (1) monomorph (1) judgement (1) structur (1) challeng (1) certifi (1) solver (1) prover (1) extend (1)

Person: Sascha Böhme

DBLP DBLP: B=ouml=hme:Sascha

Contributed to:

TACAS 20132013
CADE 20112011
CAV 20112011
IJCAR 20102010

Wrote 5 papers:

TACAS-2013-BlanchetteBPS #encoding #polymorphism
Encoding Monomorphic and Polymorphic Types (JCB, SB, AP, NS), pp. 493–507.
CADE-2011-BlanchetteBP #smt
Extending Sledgehammer with SMT Solvers (JCB, SB, LCP), pp. 116–130.
CADE-2011-BohmeM #automation #challenge #data type #proving
Heaps and Data Structures: A Challenge for Automated Provers (SB, MM), pp. 177–191.
CAV-2011-AlkassarBMR #verification
Verification of Certifying Computations (EA, SB, KM, CR), pp. 67–82.
IJCAR-2010-BohmeN #named
Sledgehammer: Judgement Day (SB, TN), pp. 107–121.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.