Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Arno Pauly
@article{DBLP:journals/corr/abs-2401-11807,
author = {Jun Le Goh and
Arno Pauly and
Manlio Valenti},
title = {The weakness of finding descending sequences in ill-founded linear
orders},
journal = {CoRR},
volume = {abs/2401.11807},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11807},
doi = {10.48550/ARXIV.2401.11807},
eprinttype = {arXiv},
eprint = {2401.11807},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11807.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-12641,
author = {Arno Pauly and
Giovanni Solda},
title = {Sequential discontinuity and first-order problems},
journal = {CoRR},
volume = {abs/2401.12641},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.12641},
doi = {10.48550/ARXIV.2401.12641},
eprinttype = {arXiv},
eprint = {2401.12641},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-12641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-13975,
author = {Eike Neumann and
Arno Pauly and
C{\'{e}}cilia Pradic},
title = {The equational theory of the Weihrauch lattice with multiplication},
journal = {CoRR},
volume = {abs/2403.13975},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.13975},
doi = {10.48550/ARXIV.2403.13975},
eprinttype = {arXiv},
eprint = {2403.13975},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-13975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KiharaP23,
author = {Takayuki Kihara and
Arno Pauly},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {De Groot Duality for Represented Spaces},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {89--101},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_8},
doi = {10.1007/978-3-031-36978-0\_8},
timestamp = {Wed, 26 Jul 2023 08:43:10 +0200},
biburl = {https://dblp.org/rec/conf/cie/KiharaP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CiprianiP23,
author = {Vittorio Cipriani and
Arno Pauly},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {The Complexity of Finding Supergraphs},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {178--189},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_15},
doi = {10.1007/978-3-031-36978-0\_15},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/CiprianiP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02833,
author = {Arno Pauly and
C{\'{e}}cilia Pradic and
Giovanni Solda},
title = {On the Weihrauch degree of the additive Ramsey theorem},
journal = {CoRR},
volume = {abs/2301.02833},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02833},
doi = {10.48550/ARXIV.2301.02833},
eprinttype = {arXiv},
eprint = {2301.02833},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-00935,
author = {Vittorio Cipriani and
Arno Pauly},
title = {Embeddability of graphs and Weihrauch degrees},
journal = {CoRR},
volume = {abs/2305.00935},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.00935},
doi = {10.48550/ARXIV.2305.00935},
eprinttype = {arXiv},
eprint = {2305.00935},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-00935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-12676,
author = {Steffen Lempp and
Joseph S. Miller and
Arno Pauly and
Mariya Ivanova Soskova and
Manlio Valenti},
title = {Minimal covers in the Weihrauch degrees},
journal = {CoRR},
volume = {abs/2311.12676},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.12676},
doi = {10.48550/ARXIV.2311.12676},
eprinttype = {arXiv},
eprint = {2311.12676},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-12676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PaulyWY22,
author = {Arno Pauly and
Linda Westrick and
Liang Yu},
title = {Luzin's (n) and Randomness Reflection},
journal = {J. Symb. Log.},
volume = {87},
number = {2},
pages = {802--828},
year = {2022},
url = {https://doi.org/10.1017/jsl.2020.73},
doi = {10.1017/JSL.2020.73},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PaulyWY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/CrookMPR22,
author = {Tonicha Crook and
Jay Paul Morgan and
Arno Pauly and
Markus Roggenbach},
editor = {Alexandre Madeira and
Manuel A. Martins},
title = {A Computability Perspective on (Verified) Machine Learning},
booktitle = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13710},
pages = {63--80},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-43345-0\_3},
doi = {10.1007/978-3-031-43345-0\_3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adt/CrookMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2022,
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0},
doi = {10.1007/978-3-031-08740-0},
isbn = {978-3-031-08739-4},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BruyereRPR21,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
St{\'{e}}phane Le Roux and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On the existence of weak subgame perfect equilibria},
journal = {Inf. Comput.},
volume = {276},
pages = {104553},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104553},
doi = {10.1016/J.IC.2020.104553},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BruyereRPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RouxP21,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
title = {Equilibria in multi-player multi-outcome infinite sequential games},
journal = {Inf. Comput.},
volume = {276},
pages = {104557},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104557},
doi = {10.1016/J.IC.2020.104557},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RouxP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GohPV21,
author = {Jun Le Goh and
Arno Pauly and
Manlio Valenti},
title = {Finding descending sequences through ill-Founded linear Orders},
journal = {J. Symb. Log.},
volume = {86},
number = {2},
pages = {817--854},
year = {2021},
url = {https://doi.org/10.1017/jsl.2021.15},
doi = {10.1017/JSL.2021.15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GohPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GassnerP021,
author = {Christine Ga{\ss}ner and
Arno Pauly and
Florian Steinberg},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {Computing Measure as a Primitive Operation in Real Number Computation},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {22:1--22:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.22},
doi = {10.4230/LIPICS.CSL.2021.22},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GassnerP021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09108,
author = {Jay Paul Morgan and
Adeline Paiement and
Arno Pauly and
Monika Seisenberger},
title = {Adaptive Neighbourhoods for the Discovery of Adversarial Examples},
journal = {CoRR},
volume = {abs/2101.09108},
year = {2021},
url = {https://arxiv.org/abs/2101.09108},
eprinttype = {arXiv},
eprint = {2101.09108},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-09108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06585,
author = {Tonicha Crook and
Jay Paul Morgan and
Arno Pauly and
Markus Roggenbach},
title = {A Computability Perspective on (Verified) Machine Learning},
journal = {CoRR},
volume = {abs/2102.06585},
year = {2021},
url = {https://arxiv.org/abs/2102.06585},
eprinttype = {arXiv},
eprint = {2102.06585},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00972,
author = {Tonicha Crook and
Arno Pauly},
title = {The Weihrauch degree of finding Nash equilibria in multiplayer games},
journal = {CoRR},
volume = {abs/2109.00972},
year = {2021},
url = {https://arxiv.org/abs/2109.00972},
eprinttype = {arXiv},
eprint = {2109.00972},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-00972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HoyrupPSS21,
author = {Mathieu Hoyrup and
Arno Pauly and
Victor L. Selivanov and
Mariya Ivanova Soskova},
title = {Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461)},
journal = {Dagstuhl Reports},
volume = {11},
number = {10},
pages = {72--93},
year = {2021},
url = {https://doi.org/10.4230/DagRep.11.10.72},
doi = {10.4230/DAGREP.11.10.72},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HoyrupPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DzhafarovGHPP20,
author = {Damir D. Dzhafarov and
Jun Le Goh and
Denis R. Hirschfeldt and
Ludovic Patey and
Arno Pauly},
title = {Ramsey's theorem and products in the Weihrauch degrees},
journal = {Comput.},
volume = {9},
number = {2},
pages = {85--110},
year = {2020},
url = {https://doi.org/10.3233/COM-180203},
doi = {10.3233/COM-180203},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/DzhafarovGHPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrattkaDMP20,
author = {Vasco Brattka and
Damir D. Dzhafarov and
Alberto Marcone and
Arno Pauly},
title = {Dagstuhl Seminar on Measuring the Complexity of Computational Content
2018},
journal = {Comput.},
volume = {9},
number = {3-4},
pages = {167--168},
year = {2020},
url = {https://doi.org/10.3233/COM-208001},
doi = {10.3233/COM-208001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/BrattkaDMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrechtPS20,
author = {Matthew de Brecht and
Arno Pauly and
Matthias Schr{\"{o}}der},
title = {Overt choice},
journal = {Comput.},
volume = {9},
number = {3-4},
pages = {169--191},
year = {2020},
url = {https://doi.org/10.3233/COM-190253},
doi = {10.3233/COM-190253},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/BrechtPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/DavisHHPPY20,
author = {Caleb Davis and
Denis R. Hirschfeldt and
Jeffry L. Hirst and
Jake Pardo and
Arno Pauly and
Keita Yokoyama},
title = {Combinatorial principles equivalent to weak induction},
journal = {Comput.},
volume = {9},
number = {3-4},
pages = {219--229},
year = {2020},
url = {https://doi.org/10.3233/COM-180244},
doi = {10.3233/COM-180244},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/DavisHHPPY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dga/RouxP20,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
title = {A Semi-Potential for Finite and Infinite Games in Extensive Form},
journal = {Dyn. Games Appl.},
volume = {10},
number = {1},
pages = {120--144},
year = {2020},
url = {https://doi.org/10.1007/s13235-019-00301-7},
doi = {10.1007/S13235-019-00301-7},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dga/RouxP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KiharaMP20,
author = {Takayuki Kihara and
Alberto Marcone and
Arno Pauly},
title = {Searching for an analogue of Atr0 in the Weihrauch Lattice},
journal = {J. Symb. Log.},
volume = {85},
number = {3},
pages = {1006--1043},
year = {2020},
url = {https://doi.org/10.1017/jsl.2020.12},
doi = {10.1017/JSL.2020.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KiharaMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/PaulyS020,
author = {Arno Pauly and
Dongseong Seon and
Martin Ziegler},
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {Computing Haar Measures},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
pages = {34:1--34:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.34},
doi = {10.4230/LIPICS.CSL.2020.34},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/PaulyS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2020,
editor = {Marcella Anselmo and
Gianluca Della Vedova and
Florin Manea and
Arno Pauly},
title = {Beyond the Horizon of Computability - 16th Conference on Computability
in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12098},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51466-2},
doi = {10.1007/978-3-030-51466-2},
isbn = {978-3-030-51465-5},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11168,
author = {Arno Pauly},
title = {An update on Weihrauch complexity, and some open questions},
journal = {CoRR},
volume = {abs/2008.11168},
year = {2020},
url = {https://arxiv.org/abs/2008.11168},
eprinttype = {arXiv},
eprint = {2008.11168},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11168.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03840,
author = {Jun Le Goh and
Arno Pauly and
Manlio Valenti},
title = {Finding descending sequences through ill-founded linear orders},
journal = {CoRR},
volume = {abs/2010.03840},
year = {2020},
url = {https://arxiv.org/abs/2010.03840},
eprinttype = {arXiv},
eprint = {2010.03840},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/GherardiMP19,
author = {Guido Gherardi and
Alberto Marcone and
Arno Pauly},
title = {Projection operators in the Weihrauch lattice},
journal = {Comput.},
volume = {8},
number = {3-4},
pages = {281--304},
year = {2019},
url = {https://doi.org/10.3233/COM-180207},
doi = {10.3233/COM-180207},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/GherardiMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/BrattkaRMP19,
author = {Vasco Brattka and
St{\'{e}}phane Le Roux and
Joseph S. Miller and
Arno Pauly},
title = {Connected choice and the Brouwer fixed point theorem},
journal = {J. Math. Log.},
volume = {19},
number = {1},
pages = {1950004:1--1950004:46},
year = {2019},
url = {https://doi.org/10.1142/S0219061319500041},
doi = {10.1142/S0219061319500041},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/BrattkaRMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NobregaP19,
author = {Hugo Nobrega and
Arno Pauly},
title = {Game characterizations and lower cones in the Weihrauch degrees},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:11)2019},
doi = {10.23638/LMCS-15(3:11)2019},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/NobregaP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/HirvonenKP19,
author = {{\AA}sa Hirvonen and
Juha Kontinen and
Arno Pauly},
editor = {T. V. Gopal and
Junzo Watada},
title = {Continuous Team Semantics},
booktitle = {Theory and Applications of Models of Computation - 15th Annual Conference,
{TAMC} 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11436},
pages = {262--278},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14812-6\_16},
doi = {10.1007/978-3-030-14812-6\_16},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/HirvonenKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/KiharaP19,
author = {Takayuki Kihara and
Arno Pauly},
editor = {T. V. Gopal and
Junzo Watada},
title = {Finite Choice, Convex Choice and Sorting},
booktitle = {Theory and Applications of Models of Computation - 15th Annual Conference,
{TAMC} 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11436},
pages = {378--393},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14812-6\_23},
doi = {10.1007/978-3-030-14812-6\_23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/KiharaP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05926,
author = {Matthew de Brecht and
Arno Pauly and
Matthias Schr{\"{o}}der},
title = {Overt choice},
journal = {CoRR},
volume = {abs/1902.05926},
year = {2019},
url = {http://arxiv.org/abs/1902.05926},
eprinttype = {arXiv},
eprint = {1902.05926},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-00688,
author = {Gafurjan I. Ibragimov and
Bakh Khoussainov and
Arno Pauly},
title = {Computability Aspects of Differential Games in Euclidian Spaces},
journal = {CoRR},
volume = {abs/1903.00688},
year = {2019},
url = {http://arxiv.org/abs/1903.00688},
eprinttype = {arXiv},
eprint = {1903.00688},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-00688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-05490,
author = {Arno Pauly},
title = {Effective local compactness and the hyperspace of located sets},
journal = {CoRR},
volume = {abs/1903.05490},
year = {2019},
url = {http://arxiv.org/abs/1903.05490},
eprinttype = {arXiv},
eprint = {1903.05490},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-05490.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-04107,
author = {Takayuki Kihara and
Keng Meng Ng and
Arno Pauly},
title = {Enumeration degrees and non-metrizable topology},
journal = {CoRR},
volume = {abs/1904.04107},
year = {2019},
url = {http://arxiv.org/abs/1904.04107},
eprinttype = {arXiv},
eprint = {1904.04107},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-04107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-03190,
author = {Takayuki Kihara and
Arno Pauly},
title = {Convex choice, finite choice and sorting},
journal = {CoRR},
volume = {abs/1905.03190},
year = {2019},
url = {http://arxiv.org/abs/1905.03190},
eprinttype = {arXiv},
eprint = {1905.03190},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-03190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-12220,
author = {Arno Pauly and
Dongseong Seon and
Martin Ziegler},
title = {Computing Haar Measures},
journal = {CoRR},
volume = {abs/1906.12220},
year = {2019},
url = {http://arxiv.org/abs/1906.12220},
eprinttype = {arXiv},
eprint = {1906.12220},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-12220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RouxP18,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
title = {Extending finite-memory determinacy to multi-player games},
journal = {Inf. Comput.},
volume = {261},
pages = {676--694},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.024},
doi = {10.1016/J.IC.2018.02.024},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RouxP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/NeumannP18,
author = {Eike Neumann and
Arno Pauly},
title = {A topological view on algebraic computation models},
journal = {J. Complex.},
volume = {44},
pages = {1--22},
year = {2018},
url = {https://doi.org/10.1016/j.jco.2017.08.003},
doi = {10.1016/J.JCO.2017.08.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/NeumannP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PaulyFD18,
author = {Arno Pauly and
Willem L. Fouch{\'{e}} and
George Davie},
title = {Weihrauch-completeness for layerwise computability},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {2},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(2:11)2018},
doi = {10.23638/LMCS-14(2:11)2018},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/PaulyFD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BrattkaP18,
author = {Vasco Brattka and
Arno Pauly},
title = {On the algebraic structure of Weihrauch degrees},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {4},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(4:4)2018},
doi = {10.23638/LMCS-14(4:4)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BrattkaP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/PaulyS18,
author = {Arno Pauly and
Florian Steinberg},
title = {Comparing Representations for Function Spaces in Computable Analysis},
journal = {Theory Comput. Syst.},
volume = {62},
number = {3},
pages = {557--582},
year = {2018},
url = {https://doi.org/10.1007/s00224-016-9745-6},
doi = {10.1007/S00224-016-9745-6},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/PaulyS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HunterPPR18,
author = {Paul Hunter and
Arno Pauly and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Mean-payoff games with partial observation},
journal = {Theor. Comput. Sci.},
volume = {735},
pages = {82--110},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2017.03.038},
doi = {10.1016/J.TCS.2017.03.038},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HunterPPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/RouxPR18,
author = {St{\'{e}}phane Le Roux and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Minkowski Games},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {3},
pages = {20:1--20:29},
year = {2018},
url = {https://doi.org/10.1145/3230741},
doi = {10.1145/3230741},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/RouxPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Pauly18,
author = {Arno Pauly},
editor = {Florin Manea and
Russell G. Miller and
Dirk Nowotka},
title = {Enumeration Degrees and Topology},
booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability
in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10936},
pages = {328--337},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94418-0\_33},
doi = {10.1007/978-3-319-94418-0\_33},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/cie/Pauly18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BassetJPRB18,
author = {Nicolas Basset and
Isma{\"{e}}l Jecker and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin and
Marie van den Bogaard},
editor = {Dan R. Ghica and
Achim Jung},
title = {Beyond Admissibility: Dominance Between Chains of Strategies},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {10:1--10:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.10},
doi = {10.4230/LIPICS.CSL.2018.10},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/BassetJPRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/0001PR18,
author = {St{\'{e}}phane Le Roux and
Arno Pauly and
Mickael Randour},
editor = {Sumit Ganguly and
Paritosh K. Pandya},
title = {Extending Finite-Memory Determinacy by Boolean Combination of Winning
Conditions},
booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018,
Ahmedabad, India},
series = {LIPIcs},
volume = {122},
pages = {38:1--38:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.38},
doi = {10.4230/LIPICS.FSTTCS.2018.38},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/0001PR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03093,
author = {Arno Pauly},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Parameterized Games and Parameterized Automata},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {30--42},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.3},
doi = {10.4204/EPTCS.277.3},
timestamp = {Wed, 07 Dec 2022 23:00:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-11608,
author = {Nicolas Basset and
Isma{\"{e}}l Jecker and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin and
Marie van den Bogaard},
title = {Beyond admissibility: Dominance between chains of strategies},
journal = {CoRR},
volume = {abs/1805.11608},
year = {2018},
url = {http://arxiv.org/abs/1805.11608},
eprinttype = {arXiv},
eprint = {1805.11608},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-11608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-05791,
author = {St{\'{e}}phane Le Roux and
Arno Pauly and
Mickael Randour},
title = {Extending finite-memory determinacy by Boolean combination of winning
conditions},
journal = {CoRR},
volume = {abs/1808.05791},
year = {2018},
url = {http://arxiv.org/abs/1808.05791},
eprinttype = {arXiv},
eprint = {1808.05791},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-05791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01549,
author = {Takayuki Kihara and
Alberto Marcone and
Arno Pauly},
title = {Searching for an analogue of {ATR} in the Weihrauch lattice},
journal = {CoRR},
volume = {abs/1812.01549},
year = {2018},
url = {http://arxiv.org/abs/1812.01549},
eprinttype = {arXiv},
eprint = {1812.01549},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-01549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BrattkaDMP18,
author = {Vasco Brattka and
Damir D. Dzhafarov and
Alberto Marcone and
Arno Pauly},
title = {Measuring the Complexity of Computational Content: From Combinatorial
Problems to Analysis (Dagstuhl Seminar 18361)},
journal = {Dagstuhl Reports},
volume = {8},
number = {9},
pages = {1--28},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.9.1},
doi = {10.4230/DAGREP.8.9.1},
timestamp = {Mon, 25 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BrattkaDMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/PaulyF17,
author = {Arno Pauly and
Willem L. Fouch{\'{e}}},
title = {How constructive is constructing measures?},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/241/121},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/PaulyF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Pauly17,
author = {Arno Pauly},
title = {Many-one reductions and the category of multivalued functions},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {3},
pages = {376--404},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000262},
doi = {10.1017/S0960129515000262},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Pauly17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/IshiharaKPSS17,
author = {Hajime Ishihara and
Margarita V. Korovina and
Arno Pauly and
Monika Seisenberger and
Dieter Spreen},
title = {Preface to the special issue: Continuity, computability, constructivity:
from logic to algorithms 2013},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {8},
pages = {1285--1286},
year = {2017},
url = {https://doi.org/10.1017/S0960129516000086},
doi = {10.1017/S0960129516000086},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/IshiharaKPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GregoriadesKP17,
author = {Vassilios Gregoriades and
Tam{\'{a}}s Kisp{\'{e}}ter and
Arno Pauly},
title = {A comparison of concepts from computable analysis and effective descriptive
set theory},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {8},
pages = {1414--1436},
year = {2017},
url = {https://doi.org/10.1017/S0960129516000128},
doi = {10.1017/S0960129516000128},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GregoriadesKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrattkaGHP17,
author = {Vasco Brattka and
Guido Gherardi and
Rupert H{\"{o}}lzl and
Arno Pauly},
editor = {Adam R. Day and
Michael R. Fellows and
Noam Greenberg and
Bakhadyr Khoussainov and
Alexander G. Melnikov and
Frances A. Rosamond},
title = {The Vitali Covering Theorem in the Weihrauch Lattice},
booktitle = {Computability and Complexity - Essays Dedicated to Rodney G. Downey
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10010},
pages = {188--200},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50062-1\_14},
doi = {10.1007/978-3-319-50062-1\_14},
timestamp = {Sun, 25 Oct 2020 23:08:30 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BrattkaGHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/NobregaP17,
author = {Hugo Nobrega and
Arno Pauly},
editor = {Jarkko Kari and
Florin Manea and
Ion Petre},
title = {Game Characterizations and Lower Cones in the Weihrauch Degrees},
booktitle = {Unveiling Dynamics and Complexity - 13th Conference on Computability
in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10307},
pages = {327--337},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58741-7\_31},
doi = {10.1007/978-3-319-58741-7\_31},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/NobregaP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrenguierPRS17,
author = {Romain Brenguier and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin and
Ocan Sankur},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Admissibility in Games with Imperfect Information (Invited Talk)},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {2:1--2:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.2},
doi = {10.4230/LIPICS.CONCUR.2017.2},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BrenguierPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BrechtP17,
author = {Matthew de Brecht and
Arno Pauly},
editor = {Valentin Goranko and
Mads Dam},
title = {Noetherian Quasi-Polish spaces},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {16:1--16:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.16},
doi = {10.4230/LIPICS.CSL.2017.16},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/BrechtP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Bruyere0PR17,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
St{\'{e}}phane Le Roux and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {On the Existence of Weak Subgame Perfect Equilibria},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {145--161},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_9},
doi = {10.1007/978-3-662-54458-7\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Bruyere0PR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/0001PR17,
author = {St{\'{e}}phane Le Roux and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Heribert Vollmer and
Brigitte Vall{\'{e}}e},
title = {Minkowski Games},
booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
2017, March 8-11, 2017, Hannover, Germany},
series = {LIPIcs},
volume = {66},
pages = {50:1--50:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.STACS.2017.50},
doi = {10.4230/LIPICS.STACS.2017.50},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/0001PR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrattkaGP17,
author = {Vasco Brattka and
Guido Gherardi and
Arno Pauly},
title = {Weihrauch Complexity in Computable Analysis},
journal = {CoRR},
volume = {abs/1707.03202},
year = {2017},
url = {http://arxiv.org/abs/1707.03202},
eprinttype = {arXiv},
eprint = {1707.03202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrattkaGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Pauly15,
author = {Arno Pauly},
title = {On the topological aspects of the theory of represented spaces},
journal = {Comput.},
volume = {5},
number = {2},
pages = {159--180},
year = {2016},
url = {https://doi.org/10.3233/COM-150049},
doi = {10.3233/COM-150049},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Pauly15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Pauly16,
author = {Arno Pauly},
title = {The Computational Complexity of Iterated Elimination of Dominated
Strategies},
journal = {Theory Comput. Syst.},
volume = {59},
number = {1},
pages = {52--75},
year = {2016},
url = {https://doi.org/10.1007/s00224-015-9637-1},
doi = {10.1007/S00224-015-9637-1},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/Pauly16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Brattka0MP16,
author = {Vasco Brattka and
St{\'{e}}phane Le Roux and
Joseph S. Miller and
Arno Pauly},
editor = {Arnold Beckmann and
Laurent Bienvenu and
Natasa Jonoska},
title = {The Brouwer Fixed Point Theorem Revisited},
booktitle = {Pursuit of the Universal - 12th Conference on Computability in Europe,
CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9709},
pages = {58--67},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40189-8\_6},
doi = {10.1007/978-3-319-40189-8\_6},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Brattka0MP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/PaulyS16,
author = {Arno Pauly and
Florian Steinberg},
editor = {Alexander S. Kulikov and
Gerhard J. Woeginger},
title = {Representations of Analytic Functions and Weihrauch Degrees},
booktitle = {Computer Science - Theory and Applications - 11th International Computer
Science Symposium in Russia, {CSR} 2016, St. Petersburg, Russia, June
9-13, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9691},
pages = {367--381},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34171-2\_26},
doi = {10.1007/978-3-319-34171-2\_26},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csr/PaulyS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KiharaP16,
author = {Takayuki Kihara and
Arno Pauly},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {Dividing by Zero - How Bad Is It, Really?},
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 = {58:1--58:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.58},
doi = {10.4230/LIPICS.MFCS.2016.58},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KiharaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/0001P16a,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
editor = {Alessio Lomuscio and
Moshe Y. Vardi},
title = {Extending Finite Memory Determinacy to Multiplayer Games},
booktitle = {Proceedings of the 4th International Workshop on Strategic Reasoning,
{SR} 2016, New York City, USA, 10th July 2016},
series = {{EPTCS}},
volume = {218},
pages = {27--40},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.218.3},
doi = {10.4204/EPTCS.218.3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001P16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/0001P16b,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A Semi-Potential for Finite and Infinite Sequential Games (Extended
Abstract)},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {242--256},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.17},
doi = {10.4204/EPTCS.226.17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/0001P16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NeumannP16,
author = {Eike Neumann and
Arno Pauly},
title = {A topological view on algebraic computation models},
journal = {CoRR},
volume = {abs/1602.08004},
year = {2016},
url = {http://arxiv.org/abs/1602.08004},
eprinttype = {arXiv},
eprint = {1602.08004},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NeumannP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001P16,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
title = {Extending finite memory determinacy: General techniques and an application
to energy parity games},
journal = {CoRR},
volume = {abs/1602.08912},
year = {2016},
url = {http://arxiv.org/abs/1602.08912},
eprinttype = {arXiv},
eprint = {1602.08912},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001P16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PaulyT16,
author = {Arno Pauly and
Hideki Tsuiki},
title = {T\({}^{\mbox{{\(\omega\)}}}\)-representations of compact sets},
journal = {CoRR},
volume = {abs/1604.00258},
year = {2016},
url = {http://arxiv.org/abs/1604.00258},
eprinttype = {arXiv},
eprint = {1604.00258},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PaulyT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrattkaP16,
author = {Vasco Brattka and
Arno Pauly},
title = {On the algebraic structure of Weihrauch degrees},
journal = {CoRR},
volume = {abs/1604.08348},
year = {2016},
url = {http://arxiv.org/abs/1604.08348},
eprinttype = {arXiv},
eprint = {1604.08348},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrattkaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrattkaGHP16,
author = {Vasco Brattka and
Guido Gherardi and
Rupert H{\"{o}}lzl and
Arno Pauly},
title = {The Vitali Covering Theorem in the Weihrauch Lattice},
journal = {CoRR},
volume = {abs/1605.03354},
year = {2016},
url = {http://arxiv.org/abs/1605.03354},
eprinttype = {arXiv},
eprint = {1605.03354},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrattkaGHP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KiharaP16,
author = {Takayuki Kihara and
Arno Pauly},
title = {Dividing by zero - how bad is it, really?},
journal = {CoRR},
volume = {abs/1606.04126},
year = {2016},
url = {http://arxiv.org/abs/1606.04126},
eprinttype = {arXiv},
eprint = {1606.04126},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KiharaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrechtP16,
author = {Matthew de Brecht and
Arno Pauly},
title = {Noetherian Quasi-Polish Spaces},
journal = {CoRR},
volume = {abs/1607.07291},
year = {2016},
url = {http://arxiv.org/abs/1607.07291},
eprinttype = {arXiv},
eprint = {1607.07291},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrechtP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001PR16,
author = {St{\'{e}}phane Le Roux and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Minkowski games},
journal = {CoRR},
volume = {abs/1609.07048},
year = {2016},
url = {http://arxiv.org/abs/1609.07048},
eprinttype = {arXiv},
eprint = {1609.07048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001PR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bruyere0PR16,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
St{\'{e}}phane Le Roux and
Arno Pauly and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On the existence of weak subgame perfect equilibria},
journal = {CoRR},
volume = {abs/1612.01402},
year = {2016},
url = {http://arxiv.org/abs/1612.01402},
eprinttype = {arXiv},
eprint = {1612.01402},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bruyere0PR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-0380,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
title = {Closed choice: Cardinality vs convex dimension},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {4},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(4:6)2015},
doi = {10.2168/LMCS-11(4:6)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-0380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/0001P15,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
editor = {Arnold Beckmann and
Victor Mitrana and
Mariya Ivanova Soskova},
title = {Weihrauch Degrees of Finding Equilibria in Sequential 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 = {246--257},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20028-6\_25},
doi = {10.1007/978-3-319-20028-6\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/0001P15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PaulyB15,
author = {Arno Pauly and
Matthew de Brecht},
title = {Descriptive Set Theory in the Category of Represented Spaces},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {438--449},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.48},
doi = {10.1109/LICS.2015.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PaulyB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Pauly15,
author = {Arno Pauly},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {Computability on the Countable Ordinals and the Hausdorff-Kuratowski
Theorem (Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
pages = {407--418},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1\_32},
doi = {10.1007/978-3-662-48057-1\_32},
timestamp = {Sun, 02 Jun 2019 21:25:38 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Pauly15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pauly15,
author = {Arno Pauly},
title = {Computability on the countable ordinals and the Hausdorff-Kuratowski
theorem},
journal = {CoRR},
volume = {abs/1501.00386},
year = {2015},
url = {http://arxiv.org/abs/1501.00386},
eprinttype = {arXiv},
eprint = {1501.00386},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pauly15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PaulyDF15,
author = {Arno Pauly and
George Davie and
Willem L. Fouch{\'{e}}},
title = {Weihrauch-completeness for layerwise computability},
journal = {CoRR},
volume = {abs/1505.02091},
year = {2015},
url = {http://arxiv.org/abs/1505.02091},
eprinttype = {arXiv},
eprint = {1505.02091},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PaulyDF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NobregaP15,
author = {Hugo Nobrega and
Arno Pauly},
title = {Game characterizations and lower cones in the Weihrauch degrees},
journal = {CoRR},
volume = {abs/1511.03693},
year = {2015},
url = {http://arxiv.org/abs/1511.03693},
eprinttype = {arXiv},
eprint = {1511.03693},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NobregaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PaulyS15,
author = {Arno Pauly and
Florian Steinberg},
title = {Representations of analytic functions and Weihrauch degrees},
journal = {CoRR},
volume = {abs/1512.03024},
year = {2015},
url = {http://arxiv.org/abs/1512.03024},
eprinttype = {arXiv},
eprint = {1512.03024},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PaulyS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BrattkaKMP15,
author = {Vasco Brattka and
Akitoshi Kawamura and
Alberto Marcone and
Arno Pauly},
title = {Measuring the Complexity of Computational Content (Dagstuhl Seminar
15392)},
journal = {Dagstuhl Reports},
volume = {5},
number = {9},
pages = {77--104},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.9.77},
doi = {10.4230/DAGREP.5.9.77},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BrattkaKMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/KawamuraP14,
author = {Akitoshi Kawamura and
Arno Pauly},
editor = {Arnold Beckmann and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Klaus Meer},
title = {Function Spaces for Second-Order Polynomial Time},
booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8493},
pages = {245--254},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08019-2\_25},
doi = {10.1007/978-3-319-08019-2\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/KawamuraP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RouxP14,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Infinite sequential games with real-valued payoffs},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {62:1--62:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603120},
doi = {10.1145/2603088.2603120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/RouxP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JiangP14,
author = {Xiang Jiang and
Arno Pauly},
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {Efficient Decomposition of Bimatrix Games (Extended Abstract)},
booktitle = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR}
2014, Grenoble, France, April 5-6, 2014},
series = {{EPTCS}},
volume = {146},
pages = {75--81},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.146.10},
doi = {10.4204/EPTCS.146.10},
timestamp = {Sat, 30 Sep 2023 10:08:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JiangP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KawamuraP14,
author = {Akitoshi Kawamura and
Arno Pauly},
title = {On function spaces and polynomial-time computability},
journal = {CoRR},
volume = {abs/1401.2861},
year = {2014},
url = {http://arxiv.org/abs/1401.2861},
eprinttype = {arXiv},
eprint = {1401.2861},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KawamuraP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RouxP14,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
title = {Infinite sequential games with real-valued payoffs},
journal = {CoRR},
volume = {abs/1401.3325},
year = {2014},
url = {http://arxiv.org/abs/1401.3325},
eprinttype = {arXiv},
eprint = {1401.3325},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RouxP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GregoriadesKP14,
author = {Vassilios Gregoriades and
Tam{\'{a}}s Kisp{\'{e}}ter and
Arno Pauly},
title = {A comparison of concepts from computable analysis and effective descriptive
set theory},
journal = {CoRR},
volume = {abs/1403.7997},
year = {2014},
url = {http://arxiv.org/abs/1403.7997},
eprinttype = {arXiv},
eprint = {1403.7997},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GregoriadesKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KiharaP14,
author = {Takayuki Kihara and
Arno Pauly},
title = {Point degree spectra of represented spaces},
journal = {CoRR},
volume = {abs/1405.6866},
year = {2014},
url = {http://arxiv.org/abs/1405.6866},
eprinttype = {arXiv},
eprint = {1405.6866},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KiharaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RouxP14a,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
title = {Weihrauch degrees of finding equilibria in sequential games},
journal = {CoRR},
volume = {abs/1407.5587},
year = {2014},
url = {http://arxiv.org/abs/1407.5587},
eprinttype = {arXiv},
eprint = {1407.5587},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RouxP14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pauly14,
author = {Arno Pauly},
title = {The descriptive theory of represented spaces},
journal = {CoRR},
volume = {abs/1408.5329},
year = {2014},
url = {http://arxiv.org/abs/1408.5329},
eprinttype = {arXiv},
eprint = {1408.5329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pauly14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PaulyF14,
author = {Arno Pauly and
Willem L. Fouch{\'{e}}},
title = {How constructive is constructing measures?},
journal = {CoRR},
volume = {abs/1409.3428},
year = {2014},
url = {http://arxiv.org/abs/1409.3428},
eprinttype = {arXiv},
eprint = {1409.3428},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PaulyF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/PaulyZ13,
author = {Arno Pauly and
Martin Ziegler},
title = {Relative computability and uniform continuity of relations},
journal = {J. Log. Anal.},
volume = {5},
year = {2013},
url = {http://logicandanalysis.org/index.php/jla/article/view/156/88},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/PaulyZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/RouxP13,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
editor = {Paola Bonizzoni and
Vasco Brattka and
Benedikt L{\"{o}}we},
title = {Closed Choice for Finite and for Convex Sets},
booktitle = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference
on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7921},
pages = {294--305},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39053-1\_34},
doi = {10.1007/978-3-642-39053-1\_34},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/RouxP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PaulyB13,
author = {Arno Pauly and
Matthew de Brecht},
title = {Towards Synthetic Descriptive Set Theory: An instantiation with represented
spaces},
journal = {CoRR},
volume = {abs/1307.1850},
year = {2013},
url = {http://arxiv.org/abs/1307.1850},
eprinttype = {arXiv},
eprint = {1307.1850},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PaulyB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Pauly12,
author = {Arno Pauly},
title = {Computable metamathematics and its application to game theory},
school = {University of Cambridge, {UK}},
year = {2012},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.610169},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Pauly12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrattkaBP12,
author = {Vasco Brattka and
Matthew de Brecht and
Arno Pauly},
title = {Closed choice and a Uniform Low Basis Theorem},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {8},
pages = {986--1008},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.12.020},
doi = {10.1016/J.APAL.2011.12.020},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BrattkaBP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BrattkaRP12,
author = {Vasco Brattka and
St{\'{e}}phane Le Roux and
Arno Pauly},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {On the Computational Content of the Brouwer Fixed Point Theorem},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {56--67},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_7},
doi = {10.1007/978-3-642-30870-3\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/BrattkaRP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Pauly12,
author = {Arno Pauly},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {Multi-valued Functions in Computability Theory},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {571--580},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_57},
doi = {10.1007/978-3-642-30870-3\_57},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/Pauly12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PaulyB14,
author = {Arno Pauly and
Matthew de Brecht},
editor = {Benedikt L{\"{o}}we and
Glynn Winskel},
title = {Non-deterministic computation and the Jayne-Rogers Theorem},
booktitle = {Proceedings 8th International Workshop on Developments in Computational
Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
series = {{EPTCS}},
volume = {143},
pages = {87--96},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.143.8},
doi = {10.4204/EPTCS.143.8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PaulyB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-4809,
author = {Vasco Brattka and
St{\'{e}}phane Le Roux and
Arno Pauly},
title = {Connected Choice and the Brouwer Fixed Point Theorem},
journal = {CoRR},
volume = {abs/1206.4809},
year = {2012},
url = {http://arxiv.org/abs/1206.4809},
eprinttype = {arXiv},
eprint = {1206.4809},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-4809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-6355,
author = {Xiang Jiang and
Arno Pauly},
title = {Efficient Decomposition of Bimatrix Games},
journal = {CoRR},
volume = {abs/1212.6355},
year = {2012},
url = {http://arxiv.org/abs/1212.6355},
eprinttype = {arXiv},
eprint = {1212.6355},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-6355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-0112,
author = {Kojiro Higuchi and
Arno Pauly},
title = {The degree structure of Weihrauch-reducibility},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-9(2:2)2013},
doi = {10.2168/LMCS-9(2:2)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-0112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-3151,
author = {Arno Pauly},
title = {Many-one reductions between search problems},
journal = {CoRR},
volume = {abs/1102.3151},
year = {2011},
url = {http://arxiv.org/abs/1102.3151},
eprinttype = {arXiv},
eprint = {1102.3151},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-3151.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Pauly10,
author = {Arno Pauly},
title = {How Incomputable is Finding Nash Equilibria?},
journal = {J. Univers. Comput. Sci.},
volume = {16},
number = {18},
pages = {2686--2710},
year = {2010},
url = {https://doi.org/10.3217/jucs-016-18-2686},
doi = {10.3217/JUCS-016-18-2686},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Pauly10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pauly10,
author = {Arno Pauly},
title = {On the (semi)lattices induced by continuous reducibilities},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {488--502},
year = {2010},
url = {https://doi.org/10.1002/malq.200910104},
doi = {10.1002/MALQ.200910104},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pauly10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-0395,
author = {Vasco Brattka and
Arno Pauly},
editor = {Xizhong Zheng and
Ning Zhong},
title = {Computation with Advice},
booktitle = {Proceedings Seventh International Conference on Computability and
Complexity in Analysis, {CCA} 2010, Zhenjiang, China, 21-25th June
2010},
series = {{EPTCS}},
volume = {24},
pages = {41--55},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.24.9},
doi = {10.4204/EPTCS.24.9},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-0395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrattkaBP10,
author = {Vasco Brattka and
Matthew de Brecht and
Arno Pauly},
title = {Closed Choice and a Uniform Low Basis Theorem},
journal = {CoRR},
volume = {abs/1002.2800},
year = {2010},
url = {http://arxiv.org/abs/1002.2800},
eprinttype = {arXiv},
eprint = {1002.2800},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrattkaBP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Pauly09,
author = {Arno Pauly},
title = {Representing Measurement Results},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {6},
pages = {1280--1300},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-06-1280},
doi = {10.3217/JUCS-015-06-1280},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Pauly09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Pauly09,
author = {Arno Pauly},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {How Discontinuous is Computing Nash Equilibria? (Extended Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2271},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/cca/Pauly09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2177,
author = {Arno Pauly},
title = {On the (semi)lattices induced by continuous reducibilities},
journal = {CoRR},
volume = {abs/0903.2177},
year = {2009},
url = {http://arxiv.org/abs/0903.2177},
eprinttype = {arXiv},
eprint = {0903.2177},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-1482,
author = {Arno Pauly},
title = {How discontinuous is Computing Nash Equilibria?},
journal = {CoRR},
volume = {abs/0907.1482},
year = {2009},
url = {http://arxiv.org/abs/0907.1482},
eprinttype = {arXiv},
eprint = {0907.1482},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-1482.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-3230,
author = {Arno Pauly},
title = {Infinite Oracle Queries in Type-2 Machines (Extended Abstract)},
journal = {CoRR},
volume = {abs/0907.3230},
year = {2009},
url = {http://arxiv.org/abs/0907.3230},
eprinttype = {arXiv},
eprint = {0907.3230},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-3230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-5107,
author = {Arno Pauly},
title = {The Complexity of Iterated Strategy Elimination},
journal = {CoRR},
volume = {abs/0910.5107},
year = {2009},
url = {http://arxiv.org/abs/0910.5107},
eprinttype = {arXiv},
eprint = {0910.5107},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-5107.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-05-02 23:57 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:
