Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Margarita V. Korovina, Oleg V. Kudinov |
Rice's Theorem in Effectively Enumerable Topological Spaces. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martijn Baartse, Klaus Meer |
Some Results on Interactive Proofs for Real Computations. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Selivanov |
Towards the Effective Descriptive Set Theory. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Felice Cardone |
Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Goc, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit |
A New Approach to the Paperfolding Sequences. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chengling Fang, Jiang Liu 0002, Guohua Wu, Mars M. Yamaleev |
Nonexistence of Minimal Pairs in L[d]. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus L. Schmid |
Computing Equality-Free String Factorisations. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Máté Szabó |
Kalmár and Péter: Undecidability as a Consequence of Incompleteness. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Fujiwara |
Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCA. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Bazhenov 0001 |
Prime Model with No Degree of Autostability Relative to Strong Constructivizations. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthew de Brecht, Matthias Schröder 0001, Victor L. Selivanov |
Base-Complexity Classifications of QCB0-Spaces. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Merlin Carl |
ITRM I T R M -Recognizability from Random Oracles. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Patey |
Iterative Forcing and Hyperimmunity in Reverse Mathematics. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rodica Ceterchi, K. G. Subramanian 0001, Ibrahim Venkat |
P Systems with Parallel Rewriting for Chain Code Picture Languages. |
CiE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Harold Fellermann, Natalio Krasnogor |
Chemical Production and Molecular Computing in Addressable Reaction Compartments. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Patey |
The Complexity of Satisfaction Problems in Reverse Mathematics. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shota Murakami, Takeshi Yamazaki, Keita Yokoyama |
On the Ramseyan Factorization Theorem. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | G. Graham White |
Pluralism Ignored: The Church-Turing Thesis and Philosophical Practice. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Katalin Anna Lázár |
A Computational Model of XACML-Based Access Control Management in Distributed Networks. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001 |
Constraint Logic Programming for Resolution of Relative Time Expressions. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leonor Becerra-Bonache |
How can Grammatical Inference Contribute to Computational Linguistics? |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jack H. Lutz, Neil Lutz |
Lines Missing Every Random Point. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Prusinkiewicz, Brendan Lane, Adam Runions |
Metric-Driven Grammars and Morphogenesis (Extended Abstract). |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jacqueline Léon |
Early Machine Translation - Integration and Transfers between Computing and the Language Sciences. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gordana Dodig-Crnkovic |
Modeling Life as Cognitive Info-computation. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schröder 0001, Victor L. Selivanov |
Hyperprojective Hierarchy of qcb0-Spaces. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Beretta 0001, Riccardo Dondi |
Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Charles M. Harris |
On Maximal Block Functions of Computable η-like Linear Orderings. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James F. Power |
An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Brijder, Hendrik Jan Hoogeboom |
Graph Polynomials Motivated by Gene Rearrangements in Ciliates. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Erno Csajbók, Tamás Mihálydeák |
Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Benini, Federico Gobbo |
Algorithms and Their Explanations. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Merlin Carl |
Algorithmic Randomness for Infinite Time Register Machines. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michiel De Smet, Andreas Weiermann |
Phase Transitions Related to the Pigeonhole Principle. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
Fixed Points and Attractors of Reaction Systems. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lars Wienbrandt |
The FPGA-Based High-Performance Computer RIVYERA for Applications in Bioinformatics. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Sgall |
Online Bin Packing: Old Algorithms and New Results. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francis Adams, Douglas Cenzer |
Computability and Categoricity of Ultrahomogeneous Structures. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer (eds.) |
Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud |
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marius Zimand |
Short Lists with Short Programs in Short Time - A Short Proof. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Zandron |
Exploiting Membrane Features to Compute. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, Evgenia Falkovich |
Generic Parallel Algorithms. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi |
An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rumen D. Dimitrov, Valentina S. Harizanov, Russell G. Miller, K. J. Mourad |
Isomorphisms of Non-Standard Fields and Ash's Conjecture. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marek Czarnecki, Michal Tomasz Godziszewski, Dariusz Kalocinski |
Learnability Thesis Does Not Entail Church's Thesis. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Gratie, Ion Petre |
Fit-Preserving Data Refinement of Mass-Action Reaction Networks. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Cewei Cui, Zhe Dang, Thomas R. Fischer |
Lossiness of Communication Channels Modeled by Transducers. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christos A. Kapoutsis |
Predicate Characterizations in the Polynomial-Size Hierarchy. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
On the Equivalence of Automata for KAT-expressions. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Bazgan, Morgan Chopin, André Nichterlein, Florian Sikora |
Parameterized Inapproximability of Target Set Selection and Generalizations. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akitoshi Kawamura, Arno Pauly |
Function Spaces for Second-Order Polynomial Time. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon McGregor |
Natural Descriptions and Anthropic Bias: Extant Problems In Solomonoff Induction. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001, Tie Hou |
Uniform Schemata for Proof Rules. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib |
Complexity of Operation Problems. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Facchini, Henryk Michalewski |
Deciding the Borel Complexity of Regular Tree Languages. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Russell G. Miller, Reed Solomon, Rebecca M. Steiner |
On the Effectiveness of Symmetry Breaking. |
CiE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay K. Vereshchagin |
On Algorithmic Strong Sufficient Statistics. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan N. Soskov |
A Note on ω-Jump Inversion of Degree Spectra of Structures. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ambos-Spies, Ulrike Brandt, Martin Ziegler 0001 |
Real Benefit of Promises and Advice. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Processes Inspired by the Functioning of Living Cells: Natural Computing Approach. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Dueholm Hansen, Rasmus Ibsen-Jensen |
The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Miha E. Habic |
Cardinal-Recognizing Infinite Time Turing Machines. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna Rosone, Marinella Sciortino |
The Burrows-Wheeler Transform between Data Compression and Combinatorics on Words. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Dondi, Nadia El-Mabrouk |
Aligning and Labeling Genomes under the Duplication-Loss Model. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark Braverman |
Noise versus Computational Intractability in Dynamics. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Noam Greenberg |
Computing K-Trivial Sets by Incomplete Random Sets. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kartzow, Philipp Schlicht |
Structures without Scattered-Automatic Presentation. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew McGregor 0001 |
Towards a Theory of Homomorphic Compression. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Pagnani |
Exploiting Co-evolution across Protein Families for Predicting Native Contacts and Protein-Protein Interaction Surfaces. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marília D. V. Braga |
An Overview of Genomic Distances Modeled with Indels. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander G. Melnikov, André Nies |
The Classification Problem for Compact Computable Metric Spaces. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ziyuan Gao, Sanjay Jain 0001, Frank Stephan 0001 |
On Conservative Learning of Recursively Enumerable Languages. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas de Rugy-Altherre |
Determinant versus Permanent: Salvation via Generalization? |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giuditta Franco, Alessio Milanese |
An Investigation on Genomic Repeats. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laxmi Parida |
Using Random Graphs in Population Genomics. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ulle Endriss |
Recent Developments in Collective Decision Making in Combinatorial Domains. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Gasperin |
Topology of Asymptotic Cones and Non-deterministic Polynomial Time Computations. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Fujiwara, Keita Yokoyama |
A Note on the Sequential Version of Statements. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon |
Local Computability for Ordinals. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tim Fischbach, Benjamin Seyfferth |
On λ-Definable Functions on Ordinals. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
A Compositional Semantics of Reaction Systems with Restriction. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanic, Ugo Vaccaro |
Latency-Bounded Target Set Selection in Social Networks. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Darko Stefanovic, Milan N. Stojanovic |
Computing Game Strategies. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lance Fortnow |
A Personal View of the P versus NP Problem. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.) |
The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chee Yap, Michael Sagraloff, Vikram Sharma 0001 |
Analytic Root Clustering: A Complete Algorithm Using Soft Zero Tests. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shankara Narayanan Krishna, Marian Gheorghe 0001, Ciprian Dragomir |
Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Stukachev |
On Processes and Structures. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John Case, Michael Ralston |
Beyond Rogers' Non-constructively Computable Function. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cervelle |
Constructing Continuous Systems from Discrete Cellular Automata. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Böcker, Jan Baumbach |
Cluster Editing. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Graham Cormode |
Summary Data Structures for Massive Data. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Daniel Silva Graça, Amaury Pouly, Ning Zhong 0002 |
Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Irene Finocchi |
Software Streams: Big Data Challenges in Dynamic Program Analysis. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gavruskin, Bakhadyr Khoussainov |
On Decidable and Computable Models of Theories. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Durand-Lose |
Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matti Tedre |
Three Debates about Computing. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lila Kari |
Negative Glues and Non-determinism in Nanocomputations by Self-assembly. |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Hashagen |
The Computation of Nature, Or: Does the Computer Drive Science and Technology? |
CiE |
2013 |
DBLP DOI BibTeX RDF |
|