| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Erlebach |
Computing and Scheduling with Explorable Uncertainty.  |
CiE  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Berndt 0001 |
Computing Tree Width: From Theory to Practice and Back. |
CiE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert D. Barish, Akira Suyama |
Counting Substrate Cycles in Topologically Restricted Metabolic Networks. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Della Vedova, Murray Patterson, Raffaella Rizzi, Mauricio Soto Gomez |
Character-Based Phylogeny Construction and Its Application to Tumor Evolution. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001 |
Turing Computable Embeddings, Computable Infinitary Equivalence, and Linear Orders. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Arnold, Jacobo Torán |
A Deterministic Algorithm for Testing the Equivalence of Read-Once Branching Programs with Small Discrepancy. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zenon Sadowski |
Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ville Salo, Ilkka Törmä |
A One-Dimensional Physically Universal Cellular Automaton. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Merlin Carl, Philipp Schlicht |
The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Genova, Hendrik Jan Hoogeboom |
Finite Language Forbidding-Enforcing Systems. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Visconti |
Delayed-Input Cryptographic Protocols. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Monteil 0002 |
A Universal Oracle for Signal Machines. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander G. Melnikov |
Eliminating Unbounded Search in Computable Algebra. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr A. Golovach, Matthew Johnson 0002, Barnaby Martin, Daniël Paulusma, Anthony Stewart |
Surjective H-Colouring: New Hardness Results. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Petrakis |
McShane-Whitney Pairs. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Delacourt, Nicolas Ollinger |
Permutive One-Way Cellular Automata and the Finiteness Problem for Automaton Groups. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Lutz, Donald M. Stull |
Dimension Spectra of Lines. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Defrain, Bruno Durand 0001, Grégory Lafitte |
Infinite Time Busy Beavers. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarkko Kari, Florin Manea, Ion Petre (eds.) |
Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Novikov |
Randomness Deficiencies. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Nobrega, Arno Pauly |
Game Characterizations and Lower Cones in the Weihrauch Degrees. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita V. Korovina, Oleg V. Kudinov |
On Higher Effective Descriptive Set Theory. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan Holub, Robert Veroff |
Formalizing a Fragment of Combinatorics on Words. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Galeotti, Hugo Nobrega |
Towards Computable Analysis on the Generalised Real Line. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamal Belazzougui, Fabio Cunial, Travis Gagie, Nicola Prezza, Mathieu Raffinot |
Flexible Indexing of Repetitive Collections. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Narad Rampersad |
Formulas with Reversal. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Selivanov |
Extending Wadge Theory to k-Partitions. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Carlucci, Leszek Aleksander Kolodziejczyk, Francesco Lepore, Konrad Zdanowski |
New Bounds on the Strength of Some Restrictions of Hindman's Theorem. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliette Kennedy |
Gödel's Reception of Turing's Model of Computability: The "Shift of Perception" in 1934. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Mars M. Yamaleev |
Degrees of Categoricity of Rigid Structures. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunnar W. Klau, Tobias Marschall |
A Guided Tour to Computational Haplotyping. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Merlin Carl, Benedikt Löwe, Benjamin G. Rin |
Koepke Machines and Satisfiability for Infinitary Propositional Languages. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita V. Korovina, Oleg V. Kudinov |
Outline of Partial Computability in Computable Topology. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Karoliina Lehtinen, Sandra Quickert |
∑μ2 is decidable for ∏μ2. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Shen |
Compressibility and Probabilistic Proofs. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell G. Miller |
Computable Transformations of Structures. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones |
Turing's 1949 Paper in Context. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Hernández-Espinosa, Francisco Hernández Quiroz, Héctor Zenil |
Is there any Real Substance to the Claims for a 'New Computationalism'? |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Merlin Carl, Bruno Durand 0001, Grégory Lafitte, Sabrina Ouazzani |
Admissibles in Gaps. |
CiE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Hoyrup |
The Typical Constructible Object. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Danilo Gligoroski, Simona Samardjiska |
Semantic Security and Key-Privacy with Random Split of St-Gen Codes. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Dean |
Squeezing Feasibility. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Luttik, Fei Yang |
On the Executability of Interactive Computation. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Petrakis |
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oriol Farràs |
Recent Advances in Non-perfect Secret Sharing Schemes. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Dondi, Florian Sikora |
Parameterized Complexity and Approximation Issues for the Colorful Components Problems. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Irène Marcovici |
Ergodicity of Noisy Cellular Automata: The Coupling Method and Beyond. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Barnaby Martin, András Pongrácz, Michal Wrona |
The Complexity of Counting Quantifiers on Equality Languages. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Akitoshi Kawamura, Florian Steinberg 0001, Martin Ziegler 0001 |
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Merlin Carl |
Generalized Effective Reducibility. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Priscila Biller, Carole Knibbe, Guillaume Beslon, Eric Tannier |
Comparative Genomics on Artificial Life. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksander Galicki, André Nies |
A Computational Approach to the Borwein-Ditor Theorem. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Reed Solomon |
Computable Reductions and Reverse Mathematics. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Patey |
Partial Orders and Immunity in Reverse Mathematics. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Besozzi |
Reaction-Based Models of Biochemical Networks. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan 0001 |
Verifying Systems of Resource-Bounded Agents. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Stéphane Le Roux 0001, Joseph S. Miller, Arno Pauly |
The Brouwer Fixed Point Theorem Revisited. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Barbieri, Mathieu Sablik |
The Domino Problem for Self-similar Structures. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Jain 0001, Bakhadyr Khoussainov, Frank Stephan 0001 |
Finitely Generated Semiautomatic Groups. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Andreev |
Busy Beavers and Kolmogorov Complexity. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg V. Kudinov, Victor L. Selivanov |
On the Lattices of Effectively Open Sets. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Cascudo |
Secret Sharing Schemes with Algebraic Properties and Applications. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Berthé, Thomas Fernique, Mathieu Sablik |
Effective S-adic Symbolic Dynamical Systems. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov |
Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Éric Mounier-Kuhn, Maël Pégny |
AFCAL and the Emergence of Computer Science in France: 1957-1967. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Jeandel |
Computability in Symbolic Dynamics. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Konovalov, Victor L. Selivanov |
The Boolean Algebra of Piecewise Testable Languages. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gemma Carotenuto, André Nies |
Lightface Π30-Completeness of Density Sets Under Effective Wadge Reducibility. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | John Case, James S. Royer |
Program Size Complexity of Correction Grammars in the Ershov Hierarchy. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Delaram Kahrobaei, Vladimir Shpilrain |
Using Semidirect Product of (Semi)groups in Public Key Cryptography. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Galeotti |
A Candidate for the Generalised Real Line. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bournez, Nachum Dershowitz, Pierre Néron |
Axiomatizing Analog Algorithms. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
Computability and Analysis, a Historical Approach. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska (eds.) |
Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Martini 0001 |
Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell Miller 0001 |
Baire Category Theory and Hilbert's Tenth Problem Inside \mathbb Q Q. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Glaßer, Peter Jonsson, Barnaby Martin |
Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic. |
CiE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bonfante, Mohamed El-Aqqad, Benjamin Greenbaum, Mathieu Hoyrup |
Immune Systems in Computer Virology. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Éric Pin |
Newton's Forward Difference Equation for Functions from Words to Words. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjørn Kjos-Hanssen, Frank Stephan 0001, Sebastiaan A. Terwijn |
Covering the Recursive Sets. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Galicki |
Randomness and Differentiability of Convex Functions. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Crosilla |
Error and Predicativity. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu-Ming Sun, Ning Zhong 0002, Martin Ziegler 0001 |
On Computability of Navier-Stokes' Equation. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Petrakis |
Completely Regular Bishop Spaces. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea Dumitru |
Is Human Mind Fully Algorithmic? Remarks on Kurt Gödel's Incompleteness Theorems. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen G. Simpson |
Degrees of Unsolvability: A Tutorial. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Van der Meeren, Andreas Weiermann |
How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | André Nies, Slawomir Solecki |
Local Compactness for Computable Polish Metric Spaces is \varPi ^1_1 Π 1 1 -complete. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Maia, Nelma Moreira, Rogério Reis |
Prefix and Right-Partial Derivative Automata. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl |
On Distributed Monitoring and Synthesis. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Ehlers, Mike Müller |
New Bounds on Optimal Sorting Networks. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Moser, Thomas Powell 0001 |
On the Computational Content of Termination Proofs. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost J. Joosten |
Turing Jumps Through Provability. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy H. McNicholl |
A Note on the Computable Categoricity of \ell ^p ℓ p Spaces. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Kovác |
Decidability of Termination Problems for Sequential P Systems with Active Membranes. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov |
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gheorghe Paun |
Unconventional Computing: Do We Dream Too Much? |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Verlan |
Universality in Molecular and Cellular Computing. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova (eds.) |
Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Le Roux 0001, Arno Pauly |
Weihrauch Degrees of Finding Equilibria in Sequential Games. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license