Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Andreas Lochbihler" ( http://dblp.L3S.de/Authors/Andreas_Lochbihler )

  Author page on DBLP  Author page in RDF  Community of Andreas Lochbihler in ASPL-2

Publication years (Num. hits)
2004-2012 (13)
Publication types (Num. hits)
article(5) inproceedings(8)
Venues (Conferences, Journals, ...)
Archive of Formal Proofs(3) ESOP(2) ITP(2) TPHOLs(2) Autom. Softw. Eng.(1) Electronic Colloquium on Compu...(1) SCAM(1) SEA(1)
Authors
Andreas Lochbihler(13) Gregor Snelting(3) Bastian Katz(1) Daniel Wasserrab(1) Dorothea Wagner(1) Ignaz Rutter(1) Kousha Etessami(1) Lukas Bulwahn(1) Marcus Krug(1) Peter Lammich(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Andreas Lochbihler Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andreas Lochbihler, Lukas Bulwahn Animating the Formalised Semantics of a Java-Like Language. Search on Bibsonomy ITP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Lochbihler Coinductive. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2010 DBLP  BibTeX  RDF
1Bastian Katz, Marcus Krug, Andreas Lochbihler, Ignaz Rutter, Gregor Snelting, Dorothea Wagner Gateway Decompositions for Constrained Reachability Problems. Search on Bibsonomy SEA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Lammich, Andreas Lochbihler The Isabelle Collections Framework. Search on Bibsonomy ITP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andreas Lochbihler Verifying a Compiler for Java Threads. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andreas Lochbihler, Gregor Snelting On temporal path conditions in dependence graphs. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Temporal logic, Security analysis, Program dependence graph, Path condition
1Andreas Lochbihler Code Generation for Functions as Data. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2009 DBLP  BibTeX  RDF
1Andreas Lochbihler Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Wasserrab, Andreas Lochbihler Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andreas Lochbihler Jinja with Threads. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2007 DBLP  BibTeX  RDF
1Andreas Lochbihler, Gregor Snelting On Temporal Path Conditions in Dependence Graphs. Search on Bibsonomy SCAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kousha Etessami, Andreas Lochbihler The computational complexity of Evolutionarily Stable Strategies Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.