BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Hungary
Collaborated with:
T.Sato J.Esparza R.Ledesma-Garza R.Majumdar F.Niksic
Talks about:
approach (1) probabl (1) infinit (1) analysi (1) comput (1) cover (1) tabl (1) base (1) smt (1)

Person: Philipp Meyer

DBLP DBLP: Meyer:Philipp

Contributed to:

CAV 20142014
ICLP 20122012

Wrote 2 papers:

CAV-2014-EsparzaLMMN #analysis #approach #smt
An SMT-Based Approach to Coverability Analysis (JE, RLG, RM, PM, FN), pp. 603–619.
ICLP-2012-SatoM #infinity #probability
Tabling for infinite probability computation (TS, PM), pp. 348–358.

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.