Cristian S. Calude

137 papers A* 1B 1C 11Misc 1Journal 99Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	SAIN: Search-And-INfer, a Mathematical and Computational Framework for Personalised Multimodal Data Modelling with Applications in Healthcare. Algorithms Cristian S. Calude, Patrick Gladding, Alec Henderson, Nikola K. Kasabov
2024	J	`jnl`	How real is incomputability in physics? Theor. Comput. Sci. José Manuel Agüero Trejo, Cristian S. Calude, Michael J. Dinneen, Arkady Fedorov, Anatoly Kulikov, Rohit Navarathna, Karl Svozil
2024	—	`book`	To Halt or Not to Halt? That Is the Question Cristian S. Calude
2023	J	`jnl`	How Real is Incomputability in Physics? CoRR José Manuel Agüero Trejo, Cristian S. Calude, Michael J. Dinneen, Arkady Fedorov, Anatoly Kulikov, Rohit Navarathna, Karl Svozil
2023	J	`jnl`	What perceptron neural networks are (not) good for? Inf. Sci. Cristian S. Calude, Shahrokh Heidari, Joseph Sifakis
2022	J	`jnl`	Deciding Parity Games in Quasi-polynomial Time. SIAM J. Comput. Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
2021	J	`jnl`	A new quantum random number generator certified by value indefiniteness. Theor. Comput. Sci. José Manuel Agüero Trejo, Cristian S. Calude
2021	J	`jnl`	Bi-immunity over different size alphabets. Theor. Comput. Sci. Cristian S. Calude, Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ludwig Staiger, Frank Stephan
2021	Misc	`conf`	Gödel Incompleteness and Proof-Assistants Extended Abstract. SYNASC Cristian S. Calude
2021	J	`jnl`	Incompleteness and the Halting Problem. Stud Logica Cristian S. Calude
2021	J	`jnl`	Solomon Marcus Contributions to Theoretical Computer Science and Applications. Axioms Cristian S. Calude, Gheorghe Paun
2020	J	`jnl`	A statistical anytime algorithm for the Halting Problem. Comput. Cristian S. Calude, Monica Dumitrescu
2020	J	`jnl`	Infinitesimal Probabilities Based on Grossone. SN Comput. Sci. Cristian S. Calude, Monica Dumitrescu
2020	J	`jnl`	Quantum solutions for densest k-subgraph problems. J. Membr. Comput. Cristian S. Calude, Michael J. Dinneen, Richard Hua
2020	J	`jnl`	Searching for shortest and least programs. Theor. Comput. Sci. Cristian S. Calude, Sanjay Jain, Wolfgang Merkle, Frank Stephan
2018	—	`conf`	A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing - Abridged Version. PC@UCNC Alastair A. Abbott, Cristian S. Calude, Michael J. Dinneen, Richard Hua
2018	J	`jnl`	A Hybrid Quantum-Classical Paradigm to Mitigate Embedding Costs in Quantum Annealing. CoRR Alastair A. Abbott, Cristian S. Calude, Michael J. Dinneen, Richard Hua
2018	J	`jnl`	A Simple Construction of Absolutely Disjunctive Liouville Numbers. J. Autom. Lang. Comb. Cristian S. Calude, Ludwig Staiger
2018	J	`jnl`	A probabilistic anytime algorithm for the halting problem. Comput. Cristian S. Calude, Monica Dumitrescu
2018	J	`jnl`	Liouville, Computable, Borel Normal and Martin-Löf Random Numbers. Theory Comput. Syst. Cristian S. Calude, Ludwig Staiger
2018	J	`jnl`	Quassical Computing. Int. J. Unconv. Comput. Edward H., Cristian S. Calude
2017	A*	`conf`	Deciding parity games in quasipolynomial time. STOC Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan
2017	J	`jnl`	QUBO formulations for the graph isomorphism problem and related problems. Theor. Comput. Sci. Cristian S. Calude, Michael J. Dinneen, Richard Hua
2017	—	`ch.`	Quantum Randomness: From Practice to Theory and Back. The Incomputable Cristian S. Calude
2016	J	`jnl`	Classical, quantum and biological randomness as relative unpredictability. Nat. Comput. Cristian S. Calude, Giuseppe Longo
2016	J	`jnl`	Editorial. Int. J. Unconv. Comput. Cristian S. Calude, Michael J. Dinneen
2016	J	`jnl`	Finite state incompressible infinite sequences. Inf. Comput. Cristian S. Calude, Ludwig Staiger, Frank Stephan
2016	B	`conf`	Incompleteness, Undecidability and Automated Proofs - (Invited Talk). CASC Cristian S. Calude, Declan Thompson
2016	J	`jnl`	Solomon Marcus, 1925-2016. Bull. EATCS Cristian S. Calude
2015	J	`jnl`	A Non-Probabilistic Model of Relativised Predictability in Physics. Inf. Alastair A. Abbott, Cristian S. Calude, Karl Svozil
2015	J	`jnl`	Anytime Algorithms for Non-Ending Computations. Int. J. Found. Comput. Sci. Cristian S. Calude, Damien Desfontaines
2015	J	`jnl`	Deterministic Frequency Pushdown Automata. J. Univers. Comput. Sci. Cristian S. Calude, Rusins Freivalds, Sanjay Jain, Frank Stephan
2015	J	`jnl`	Guest Column: Adiabatic Quantum Computing Challenges. SIGACT News Cristian S. Calude, Elena Calude, Michael J. Dinneen
2015	J	`jnl`	News from New Zealand. Bull. EATCS Cristian S. Calude
2015	—	`conf`	On the Unpredictability of Individual Quantum Measurement Outcomes. Fields of Logic and Computation II Alastair A. Abbott, Cristian S. Calude, Karl Svozil
2015	—	`ed.`	Unconventional Computation and Natural Computation - 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, Proceedings UCNC Cristian S. Calude, Michael J. Dinneen
2015	J	`jnl`	Universality and Almost Decidability. CoRR Cristian S. Calude, Damien Desfontaines
2015	J	`jnl`	Universality and Almost Decidability. Fundam. Informaticae Cristian S. Calude, Damien Desfontaines
2014	J	`jnl`	A quantum random number generator certified by value indefiniteness. Math. Struct. Comput. Sci. Alastair A. Abbott, Cristian S. Calude, Karl Svozil
2014	—	`conf`	Can we solve the pipeline problem? DigiPro Cristian S. Calude, Alasdair Coull, John P. Lewis
2014	—	`ed.`	Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday Computing with New Resources Cristian S. Calude, Rusins Freivalds, Kazuo Iwama
2014	C	`conf`	Finite State Incompressible Infinite Sequences. TAMC Cristian S. Calude, Ludwig Staiger, Frank Stephan
2014	J	`jnl`	News from New Zealand. Bull. EATCS Cristian S. Calude
2014	J	`jnl`	News from New Zealand. Bull. EATCS Cristian S. Calude
2014	J	`jnl`	News from New Zealand. Bull. EATCS Cristian S. Calude
2014	J	`jnl`	Preface. Fundam. Informaticae Cristian S. Calude, Marian Gheorghe
2013	J	`jnl`	Algorithmic Complexity of Mathematical Problems: An Overview of Results and Open Problems. Int. J. Unconv. Comput. Cristian S. Calude, Elena Calude
2013	J	`jnl`	Inductive Complexity Measures for Mathematical Problems. Int. J. Found. Comput. Sci. Mark Burgin, Cristian S. Calude, Elena Calude
2013	J	`jnl`	Inductive Complexity of the P versus NP Problem. Parallel Process. Lett. Cristian S. Calude, Elena Calude, Melissa S. Queen
2013	J	`jnl`	News from New Zealand. Bull. EATCS Cristian S. Calude
2013	J	`jnl`	News from New Zealand. Bull. EATCS Cristian S. Calude
2013	—	`conf`	Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability. UCNC Cristian S. Calude, Kohtaro Tadaki
2012	J	`jnl`	A Nuclear Magnetic Resonance Implementation of a Classical Deutsch-Jozsa Algorithm. Int. J. Unconv. Comput. Alastair A. Abbott, Matthias Bechmann, Cristian S. Calude, Angelika Sebald
2012	J	`jnl`	An Empirical Approach to the Normality of π. Exp. Math. David H. Bailey, Jonathan M. Borwein, Cristian S. Calude, Michael J. Dinneen, Monica Dumitrescu, Alex Yee
2012	—	`conf`	Inductive Complexity of P versus NP Problem - Extended Abstract. UCNC Cristian S. Calude, Elena Calude, Melissa S. Queen
2012	J	`jnl`	Introduction: computability of the physical. Math. Struct. Comput. Sci. Cristian S. Calude, S. Barry Cooper
2012	J	`jnl`	Is there a universal image generator? Appl. Math. Comput. Cristian S. Calude, J. P. Lewis
2012	J	`jnl`	News from New Zealand. Bull. EATCS Cristian S. Calude
2012	J	`jnl`	News from New Zealand. Bull. EATCS Cristian S. Calude
2012	J	`jnl`	Preface to the Special Issue on Physics and Computation "Towards a Computational Interpretation of Physical Theories". Appl. Math. Comput. Cristian S. Calude, José Félix Costa, Hélia Guerra
2012	J	`jnl`	State-Size Hierarchy for Finite-State Complexity. Int. J. Found. Comput. Sci. Cristian S. Calude, Kai Salomaa, Tania Roblot
2012	J	`jnl`	The complexity of Euler's integer partition theorem. Theor. Comput. Sci. Cristian S. Calude, Elena Calude, Melissa S. Queen
2012	J	`jnl`	Von Neumann Normalisation of a Quantum Random Number Generator. Comput. Alastair A. Abbott, Cristian S. Calude
2011	J	`jnl`	A Multi-Criteria Metric Algorithm for Recommender Systems. Fundam. Informaticae Ali Akhtarzada, Cristian S. Calude, John G. Hosking
2011	J	`jnl`	A Nuclear Magnetic Resonance Implementation of a Classical Deutsch-Jozsa Algorithm CoRR Alastair A. Abbott, Matthias Bechmann, Cristian S. Calude, Angelika Sebald
2011	J	`jnl`	An Observer-Based de-Quantisation of Deutsch's Algorithm. Int. J. Found. Comput. Sci. Cristian S. Calude, Matteo Cavaliere, Radu Mardare
2011	J	`jnl`	Editorial. Int. J. Unconv. Comput. Cristian S. Calude, José Félix Costa
2011	J	`jnl`	Finite state complexity. Theor. Comput. Sci. Cristian S. Calude, Kai Salomaa, Tania Roblot
2011	—	`ed.`	Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday Rainbow of Computer Science Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa
2011	J	`jnl`	Representation of left-computable ε-random reals. J. Comput. Syst. Sci. Cristian S. Calude, Nicholas J. Hay, Frank Stephan
2011	J	`jnl`	Simplicity via provability for universal prefix-free Turing machines. Theor. Comput. Sci. Cristian S. Calude
2011	C	`ed.`	Unconventional Computation - 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings UC Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg
2011	J	`jnl`	Universal recursively enumerable sets of strings. Theor. Comput. Sci. Cristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan
2011	C	`conf`	Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits. UC Alastair A. Abbott, Cristian S. Calude
2011	J	`jnl`	Von Neumann Normalisation of a Quantum Random Number Generator CoRR Alastair A. Abbott, Cristian S. Calude
2010	J	`jnl`	A note on accelerated Turing machines. Math. Struct. Comput. Sci. Cristian S. Calude, Ludwig Staiger
2010	J	`jnl`	Algorithmically independent sequences. Inf. Comput. Cristian S. Calude, Marius Zimand
2010	J	`jnl`	Evaluating the Complexity of Mathematical Problems: Part 2. Complex Syst. Cristian S. Calude, Elena Calude
2010	J	`jnl`	Experimental Evidence of Quantum Randomness Incomputability CoRR Cristian S. Calude, Michael J. Dinneen, Monica Dumitrescu, Karl Svozil
2010	J	`jnl`	Pi_1-Statements, Chaotic Systems and the Church-Turing Thesis CoRR Cristian S. Calude, Elena Calude, Karl Svozil
2010	J	`jnl`	Preface to the Special Issue Unconventional Computing 2008. Nat. Comput. Cristian S. Calude, José Félix Costa
2010	J	`jnl`	The complexity of the four colour theorem. LMS J. Comput. Math. Cristian S. Calude, Elena Calude
2010	—	`ed.`	Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings IFIP TCS Cristian S. Calude, Vladimiro Sassone
2010	C	`ed.`	Unconventional Computation - 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings UC Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis
2010	—	`conf`	Understanding the Quantum Computational Speed-up via De-quantisation DCM Alastair A. Abbott, Cristian S. Calude
2009	J	`jnl`	Evaluating the Complexity of Mathematical Problems: Part 1. Complex Syst. Cristian S. Calude, Elena Calude
2009	J	`jnl`	Every computably enumerable random real is provably computably enumerable random. Log. J. IGPL Cristian S. Calude, Nicholas J. Hay
2009	—	`conf`	Formal Proof: Reconciling Correctness and Understanding. Calculemus/MKM Cristian S. Calude, Christine Müller
2009	—	`conf`	Information: The Algorithmic Paradigm. Formal Theories of Information Cristian S. Calude
2009	J	`jnl`	Introduction. Appl. Math. Comput. Cristian S. Calude, José Félix Costa
2009	J	`jnl`	Introduction. Nat. Comput. Cristian S. Calude, José Félix Costa
2009	J	`jnl`	On universal computably enumerable prefix codes. Math. Struct. Comput. Sci. Cristian S. Calude, Ludwig Staiger
2009	J	`jnl`	Topology on words. Theor. Comput. Sci. Cristian S. Calude, Helmut Jürgensen, Ludwig Staiger
2009	C	`ed.`	Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings UC Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
2008	C	`conf`	Algorithmically Independent Sequences. Developments in Language Theory Cristian S. Calude, Marius Zimand
2008	J	`jnl`	Algorithmically independent sequences CoRR Cristian S. Calude, Marius Zimand
2008	J	`jnl`	Every Computably Enumerable Random Real Is Provably Computably Enumerable Random CoRR Cristian S. Calude, Nicholas J. Hay
2008	J	`jnl`	Foreword. Nat. Comput. Cristian S. Calude, Gheorghe Paun
2008	J	`jnl`	Most programs stop quickly or never halt. Adv. Appl. Math. Cristian S. Calude, Michael A. Stay
2008	—	`conf`	Simplicity via Provability for Universal Prefix-free Turing Machines CSP Cristian S. Calude
2008	C	`ed.`	Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings UC Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg
2008	C	`conf`	Universal Recursively Enumerable Sets of Strings. Developments in Language Theory Cristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan
2007	J	`jnl`	Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu. J. Univers. Comput. Sci. Cristian S. Calude, Gheorghe Stefanescu, Marius Zimand
2007	J	`jnl`	Exact Approximations of omega Numbers. Int. J. Bifurc. Chaos Cristian S. Calude, Michael J. Dinneen
2007	J	`jnl`	Preface. Nat. Comput. Cristian S. Calude, Rossella Lupacchini, Giorgio Sandri
2007	J	`jnl`	Preface. Theor. Comput. Sci. Mark Burgin, Cristian S. Calude
2007	C	`ed.`	Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings UC Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, Todd Wareham
2006	J	`jnl`	A New Measure of the Difficulty of Problems. J. Multiple Valued Log. Soft Comput. Cristian S. Calude, Elena Calude, Michael J. Dinneen
2006	J	`jnl`	Automata Recognizing No Words: A Statistical Approach. Fundam. Informaticae Cristian S. Calude, Cezar Câmpeanu, Monica Dumitrescu
2006	J	`jnl`	Most Programs Stop Quickly or Never Halt CoRR Cristian S. Calude, Michael Stay
2006	J	`jnl`	Natural Halting Probabilities, Partial Randomness, and Zeta Functions CoRR Cristian S. Calude, Michael Stay
2006	—	`conf`	Natural Halting Probabilities, Partial Randomness, and Zeta Functions. Kolmogorov Complexity and Applications Cristian S. Calude, Michael A. Stay
2006	J	`jnl`	Natural halting probabilities, partial randomness, and zeta functions. Inf. Comput. Cristian S. Calude, Michael Stay
2006	J	`jnl`	On partial randomness. Ann. Pure Appl. Log. Cristian S. Calude, Ludwig Staiger, Sebastiaan Terwijn
2006	C	`ed.`	Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings UC Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney
2005	J	`jnl`	Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. J. Univers. Comput. Sci. Cristian S. Calude, Hajime Ishihara
2005	J	`jnl`	Contagious Creativity. Fundam. Informaticae Cristian S. Calude, Gheorghe Paun, Grzegorz Rozenberg
2005	J	`jnl`	Generalisations of disjunctive sequences. Math. Log. Q. Cristian S. Calude, Ludwig Staiger
2005	J	`jnl`	Is complexity a source of incompleteness? Adv. Appl. Math. Cristian S. Calude, Helmut Jürgensen
2002	J	`jnl`	Coins, Quantum Measurements, and Turing's Barrier. Quantum Inf. Process. Cristian S. Calude, Boris S. Pavlov
2002	J	`jnl`	Computing a Glimpse of Randomness. Exp. Math. Cristian S. Calude, Michael J. Dinneen, Chi-Kou Shu
2002	J	`jnl`	Entropic measures, Markov information sources and complexity. Appl. Math. Comput. Cristian S. Calude, Monica Dumitrescu
2002	J	`jnl`	Incompleteness, Complexity, Randomness and Beyond. Minds Mach. Cristian S. Calude
2002	—	`book`	Information and Randomness - An Algorithmic Perspective Cristian S. Calude
2001	—	`ed.`	Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania. DMTCS Cristian S. Calude, Michael J. Dinneen, Silviu Sburlan
2001	—	`conf`	Computational complementarity for probabilistic automata. Where Mathematics, Computer Science, Linguistics and Biology Meet Cristian S. Calude, Elena Calude, Karl Svozil
2001	—	`conf`	Liars, Demons, and Chaos. Words, Semigroups, and Transductions Cristian S. Calude, Elena Calude, Peter Kay
2000	J	`jnl`	Computing with cells and atoms in a nutshell. Complex. Cristian S. Calude, Gheorghe Paun
2000	—	`conf`	Quantum Correlations Conundrum: An Automata-Theoretic Approach. Recent Topics in Mathematical and Computational Linguistics Cristian S. Calude, Elena Calude, Karl Svozil
2000	J	`jnl`	Reflections on quantum computing. Complex. Cristian S. Calude, Michael J. Dinneen, Karl Svozil
2000	—	`ch.`	Solving Problems with Finite Test Sets. Finite Versus Infinite Cristian S. Calude, Helmut Jürgensen, Shane Legg
1998	—	`conf`	Computational Complementarity and Sofic Shifts. CATS Cristian S. Calude, Marjo Lipponen
1998	J	`jnl`	Introduction to unconventional models of computation. Complex. Cristian S. Calude, John L. Casti
1997	J	`jnl`	A genius's story: Two books on Gödel. Complex. Cristian S. Calude
1997	C	`conf`	Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract. Developments in Language Theory Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov
1996	—	`ed.`	First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996 DMTCS Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten
1992	J	`jnl`	Recursive Baire Classification and Speedable Functions. Math. Log. Q. Cristian S. Calude, Gabriel Istrate, Marius Zimand