Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Arno Pauly, Willem L. Fouché, George Davie |
Weihrauch-completeness for layerwise computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(2), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Carsten Rösnick-Neugebauer |
Closed Sets and Operators thereon: Representations, Computability and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(2), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Eike Neumann, Martin Pape, Thomas Streicher |
Computability in Basic Quantum Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(2), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Hajo Broersma, Susan Stepney, Göran Wendin |
Computability and Complexity of Unconventional Computing Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Matter ![In: Computational Matter, pp. 185-229, 2018, Springer, 978-3-319-65824-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Dusko Pavlovic, Muzamil Yahia |
Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers, pp. 167-189, 2018, Springer, 978-3-030-00388-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato |
Program Analysis Is Harder Than Verification: A Computability Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, pp. 75-95, 2018, Springer, 978-3-319-96141-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mark Bickford, Liron Cohen 0001, Robert L. Constable, Vincent Rahli |
Computability Beyond Church-Turing via Choice Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 245-254, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mikolaj Bojanczyk, Szymon Torunczyk |
On computability and tractability for infinite sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 145-154, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Holger Boche, Volker Pohl |
On the Computability of System Approximations Under Causality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2018, Calgary, AB, Canada, April 15-20, 2018, pp. 4559-4563, 2018, IEEE, 978-1-5386-4658-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal |
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018, pp. 7:1-7:10, 2018, ACM, 978-1-4503-6372-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Akitoshi Kawamura, Holger Thies, Martin Ziegler 0001 |
Average-Case Polynomial-Time Computability of Hamiltonian Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK, pp. 30:1-30:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-086-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Petr Kuznetsov, Thibault Rieutord, Yuan He 0003 |
An Asynchronous Computability Theorem for Fair Adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018, pp. 387-396, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Bin Yu 0001 |
Three principles of data science: predictability, computability, and stability (PCS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: IEEE International Conference on Big Data (IEEE BigData 2018), Seattle, WA, USA, December 10-13, 2018, pp. 4, 2018, IEEE, 978-1-5386-5035-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Petr Kuznetsov, Nayuta Yanagisawa |
Task Computability in Unreliable Anonymous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, pp. 23:1-23:13, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-098-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Sam Sanders |
Metastability and Higher-Order Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, pp. 309-330, 2018, Springer, 978-3-319-72055-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Bournez |
Ordinary Differential Equations & Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 3-5, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Olivier Bournez, Sabrina Ouazzani |
Cheap Non-Standard Analysis and Computability: Some Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 149-156, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Florin 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](Pics/bibsonomy.png) |
CiE ![Springer, 978-3-319-94417-3 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Arnon Avron, Shahar Lev, Nissan Levi |
Safety, Absoluteness, and Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 8:1-8:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Thibault Rieutord |
Combinatorial characterization of asynchronous distributed computability. (Caractérisation combinatoire de la calculabilité distribuée asynchrone). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
14 | Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier |
Universality in Freezing Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 50-59, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre |
A Deontic Logic Reasoning Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 60-69, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Bakh Khoussainov |
A Journey to Computably Enumerable Structures (Tutorial Lectures). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 1-19, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Martin Monath |
A C.E. Weak Truth Table Degree Which Is Array Noncomputable and R-maximal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 297-306, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies |
From Eventually Different Functions to Pandemic Numberings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 97-106, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele |
New Nonterminal Complexity Results for Semi-conditional Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 172-182, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Martin Davis |
Turing's Vision and Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 146-155, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Dag Normann |
Functionals of Type 3 as Realisers of Classical Theorems in Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 318-327, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Berndt 0001, Kim-Manuel Klein |
Using Structural Properties for Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 89-96, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ulrich Berger 0001, Olga Petrovska |
Optimized Program Extraction for Induction and Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 70-80, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Dino Rossegger |
Elementary Bi-embeddability Spectra of Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 349-358, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Paula Quinon |
A Taxonomy of Deviant Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 338-348, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Paola 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](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 107-117, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Arno Pauly |
Enumeration Degrees and Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 328-337, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier |
Diminishable Parameterized Problems and Strict Polynomial Kernelization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 161-171, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Nikolay Bazhenov 0001, Margarita Marchuk |
Degrees of Categoricity for Prime and Homogeneous Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 40-49, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Mathieu Hoyrup |
Topological Analysis of Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 214-223, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | André Souto, Luís Antunes 0002, Paulo Mateus, Andreia Teixeira |
Witness Hiding Without Extractors or Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 397-409, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Wilfried Sieg |
What Is the Concept of Computation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 386-396, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Merlin Carl, Sabrina Ouazzani, Philip D. Welch |
Taming Koepke's Zoo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 126-135, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Alexey Milovanov |
Algorithmic Statistics and Prediction for Polynomial Time-Bounded Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 287-296, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Merlin Carl |
Some Observations on Infinitary Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 118-125, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | João Marques-Silva 0001 |
Computing with SAT Oracles: Past, Present and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 264-276, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Sam Sanders |
Some Nonstandard Equivalences in Reverse Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 365-375, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Alexander N. Rybalov |
A Generic m-Reducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 359-364, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Marie Nicholson |
The Complexity of Tukey Types and Cofinal Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 307-317, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Margarita V. Korovina, Oleg V. Kudinov |
Weak Reduction Principle and Computable Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 234-243, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Takashi Yokomori, Fumiya Okubo |
Computing with Multisets: A Survey on Reaction Automata Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 421-431, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Massimo Lauria |
Algorithm Analysis Through Proof Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 254-263, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ishai Kones, Asaf Levin |
A Unified Framework for Designing EPTAS's for Load Balancing on Parallel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 224-233, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Svetlana V. Selivanova, Victor L. Selivanov |
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 376-385, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Vladimir Uspenskiy, Alexander Shen |
Algorithms and Geometric Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 410-420, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Lars Kristiansen, Juvenal Murwanashyaka |
Decidable and Undecidable Fragments of First-Order Concatenation Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 244-253, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Georgiev, Lars Kristiansen, Frank Stephan 0001 |
On General Sum Approximations of Irrational Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 194-203, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Timothy H. McNicholl, Don M. Stull |
The Isometry Degree of a Computable Copy of p. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 277-286, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Pavel Alaev, Victor L. Selivanov |
Polynomial-Time Presentations of Algebraic Number Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 20-29, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Ambos-Spies |
Multiple Permitting and Array Noncomputability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 30-39, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Till Fluschnik, George B. Mertzios, André Nichterlein |
Kernelization Lower Bounds for Finding Constant-Size Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 183-193, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Erlebach |
Computing and Scheduling with Explorable Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 156-160, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Berndt 0001 |
Computing Tree Width: From Theory to Practice and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 81-88, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Cavaleri |
Computability of Følner sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 27(7), pp. 819-830, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Polina Vinogradova, Amy P. Felty, Philip J. Scott |
Formalizing Abstract Computability: Turing Categories in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017, pp. 203-218, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Hajime Ishihara, Margarita V. Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen |
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(8), pp. 1285-1286, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy 0001 |
On computability and disintegration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(8), pp. 1287-1314, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Ambos-Spies, Vasco Brattka, Rodney G. Downey, Steffen Lempp |
Computability Theory (Dagstuhl Seminar 17081). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Reports ![In: Dagstuhl Reports 7(2), pp. 89-101, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Andrew S. Marks |
Uniformity, universality, and computability theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 17(1), pp. 1750003:1-1750003:50, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Andrew Lewis-Pye, Wolfgang Merkle |
Guest Editorial: Tenth International Conference on Computability, Complexity and Randomness (CCR 2015). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 61(4), pp. 1252-1253, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer |
On the Uniform Computational Content of Computability Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 61(4), pp. 1376-1426, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen |
Layerwise Computability and Image Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 61(4), pp. 1353-1375, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Carsten Rösnick-Neugebauer |
Closed Sets and Operators thereon: Representations, Computability and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.00227, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Vikram Saraph, Maurice Herlihy, Eli Gafni |
An Algorithmic Approach to the Asynchronous Computability Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.08525, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Dusko Pavlovic, Muzamil Yahia |
Monoidal computer III: A coalgebraic view of computability and complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.04882, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Silvère Gangloff, Mathieu Sablik |
Block gluing intensity of bidimensional SFT: computability of the entropy and periodic points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.01627, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Jean-Yves Moyen, Jakob Grue Simonsen |
Computability in the Lattice of Equivalence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICE-FOPARA@ETAPS ![In: Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23, 2017., pp. 38-46, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Malgorzata Moczurad, Piotr Zgliczynski |
Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1711.04184, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Nathanael L. Ackerman, Cameron E. Freer |
On the computability of graph Turing machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.09406, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky |
Feedback computability on Cantor space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.01139, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa |
A characterization of colorless anonymous t-resilient task computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.04393, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Hajo Broersma, Susan Stepney, Göran Wendin |
Computability and Complexity of Unconventional Computing Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.02980, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal |
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.05267, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Jaun Casanova, Simone Santini |
On the relation between representations and computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.09696, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Zvonko Iljazovic, Igor Susic |
Computability of semicomputable manifolds in computable topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.04642, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Dimiter Georgiev |
Definability in the class of all -frames - computability and complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 27(1-2), pp. 1-26, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Francis Adams, Douglas Cenzer |
Computability and categoricity of weakly ultrahomogeneous structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 6(4), pp. 365-389, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Weihrauch |
Computability on measurable functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 6(1), pp. 79-104, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Hristo Ganchev, Dimiter Skordev |
Ivan Soskov: A Life in Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Incomputable ![In: The Incomputable: Journeys Beyond the Turing Barrier, pp. 11-46, 2017, Springer International Publishing, 978-3-319-43667-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Sam Sanders |
From Nonstandard Analysis to Various Flavours of Computability Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings, pp. 556-570, 2017, 978-3-319-55910-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Bin Yu 0001 |
Three Principles of Data Science: Predictability, Stability and Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13 - 17, 2017, pp. 5, 2017, ACM, 978-1-4503-4887-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Tomoyuki Yamakami |
A recursive definition of quantum polynomial time computability (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCMA ![In: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., pp. 243-258, 2017, Österreichische Computer Gesellschaft, 978-3-903035-18-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Philippe Balbiani, Joseph Boudou |
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALI@TABLEAUX ![In: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, pp. 17-34, 2017, Springer, 978-3-319-73578-8. The full citation details ...](Pics/full.jpeg) |
2017 |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCNC ![In: Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings, pp. 29-40, 2017, Springer, 978-3-319-58186-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Vasco Brattka, Rupert Hölzl 0001, Rutger Kuyper |
Monte Carlo Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany, pp. 17:1-17:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-028-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Marjorie Bournat, Swan Dubois, Franck Petit |
Computability of Perpetual Exploration in Highly Dynamic Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017, pp. 794-804, 2017, IEEE Computer Society, 978-1-5386-1792-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![Springer, 978-3-319-58740-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Reinhard Pichler, Emanuel Sallinger |
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMW ![In: Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Sebastián Andrés Barbieri Lemp |
Shift spaces on groups : computability and dynamics. (Calculabilité et dynamique des sous-décalages sur des groupes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
14 | Robert D. Barish, Akira Suyama |
Counting Substrate Cycles in Topologically Restricted Metabolic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 129-140, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Gianluca Della Vedova, Murray Patterson, Raffaella Rizzi, Mauricio Soto Gomez |
Character-Based Phylogeny Construction and Its Application to Tumor Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 3-13, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Nikolay Bazhenov 0001 |
Turing Computable Embeddings, Computable Infinitary Equivalence, and Linear Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 141-151, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Arnold, Jacobo Torán |
A Deterministic Algorithm for Testing the Equivalence of Read-Once Branching Programs with Small Discrepancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 119-128, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|