The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christian Miller" ( http://dblp.L3S.de/Authors/Christian_Miller )

  Author page on DBLP  Author page in RDF  Community of Christian Miller in ASPL-2

Publication years (Num. hits)
2009-2015 (15)
Publication types (Num. hits)
article(2) inproceedings(12) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 3 keywords

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christian Miller, Paolo Marin, Bernd Becker 0001 Verification of partial designs using incremental QBF. Search on Bibsonomy AI Commun. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker 0001 Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Miller Modeling the unknown using quantification. Search on Bibsonomy 2014   RDF
1Christian Miller, Christoph Scholl, Bernd Becker 0001 Proving QBF-hardness in Bounded Model Checking for Incomplete Designs. Search on Bibsonomy MTV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Christian Miller, Matthew D. T. Lewis, Bernd Becker 0001 Verification of partial designs using incremental QBF solving. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Christian Miller, Bernd Becker 0001 Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian Miller, Okan Arikan, Don Fussell Frankenrigs: Building Character Rigs from Multiple Sources. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF rig reuse, character animation, skinning, Rigging
1Christian Miller, Christoph Scholl, Bernd Becker 0001 Verifying Incomplete Networks of Timed Automata. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Miller, Karina Gitina, Bernd Becker 0001 Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas. Search on Bibsonomy MTV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Miller, Okan Arikan, Don Fussell Frankenrigs: building character rigs from multiple sources. Search on Bibsonomy SI3D The full citation details ... 2010 DBLP  DOI  BibTeX  RDF rig reuse, character animation, skinning, rigging
1Tobias Nopper, Christian Miller, Matthew D. T. Lewis, Bernd Becker 0001, Christoph Scholl SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Miller, Stefan Kupferschmid, Bernd Becker 0001 Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Miller, Stefan Kupferschmid, Matthew D. T. Lewis, Bernd Becker 0001 Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker 0001 Bounded Model Checking of Incomplete Networks of Timed Automata. Search on Bibsonomy MTV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christian Miller, Tobias Nopper, Christoph Scholl Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (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