|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jiri Barnat, Jakub Chaloupka, Jaco van de Pol |
Distributed Algorithms for SCC Decomposition.  |
J. Log. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin |
Faster algorithms for mean-payoff games. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jakub Chaloupka |
Using Strategy Improvement to Stay Alive |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Chaloupka |
Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P. |
RP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Chaloupka |
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation. |
ESA |
2009 |
DBLP DOI BibTeX RDF |
mean-payoff games, parallel algorithms, experimental evaluation |
| 1 | Jakub Chaloupka, Lubos Brim |
Faster Algorithm for Mean-Payoff Games. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jiri Barnat, Jakub Chaloupka, Jaco van de Pol |
Improved Distributed Algorithms for SCC Decomposition. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Jakub Chaloupka |
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Jakub Chaloupka |
Parallel Breadth-First Search LTL Model-Checking. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")