default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rp/rp2022.bht:"
download as .bib file
@inproceedings{DBLP:conf/rp/AsadaKK22,
author = {Kazuyuki Asada and
Hiroyuki Katsura and
Naoki Kobayashi},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {On Higher-Order Reachability Games Vs May Reachability},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {108--124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_8},
doi = {10.1007/978-3-031-19135-0\_8},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/AsadaKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Balasubramanian22,
author = {A. R. Balasubramanian},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Coefficient Synthesis for Threshold Automata},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {125--139},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_9},
doi = {10.1007/978-3-031-19135-0\_9},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Balasubramanian22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Benedikt22,
author = {Michael Benedikt},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {The Past and Future of Embedded Finite Model Theory},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {37--46},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_3},
doi = {10.1007/978-3-031-19135-0\_3},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Benedikt22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BorealeC22,
author = {Michele Boreale and
Luisa Collodi},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Linearization, Model Reduction and Reachability in Nonlinear odes},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {49--66},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_4},
doi = {10.1007/978-3-031-19135-0\_4},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BorealeC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BoseHLST22,
author = {Sougata Bose and
Thomas A. Henzinger and
Karoliina Lehtinen and
Sven Schewe and
Patrick Totzke},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {History-Deterministic Timed Automata Are Not Determinizable},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {67--76},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_5},
doi = {10.1007/978-3-031-19135-0\_5},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BoseHLST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Capra22,
author = {Lorenzo Capra},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Canonization of Reconfigurable {PT} Nets in Maude},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {160--177},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_11},
doi = {10.1007/978-3-031-19135-0\_11},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Capra22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Ciobanu22,
author = {Laura Ciobanu},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Post's Correspondence Problem: From Computer Science to Algebra},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {28--36},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_2},
doi = {10.1007/978-3-031-19135-0\_2},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Ciobanu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FeldmanS22,
author = {Yotam M. Y. Feldman and
Sharon Shoham},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {SAT-Based Invariant Inference and Its Relation to Concept Learning},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {3--27},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_1},
doi = {10.1007/978-3-031-19135-0\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/FeldmanS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/KoscheKMP22,
author = {Maria Kosche and
Tore Ko{\ss} and
Florin Manea and
Viktoriya Pak},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Subsequences in Bounded Ranges: Matching and Analysis Problems},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {140--159},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_10},
doi = {10.1007/978-3-031-19135-0\_10},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/KoscheKMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Webster22,
author = {Thomas Webster},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {The Stochastic Arrival Problem},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {93--107},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_7},
doi = {10.1007/978-3-031-19135-0\_7},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Webster22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Yamakami22,
author = {Tomoyuki Yamakami},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Unambiguity and Fewness for Nonuniform Families of Polynomial-Size
Nondeterministic Finite Automata},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {77--92},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_6},
doi = {10.1007/978-3-031-19135-0\_6},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Yamakami22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2022,
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0},
doi = {10.1007/978-3-031-19135-0},
isbn = {978-3-031-19134-3},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2022.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.
retrieved on 2024-12-19 04:57 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
