The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CiE"( http://dblp.L3S.de/Venues/CiE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cie

Publication years (Num. hits)
2005 (69) 2006 (62) 2007 (87) 2008 (62) 2009 (52) 2010 (49) 2011 (34) 2012 (76) 2013 (52) 2014 (43) 2015 (37) 2016 (38) 2017 (37) 2018 (43) 2019 (28)
Publication types (Num. hits)
inproceedings(754) proceedings(15)
Venues (Conferences, Journals, ...)
CiE(769)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 266 occurrences of 176 keywords

Results
Found 769 publication records. Showing 769 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens Degree Spectra for Transcendence in Fields. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lorenzo Galeotti Surreal Blum-Shub-Smale Machines. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag, Frank Sommer Destroying Bicolored P3s by Deleting Few Edges. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev Bounded Reducibility for Computable Numberings. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul C. Bell, Igor Potapov Towards Uniform Online Spherical Tessellations. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Cégielski, Julien Cervelle Study of Stepwise Simulation Between ASM. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florin 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 Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-Yves Moyen, Jakob Grue Simonsen More Intensional Versions of Rice's Theorem. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev Effective Embeddings for Pairs of Structures. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michal Wroclawski Representations of Natural Numbers and Computability of Various Functions. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kenshi Miyabe Uniform Relativization. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Iosif Petrakis Borel and Baire Sets in Bishop Spaces. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Felipe Cucker Recent Advances in the Computation of the Homology of Semialgebraic Sets. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rumen D. Dimitrov, Valentina S. Harizanov, Andrey Morozov, Paul Shafer, Alexandra A. Soskova, Stefan Vatev Cohesive Powers of Linear Orders. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Máté Szabó Kalmár's Argument for the Independence of Computer Science. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shaoyi Wang, Guohua Wu, Mars M. Yamaleev The d.r.e wtt-Degrees are Dense. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Klootwijk, Bodo Manthey Probabilistic Analysis of Facility Location on Random Shortest Path Metrics. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruslan Ishkuvatov, Daniil Musatov On Approximate Uncomputability of the Kolmogorov Complexity Function. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laurent Beaudou, Florent Foucaud, Florent R. Madelaine, Lhouari Nourine, Gaétan Richard Complexity of Conjunctive Regular Path Query Homomorphisms. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Bridoux, Nicolas Durbec, Kévin Perrot, Adrien Richard Complexity of Maximum Fixed Point Problem in Boolean Networks. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ). Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Philip Welch Higher Type Recursion for Transfinite Machine Theory. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Raymond Turner Correctness, Explanation and Intention. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Klaus Ambos-Spies, Xizhong Zheng On the Differences and Sums of Strongly Computably Enumerable Real Numbers. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Markus Holzer 0001, Martin Kutrib Non-Recursive Trade-Offs Are "Almost Everywhere". Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sam Sanders Nets and Reverse Mathematics - Some Initial Results. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bruno Durand, Grégory Lafitte An algorithmic approach to characterizations of admissibles. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jirí Wiedermann, Jan van Leeuwen Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness. Search on Bibsonomy CiE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier Universality in Freezing Cellular Automata. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre A Deontic Logic Reasoning Infrastructure. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bakh Khoussainov A Journey to Computably Enumerable Structures (Tutorial Lectures). Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Monath A C.E. Weak Truth Table Degree Which Is Array Noncomputable and R-maximal. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies From Eventually Different Functions to Pandemic Numberings. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele New Nonterminal Complexity Results for Semi-conditional Grammars. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Davis Turing's Vision and Deep Learning. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dag Normann Functionals of Type 3 as Realisers of Classical Theorems in Analysis. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Berndt, Kim-Manuel Klein Using Structural Properties for Integer Programs. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ulrich Berger 0001, Olga Petrovska Optimized Program Extraction for Induction and Coinduction. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dino Rossegger Elementary Bi-embeddability Spectra of Structures. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paula Quinon A Taxonomy of Deviant Encodings. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paola Bonizzoni, Gianluca Della Vedova, Serena Nicosia, Yuri Pirola, Marco Previtali, Raffaella Rizzi Divide and Conquer Computation of the Multi-string BWT and LCP Array. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arno Pauly Enumeration Degrees and Topology. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier Diminishable Parameterized Problems and Strict Polynomial Kernelization. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikolay Bazhenov, Margarita Marchuk Degrees of Categoricity for Prime and Homogeneous Models. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathieu Hoyrup Topological Analysis of Representations. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Souto, Luís Antunes 0002, Paulo Mateus, Andreia Teixeira Witness Hiding Without Extractors or Simulators. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wilfried Sieg What Is the Concept of Computation? Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Merlin Carl, Sabrina Ouazzani, Philip D. Welch Taming Koepke's Zoo. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Milovanov Algorithmic Statistics and Prediction for Polynomial Time-Bounded Algorithms. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Merlin Carl Some Observations on Infinitary Complexity. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1João Marques-Silva Computing with SAT Oracles: Past, Present and Future. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sam Sanders Some Nonstandard Equivalences in Reverse Mathematics. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander N. Rybalov A Generic m-Reducibility. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florin Manea, Russell G. Miller, Dirk Nowotka (eds.) Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marie Nicholson The Complexity of Tukey Types and Cofinal Types. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Margarita V. Korovina, Oleg V. Kudinov Weak Reduction Principle and Computable Metric Spaces. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Takashi Yokomori, Fumiya Okubo Computing with Multisets: A Survey on Reaction Automata Theory. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel S. Graça, Ning Zhong 0002 Computability of Ordinary Differential Equations. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Massimo Lauria Algorithm Analysis Through Proof Complexity. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ishai Kones, Asaf Levin A Unified Framework for Designing EPTAS's for Load Balancing on Parallel Machines. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Douglas Cenzer, Diego A. Rojas Online Computability and Differentiation in the Cantor Space. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Svetlana V. Selivanova, Victor L. Selivanov Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract). Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Uspenskiy, Alexander Shen Algorithms and Geometric Constructions. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lars Kristiansen, Juvenal Murwanashyaka Decidable and Undecidable Fragments of First-Order Concatenation Theory. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ivan Georgiev, Lars Kristiansen, Frank Stephan 0001 On General Sum Approximations of Irrational Numbers. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Timothy H. McNicholl, Don M. Stull The Isometry Degree of a Computable Copy of p. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pavel Alaev, Victor L. Selivanov Polynomial-Time Presentations of Algebraic Number Fields. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Ambos-Spies Multiple Permitting and Array Noncomputability. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Till Fluschnik, George B. Mertzios, André Nichterlein Kernelization Lower Bounds for Finding Constant-Size Subgraphs. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Erlebach Computing and Scheduling with Explorable Uncertainty. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Berndt Computing Tree Width: From Theory to Practice and Back. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert D. Barish, Akira Suyama Counting Substrate Cycles in Topologically Restricted Metabolic Networks. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gianluca Della Vedova, Murray Patterson, Raffaella Rizzi, Mauricio Soto Gomez Character-Based Phylogeny Construction and Its Application to Tumor Evolution. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nikolay Bazhenov Turing Computable Embeddings, Computable Infinitary Equivalence, and Linear Orders. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Arnold, Jacobo Torán A Deterministic Algorithm for Testing the Equivalence of Read-Once Branching Programs with Small Discrepancy. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zenon Sadowski Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ville Salo, Ilkka Törmä A One-Dimensional Physically Universal Cellular Automaton. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Merlin Carl, Philipp Schlicht The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniela Genova, Hendrik Jan Hoogeboom Finite Language Forbidding-Enforcing Systems. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ivan Visconti Delayed-Input Cryptographic Protocols. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thierry Monteil 0002 A Universal Oracle for Signal Machines. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander G. Melnikov Eliminating Unbounded Search in Computable Algebra. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Petr A. Golovach, Matthew Johnson 0002, Barnaby Martin, Daniël Paulusma, Anthony Stewart Surjective H-Colouring: New Hardness Results. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Iosif Petrakis McShane-Whitney Pairs. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Delacourt, Nicolas Ollinger Permutive One-Way Cellular Automata and the Finiteness Problem for Automaton Groups. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Neil Lutz, Donald M. Stull Dimension Spectra of Lines. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oscar Defrain, Bruno Durand, Grégory Lafitte Infinite Time Busy Beavers. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jarkko 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 Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gleb Novikov Randomness Deficiencies. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hugo Nobrega, Arno Pauly Game Characterizations and Lower Cones in the Weihrauch Degrees. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Margarita V. Korovina, Oleg V. Kudinov On Higher Effective Descriptive Set Theory. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stepan Holub, Robert Veroff Formalizing a Fragment of Combinatorics on Words. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lorenzo Galeotti, Hugo Nobrega Towards Computable Analysis on the Generalised Real Line. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Djamal Belazzougui, Fabio Cunial, Travis Gagie, Nicola Prezza, Mathieu Raffinot Flexible Indexing of Repetitive Collections. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Narad Rampersad Formulas with Reversal. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Victor L. Selivanov Extending Wadge Theory to k-Partitions. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lorenzo Carlucci, Leszek Aleksander Kolodziejczyk, Francesco Lepore, Konrad Zdanowski New Bounds on the Strength of Some Restrictions of Hindman's Theorem. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juliette Kennedy Gödel's Reception of Turing's Model of Computability: The "Shift of Perception" in 1934. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nikolay Bazhenov, Mars M. Yamaleev Degrees of Categoricity of Rigid Structures. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gunnar W. Klau, Tobias Marschall A Guided Tour to Computational Haplotyping. Search on Bibsonomy CiE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 769 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license