Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/rp/rp2021.bht:"
@inproceedings{DBLP:conf/rp/BilgramJPST21, author = {Alexander Bilgram and Peter Gj{\o}l Jensen and Thomas Pedersen and Jir{\'{\i}} Srba and Jakob Haahr Taankvist}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Improvements in Unfolding of Colored Petri Nets}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {69--84}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_5}, doi = {10.1007/978-3-030-89716-1\_5}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/BilgramJPST21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Boker21, author = {Udi Boker}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Quantitative vs. Weighted Automata}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {3--18}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_1}, doi = {10.1007/978-3-030-89716-1\_1}, timestamp = {Fri, 29 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/Boker21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Dixon21, author = {Clare Dixon}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Theorem Proving Using Clausal Resolution: From Past to Present}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {19--27}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_2}, doi = {10.1007/978-3-030-89716-1\_2}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/Dixon21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Esparza21, author = {Javier Esparza}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Population Protocols: Beyond Runtime Analysis}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {28--51}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_3}, doi = {10.1007/978-3-030-89716-1\_3}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/Esparza21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/ForetsS21, author = {Marcelo Forets and Christian Schilling}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Reachability of Weakly Nonlinear Systems Using Carleman Linearization}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {85--99}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_6}, doi = {10.1007/978-3-030-89716-1\_6}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/ForetsS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Karpenkov21, author = {Oleg Karpenkov}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Continued Fraction Approach to Gauss Reduction Theory}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {100--114}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_7}, doi = {10.1007/978-3-030-89716-1\_7}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/Karpenkov21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/KoscheKMS21, author = {Maria Kosche and Tore Ko{\ss} and Florin Manea and Stefan Siemer}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Absent Subsequences in Words}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {115--131}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_8}, doi = {10.1007/978-3-030-89716-1\_8}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/KoscheKMS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/LiveseyW21, author = {Joseph Livesey and Dominik Wojtczak}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Minimal Number of Calls in Propositional Protocols}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {132--148}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_9}, doi = {10.1007/978-3-030-89716-1\_9}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/LiveseyW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/SalzerL21, author = {Marco S{\"{a}}lzer and Martin Lange}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Reachability is NP-Complete Even for the Simplest Neural Networks}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {149--164}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_10}, doi = {10.1007/978-3-030-89716-1\_10}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/SalzerL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Zetzsche21, author = {Georg Zetzsche}, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Recent Advances on Reachability Problems for Valence Systems (Invited Talk)}, booktitle = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, pages = {52--65}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1\_4}, doi = {10.1007/978-3-030-89716-1\_4}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/Zetzsche21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rp/2021, editor = {Paul C. Bell and Patrick Totzke and Igor Potapov}, title = {Reachability Problems - 15th International Conference, {RP} 2021, Liverpool, UK, October 25-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13035}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89716-1}, doi = {10.1007/978-3-030-89716-1}, isbn = {978-3-030-89715-4}, timestamp = {Fri, 29 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/2021.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.