Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Holger Gast" ( http://dblp.L3S.de/Authors/Holger_Gast )

  Author page on DBLP  Author page in RDF  Community of Holger Gast in ASPL-2

Publication years (Num. hits)
2004-2011 (9)
Publication types (Num. hits)
article(3) inproceedings(5) phdthesis(1)
Venues (Conferences, Journals, ...)
ECEASST(1) Electr. Notes Theor. Comput. S...(1) FM(1) Formal Methods in System Desig...(1) ICFEM(1) IFL(1) PPPJ(1) TPHOLs(1)
Authors
Holger Gast(9) Julia Trieflinger(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Holger Gast Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm. Search on Bibsonomy ICFEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Holger Gast Reasoning about memory layouts. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Holger Gast, Julia Trieflinger High-level Proofs about Low-level Programs. Search on Bibsonomy ECEASST The full citation details ... 2009 DBLP  BibTeX  RDF
1Holger Gast Managing Proof Documents for Asynchronous Processing. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Holger Gast Reasoning about Memory Layouts. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Holger Gast Lightweight Separation. Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Holger Gast Patterns and traceability in teaching software architecture. Search on Bibsonomy PPPJ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software architecture, software engineering education
1Holger Gast A generator for type checkers. Search on Bibsonomy 2005   RDF
1Holger Gast Explaining ML Type Errors by Data Flows. Search on Bibsonomy IFL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.