Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Florian Zuleger" ( http://dblp.L3S.de/Authors/Florian_Zuleger )

  Author page on DBLP  Author page in RDF  Community of Florian Zuleger in ASPL-2

Publication years (Num. hits)
2009 (1) 2010 (1) 2011 (1) 2012 (1)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
CoRR(1) PLDI(1) SAS(1) VMCAI(1)
Authors
Florian Zuleger(4) Helmut Veith(3) Sumit Gulwani(3) Moritz Sinn(2) Johannes Kinder(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith Bound Analysis of Imperative Programs with the Size-Change Abstraction. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Florian Zuleger The reachability-bound problem. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF disjunctive invariants, resource bound analysis, pattern matching, transitive closure, ranking functions
1Johannes Kinder, Florian Zuleger, Helmut Veith An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.