Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Dusko Pavlovic |
Categorical Computability in Monoidal Computer: Programs as Diagrams. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yuri I. Manin, Matilde Marcolli |
Computability questions in the sphere packing problem. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Adalbert Fono, Gitta Kutyniok |
Non-Computability of the Pseudoinverse on Digital Computers. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier |
Computability of Data-Word Transductions over Different Data Domains. |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Vasco Brattka, Noam Greenberg, Iskander Sh. Kalimullin, Mariya Ivanova Soskova |
Preface of the Special Issue for the Oberwolfach Workshop on Computability Theory 2021. |
Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | George Davie |
Computability of convergence rates in the ergodic theorem for Martin-Löf random points. |
J. Log. Anal. |
2022 |
DBLP BibTeX RDF |
|
14 | Iosif Petrakis |
Strict computability models over categories and presheaves. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Matea Celar, Zvonko Iljazovic |
Computability of glued manifolds. |
J. Log. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Rachel D. Stahl |
Computability and the game of cops and robbers on graphs. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Uri Andrews, Peter M. Gerdes, Steffen Lempp, Joseph S. Miller, Noah David Schweber |
Computability and the Symmetric Difference Operator. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
Distributed computability: Relating k-immediate snapshot and x-set agreement. |
Inf. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Leake, Nisheeth K. Vishnoi |
On the Computability of Continuous Maximum Entropy Distributions with Applications. |
SIAM J. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | George Tourlakis |
Computability |
|
2022 |
DOI RDF |
|
14 | Damir D. Dzhafarov, Carl Mummert |
Reverse Mathematics - In cooperation with the association Computability in Europe |
|
2022 |
DOI RDF |
|
14 | Tomoyuki Yamakami |
Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability. |
WoLLIC |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid 0001 |
Continuous Tasks and the Asynchronous Computability Theorem. |
ITCS |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Djamel Eddine Amir, Mathieu Hoyrup |
Computability of Finite Simplicial Complexes. |
ICALP |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
Capacity-Achieving Input Distributions: Algorithmic Computability and Approximability. |
ISIT |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Channel Reliability Function and Related Bounds1. |
ISIT |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Richard Blumenthal 0001 |
Teach More, Not Less Computability Theory in CS202X: A Case for Teaching Multiple Representations of the Church-Turing Thesis. |
SIGCSE (1) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Lewis Tseng, Qinzi Zhang |
Brief Announcement: Computability and Anonymous Storage-Efficient Consensus with an Abstract MAC Layer. |
PODC |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Iosif Petrakis |
Computability Models over Categories and Presheaves. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yannick Forster 0002 |
Parametric Church's Thesis: Synthetic Computability Without Choice. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach |
A Computability Perspective on (Verified) Machine Learning. |
WADT |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Sterling |
First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory. |
|
2022 |
DOI RDF |
|
14 | Sajad Saeedinaeeni |
Universal Codes for Broadcast Systems with Physical Layer Security and Their Algorithmic Computability in Quantum Information Theory. |
|
2022 |
RDF |
|
14 | Karen Seidel 0001 |
Modelling binary classification with computability theory (Binäre Klassifikation modellieren mit Berechenbarkeitstheorie) (PDF / PS) |
|
2022 |
RDF |
|
14 | Jetze Zoethout |
Computability Models and Realizability Toposes. |
|
2022 |
RDF |
|
14 | Ethan Brauer |
The dependence of computability on numerical notations. |
Synth. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Joost Engelfriet |
Computability by monadic second-order logic. |
Inf. Process. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Ruichuan Zhang, Nora M. El-Gohary |
Clustering-Based Approach for Building Code Computability Analysis. |
J. Comput. Civ. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Justin Miller |
Intrinsic density, asymptotic computability, and stochasticity. |
Bull. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Zvi Retchkiman Königsberg |
Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability. |
Computación y Sistemas |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Alfonseca 0001, Manuel Cebrián, Antonio Fernández Anta, Lorenzo Coviello, Andrés Abeliuk, Iyad Rahwan |
Superintelligence Cannot be Contained: Lessons from Computability Theory. |
J. Artif. Intell. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Matea Celar, Zvonko Iljazovic |
Computability of Products of Chainable Continua. |
Theory Comput. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Ullrich J. Mönich |
Algorithmic Computability of the Signal Bandwidth. |
IEEE Trans. Inf. Theory |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Channel Reliability Function and Related Bounds. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Takayuki Kihara |
Lawvere-Tierney topologies for computability theorists. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach |
A Computability Perspective on (Verified) Machine Learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier |
Computability of Data-Word Transductions over Different Data Domains. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Keehang Kwon |
Computability-logic web: an alternative to deep learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Elija Perrier |
Computability, Complexity, Consistency and Controllability: A Four C's Framework for cross-disciplinary Ethical Algorithm Research. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Airin Antony |
Resource dependent undecidability: computability landscape of distinct Turing theories. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Vladimir V. V'yugin |
Degrees of randomized computability: decomposition into atoms. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Robert Cardona, Eva Miranda, Daniel Peralta-Salas |
Computability and Beltrami fields in Euclidean space. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Simon Becker, Jonathan Sewell, Euan Tebbutt |
Computability of magnetic Schrödinger and Hartree equations on unbounded domains. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Daniel Silva Graça, Ning Zhong 0002 |
Robustness of non-computability. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Yannick Forster 0002 |
Parametric Church's Thesis: Synthetic Computability without Choice. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Antonis Achilleos, Mathias Ruggaard Pedersen |
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
14 | Konrad Burnik, Zvonko Iljazovic |
Dense computability structures. |
J. Complex. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Noam Greenberg, Matthew Harrison-Trainor, Alexander G. Melnikov, Dan Turetsky |
Non-density in punctual computability. |
Ann. Pure Appl. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Erick Galinkin |
Review of The Foundations of Computability Theory (Second Edition) by Borut Robič. |
SIGACT News |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Michel Raynal |
Distributed Computability: A Few Results Masters Students Should Know. |
SIGACT News |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Dan Alistarh |
Distributed Computing Column 82 Distributed Computability: A Few Results Masters Students Should Know. |
SIGACT News |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Peter Pagin |
Compositionality, Computability, and Complexity. |
Rev. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Dag Normann, Sam Sanders |
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Diogo Poças, Jeffery I. Zucker |
Tracking computability of GPAC-generable functions. |
J. Log. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Aleksander Ivanov |
Sofic profiles of S(ømega ) and computability. |
Arch. Math. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Éric Goubault, Jérémy Ledent, Sergio Rajsbaum |
A simplicial complex model for dynamic epistemic logic to study distributed task computability. |
Inf. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Pascucci, Giovanni Sileno |
Computability of Diagrammatic Theories for Normative Positions. |
JURIX |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Antonis Achilleos, Mathias Ruggaard Pedersen |
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Rupak Majumdar, Sadegh Soudjani |
The computability of LQR and LQG control. |
HSCC |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Zero-Error Capacity of Noisy Channels. |
ITW |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Ganesh Gopalakrishnan, Rick Neff |
Automata and Computability Education via Jove. |
SIGCSE |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Rucha Kulkarni, Ruta Mehta, Setareh Taki |
Indivisible Mixed Manna: On the Computability of MMS+PO Allocations. |
EC |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Yuan He 0003 |
Topological Characterization of Distributed Computability. |
|
2021 |
RDF |
|
14 | Yannick Forster 0002 |
Computability in constructive type theory. |
|
2021 |
RDF |
|
14 | Tomoyuki Yamakami |
A Schematic Definition of quantum Polynomial Time Computability. |
J. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Harrison-Trainor, Alexander G. Melnikov, Keng Meng Ng |
Computability of Polish Spaces up to Homeomorphism. |
J. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Arman Darbinyan |
Computability, Orders, and Solvable Groups. |
J. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
Shannon meets Turing: Non-computability and non-approximability of the finite state channel capacity. |
Commun. Inf. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Giorgi Japaridze |
Fundamentals of Computability Logic. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
14 | Sebastiaan A. Terwijn |
Computability in Partial Combinatory Algebras. |
Bull. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | |
WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22-23, 2019. |
Bull. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Zvonko Iljazovic |
Computability of graphs. |
Math. Log. Q. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Zvi Retchkiman Königsberg |
Axiomatization, Computability and Stability for Discrete Event Time Algorithms. |
Computación y Sistemas |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Rodney G. Downey, Matthew Harrison-Trainor, Iskander Sh. Kalimullin, Alexander G. Melnikov, Daniel Turetsky |
Graphs are not universal for online computability. |
J. Comput. Syst. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
Identification Capacity of Channels With Feedback: Discontinuity Behavior, Super-Activation, and Turing Computability. |
IEEE Trans. Inf. Theory |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Zero-Error capacity with Kolmogorov Oracle. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Keehang Kwon |
Implementing Agent-Based Systems via Computability Logic CL2. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | |
Turing analogues of Gödel statements and computability of intelligence. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Jonathan Leake, Nisheeth K. Vishnoi |
On the Computability of Continuous Maximum Entropy Distributions: Adjoint Orbits of Lie Groups. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Petr Kuznetsov, Thibault Rieutord, Yuan He 0003 |
An Asynchronous Computability Theorem for Fair Adversaries. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Fedor Manin |
Rational homotopy type and computability. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Joost Engelfriet |
Computability by Monadic Second-Order Logic. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
Shannon Meets Turing: Non-Computability and Non-Approximability of the Finite State Channel Capacity. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Mee Seong Im, Venkat R. Dasari |
Genetic optimization algorithms applied toward mission computability models. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Margarita V. Korovina, Oleg V. Kudinov |
On the computability of ordered fields. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Zero-Error Capacity of Noisy Channels. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Frédéric Prost |
The Epistemic Landscape: a Computability Perspective. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Jonathan Leake, Nisheeth K. Vishnoi |
On the computability of continuous maximum entropy distributions with applications. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Reda Marzouk |
On Computability, Learnability and Extractability of Finite State Machines from Recurrent Neural Networks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
On Computability of Data Word Functions Defined by Transducers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Holger Boche, Ullrich J. Mönich |
Turing Computability of Fourier Transforms of Bandlimited and Discrete Signals. |
IEEE Trans. Signal Process. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Dag Normann, Sam Sanders |
Pincherle's theorem in reverse mathematics and computability theory. |
Ann. Pure Appl. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Marko Horvat, Zvonko Iljazovic, Bojan Pazek |
Computability of pseudo-cubes. |
Ann. Pure Appl. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jun Le Goh |
Embeddings between well-orderings: Computability-theoretic reductions. |
Ann. Pure Appl. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Lane A. Hemaspaandra |
SIGACT News Complexity Theory Column 106: Teaching Models, Computability, and Complexity in Time of COVID-19. |
SIGACT News |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Dag Normann, Sam Sanders |
Open sets in computability theory and reverse mathematics. |
J. Log. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
An introduction to feedback Turing computability. |
J. Log. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|