Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Reino Niskanen
@article{DBLP:journals/ijfcs/HalavaHNP23,
author = {Vesa Halava and
Tero Harju and
Reino Niskanen and
Igor Potapov},
title = {Integer Weighted Automata on Infinite Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {34},
number = {2{\&}3},
pages = {163--182},
year = {2023},
url = {https://doi.org/10.1142/S0129054122440014},
doi = {10.1142/S0129054122440014},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/HalavaHNP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BellNPS23,
author = {Paul C. Bell and
Reino Niskanen and
Igor Potapov and
Pavel Semukhin},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {On the Identity and Group Problems for Complex Heisenberg Matrices},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {42--55},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_4},
doi = {10.1007/978-3-031-45286-4\_4},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BellNPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05283,
author = {Paul C. Bell and
Reino Niskanen and
Igor Potapov and
Pavel Semukhin},
title = {On the Identity and Group Problems for Complex Heisenberg Matrices},
journal = {CoRR},
volume = {abs/2307.05283},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05283},
doi = {10.48550/ARXIV.2307.05283},
eprinttype = {arXiv},
eprint = {2307.05283},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KoNP21,
author = {Sang{-}Ki Ko and
Reino Niskanen and
Igor Potapov},
title = {Reachability problems in low-dimensional nondeterministic polynomial
maps over integers},
journal = {Inf. Comput.},
volume = {281},
pages = {104785},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104785},
doi = {10.1016/J.IC.2021.104785},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KoNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HalavaHNP21,
author = {Vesa Halava and
Tero Harju and
Reino Niskanen and
Igor Potapov},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Integer Weighted Automata on Infinite Words},
booktitle = {Developments in Language Theory - 25th International Conference, {DLT}
2021, Porto, Portugal, August 16-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12811},
pages = {167--179},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81508-0\_14},
doi = {10.1007/978-3-030-81508-0\_14},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HalavaHNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/NiskanenPR20,
author = {Reino Niskanen and
Igor Potapov and
Julien Reichert},
title = {On decidability and complexity of low-dimensional robot games},
journal = {J. Comput. Syst. Sci.},
volume = {107},
pages = {124--141},
year = {2020},
url = {https://doi.org/10.1016/j.jcss.2019.08.003},
doi = {10.1016/J.JCSS.2019.08.003},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/NiskanenPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BarceloHLLN19,
author = {Pablo Barcel{\'{o}} and
Chih{-}Duo Hong and
Xuan Bach Le and
Anthony W. Lin and
Reino Niskanen},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {Monadic Decomposability of Regular Relations},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {103:1--103:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.103},
doi = {10.4230/LIPICS.ICALP.2019.103},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BarceloHLLN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-00728,
author = {Pablo Barcel{\'{o}} and
Chih{-}Duo Hong and
Xuan Bach Le and
Anthony W. Lin and
Reino Niskanen},
title = {Monadic Decomposability of Regular Relations},
journal = {CoRR},
volume = {abs/1903.00728},
year = {2019},
url = {http://arxiv.org/abs/1903.00728},
eprinttype = {arXiv},
eprint = {1903.00728},
timestamp = {Sat, 30 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-00728.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Niskanen18,
author = {Reino Niskanen},
title = {Reachability games and related matrix and word problems},
school = {University of Liverpool, {UK}},
year = {2018},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.755578},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Niskanen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KoNP18,
author = {Sang{-}Ki Ko and
Reino Niskanen and
Igor Potapov},
editor = {Mizuho Hoshi and
Shinnosuke Seki},
title = {Reachability Problems in Nondeterministic Polynomial Maps on the Integers},
booktitle = {Developments in Language Theory - 22nd International Conference, {DLT}
2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11088},
pages = {465--477},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98654-8\_38},
doi = {10.1007/978-3-319-98654-8\_38},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/KoNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KoNP18,
author = {Sang{-}Ki Ko and
Reino Niskanen and
Igor Potapov},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {On the Identity Problem for the Special Linear Group and the Heisenberg
Group},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {132:1--132:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.132},
doi = {10.4230/LIPICS.ICALP.2018.132},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KoNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HalavaMN17,
author = {Vesa Halava and
Yuri V. Matiyasevich and
Reino Niskanen},
title = {Small Semi-Thue System Universal with Respect to the Termination Problem},
journal = {Fundam. Informaticae},
volume = {154},
number = {1-4},
pages = {177--184},
year = {2017},
url = {https://doi.org/10.3233/FI-2017-1559},
doi = {10.3233/FI-2017-1559},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HalavaMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HalavaHNP17,
author = {Vesa Halava and
Tero Harju and
Reino Niskanen and
Igor Potapov},
title = {Weighted automata on infinite words in the context of Attacker-Defender
games},
journal = {Inf. Comput.},
volume = {255},
pages = {27--44},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.05.001},
doi = {10.1016/J.IC.2017.05.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HalavaHNP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Niskanen17,
author = {Reino Niskanen},
editor = {Matthew Hague and
Igor Potapov},
title = {Reachability Problem for Polynomial Iteration Is PSPACE-complete},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {132--143},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_10},
doi = {10.1007/978-3-319-67089-8\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Niskanen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KoNP17,
author = {Sang{-}Ki Ko and
Reino Niskanen and
Igor Potapov},
title = {On the Identity Problem for the Special Linear Group and the Heisenberg
Group},
journal = {CoRR},
volume = {abs/1706.04166},
year = {2017},
url = {http://arxiv.org/abs/1706.04166},
eprinttype = {arXiv},
eprint = {1706.04166},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KoNP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NiskanenPR16,
author = {Reino Niskanen and
Igor Potapov and
Julien Reichert},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {Undecidability of Two-dimensional Robot Games},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {73:1--73:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.73},
doi = {10.4230/LIPICS.MFCS.2016.73},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/NiskanenPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Niskanen16,
author = {Reino Niskanen},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Robot Games with States in Dimension One},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {163--176},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_12},
doi = {10.1007/978-3-319-45994-3\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/Niskanen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NiskanenPR16,
author = {Reino Niskanen and
Igor Potapov and
Julien Reichert},
title = {Undecidability of Two-dimensional Robot Games},
journal = {CoRR},
volume = {abs/1604.08779},
year = {2016},
url = {http://arxiv.org/abs/1604.08779},
eprinttype = {arXiv},
eprint = {1604.08779},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NiskanenPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/HalavaHNP15,
author = {Vesa Halava and
Tero Harju and
Reino Niskanen and
Igor Potapov},
editor = {Arnold Beckmann and
Victor Mitrana and
Mariya Ivanova Soskova},
title = {Weighted Automata on Infinite Words in the Context of Attacker-Defender
Games},
booktitle = {Evolving Computability - 11th Conference on Computability in Europe,
CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9136},
pages = {206--215},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20028-6\_21},
doi = {10.1007/978-3-319-20028-6\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/HalavaHNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/HalavaNP15,
author = {Vesa Halava and
Reino Niskanen and
Igor Potapov},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {On Robot Games of Degree Two},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {224--236},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_17},
doi = {10.1007/978-3-319-15579-1\_17},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/HalavaNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HalavaNP14,
author = {Vesa Halava and
Reino Niskanen and
Igor Potapov},
title = {On Undecidability of Counter Reachability Games in Dimension One},
journal = {CoRR},
volume = {abs/1411.4796},
year = {2014},
url = {http://arxiv.org/abs/1411.4796},
eprinttype = {arXiv},
eprint = {1411.4796},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HalavaNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:31 CEST 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:
