The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David Spieler" ( http://dblp.L3S.de/Authors/David_Spieler )

  Author page on DBLP  Author page in RDF  Community of David Spieler in ASPL-2

Publication years (Num. hits)
2008 (1) 2011 (3) 2012 (2) 2013 (3) 2014 (2)
Publication types (Num. hits)
article(4) inproceedings(6) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 12 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1David Spieler, Ernst Moritz Hahn, Lijun Zhang 0001 Model Checking CSL for Markov Population Models Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Spieler Numerical analysis of long-run properties for Markov population models. Search on Bibsonomy 2014   RDF
1Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf On-the-fly verification and optimization of DTA-properties for large Markov chains. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Spieler, Verena Wolf Efficient Steady State Analysis of Multimodal Markov Chains. Search on Bibsonomy ASMTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Spieler Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf Approximate maximum likelihood estimation for stochastic chemical kinetics. Search on Bibsonomy EURASIP J. Bioinformatics and Systems Biology The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexandr Andreychenko, Thilo Krüger, David Spieler Analyzing Oscillatory Behavior with Formal Methods. Search on Bibsonomy ROCKS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf Bounding the equilibrium distribution of Markov population models. Search on Bibsonomy Numerical Lin. Alg. with Applic. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf Parameter Identification for Markov Models of Biochemical Reactions Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf Parameter Identification for Markov Models of Biochemical Reactions. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Eisentraut, David Spieler Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. Search on Bibsonomy WS-FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (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