|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-efficient scheduling of stochastically generated tasks.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
Proving Termination of Probabilistic Programs Using Patterns |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer |
Stabilization of Branching Queueing Networks. |
STACS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
On the Complexity of the Equivalence Problem for Probabilistic Automata. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger |
Parikhʼs theorem: A simple and direct automaton construction. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Derivation tree analysis for accelerated fixed-point computation. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
On the Complexity of the Equivalence Problem for Probabilistic Automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer |
Stabilization of Branching Queueing Networks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang |
On Stabilization in Herman's Algorithm |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Kiefer, Dominik Wojtczak |
On Probabilistic Parallel Programs with Process Creation and Synchronisation. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang |
On Stabilization in Herman's Algorithm. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková |
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell |
Language Equivalence for Probabilistic Automata. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera |
Efficient Analysis of Probabilistic Programs with an Unbounded Counter. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Newtonian program analysis. |
J. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-efficient scheduling of stochastically generated tasks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Computing the Least Fixed Point of Positive Polynomial Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková |
Runtime Analysis of Probabilistic Programs with Unbounded Recursion |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Kiefer, Dominik Wojtczak |
On Probabilistic Parallel Programs with Process Creation and Synchronisation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty, Stefan Kiefer, Michael Luttenberger |
Parikh's Theorem: A simple and direct construction |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Computing the Least Fixed Point of Positive Polynomial Systems. |
SIAM J. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-Efficient Scheduling of Stochastically Generated Tasks. |
ICALP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
Computing Least Fixed Points of Probabilistic Systems of Polynomials. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer |
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Andreas Gaiser, Stefan Kiefer |
Computing Least Fixed Points of Probabilistic Systems of Polynomials |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer |
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer |
On the Memory Consumption of Probabilistic Pushdown Automata. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
JSAT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Newton's Method for omega-Continuous Semirings. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl |
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations. |
STACS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Derivation Tree Analysis for Accelerated Fixed-Point Computation. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Solving Monotone Polynomial Equations. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
On Fixed Point Equations over Commutative Semirings. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
An Extension of Newton's Method to omega -Continuous Semirings. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kiefer, Michael Luttenberger, Javier Esparza |
On the convergence of Newton's method for monotone systems of polynomial equations. |
STOC |
2007 |
DBLP DOI BibTeX RDF |
fixed-point equations, formal verification of software, probabilistic pushdown systems, Newton's method |
| 1 | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")