The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marcel Steinmetz" ( http://dblp.L3S.de/Authors/Marcel_Steinmetz )

  Author page on DBLP  Author page in RDF  Community of Marcel Steinmetz in ASPL-2

Publication years (Num. hits)
2016 (5) 2017 (5) 2018 (6) 2019 (3)
Publication types (Num. hits)
article(4) inproceedings(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 20 publication records. Showing 19 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein 0001, Jan Kretínský, David Parker 0001, Tim Quatmann, Enno Ruijters, Marcel Steinmetz The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcel Steinmetz, Álvaro Torralba Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann 0001, Michael Backes 0001, Robert Künnemann Towards automated network mitigation analysis. Search on Bibsonomy SAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anna Wilhelm, Marcel Steinmetz, Jörg Hoffmann 0001 On Stubborn Sets and Planning with Resources. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Dorin Shmaryahu, Guy Shani, Jörg Hoffmann 0001, Marcel Steinmetz Simulated Penetration Testing as Contingent Planning. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann 0001, Holger Hermanns Compiling Probabilistic Model Checking into Probabilistic Planning. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Patrick Speicher, Marcel Steinmetz, Michael Backes 0001, Jörg Hoffmann 0001, Robert Künnemann Stackelberg Planning: Towards Effective Leader-Follower State Space Search. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann 0001, Michael Backes 0001 Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. Search on Bibsonomy EuroS&P The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 State space search nogood learning: Online refinement of critical-path dead-end detectors in planning. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Backes 0001, Jörg Hoffmann 0001, Robert Künnemann, Patrick Speicher, Marcel Steinmetz Simulated Penetration Testing and Mitigation Analysis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann 0001, Alfonso Gerevini Beyond Red-Black Planning: Limited-Memory State Variables. Search on Bibsonomy ICAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning. Search on Bibsonomy ICAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 Search and Learn: On Dead-End Detectors, the Traps they Set, and Trap Learning. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001, Olivier Buffet Goal Probability Analysis in Probabilistic Planning: Exploring and Enhancing the State of the Art. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maximilian Fickert, Jörg Hoffmann 0001, Marcel Steinmetz Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann 0001, Ivan Serina, Alfonso Gerevini Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications. Search on Bibsonomy SOCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001, Olivier Buffet Revisiting Goal Probability Analysis in Probabilistic Planning. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcel Steinmetz, Jörg Hoffmann 0001 Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license