The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Johann Schuster" ( http://dblp.L3S.de/Authors/Johann_Schuster )

  Author page on DBLP  Author page in RDF  Community of Johann Schuster in ASPL-2

Publication years (Num. hits)
2008-2014 (15) 2018 (1)
Publication types (Num. hits)
article(7) inproceedings(8) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang 0001 The quest for minimal quotients for probabilistic and Markov automata. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ludwig Griebl, Johann Schuster Some notes on the abstraction operation for multi-terminal binary decision diagrams. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker 0001, Johann Schuster Symbolic counterexample generation for large discrete-time Markov chains. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johann Schuster, Markus Siegle Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ludwig Griebl, Johann Schuster Some notes on the abstraction operation for Multi-Terminal Binary Decision Diagrams Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Johann Schuster, Markus Siegle Lattice structures for bisimilar Probabilistic Automata. Search on Bibsonomy INFINITY The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang 0001 The Quest for Minimal Quotients for Probabilistic Automata. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Johann Schuster, Markus Siegle Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker 0001 Symbolic Counterexample Generation for Discrete-Time Markov Chains. Search on Bibsonomy FACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johann Schuster, Markus Siegle Scale-Freeness of SPA Models with Weighted Immediate Actions. Search on Bibsonomy EPEW/UKPEW The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Gouberman, Martin Riedl 0001, Johann Schuster, Markus Siegle A Modelling and Analysis Environment for LARES. Search on Bibsonomy MMB/DFT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johann Schuster Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures. Search on Bibsonomy 2012   RDF
1Jens Bachmann, Martin Riedl 0001, Johann Schuster, Markus Siegle An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MTBDD, elimination of immediate transitions, stochastic process algebra
1Thomas Krieger, Martin Riedl 0001, Johann Schuster, Markus Siegle A view-probability-matrix approach to the modelling of gossiping protocols. Search on Bibsonomy SIGMETRICS Performance Evaluation Review The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Riedl 0001, Johann Schuster, Markus Siegle Recent Extensions to the Stochastic Process Algebra Tool CASPA. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johann Schuster, Markus Siegle A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. Search on Bibsonomy MMB The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (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