Edit Profile Pauly, Arno M. Compute Distance To: Compute Author ID: pauly.arno-m Published as: Pauly, A.; Pauly, Arno; Pauly, Arno M. External Links: MGP · Wikidata · ORCID Documents Indexed: 50 Publications since 2008 all top 5 Co-Authors 10 single-authored 12 Leroux, Stéphane 7 Brattka, Vasco 4 De Brecht, Matthew 4 Raskin, Jean-François 2 Dzhafarov, Damir D. 2 Fouché, Willem Louw 2 Gherardi, Guido 2 Hirschfeldt, Denis Roman 2 Kihara, Takayuki 2 Marcone, Alberto 2 Miller, Joseph S. 2 Nobrega, Hugo 2 Steinberg, Florian 1 Börger, Reinhard 1 Bruyère, Véronique 1 Davie, George 1 Davis, Caleb S. 1 Goh, Jun Le 1 Gregoriades, Vassilios 1 Higuchi, Kojiro 1 Hirst, Jeffry Lynn 1 Hirvonen, Åsa 1 Hölzl, Rupert 1 Hunter, Paul 1 Ishihara, Hajime 1 Kawamura, Akitoshi 1 Kispéter, Tamás 1 Kontinen, Juha 1 Korovina, Margarita Vladimirovna 1 Neumann, Eike 1 Pardo, Jake 1 Patey, Ludovic 1 Pérez, Guillermo A. 1 Schröder, Matthias 1 Seisenberger, Monika 1 Spreen, Dieter 1 Yokoyama, Keita 1 Ziegler, Martin all top 5 Serials 6 Computability 5 Logical Methods in Computer Science 3 MSCS. Mathematical Structures in Computer Science 2 Theory of Computing Systems 2 Journal of Logic and Analysis 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Journal of Complexity 1 Information and Computation 1 Elemente der Mathematik 1 Topology Proceedings 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Mathematical Logic 1 Journal of Universal Computer Science 1 ACM Transactions on Computational Logic 1 Dynamic Games and Applications all top 5 Fields 31 Mathematical logic and foundations (03-XX) 16 Computer science (68-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General topology (54-XX) 3 Category theory; homological algebra (18-XX) 2 General and overarching topics; collections (00-XX) 2 Measure and integration (28-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Real functions (26-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Differential geometry (53-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 30 Publications have been cited 201 times in 65 Documents Cited by ▼ Year ▼ Closed choice and a uniform low basis theorem. Zbl 1251.03082Brattka, Vasco; De Brecht, Matthew; Pauly, Arno 30 2012 On the (semi)lattices induced by continuous reducibilities. Zbl 1200.03028Pauly, Arno 20 2010 How incomputable is finding Nash equilibria? Zbl 1216.91004Pauly, Arno 19 2010 On the algebraic structure of Weihrauch degrees. Zbl 06970801Brattka, Vasco; Pauly, Arno 15 2018 On the topological aspects of the theory of represented spaces. Zbl 1401.03087Pauly, Arno 14 2016 The degree structure of Weihrauch-reducibility. Zbl 1271.03057Higuchi, Kojiro; Pauly, Arno 10 2013 Relative computability and uniform continuity of relations. Zbl 1345.03086Pauly, Arno M.; Ziegler, Martin A. 9 2013 Descriptive set theory in the category of represented spaces. Zbl 1395.03021Pauly, Arno; de Brecht, Matthew 8 2015 Weihrauch degrees of finding equilibria in sequential games. Zbl 06496622Le Roux, Stéphane; Pauly, Arno 8 2015 Finite choice, convex choice and finding roots. Zbl 1448.03052Le Roux, Stéphane; Pauly, Arno 7 2015 On the computational content of the Brouwer fixed point theorem. Zbl 1357.03091Brattka, Vasco; Le Roux, Stéphane; Pauly, Arno 7 2012 A topological view on algebraic computation models. Zbl 06810590Neumann, Eike; Pauly, Arno 5 2018 The Vitali covering theorem in the Weihrauch lattice. Zbl 06700060Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert; Pauly, Arno 5 2017 Infinite sequential games with real-valued payoffs. Zbl 1401.91028Le Roux, Stéphane; Pauly, Arno 5 2014 Function spaces for second-order polynomial time. Zbl 1433.03122Kawamura, Akitoshi; Pauly, Arno 5 2014 Weihrauch-completeness for layerwise computability. Zbl 06876261Pauly, Arno; Fouché, Willem; Davie, George 4 2018 Computability on the countable ordinals and the Hausdorff-Kuratowski theorem (extended abstract). Zbl 06482752Pauly, Arno 4 2015 Game characterizations and lower cones in the weihrauch degrees. Zbl 06756773Nobrega, Hugo; Pauly, Arno 3 2017 Many-one reductions and the category of multivalued functions. Zbl 1423.03157Pauly, Arno 3 2017 Closed choice for finite and for convex sets. Zbl 1433.03151Le Roux, Stéphane; Pauly, Arno 3 2013 Representing measurement results. Zbl 1201.03035Pauly, A. 3 2009 A comparison of concepts from computable analysis and effective descriptive set theory. Zbl 06810752Gregoriades, Vassilios; Kispéter, Tamás; Pauly, Arno 2 2017 On the existence of weak subgame perfect equilibria. Zbl 06720988Bruyère, Véronique; Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François 2 2017 Representations of analytic functions and Weihrauch degrees. Zbl 1386.03054Pauly, Arno; Steinberg, Florian 2 2016 How discontinuous is computing Nash equilibria? (Extended abstract). Zbl 1247.03100Pauly, Arno 2 2009 Surfaces consisting of umbilic points. Zbl 1158.53302Pauly, Arno 2 2008 Connected choice and the Brouwer fixed point theorem. Zbl 07077424Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno 1 2019 Minkowski games. Zbl 1402.91089Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François 1 2017 The Brouwer fixed point theorem revisited. Zbl 06617632Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno 1 2016 Multi-valued functions in computability theory. Zbl 1358.03056Pauly, Arno 1 2012 Connected choice and the Brouwer fixed point theorem. Zbl 07077424Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno 1 2019 On the algebraic structure of Weihrauch degrees. Zbl 06970801Brattka, Vasco; Pauly, Arno 15 2018 A topological view on algebraic computation models. Zbl 06810590Neumann, Eike; Pauly, Arno 5 2018 Weihrauch-completeness for layerwise computability. Zbl 06876261Pauly, Arno; Fouché, Willem; Davie, George 4 2018 The Vitali covering theorem in the Weihrauch lattice. Zbl 06700060Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert; Pauly, Arno 5 2017 Game characterizations and lower cones in the weihrauch degrees. Zbl 06756773Nobrega, Hugo; Pauly, Arno 3 2017 Many-one reductions and the category of multivalued functions. Zbl 1423.03157Pauly, Arno 3 2017 A comparison of concepts from computable analysis and effective descriptive set theory. Zbl 06810752Gregoriades, Vassilios; Kispéter, Tamás; Pauly, Arno 2 2017 On the existence of weak subgame perfect equilibria. Zbl 06720988Bruyère, Véronique; Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François 2 2017 Minkowski games. Zbl 1402.91089Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François 1 2017 On the topological aspects of the theory of represented spaces. Zbl 1401.03087Pauly, Arno 14 2016 Representations of analytic functions and Weihrauch degrees. Zbl 1386.03054Pauly, Arno; Steinberg, Florian 2 2016 The Brouwer fixed point theorem revisited. Zbl 06617632Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno 1 2016 Descriptive set theory in the category of represented spaces. Zbl 1395.03021Pauly, Arno; de Brecht, Matthew 8 2015 Weihrauch degrees of finding equilibria in sequential games. Zbl 06496622Le Roux, Stéphane; Pauly, Arno 8 2015 Finite choice, convex choice and finding roots. Zbl 1448.03052Le Roux, Stéphane; Pauly, Arno 7 2015 Computability on the countable ordinals and the Hausdorff-Kuratowski theorem (extended abstract). Zbl 06482752Pauly, Arno 4 2015 Infinite sequential games with real-valued payoffs. Zbl 1401.91028Le Roux, Stéphane; Pauly, Arno 5 2014 Function spaces for second-order polynomial time. Zbl 1433.03122Kawamura, Akitoshi; Pauly, Arno 5 2014 The degree structure of Weihrauch-reducibility. Zbl 1271.03057Higuchi, Kojiro; Pauly, Arno 10 2013 Relative computability and uniform continuity of relations. Zbl 1345.03086Pauly, Arno M.; Ziegler, Martin A. 9 2013 Closed choice for finite and for convex sets. Zbl 1433.03151Le Roux, Stéphane; Pauly, Arno 3 2013 Closed choice and a uniform low basis theorem. Zbl 1251.03082Brattka, Vasco; De Brecht, Matthew; Pauly, Arno 30 2012 On the computational content of the Brouwer fixed point theorem. Zbl 1357.03091Brattka, Vasco; Le Roux, Stéphane; Pauly, Arno 7 2012 Multi-valued functions in computability theory. Zbl 1358.03056Pauly, Arno 1 2012 On the (semi)lattices induced by continuous reducibilities. Zbl 1200.03028Pauly, Arno 20 2010 How incomputable is finding Nash equilibria? Zbl 1216.91004Pauly, Arno 19 2010 Representing measurement results. Zbl 1201.03035Pauly, A. 3 2009 How discontinuous is computing Nash equilibria? (Extended abstract). Zbl 1247.03100Pauly, Arno 2 2009 Surfaces consisting of umbilic points. Zbl 1158.53302Pauly, Arno 2 2008 all cited Publications top 5 cited Publications all top 5 Cited by 74 Authors 22 Pauly, Arno M. 14 Brattka, Vasco 6 Leroux, Stéphane 5 Steinberg, Florian 4 Gherardi, Guido 4 Ziegler, Martin 3 Hirst, Jeffry Lynn 3 Hölzl, Rupert 3 Kawamura, Akitoshi 3 Kihara, Takayuki 3 Nobrega, Hugo 3 Shafer, Paul 2 Fouché, Willem Louw 2 Gregoriades, Vassilios 2 Hendtlass, Matthew Ralph John 2 Kreuzer, Alexander P. 2 Miller, Joseph S. 2 Mummert, Carl 2 Neumann, Eike 2 Souam, Rabah 1 Ackerman, Nathanael Leedom 1 Becker, Howard S. 1 Beggs, Edwin J. 1 Bienvenu, Laurent 1 Bouyer, Patricia 1 Bruyère, Véronique 1 Collins, Peter J. 1 Costa, José Félix 1 Davie, George 1 De Brecht, Matthew 1 Dorais, François Gilbert 1 Downey, Rodney Graham 1 Dzhafarov, Damir D. 1 Flesch, Janos 1 Freer, Cameron E. 1 Fujiwara, Makoto 1 Furusawa, Hitoshi 1 Galeotti, Lorenzo 1 Goeminne, Aline 1 Goh, Jun Le 1 Gura, Kirill 1 Higuchi, Ken 1 Higuchi, Kenichi 1 Higuchi, Kojiro 1 Hoyrup, Mathieu 1 Jain, Sanjay 1 Kihara, T.-A. 1 Kihara, Toshiaki 1 Kinber, Efim B. 1 Kispéter, Tamás 1 Knight, Julia F. 1 Kuyper, Rutger 1 Lempp, Steffen 1 Manzano, José María 1 Marcone, Alberto 1 Mileti, Joseph R. 1 Müller, Norbert Th. 1 Nies, André Otfrid 1 Niskanen, Reino 1 Pequignot, Yann 1 Pietarinen, Ahti-Veikko 1 Poças, Diogo 1 Potapov, Igor 1 Predtetchinski, Arkadi 1 Rakotoniaina, Tahina 1 Raskin, Jean-François 1 Reichert, Julien 1 Rojas, Cristobal 1 Rösnick, Carsten 1 Roy, Daniel M. 1 Stephan, Frank 1 Tucker, John V. 1 Van der Veken, Joeri 1 Weihrauch, Klaus all top 5 Cited in 24 Serials 8 Annals of Pure and Applied Logic 5 MSCS. Mathematical Structures in Computer Science 5 Logical Methods in Computer Science 3 The Journal of Symbolic Logic 3 Information and Computation 3 Theory of Computing Systems 2 Theoretical Computer Science 2 Transactions of the American Mathematical Society 2 Journal of Complexity 2 Mathematical Logic Quarterly (MLQ) 2 Journal of Logic and Analysis 2 Computability 1 Information Processing Letters 1 Fundamenta Mathematicae 1 Journal of Computer and System Sciences 1 Mathematische Zeitschrift 1 Notre Dame Journal of Formal Logic 1 Synthese 1 Annals of Operations Research 1 Archive for Mathematical Logic 1 The Bulletin of Symbolic Logic 1 Journal of Mathematical Logic 1 Oberwolfach Reports 1 Dynamic Games and Applications all top 5 Cited in 13 Fields 47 Mathematical logic and foundations (03-XX) 28 Computer science (68-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Combinatorics (05-XX) 5 Measure and integration (28-XX) 4 General topology (54-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Differential geometry (53-XX) 2 Numerical analysis (65-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) 1 Real functions (26-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.