Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/rp/rp2010.bht:"
@inproceedings{DBLP:conf/rp/AndreF10, author = {{\'{E}}tienne Andr{\'{e}} and Laurent Fribourg}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Behavioral Cartography of Timed Automata}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {76--90}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_5}, doi = {10.1007/978-3-642-15349-5\_5}, timestamp = {Mon, 12 Jun 2023 09:54:30 +0200}, biburl = {https://dblp.org/rec/conf/rp/AndreF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/BellHH10, author = {Paul Bell and Vesa Halava and Mika Hirvensalo}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {On the Joint Spectral Radius for Bounded Matrix Languages}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {91--103}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_6}, doi = {10.1007/978-3-642-15349-5\_6}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/BellHH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Chaloupka10, author = {Jakub Chaloupka}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in {P}}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {104--119}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_7}, doi = {10.1007/978-3-642-15349-5\_7}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Chaloupka10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/HolzerK10, author = {Markus Holzer and Martin Kutrib}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {1--23}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_1}, doi = {10.1007/978-3-642-15349-5\_1}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/HolzerK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Larsen10, author = {Kim Guldstrand Larsen}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Symbolic and Compositional Reachability for Timed Automata}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {24--28}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_2}, doi = {10.1007/978-3-642-15349-5\_2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Larsen10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Margenstern10, author = {Maurice Margenstern}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {120--132}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_8}, doi = {10.1007/978-3-642-15349-5\_8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Margenstern10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/MundhenkW10, author = {Martin Mundhenk and Felix Wei{\ss}}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {146--160}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_10}, doi = {10.1007/978-3-642-15349-5\_10}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/MundhenkW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/NauroisM10, author = {Paulin Jacob{\'{e}} de Naurois and Virgile Mogbil}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Rewriting Systems for Reachability in Vector Addition Systems with Pairs}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {133--145}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_9}, doi = {10.1007/978-3-642-15349-5\_9}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/NauroisM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Rabinovich10, author = {Alexander Rabinovich}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Temporal Logics over Linear Time Domains Are in {PSPACE}}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {29--50}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_3}, doi = {10.1007/978-3-642-15349-5\_3}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/Rabinovich10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Sawa10, author = {Zdenek Sawa}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Efficient Construction of Semilinear Representations of Languages Accepted by Unary {NFA}}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {176--182}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_12}, doi = {10.1007/978-3-642-15349-5\_12}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Sawa10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Schnoebelen10, author = {Philippe Schnoebelen}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Lossy Counter Machines Decidability Cheat Sheet}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {51--75}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_4}, doi = {10.1007/978-3-642-15349-5\_4}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Schnoebelen10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Velardo10, author = {Fernando Rosa{-}Velardo}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Depth Boundedness in Multiset Rewriting Systems with Name Binding}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {161--175}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_11}, doi = {10.1007/978-3-642-15349-5\_11}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/Velardo10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Wei10, author = {Fang Wei}, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Efficient Graph Reachability Query Answering Using Tree Decomposition}, booktitle = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, pages = {183--197}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5\_13}, doi = {10.1007/978-3-642-15349-5\_13}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Wei10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rp/2010, editor = {Anton{\'{\i}}n Kucera and Igor Potapov}, title = {Reachability Problems, 4th International Workshop, {RP} 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6227}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15349-5}, doi = {10.1007/978-3-642-15349-5}, isbn = {978-3-642-15348-8}, timestamp = {Mon, 12 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.