Skip to content

Computability in Europe: Logic and Theory of Algorithms

CiE

C

CORE rank

CORE rank (raw)

C

Fields of research

Theory of Computation

Papers indexed

987

2005–2026

Papers per year

200586 peak2026

CiE papers

987 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2026The More Gdels, the Better.Patrick Uftring
2026A Polynomial-Time Algorithm for the Automatic Baire Property.Ludwig Staiger
2026Mathematical Informatics: Algorithms.Thomas Seiller
2026On the Reverse Mathematics of Darboux's Supremum Principle.Sam Sanders
2026The New French School of Philosophy of Computing.Paula Quinon
2026On Normality and Equidistribution for Separator Enumerators.Subin Pulari
2026Mergeable Represented Spaces.Arno Pauly
2026Computing with Spikes and Membranes: Computability and Complexity in Spiking Neural P Systems.David Orellana-Martn
2026On the Computational Properties of Ambivalent Sets and Functions.Dag Normann, Sam Sanders
2026Safety and Reachability in k-Control Games on Integer Vector Addition Systems with States.Reino Niskanen, Igor Potapov, James Topley
2026Termination of Real Linear Loops.Eike Neumann, Margret Tembo
2026Multisets in Reaction Systems.Victor Mitrana
2026Efficiently Finding All Shortest Absent Subsequences in a String.Florin Manea, Tina Ringleb, Stefan Siemer, Maximilian Winkler
2026Lines in Every Direction with No ee-Random Points.Neil Lutz, Spencer Park Martin, Rain White
2026Adversarial Synchronization and Reset Length.Anton E. Lipin, Mikhail V. Volkov
2026Self-assembly of Strings and Languages Revisited: Efficient Membership Algorithms.Katalin Anna Lzr, Florin Manea, Stefan Siemer, Timo Specht
2026Tadaki Numbers and Speedability.Philip Janicki
2026Counting Random Oracles for the Polynomial-Time Hierarchy and Quantum Complexity Classes.John M. Hitchcock, Adewale Sekoni, Hadi Shafei
2026Closure Properties of Left NP Real Numbers and NP Real Functions.Peter Hertling, Leonard Schulte-Michels
2026Towards Settling the Complexity of the Lettericity Problem.Mario Grobler, Nils Morawietz, Silas Cato Sacher
2026On the $\varSigma $-Hierarchy of the Logical Principles Over Intuitionistic Predicate Logic.Makoto Fujiwara
2026Learning Omega-Regular Languages: A Tour of Learning Results and Canonical Representations.Dana Fisman, Elina Sudit, Oded Zimerman
2026Nuclear Shifts for Conservation.Giulio Fellin, Sara Negri, Peter Schuster
2026Placing Green Bridges Optimally for Robust Habitat Reconnection.Gero Ellmies, Till Fluschnik
2026Adaptive Multi-Head Finite-State Gamblers.Julianne Cruz, Sho Glashausser, Xiaoyuan Li, Neil Lutz

Comparable venues

Other A*/A conferences filed under the same field of research.