Cristian S. Calude

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 34

Top Venues

Publications

José Manuel Agüero Trejo, Cristian S. Calude, Michael J. Dinneen, Arkady Fedorov, Anatoly Kulikov, Rohit Navarathna, Karl Svozil
How real is incomputability in physics? Theor. Comput. Sci. 1003 (2024)
Cristian S. Calude, Shahrokh Heidari, Joseph Sifakis
What perceptron neural networks are (not) good for? Inf. Sci. 621 (2023)
José Manuel Agüero Trejo, Cristian S. Calude, Michael J. Dinneen, Arkady Fedorov, Anatoly Kulikov, Rohit Navarathna, Karl Svozil
How Real is Incomputability in Physics? CoRR (2023)
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
Deciding Parity Games in Quasi-polynomial Time. SIAM J. Comput. 51 (2) (2022)
Cristian S. Calude, Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ludwig Staiger, Frank Stephan
Bi-immunity over different size alphabets. Theor. Comput. Sci. 894 (2021)
Cristian S. Calude
Incompleteness and the Halting Problem. Stud Logica 109 (5) (2021)
Cristian S. Calude, Gheorghe Paun
Solomon Marcus Contributions to Theoretical Computer Science and Applications. Axioms 10 (2) (2021)
José Manuel Agüero Trejo, Cristian S. Calude
A new quantum random number generator certified by value indefiniteness. Theor. Comput. Sci. 862 (2021)
Cristian S. Calude
Gödel Incompleteness and Proof-Assistants Extended Abstract. SYNASC (2021)
Cristian S. Calude, Michael J. Dinneen, Richard Hua
Quantum solutions for densest k-subgraph problems. J. Membr. Comput. 2 (1) (2020)
Cristian S. Calude, Monica Dumitrescu
A statistical anytime algorithm for the Halting Problem. Comput. 9 (2) (2020)
Cristian S. Calude, Monica Dumitrescu
Infinitesimal Probabilities Based on Grossone. SN Comput. Sci. 1 (1) (2020)
Cristian S. Calude, Sanjay Jain, Wolfgang Merkle, Frank Stephan
Searching for shortest and least programs. Theor. Comput. Sci. 807 (2020)
Edward H., Cristian S. Calude
Quassical Computing. Int. J. Unconv. Comput. 14 (1) (2018)
Cristian S. Calude, Ludwig Staiger
A Simple Construction of Absolutely Disjunctive Liouville Numbers. J. Autom. Lang. Comb. 23 (1-3) (2018)
Alastair A. Abbott, Cristian S. Calude, Michael J. Dinneen, Richard Hua
A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing. CoRR (2018)
Cristian S. Calude, Monica Dumitrescu
A probabilistic anytime algorithm for the halting problem. Comput. 7 (2-3) (2018)
Cristian S. Calude, Ludwig Staiger
Liouville, Computable, Borel Normal and Martin-Löf Random Numbers. Theory Comput. Syst. 62 (7) (2018)
Alastair A. Abbott, Cristian S. Calude, Michael J. Dinneen, Richard Hua
A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing - Abridged Version. PC@UCNC (2018)
Cristian S. Calude, Michael J. Dinneen, Richard Hua
QUBO formulations for the graph isomorphism problem and related problems. Theor. Comput. Sci. 701 (2017)
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
Deciding parity games in quasipolynomial time. STOC (2017)
Cristian S. Calude, Ludwig Staiger, Frank Stephan
Finite state incompressible infinite sequences. Inf. Comput. 247 (2016)
Cristian S. Calude, Giuseppe Longo
Classical, quantum and biological randomness as relative unpredictability. Nat. Comput. 15 (2) (2016)
Cristian S. Calude, Michael J. Dinneen
Editorial. Int. J. Unconv. Comput. 12 (1) (2016)
Cristian S. Calude
Solomon Marcus, 1925-2016. Bull. EATCS 120 (2016)
Cristian S. Calude, Declan Thompson
Incompleteness, Undecidability and Automated Proofs - (Invited Talk). CASC (2016)
Cristian S. Calude, Rusins Freivalds, Sanjay Jain, Frank Stephan
Deterministic Frequency Pushdown Automata. J. Univers. Comput. Sci. 21 (12) (2015)
Alastair A. Abbott, Cristian S. Calude, Karl Svozil
A Non-Probabilistic Model of Relativised Predictability in Physics. Inf. 6 (4) (2015)
Cristian S. Calude
News from New Zealand. Bull. EATCS 115 (2015)
Cristian S. Calude, Damien Desfontaines
Universality and Almost Decidability. CoRR (2015)
Cristian S. Calude, Elena Calude, Michael J. Dinneen
Guest Column: Adiabatic Quantum Computing Challenges. SIGACT News 46 (1) (2015)
Cristian S. Calude, Damien Desfontaines
Anytime Algorithms for Non-Ending Computations. Int. J. Found. Comput. Sci. 26 (4) (2015)
Alastair A. Abbott, Cristian S. Calude, Karl Svozil
On the Unpredictability of Individual Quantum Measurement Outcomes. Fields of Logic and Computation II (2015)
Cristian S. Calude, Damien Desfontaines
Universality and Almost Decidability. Fundam. Informaticae 138 (1-2) (2015)
Cristian S. Calude
News from New Zealand. Bull. EATCS 114 (2014)
Cristian S. Calude, Ludwig Staiger, Frank Stephan
Finite State Incompressible Infinite Sequences. TAMC (2014)
Cristian S. Calude, Alasdair Coull, John P. Lewis
Can we solve the pipeline problem? DigiPro (2014)
Alastair A. Abbott, Cristian S. Calude, Karl Svozil
A quantum random number generator certified by value indefiniteness. Math. Struct. Comput. Sci. 24 (3) (2014)
Cristian S. Calude, Marian Gheorghe
Preface. Fundam. Informaticae 131 (3-4) (2014)
Cristian S. Calude
News from New Zealand. Bull. EATCS 113 (2014)
Cristian S. Calude
News from New Zealand. Bull. EATCS 112 (2014)
Cristian S. Calude, Kohtaro Tadaki
Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability. UCNC (2013)
Cristian S. Calude, Elena Calude, Melissa S. Queen
Inductive Complexity of the P versus NP Problem. Parallel Process. Lett. 23 (1) (2013)
Cristian S. Calude
News from New Zealand. Bull. EATCS 110 (2013)
Cristian S. Calude, Elena Calude
Algorithmic Complexity of Mathematical Problems: An Overview of Results and Open Problems. Int. J. Unconv. Comput. 9 (3-4) (2013)
Cristian S. Calude
News from New Zealand. Bull. EATCS 109 (2013)
Mark Burgin, Cristian S. Calude, Elena Calude
Inductive Complexity Measures for Mathematical Problems. Int. J. Found. Comput. Sci. 24 (4) (2013)
Cristian S. Calude, J. P. Lewis
Is there a universal image generator? Appl. Math. Comput. 218 (16) (2012)
Alastair A. Abbott, Cristian S. Calude
Von Neumann Normalisation of a Quantum Random Number Generator. Comput. 1 (1) (2012)
Cristian S. Calude
News from New Zealand. Bull. EATCS 108 (2012)
Alastair A. Abbott, Matthias Bechmann, Cristian S. Calude, Angelika Sebald
A Nuclear Magnetic Resonance Implementation of a Classical Deutsch-Jozsa Algorithm. Int. J. Unconv. Comput. 8 (2) (2012)
Cristian S. Calude
News from New Zealand. Bull. EATCS 106 (2012)
Cristian S. Calude, Elena Calude, Melissa S. Queen
Inductive Complexity of P versus NP Problem - Extended Abstract. UCNC (2012)
Cristian S. Calude, José Félix Costa, Hélia Guerra
Preface to the Special Issue on Physics and Computation "Towards a Computational Interpretation of Physical Theories". Appl. Math. Comput. 219 (1) (2012)
Cristian S. Calude, S. Barry Cooper
Introduction: computability of the physical. Math. Struct. Comput. Sci. 22 (5) (2012)
Cristian S. Calude, Kai Salomaa, Tania Roblot
State-Size Hierarchy for Finite-State Complexity. Int. J. Found. Comput. Sci. 23 (1) (2012)
David H. Bailey, Jonathan M. Borwein, Cristian S. Calude, Michael J. Dinneen, Monica Dumitrescu, Alex Yee
An Empirical Approach to the Normality of π. Exp. Math. 21 (4) (2012)
Cristian S. Calude, Elena Calude, Melissa S. Queen
The complexity of Euler's integer partition theorem. Theor. Comput. Sci. 454 (2012)
Cristian S. Calude, Matteo Cavaliere, Radu Mardare
An Observer-Based de-Quantisation of Deutsch's Algorithm. Int. J. Found. Comput. Sci. 22 (1) (2011)
Cristian S. Calude, José Félix Costa
Editorial. Int. J. Unconv. Comput. 7 (5) (2011)
Ali Akhtarzada, Cristian S. Calude, John G. Hosking
A Multi-Criteria Metric Algorithm for Recommender Systems. Fundam. Informaticae 110 (1-4) (2011)
Alastair A. Abbott, Matthias Bechmann, Cristian S. Calude, Angelika Sebald
A Nuclear Magnetic Resonance Implementation of a Classical Deutsch-Jozsa Algorithm CoRR (2011)
Alastair A. Abbott, Cristian S. Calude
Von Neumann Normalisation of a Quantum Random Number Generator CoRR (2011)
Cristian S. Calude
Simplicity via provability for universal prefix-free Turing machines. Theor. Comput. Sci. 412 (1-2) (2011)
Cristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan
Universal recursively enumerable sets of strings. Theor. Comput. Sci. 412 (22) (2011)
Cristian S. Calude, Kai Salomaa, Tania Roblot
Finite state complexity. Theor. Comput. Sci. 412 (41) (2011)
Cristian S. Calude, Nicholas J. Hay, Frank Stephan
Representation of left-computable ε-random reals. J. Comput. Syst. Sci. 77 (4) (2011)
Alastair A. Abbott, Cristian S. Calude
Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits. UC (2011)
Cristian S. Calude, José Félix Costa
Preface to the Special Issue Unconventional Computing 2008. Nat. Comput. 9 (4) (2010)
Cristian S. Calude, Michael J. Dinneen, Monica Dumitrescu, Karl Svozil
Experimental Evidence of Quantum Randomness Incomputability CoRR (2010)
Cristian S. Calude, Ludwig Staiger
A note on accelerated Turing machines. Math. Struct. Comput. Sci. 20 (6) (2010)
Cristian S. Calude, Elena Calude
Evaluating the Complexity of Mathematical Problems: Part 2. Complex Syst. 18 (4) (2010)
Alastair A. Abbott, Cristian S. Calude
Understanding the Quantum Computational Speed-up via De-quantisation DCM (2010)
Cristian S. Calude, Elena Calude
The complexity of the four colour theorem. LMS J. Comput. Math. 13 (2010)
Cristian S. Calude, Marius Zimand
Algorithmically independent sequences. Inf. Comput. 208 (3) (2010)
Cristian S. Calude, Elena Calude, Karl Svozil
Pi_1-Statements, Chaotic Systems and the Church-Turing Thesis CoRR (2010)
Cristian S. Calude, Ludwig Staiger
On universal computably enumerable prefix codes. Math. Struct. Comput. Sci. 19 (1) (2009)
Cristian S. Calude, Helmut Jürgensen, Ludwig Staiger
Topology on words. Theor. Comput. Sci. 410 (24-25) (2009)
Cristian S. Calude, Christine Müller
Formal Proof: Reconciling Correctness and Understanding. Calculemus/MKM (2009)
Cristian S. Calude, José Félix Costa
Introduction. Nat. Comput. 8 (3) (2009)
Cristian S. Calude, Elena Calude
Evaluating the Complexity of Mathematical Problems: Part 1. Complex Syst. 18 (3) (2009)
Cristian S. Calude, Nicholas J. Hay
Every computably enumerable random real is provably computably enumerable random. Log. J. IGPL 17 (4) (2009)
Cristian S. Calude, José Félix Costa
Introduction. Appl. Math. Comput. 215 (4) (2009)
Cristian S. Calude
Information: The Algorithmic Paradigm. Formal Theories of Information (2009)
Cristian S. Calude, Marius Zimand
Algorithmically independent sequences CoRR (2008)
Cristian S. Calude
Simplicity via Provability for Universal Prefix-free Turing Machines CSP (2008)
Cristian S. Calude, Gheorghe Paun
Foreword. Nat. Comput. 7 (1) (2008)
Cristian S. Calude, Marius Zimand
Algorithmically Independent Sequences. Developments in Language Theory (2008)
Cristian S. Calude, Michael A. Stay
Most programs stop quickly or never halt. Adv. Appl. Math. 40 (3) (2008)
Cristian S. Calude, Nicholas J. Hay
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random CoRR (2008)
Cristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan
Universal Recursively Enumerable Sets of Strings. Developments in Language Theory (2008)
Cristian S. Calude, Michael J. Dinneen
Exact Approximations of omega Numbers. Int. J. Bifurc. Chaos 17 (6) (2007)
Cristian S. Calude, Rossella Lupacchini, Giorgio Sandri
Preface. Nat. Comput. 6 (2) (2007)
Cristian S. Calude, Gheorghe Stefanescu, Marius Zimand
Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu. J. Univers. Comput. Sci. 13 (11) (2007)
Mark Burgin, Cristian S. Calude
Preface. Theor. Comput. Sci. 383 (2-3) (2007)
Cristian S. Calude, Michael Stay
Most Programs Stop Quickly or Never Halt CoRR (2006)
Cristian S. Calude, Cezar Câmpeanu, Monica Dumitrescu
Automata Recognizing No Words: A Statistical Approach. Fundam. Informaticae 73 (1-2) (2006)
Cristian S. Calude, Elena Calude, Michael J. Dinneen
A New Measure of the Difficulty of Problems. J. Multiple Valued Log. Soft Comput. 12 (3-4) (2006)
Cristian S. Calude, Michael Stay
Natural Halting Probabilities, Partial Randomness, and Zeta Functions CoRR (2006)
Cristian S. Calude, Michael Stay
Natural halting probabilities, partial randomness, and zeta functions. Inf. Comput. 204 (11) (2006)

Cristian S. Calude.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cristian S. Calude