Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Borut Robic |
The Foundations of Computability Theory, Second Edition |
|
2020 |
DOI RDF |
|
14 | Oleg Pursky, Tetyana Melnyk, Alexander Kharchenko, Volodymir Gamaliy, Tetyana O. Filimonova |
Elements of Concrete Algoritmics: Computability and Solvability. Web-based System for Regional Development Level Evaluation. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
14 | Oleksandr Provotar, Olga Provotar |
Elements of Concrete Algorithmics: Computability and Solvability. |
UkrPROG |
2020 |
DBLP BibTeX RDF |
|
14 | Takeshi Tsukada |
On Computability of Logical Approaches to Branching-Time Property Verification of Programs. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Ullrich J. Mönich |
Computability of the Peak Value of Bandlimited Signals. |
ICASSP |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Shu-Ming Sun, Ning Zhong 0002, Martin Ziegler 0001 |
Computability of the Solutions to Navier-Stokes Equations via Effective Approximation. |
Complexity and Approximation |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
On Computability of Data Word Functions Defined by Transducers. |
FoSSaCS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Christian Deppe |
Computability of the Zero-Error Capacity with Kolmogorov Oracle. |
ISIT |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
On the Algorithmic Computability of Achievability and Converse: ϵ-Capacity of Compound Channels and Asymptotic Bounds of Error-Correcting Codes. |
ISIT |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Bournez |
Computability, Complexity and Programming with Ordinary Differential Equations (Invited Talk). |
STACS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Diogo Poças, Jeffery I. Zucker |
Tracking Computability of GPAC-Generable Functions. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel |
Computability of Algebraic and Definable Closure. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum |
Communication Complexity of Wait-Free Computability in Dynamic Networks. |
SIROCCO |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Leake, Nisheeth K. Vishnoi |
On the computability of continuous maximum entropy distributions with applications. |
STOC |
2020 |
DBLP DOI BibTeX RDF |
|
14 | David Kübel |
On some Geometric Search Problems : Algorithms, Complexity, Computability |
|
2020 |
RDF |
|
14 | Dag Normann, Sam Sanders |
Computability Theory, Nonstandard Analysis, and their Connections. |
J. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Reese Johnston |
Computability in uncountable Binary Trees. |
J. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Yinsheng Zhang |
Improvements of Categorical Propositions on Consistency and Computability. |
J. Multiple Valued Log. Soft Comput. |
2019 |
DBLP BibTeX RDF |
|
14 | |
THIRTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS (CCR 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Santiago, Chile December 17-21, 2018. |
Bull. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Rose Weisshaar |
Some Results in Computability Theory. |
Bull. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | |
THE SIXTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2019) Zagreb, Croatia July 8-11, 2019. |
Bull. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy 0001 |
On the Computability of Conditional Probability. |
J. ACM |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Poonam Mantry, S. K. Kaushik |
Computability of frames in computable Hilbert spaces. |
Int. J. Comput. Math. Comput. Syst. Theory |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Keehang Kwon |
Towards Distributed Logic Programming based on Computability Logic. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Keehang Kwon |
Extending and Automating Basic Probability Theory with Propositional Computability Logic. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Giorgi Japaridze |
Fundamentals of computability logic. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Silvère Gangloff, Alonso Herrera, Cristobal Rojas, Mathieu Sablik |
On the computability properties of topological entropy: a general approach. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Bin Yu 0001, Karl Kumbier |
Three principles of data science: predictability, computability, and stability (PCS). |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Rupert Hölzl 0001, Christopher P. Porter |
Degrees of Randomized Computability. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Sebastiaan A. Terwijn |
Computability in partial combinatory algebras. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Giorgi Japaridze |
Computability logic: Giving Caesar what belongs to Caesar. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Pradip Mainali, Carlton Shepherd, Fabien A. P. Petitcolas |
Enhancing the Privacy and Computability of Location-Sensitive Data for Context Authentication. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote |
Deciding the Computability of Regular Functions over Infinite Words. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Gafurjan I. Ibragimov, Bakh Khoussainov, Arno Pauly |
Computability Aspects of Differential Games in Euclidian Spaces. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
Feedback computability on Cantor space. |
Log. Methods Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, Sebastian Baur, H. Vincent Poor |
On the Algorithmic Computability of the Secret Key and Authentication Capacity Under Channel, Storage, and Privacy Leakage Constraints. |
IEEE Trans. Signal Process. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Ullrich J. Mönich |
Downsampling of Bounded Bandlimited Signals and the Bandlimited Interpolation: Analytic Properties and Computability. |
IEEE Trans. Signal Process. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Dag Normann, Sam Sanders |
The strength of compactness in Computability Theory and Nonstandard Analysis. |
Ann. Pure Appl. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Ekaterina B. Fokina, Valentina S. Harizanov, Daniel Turetsky |
Computability-theoretic categoricity and Scott families. |
Ann. Pure Appl. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Richard Moot, Christian Retoré |
Natural Language Semantics and Computability. |
J. Log. Lang. Inf. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Eric P. Astor, Denis R. Hirschfeldt |
Dense computability, upper cones, and minimal pairs. |
Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Vasco Brattka, Rod Downey, Julia F. Knight, Steffen Lempp |
Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018. |
Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Philippe Balbiani, Joseph Boudou |
Axiomatization and computability of a variant of iteration-free PDL with fork. |
J. Log. Algebraic Methods Program. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Xiang Huang 0001, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz |
Real-time computability of real numbers by chemical reaction networks. |
Nat. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Gorrieri |
Toward Distributed Computability Theory. |
Carl Adam Petri: Ideas, Personality, Impact |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Sam Sanders |
Reverse Mathematics and Computability Theory of Domain Theory. |
WoLLIC |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies |
Second-Order Linear-Time Computability with Applications to Computable Analysis. |
TAMC |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Rafael F. Schaefer, H. Vincent Poor |
On the Computability of the Secret Key Capacity under Rate Constraints. |
ICASSP |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Vijay Kothari, Michael C. Millian |
Human-Computability Boundaries (Transcript of Discussion). |
Security Protocols Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Vijay H. Kothari, Prashant Anantharaman, Ira Ray Jenkins, Michael C. Millian, J. Peter Brady, Sameed Ali, Sergey Bratus, Jim Blythe, Ross Koppel, Sean W. Smith |
Human-Computability Boundaries. |
Security Protocols Workshop |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Ullrich J. Mönich |
Turing Computability of the Fourier Transform of Bandlimited Functions. |
ISIT |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Mathieu Hoyrup, Cristobal Rojas, Victor L. Selivanov, Donald M. Stull |
Computability on Quasi-Polish Spaces. |
DCFS |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Rafael F. Schaefer, Holger Boche, H. Vincent Poor |
Turing Meets Shannon: On the Algorithmic Computability of the Capacities of Secure Communication Systems (Invited Paper). |
SPAWC |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Nachum Dershowitz, Zvi Retchkiman Königsberg |
Computability and Stability for Hybrid Algorithms. |
ICSI (1) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Mario Carneiro |
Formalizing Computability Theory via Partial Recursive Functions. |
ITP |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero (eds.) |
Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Rafael del Vado Vírseda |
Computability and Algorithmic Complexity Questions in Secondary Education. |
CompEd |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Vikram Saraph |
Fault-Tolerant Distributed Computability. |
|
2019 |
RDF |
|
14 | Jérémy Ledent |
Geometric semantics for asynchronous computability. (Sémantique géométrique pour la calculabilité asynchrone). |
|
2019 |
RDF |
|
14 | Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens |
Degree Spectra for Transcendence in Fields. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Lorenzo Galeotti |
Surreal Blum-Shub-Smale Machines. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag, Frank Sommer |
Destroying Bicolored P3s by Deleting Few Edges. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Nikolay Bazhenov 0001, Manat Mustafa, Sergei Ospichev |
Bounded Reducibility for Computable Numberings. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Paul C. Bell, Igor Potapov |
Towards Uniform Online Spherical Tessellations. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Cégielski, Julien Cervelle |
Study of Stepwise Simulation Between ASM. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Yves Moyen, Jakob Grue Simonsen |
More Intensional Versions of Rice's Theorem. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Nikolay Bazhenov 0001, Hristo Ganchev, Stefan V. Vatev |
Effective Embeddings for Pairs of Structures. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Kenshi Miyabe |
Uniform Relativization. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Iosif Petrakis |
Borel and Baire Sets in Bishop Spaces. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Felipe Cucker |
Recent Advances in the Computation of the Homology of Semialgebraic Sets. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev |
Cohesive Powers of Linear Orders. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Máté Szabó |
Kalmár's Argument for the Independence of Computer Science. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Shaoyi Wang, Guohua Wu, Mars M. Yamaleev |
The d.r.e wtt-Degrees are Dense. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Klootwijk, Bodo Manthey |
Probabilistic Analysis of Facility Location on Random Shortest Path Metrics. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Ruslan Ishkuvatov, Daniil Musatov |
On Approximate Uncomputability of the Kolmogorov Complexity Function. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Laurent Beaudou, Florent Foucaud, Florent R. Madelaine, Lhouari Nourine, Gaétan Richard |
Complexity of Conjunctive Regular Path Query Homomorphisms. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Florian Bridoux, Nicolas Durbec, Kévin Perrot, Adrien Richard |
Complexity of Maximum Fixed Point Problem in Boolean Networks. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen |
A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ). |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Philip D. Welch |
Higher Type Recursion for Transfinite Machine Theory. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Raymond Turner |
Correctness, Explanation and Intention. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Ambos-Spies, Xizhong Zheng |
On the Differences and Sums of Strongly Computably Enumerable Real Numbers. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Markus Holzer 0001, Martin Kutrib |
Non-Recursive Trade-Offs Are "Almost Everywhere". |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Sam Sanders |
Nets and Reverse Mathematics - Some Initial Results. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Bruno Durand 0001, Grégory Lafitte |
An algorithmic approach to characterizations of admissibles. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Jirí Wiedermann, Jan van Leeuwen |
Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness. |
CiE |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Vikram Saraph, Maurice Herlihy, Eli Gafni |
An algorithmic approach to the asynchronous computability theorem. |
J. Appl. Comput. Topol. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Éric Goubault, Samuel Mimram, Christine Tasson |
Geometric and combinatorial views on asynchronous computability. |
Distributed Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ahmet Çevik, Selçuk Topal, Florentin Smarandache |
Neutrosophic Computability and Enumeration. |
Symmetry |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jan Leike, Marcus Hutter |
On the computability of Solomonoff induction and AIXI. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi |
Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). |
NII Shonan Meet. Rep. |
2018 |
DBLP BibTeX RDF |
|
14 | Mario Carneiro |
Formalizing computability theory via partial recursive functions. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy 0001, Jason M. Rute |
On the computability of graphons. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Venkat R. Dasari, Mee Seong Im, Billy E. Geerhart |
Complexity and mission computability of adaptive computing systems. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Tomoyuki Yamakami |
A Schematic Definition of Quantum Polynomial Time Computability. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Xiang Huang 0001, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz |
Real-Time Computability of Real Numbers by Chemical Reaction Networks. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | |
Non-computability of human intelligence. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Olivier Bournez, Sabrina Ouazzani |
Cheap Non-standard Analysis and Computability. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | |
How To Solve Moral Conundrums with Computability Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Éric Goubault, Jérémy Ledent, Sergio Rajsbaum |
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. |
GandALF |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Shen |
Axiomatic approach to the theory of algorithms and relativized computability. |
CoRR |
2018 |
DBLP BibTeX RDF |
|