Edit Profile (opens in new tab) Calude, Cristian S. Co-Author Distance Author ID: calude.cristian-s Published as: Calude, Cristian S.; Calude, Cristian; Calude, C. S.; Calude, C.; Calude, Cris; Calude, Christian S.; Calude, Christian; Calude, Cris S.; Calude, S. more...less Homepage: https://www.cs.auckland.ac.nz/~cristian/papers.html External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef · theses.fr Documents Indexed: 207 Publications since 1973, including 7 Books 39 Contributions as Editor · 1 Further Contribution Reviewing Activity: 162 Reviews Biographic References: 3 Publications Co-Authors: 133 Co-Authors with 195 Joint Publications 3,345 Co-Co-Authors all top 5 Co-Authors 48 single-authored 26 Calude, Elena 21 Dinneen, Michael J. 16 Staiger, Ludwig 12 Chitescu, Ion 11 Păun, Gheorghe 11 Svozil, Karl 10 Marcus, Solomon 9 Khoussainov, Bakhadyr M. 9 Rozenberg, Grzegorz 9 Stephan, Frank 7 Abbott, Alastair A. 7 Hertling, Peter H. 7 Zimand, Marius 6 Dumitrescu, Monica E. Bad 5 Bridges, Douglas Suth 5 Jürgensen, Helmut 5 Salomaa, Arto Kustaa 5 Salomaa, Kai T. 4 Jain, Sanjay 4 Maurer, Hermann A. 4 Stay, Michael A. 4 Yu, Sheng 3 Arulanandham, Joshua J. 3 Burgin, Mark 3 Costa, José Félix 3 Hua, Richard 3 Nies, André Otfrid 3 Queen, Melissa S. 3 Roblot, Tania K. 3 Zamfirescu, Tudor I. 2 Câmpeanu, Cezar 2 Chaitin, Gregory John 2 Coles, Richard J. 2 Desfontaines, Damien 2 Freivalds, Rūsiņš Mārtiņš 2 Grozea, Cristian 2 Hay, Nicholas J. 2 Ishihara, Hajime 2 Istrate, Gabriel I. 2 Li, Wei 2 Lipponen, Marjo 2 Pavlov, Boris Sergeevich 2 Ştefănescu, Doru 2 Tătărâm, Monica 2 Tevy, Ionel 2 Vaida, Dragos 2 Vieru, Valentin 2 Wang, Yongge 1 Agüero Trejo, José Manuel 1 Akl, Selim G. 1 Ambainis, Andris 1 Andraşiu, Mircea 1 Antoniou, Ioannis E. 1 Apsītis, Kalvis 1 Bailey, David Harold 1 Bellow, Alexandra 1 Beznea, Lucian 1 Borwein, Jonathan Michael 1 Brînzănescu, Vasile 1 Buzeţeanu, Şerban N. 1 Campbell, Douglas I. 1 Casti, John L. 1 Cavaliere, Matteo 1 Căzănescu, Virgil Emil 1 Celine, Karen Frilya 1 Chiu, Terry 1 Cooper, Stuart Barry 1 Dershowitz, Nachum 1 Dineen, M. J. 1 Dinneen, Janet A. 1 Durand, Bruno 1 Ene, Horia I. 1 Fantaneanu, Brandusa 1 Freire, Elisabete 1 Freund, Rudolf 1 Gajardo, Anahí 1 Gao, Ziyuan 1 Gelenbe, Sami Erol 1 Gheorghe, Marian 1 Gibbons, Jeremy 1 Guerra, Hélia 1 Hagiya, Masami 1 Hartmanis, Juris 1 Iosifescu, Marius 1 Kari, Jarkko 1 Kari, Lila 1 Karpinski, Marek 1 Kay, Peter 1 Kazuo, Iwama 1 Kurta, Eva 1 Larfeldt, Tomas 1 Lennon, Michael J. J. 1 Lupacchini, Rossella 1 Mallmann, C. 1 Mamale, C. 1 Mardare, Radu 1 Merkle, Wolfgang 1 Meyerstein, F. Walter 1 Morita, Kenichi 1 Müller, Christine ...and 36 more Co-Authors all top 5 Serials 21 Theoretical Computer Science 14 Lecture Notes in Computer Science 10 Bulletin of the European Association for Theoretical Computer Science EATCS 10 Journal of Universal Computer Science 8 Revue Roumaine de Mathématiques Pures et Appliquées 5 Bulletin Mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie. Nouvelle Série 5 Studii și Cercetări Matematice 5 International Journal of Foundations of Computer Science 4 Applied Mathematics and Computation 4 Foundations of Control Engineering 4 MSCS. Mathematical Structures in Computer Science 4 Fundamenta Informaticae 3 International Journal of Theoretical Physics 3 Chaos, Solitons and Fractals 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 Information and Computation 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 3 International Journal of Computer Mathematics 3 Natural Computing 3 Computability 2 Discrete Mathematics 2 Information Processing Letters 2 Analele Universității București. Matematică 2 Kybernetika 2 Advances in Applied Mathematics 2 Annales Societatis Mathematicae Polonae. Series IV 2 Annals of Pure and Applied Logic 2 Complex Systems 2 Experimental Mathematics 2 International Journal of Quantum Information 1 Discrete Applied Mathematics 1 Journal of Mathematical Physics 1 Analele Științifice ale Universității Al. I. Cuza din Iași. (Serie Nouă.) Secțiunea Ia. Matematică-Informatică 1 Journal of Computer and System Sciences 1 Mathématica – Revue d’Analyse Numérique et de Théorie de l’Approximation. Mathématica 1 Publicationes Mathematicae Debrecen 1 RAIRO, Informatique Théorique 1 SIAM Journal on Computing 1 Studia Logica 1 Journal of Computational Mathematics 1 Historia Mathematica 1 Notices of the American Mathematical Society 1 Bollettino della Unione Matemàtica Italiana. Serie VII. B 1 Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie. Nouvelle Série 1 New Zealand Journal of Mathematics 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Tatra Mountains Mathematical Publications 1 Mathematical Logic Quarterly (MLQ) 1 Analele Științifice ale Universității “Ovidius” Constanța. Seria: Matematică 1 Multiple-Valued Logic 1 Theory of Computing Systems 1 Journal of Automata, Languages and Combinatorics 1 Logic Journal of the IGPL 1 Chaos 1 LMS Journal of Computation and Mathematics 1 Communications in Nonlinear Science and Numerical Simulation 1 Foundations of Science 1 Journal of Multiple-Valued Logic and Soft Computing 1 Parallel Processing Letters 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 Annals of Discrete Mathematics 1 IFIP Advances in Information and Communication Technology 1 World Scientific Series in Information Studies 1 Advances in Computer Science and Engineering: Texts 1 EATCS Monographs on Theoretical Computer Science 1 Journal of Membrane Computing all top 5 Fields 179 Computer science (68-XX) 98 Mathematical logic and foundations (03-XX) 46 General and overarching topics; collections (00-XX) 26 Quantum theory (81-XX) 12 History and biography (01-XX) 9 Number theory (11-XX) 8 General topology (54-XX) 8 Probability theory and stochastic processes (60-XX) 7 Information and communication theory, circuits (94-XX) 6 Category theory; homological algebra (18-XX) 4 Combinatorics (05-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Numerical analysis (65-XX) 3 Biology and other natural sciences (92-XX) 2 Group theory and generalizations (20-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 137 Publications have been cited 782 times in 490 Documents Cited by ▼ Year ▼ Deciding parity games in quasipolynomial time. Zbl 1369.68234 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 67 2017 Information and randomness. An algorithmic perspective. Foreword by Gregory J. Chaitin and Arto Salomaa. 2nd rev. and ext. ed. Zbl 1055.68058 Calude, Cristian S. 65 2002 Information and randomness. An algorithmic perspective. Zbl 0922.68073 Calude, Cristian 39 1994 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072 Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y. 33 2001 Theories of computational complexity. Zbl 0633.03034 Calude, Cristian 29 1988 On partial randomness. Zbl 1077.03022 Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A. 28 2006 Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053 19 2001 Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080 Calude, Cristian S.; Nies, André 17 1997 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081 Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge 16 1998 Additive distances and quasi-distances between words. Zbl 1258.68074 Calude, Cristian S.; Salomaa, Kai; Yu, Sheng 16 2002 Natural halting probabilities, partial randomness, and zeta functions. Zbl 1171.68505 Calude, Cristian S.; Stay, Michael A. 15 2006 Is complexity a source of incompleteness? Zbl 1086.03047 Calude, Cristian S.; Jürgensen, Helmut 13 2005 Computing with cells and atoms. An introduction to quantum, DNA and membrane computing. Zbl 0976.68060 Calude, Cristian S.; Păun, Gheorghe 12 2001 A new measure of the difficulty of problems. Zbl 1139.03028 Calude, Cristian S.; Calude, Elena; Dinneen, Michael J. 12 2006 A variant of the Kochen-Specker theorem localising value indefiniteness. Zbl 1333.81017 Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl 11 2015 Most programs stop quickly or never halt. Zbl 1137.68031 Calude, Cristian S.; Stay, Michael A. 11 2008 Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098 Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr 10 2000 An empirical approach to the normality of \(\pi\). Zbl 1281.11077 Bailey, David H.; Borwein, Jonathan M.; Calude, Cristian S.; Dinneen, Michael J.; Dumitrescu, Monica; Yee, Alex 10 2012 Evaluating the complexity of mathematical problems. I. Zbl 1186.68226 Calude, Cristian S.; Calude, Elena 10 2009 Evaluating the complexity of mathematical problems. II. Zbl 1203.68056 Calude, Cristian S.; Calude, Elena 10 2010 Representation of left-computable \(\varepsilon \)-random reals. Zbl 1223.03023 Calude, Cristian S.; Hay, Nicholas J.; Stephan, Frank 9 2011 Chaitin \(\Omega\) numbers, Solovay machines, and Gödel incompleteness. Zbl 1042.68045 Calude, Cristian S. 8 2002 A characterization of c. e. random reals. Zbl 0992.68080 Calude, Cristian S. 8 2002 Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084 Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr 8 1997 Is independence an exception? Zbl 0822.03024 Calude, C.; Jürgensen, H.; Zimand, M. 8 1994 From Heisenberg to Gödel via Chaitin. Zbl 1104.81014 Svozil, Karl; Calude, Cristian S.; Stay, Michael A. 8 2005 Algorithmic randomness, quantum physics, and incompleteness. Zbl 1119.68097 Calude, Cristian S. 8 2005 Finite state complexity. Zbl 1235.68088 Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 8 2011 A quantum random number generator certified by value indefiniteness. Zbl 1342.65005 Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl 7 2014 Physical versus computational complementarity. I. Zbl 0889.68108 Calude, Cristian; Calude, Elena; Svozil, Karl; Yu, Sheng 7 1997 Computing a glimpse of randomness. Zbl 1117.68385 Calude, Cristian S.; Dinneen, Michael J.; Shu, Chi-Kou 7 2002 Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032 Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr 6 1999 Language-theoretic complexity of disjunctive sequences. Zbl 0894.68091 Calude, Cristian; Yu, Sheng 6 1997 On universal computably enumerable prefix codes. Zbl 1156.94327 Calude, Cristian S.; Staiger, Ludwig 6 2009 A topological characterization of random sequences. Zbl 1178.68255 Calude, Cristian S.; Marcus, Solomon; Staiger, Ludwig 6 2003 QUBO formulations for the graph isomorphism problem and related problems. Zbl 1382.68081 Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard 6 2017 A note on accelerated Turing machines. Zbl 1220.03039 Calude, Cristian S.; Staiger, Ludwig 6 2010 Exact approximations of Omega numbers. Zbl 1149.03029 Calude, Cristian S.; Dinneen, Michael J. 6 2007 Most numbers obey no probability laws. Zbl 0981.60013 Calude, Cristian; Zamfirescu, Tudor 5 1999 Qualitative properties of P. Martin-Löf random sequences. Zbl 0674.03013 Calude, Cristian; Chiţescu, Ion 5 1989 Generalisations of disjunctive sequences. Zbl 1061.03077 Calude, Cristian S.; Staiger, Ludwig 5 2005 The complexity of the four colour theorem. Zbl 1235.03071 Calude, Cristian S.; Calude, Elena 5 2010 Topological size of sets of partial recursive functions. Zbl 0495.03022 Calude, Cristian 5 1982 Classical, quantum and biological randomness as relative unpredictability. Zbl 1415.68113 Calude, Cristian S.; Longo, Giuseppe 5 2016 A hybrid quantum-classical paradigm to mitigate embedding costs in quantum annealing. Zbl 1430.81019 Abbott, Alastair A.; Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard 5 2019 De-quantizing the solution of Deutsch’s problem. Zbl 1119.81019 Calude, Cristian S. 5 2007 On the unpredictability of individual quantum measurement outcomes. Zbl 1465.81009 Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl 4 2015 Program-size complexity of intial segments and domination reducibility. Zbl 0945.68080 Calude, Cristian S.; Coles, Richard J. 4 1999 The deluge of spurious correlations in big data. Zbl 1392.68165 Calude, Cristian S.; Longo, Giuseppe 4 2017 Coding with minimal programs. Zbl 1319.68116 Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi 4 2001 Super-exponentials nonprimitive recursive, but rudimentary. Zbl 0632.03036 Calude, Cristian 4 1987 Unconventional models of computation. Proceedings of the 1st international conference, UMC ’98, Univ. of Auckland, Auckland (New Zealand), January 5–9, 1998. Zbl 0889.00033 4 1998 Every computably enumerable random real is provably computably enumerable random. Zbl 1178.03057 Calude, Cristian S.; Hay, Nicholas J. 4 2009 Universal recursively enumerable sets of strings. Zbl 1217.68115 Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank 4 2011 Universal recursively enumerable sets of strings. Zbl 1159.68011 Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank 4 2008 Algorithmically independent sequences. Zbl 1159.68012 Calude, Cristian S.; Zimand, Marius 4 2008 Program-size complexity computes the halting problem. Zbl 1027.03512 Chaitin, G. J.; Arslanov, A.; Calude, C. 4 1995 Bead-sort: A natural sorting algorithm. Zbl 1018.68022 Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 3 2002 The complexity of proving chaoticity and the Church-Turing thesis. Zbl 1311.68080 Calude, Cristian S.; Calude, Elena; Svozil, Karl 3 2010 Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Zbl 1318.68012 3 2015 Recursive Baire classification and speedable functions. Zbl 0798.03042 Calude, Cristian; Istrate, Gabriel; Zimand, Marius 3 1992 Computable approximations of reals: An information-theoretic analysis. Zbl 0902.68066 Calude, Cristian S.; Hertling, Peter H. 3 1998 Strong noncomputability of random strings. Zbl 0486.03026 Calude, Cristian; Chitescu, Ion 3 1982 Independent instances for some undecidable problems. Zbl 0517.03022 Calude, Cristian; Paun, Gheorghe 3 1983 Relativized topological size of sets of partial recursive functions. Zbl 0814.03033 Calude, Cristian 3 1991 Topology on words. Zbl 1167.68047 Calude, Cristian S.; Jürgensen, Helmut; Staiger, Ludwig 3 2009 Random sequences: Some topological and measure-theoretical properties. Zbl 0688.60001 Calude, Cristian; Chiţescu, Ion 3 1988 Liouville, computable, Borel normal and Martin-Löf random numbers. Zbl 1436.03225 Calude, Cristian S.; Staiger, Ludwig 3 2018 Incompleteness, complexity, randomness and beyond. Zbl 1030.68051 Calude, Cristian S. 3 2002 A new quantum random number generator certified by value indefiniteness. Zbl 1497.68232 Agüero Trejo, José Manuel; Calude, Cristian S. 3 2021 Finite state incompressible infinite sequences. Zbl 1338.68128 Calude, Cristian S.; Staiger, Ludwig; Stephan, Frank 3 2016 On topologies generated by Moisil resemblance relations. Zbl 0412.54010 Calude, Cristian; Cazanescu, Virgil Emil 2 1979 Kochen-Specker theorem: two geometric proofs. Zbl 1088.81504 Calude, Cristian S.; Hertling, Peter H.; Svozil, Karl 2 1998 Kraft-Chaitin inequality revisited. Zbl 0961.68063 Calude, Cristian; Grozea, Cristian 2 1996 A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260 Calude, Cristian S.; Dumitrescu, Monica 2 2018 On a theorem of Günter Asser. Zbl 0687.03019 Calude, Cristian; Sântean, Lila 2 1990 On recursive bounds for the exceptional values in speed-up. Zbl 0807.03026 Bridges, Douglas; Calude, Cristian 2 1994 Proving as a computable procedure. Zbl 1091.03029 Calude, Cristian S.; Rudeanu, Sergiu 2 2005 Mathematical proofs at a crossroad? Zbl 1065.00004 Calude, Cristian S.; Marcus, Solomon 2 2004 Random strings according to A.N. Kolmogorov and P. Martin-Loef classical approach. Zbl 0521.03024 Calude, Cristian; Chitescu, Ion 2 1982 The complexity of Euler’s integer partition theorem. Zbl 1283.68172 Calude, Cristian S.; Calude, Elena; Queen, Melissa S. 2 2012 State-size hierarchy for finite-state complexity. Zbl 1283.68191 Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 2 2012 Formal proof: reconciling correctness and understanding. Zbl 1247.03017 Calude, Cristian S.; Müller, Christine 2 2009 People and ideas in theoretical computer science. Zbl 0913.00024 2 1999 Passages of proof. Zbl 1169.03310 Calude, Cristian S.; Calude, Elena; Marcus, Solomon 2 2004 Deciding parity games in quasi-polynomial time. Zbl 07516621 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 2 2022 What is a halting probability? Zbl 1184.68273 Calude, Cristian S.; Chaitin, G. J. 2 2010 Algorithmically independent sequences. Zbl 1187.68268 Calude, Cristian S.; Zimand, Marius 2 2010 The Poincaré-Hardy inequality on the complement of a Cantor set. Zbl 1066.26009 Calude, Cristian S.; Pavlov, Boris 2 2002 Understanding the quantum computational speed-up via de-quantisation. Zbl 1459.81027 Abbott, Alastair A.; Calude, Cristian S. 2 2010 Categorical methods in computability. II. Zbl 0405.03025 Calude, Cristian 1 1978 The first example of a recursive function which is not primitive recursive. Zbl 0426.03042 Calude, Cristian; Marcus, Solomon; Tevy, Ionel 1 1979 The universal grammar as a hypothetical brain. Zbl 0457.68093 Calude, Cristian; Marcus, Solomon; Paun, Gheorghe 1 1979 The constructive implicit function theorem and applications in mechanics. Zbl 0959.03051 Bridges, D.; Calude, C.; Pavlov, B.; Ştefănescu, D. 1 1999 Sur une classe de distances dans un demi-groupe libre. Zbl 0302.68096 Calude, Cristian 1 1975 On metrizability of the free monoids. Zbl 0337.68053 Calude, Cristian 1 1976 Entropic measures, Markov information sources and complexity. Zbl 1029.94008 Calude, Cristian S.; Dumitrescu, Monica 1 2002 Computational complementarity and sofic shifts. Repr. from Australian Computer Science Communications 20, No. 3 (1998). Zbl 0952.68088 Calude, Cristian S.; Lipponen, Marjo 1 1998 Finite versus infinite. Contributions to an eternal dilemma. Zbl 0951.03003 1 2000 What is a random string. Zbl 0961.68061 Calude, Cristian 1 1995 To halt, or not to halt. That Is the question (to appear). Zbl 07502836 Calude, Cristian S. 1 2024 Deciding parity games in quasi-polynomial time. Zbl 07516621 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 2 2022 A new quantum random number generator certified by value indefiniteness. Zbl 1497.68232 Agüero Trejo, José Manuel; Calude, Cristian S. 3 2021 Bi-immunity over different size alphabets. Zbl 1514.68087 Calude, Cristian S.; Celine, Karen Frilya; Gao, Ziyuan; Jain, Sanjay; Staiger, Ludwig; Stephan, Frank 1 2021 Searching for shortest and least programs. Zbl 1443.68074 Calude, Cristian S.; Jain, Sanjay; Merkle, Wolfgang; Stephan, Frank 1 2020 The road to quantum computational supremacy. Zbl 1451.68103 Calude, Cristian S.; Calude, Elena 1 2020 A statistical anytime algorithm for the halting problem. Zbl 1485.68119 Calude, Cristian S.; Dumitrescu, Monica 1 2020 A hybrid quantum-classical paradigm to mitigate embedding costs in quantum annealing. Zbl 1430.81019 Abbott, Alastair A.; Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard 5 2019 Liouville, computable, Borel normal and Martin-Löf random numbers. Zbl 1436.03225 Calude, Cristian S.; Staiger, Ludwig 3 2018 A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260 Calude, Cristian S.; Dumitrescu, Monica 2 2018 Deciding parity games in quasipolynomial time. Zbl 1369.68234 Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 67 2017 QUBO formulations for the graph isomorphism problem and related problems. Zbl 1382.68081 Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard 6 2017 The deluge of spurious correlations in big data. Zbl 1392.68165 Calude, Cristian S.; Longo, Giuseppe 4 2017 Classical, quantum and biological randomness as relative unpredictability. Zbl 1415.68113 Calude, Cristian S.; Longo, Giuseppe 5 2016 Finite state incompressible infinite sequences. Zbl 1338.68128 Calude, Cristian S.; Staiger, Ludwig; Stephan, Frank 3 2016 A variant of the Kochen-Specker theorem localising value indefiniteness. Zbl 1333.81017 Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl 11 2015 On the unpredictability of individual quantum measurement outcomes. Zbl 1465.81009 Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl 4 2015 Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Zbl 1318.68012 3 2015 A quantum random number generator certified by value indefiniteness. Zbl 1342.65005 Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl 7 2014 Is feasibility in physics limited by fantasy alone? Zbl 1256.68087 Calude, Cristian S.; Svozil, Karl 1 2013 An empirical approach to the normality of \(\pi\). Zbl 1281.11077 Bailey, David H.; Borwein, Jonathan M.; Calude, Cristian S.; Dinneen, Michael J.; Dumitrescu, Monica; Yee, Alex 10 2012 The complexity of Euler’s integer partition theorem. Zbl 1283.68172 Calude, Cristian S.; Calude, Elena; Queen, Melissa S. 2 2012 State-size hierarchy for finite-state complexity. Zbl 1283.68191 Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 2 2012 Is there a universal image generator? Zbl 1245.00013 Calude, Cristian S.; Lewis, J. P. 1 2012 Von Neumann normalisation of a quantum random number generator. Zbl 1260.81042 Abbott, Alastair A.; Calude, Cristian S. 1 2012 Representation of left-computable \(\varepsilon \)-random reals. Zbl 1223.03023 Calude, Cristian S.; Hay, Nicholas J.; Stephan, Frank 9 2011 Finite state complexity. Zbl 1235.68088 Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 8 2011 Universal recursively enumerable sets of strings. Zbl 1217.68115 Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank 4 2011 Rainbow of computer science. Dedicated to Hermann Maurer on the occasion of his 70th birthday. Zbl 1214.68007 1 2011 Evaluating the complexity of mathematical problems. II. Zbl 1203.68056 Calude, Cristian S.; Calude, Elena 10 2010 A note on accelerated Turing machines. Zbl 1220.03039 Calude, Cristian S.; Staiger, Ludwig 6 2010 The complexity of the four colour theorem. Zbl 1235.03071 Calude, Cristian S.; Calude, Elena 5 2010 The complexity of proving chaoticity and the Church-Turing thesis. Zbl 1311.68080 Calude, Cristian S.; Calude, Elena; Svozil, Karl 3 2010 What is a halting probability? Zbl 1184.68273 Calude, Cristian S.; Chaitin, G. J. 2 2010 Algorithmically independent sequences. Zbl 1187.68268 Calude, Cristian S.; Zimand, Marius 2 2010 Understanding the quantum computational speed-up via de-quantisation. Zbl 1459.81027 Abbott, Alastair A.; Calude, Cristian S. 2 2010 Finite-state complexity and the size of transducers. Zbl 1455.68084 Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 1 2010 Evaluating the complexity of mathematical problems. I. Zbl 1186.68226 Calude, Cristian S.; Calude, Elena 10 2009 On universal computably enumerable prefix codes. Zbl 1156.94327 Calude, Cristian S.; Staiger, Ludwig 6 2009 Every computably enumerable random real is provably computably enumerable random. Zbl 1178.03057 Calude, Cristian S.; Hay, Nicholas J. 4 2009 Topology on words. Zbl 1167.68047 Calude, Cristian S.; Jürgensen, Helmut; Staiger, Ludwig 3 2009 Formal proof: reconciling correctness and understanding. Zbl 1247.03017 Calude, Cristian S.; Müller, Christine 2 2009 Unconventional computation. 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7–11, 2009. Proceedings. Zbl 1173.68004 1 2009 Most programs stop quickly or never halt. Zbl 1137.68031 Calude, Cristian S.; Stay, Michael A. 11 2008 Universal recursively enumerable sets of strings. Zbl 1159.68011 Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank 4 2008 Algorithmically independent sequences. Zbl 1159.68012 Calude, Cristian S.; Zimand, Marius 4 2008 Unconventional computation. 7th international conference, UC 2008, Vienna, Austria, August 25–28, 2008. Proceedings. Zbl 1149.68006 1 2008 Exact approximations of Omega numbers. Zbl 1149.03029 Calude, Cristian S.; Dinneen, Michael J. 6 2007 De-quantizing the solution of Deutsch’s problem. Zbl 1119.81019 Calude, Cristian S. 5 2007 Unconventional computation. 6th international conference, UC 2007, Kingston, Canada, August 13–17, 2007. Proceedings. Zbl 1124.68001 1 2007 From Heisenberg to Gödel via Chaitin. Zbl 1129.81300 Calude, Cristian S.; Stay, Michael A. 1 2007 On partial randomness. Zbl 1077.03022 Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A. 28 2006 Natural halting probabilities, partial randomness, and zeta functions. Zbl 1171.68505 Calude, Cristian S.; Stay, Michael A. 15 2006 A new measure of the difficulty of problems. Zbl 1139.03028 Calude, Cristian S.; Calude, Elena; Dinneen, Michael J. 12 2006 Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Zbl 1123.68004 1 2006 Is complexity a source of incompleteness? Zbl 1086.03047 Calude, Cristian S.; Jürgensen, Helmut 13 2005 From Heisenberg to Gödel via Chaitin. Zbl 1104.81014 Svozil, Karl; Calude, Cristian S.; Stay, Michael A. 8 2005 Algorithmic randomness, quantum physics, and incompleteness. Zbl 1119.68097 Calude, Cristian S. 8 2005 Generalisations of disjunctive sequences. Zbl 1061.03077 Calude, Cristian S.; Staiger, Ludwig 5 2005 Proving as a computable procedure. Zbl 1091.03029 Calude, Cristian S.; Rudeanu, Sergiu 2 2005 Randomness relative to Cantor expansions. Zbl 1101.68615 Calude, Cristian S.; Staiger, Ludwig; Svozil, Karl 1 2005 Mathematical proofs at a crossroad? Zbl 1065.00004 Calude, Cristian S.; Marcus, Solomon 2 2004 Passages of proof. Zbl 1169.03310 Calude, Cristian S.; Calude, Elena; Marcus, Solomon 2 2004 A fast natural algorithm for searching. Zbl 1068.68049 Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 1 2004 Balance machines: computing = balancing. Zbl 1200.68109 Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 1 2004 A topological characterization of random sequences. Zbl 1178.68255 Calude, Cristian S.; Marcus, Solomon; Staiger, Ludwig 6 2003 What is the value of Taxicab\((6)\)? Zbl 1084.11503 Calude, Cristian S.; Calude, Elena; Dinneen, Michael J. 1 2003 Information and randomness. An algorithmic perspective. Foreword by Gregory J. Chaitin and Arto Salomaa. 2nd rev. and ext. ed. Zbl 1055.68058 Calude, Cristian S. 65 2002 Additive distances and quasi-distances between words. Zbl 1258.68074 Calude, Cristian S.; Salomaa, Kai; Yu, Sheng 16 2002 Chaitin \(\Omega\) numbers, Solovay machines, and Gödel incompleteness. Zbl 1042.68045 Calude, Cristian S. 8 2002 A characterization of c. e. random reals. Zbl 0992.68080 Calude, Cristian S. 8 2002 Computing a glimpse of randomness. Zbl 1117.68385 Calude, Cristian S.; Dinneen, Michael J.; Shu, Chi-Kou 7 2002 Bead-sort: A natural sorting algorithm. Zbl 1018.68022 Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 3 2002 Incompleteness, complexity, randomness and beyond. Zbl 1030.68051 Calude, Cristian S. 3 2002 The Poincaré-Hardy inequality on the complement of a Cantor set. Zbl 1066.26009 Calude, Cristian S.; Pavlov, Boris 2 2002 Entropic measures, Markov information sources and complexity. Zbl 1029.94008 Calude, Cristian S.; Dumitrescu, Monica 1 2002 Automata: From uncertainty to quantum. Zbl 1073.68043 Calude, Cristian S.; Calude, Elena 1 2002 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072 Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y. 33 2001 Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053 19 2001 Computing with cells and atoms. An introduction to quantum, DNA and membrane computing. Zbl 0976.68060 Calude, Cristian S.; Păun, Gheorghe 12 2001 Coding with minimal programs. Zbl 1319.68116 Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi 4 2001 Unconventional models of computation, UMC’2K. Proceedings of the 2nd international conference, Solvay Institutes, FU Brussels, Belgium, December 13–16, 2000. Zbl 0954.00046 1 2001 Combinatorics, computability and logic. Proceedings of the 3rd international conference, DMTCS ’01. The conference was dedicated to Prof. Frank Harary on the occasion of the 80th birthday. Univ. of Auckland, New Zealand and Univ. of Constanţa, Romania, 2001. Zbl 0967.00065 1 2001 Metric lexical analysis. Zbl 1050.68090 Calude, Cristian S.; Salomaa, Kai; Yu, Sheng 1 2001 Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098 Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr 10 2000 Finite versus infinite. Contributions to an eternal dilemma. Zbl 0951.03003 1 2000 Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032 Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr 6 1999 Most numbers obey no probability laws. Zbl 0981.60013 Calude, Cristian; Zamfirescu, Tudor 5 1999 Program-size complexity of intial segments and domination reducibility. Zbl 0945.68080 Calude, Cristian S.; Coles, Richard J. 4 1999 People and ideas in theoretical computer science. Zbl 0913.00024 2 1999 The constructive implicit function theorem and applications in mechanics. Zbl 0959.03051 Bridges, D.; Calude, C.; Pavlov, B.; Ştefănescu, D. 1 1999 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081 Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge 16 1998 Unconventional models of computation. Proceedings of the 1st international conference, UMC ’98, Univ. of Auckland, Auckland (New Zealand), January 5–9, 1998. Zbl 0889.00033 4 1998 Computable approximations of reals: An information-theoretic analysis. Zbl 0902.68066 Calude, Cristian S.; Hertling, Peter H. 3 1998 Kochen-Specker theorem: two geometric proofs. Zbl 1088.81504 Calude, Cristian S.; Hertling, Peter H.; Svozil, Karl 2 1998 Computational complementarity and sofic shifts. Repr. from Australian Computer Science Communications 20, No. 3 (1998). Zbl 0952.68088 Calude, Cristian S.; Lipponen, Marjo 1 1998 Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080 Calude, Cristian S.; Nies, André 17 1997 Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084 Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr 8 1997 Physical versus computational complementarity. I. Zbl 0889.68108 Calude, Cristian; Calude, Elena; Svozil, Karl; Yu, Sheng 7 1997 Language-theoretic complexity of disjunctive sequences. Zbl 0894.68091 Calude, Cristian; Yu, Sheng 6 1997 ...and 37 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 585 Authors 68 Calude, Cristian S. 22 Stephan, Frank 20 Staiger, Ludwig 15 Salomaa, Kai T. 14 Svozil, Karl 12 Dinneen, Michael J. 12 Zimand, Marius 11 Barmpalias, George 11 Ng, Timothy 10 Calude, Elena 10 Zimmermann, Martín G. 9 Jürgensen, Helmut 9 Shen, Alexander 8 Downey, Rodney Graham 8 Nies, André Otfrid 8 Rappaport, David 8 Tadaki, Kohtaro 8 Zheng, Xizhong 7 Bienvenu, Laurent 7 Ćirić, Miroslav D. 7 Khoussainov, Bakhadyr M. 6 Becher, Verónica 6 Lewis-Pye, Andrew E. M. 5 Bailey, David Harold 5 Boker, Udi 5 Borwein, Jonathan Michael 5 Ignjatović, Jelena 5 Jain, Sanjay 5 Lehtinen, Karoliina 5 Merkle, Wolfgang 5 Păun, Gheorghe 5 Weinert, Alexander 5 Zenil, Hector 4 Abbott, Alastair A. 4 Benerecetti, Massimo 4 Dell’Erba, Daniele 4 Freund, Rudolf 4 Han, Yo-Sub 4 Hirschfeldt, Denis Roman 4 Leśniak, Krzysztof 4 Miller, Joseph S. 4 Mogavero, Fabio 4 Neider, Daniel 4 Okubo, Fumiya 4 Stamenković, Aleksandar 4 Stay, Michael A. 4 Wu, Guohua 4 Yokomori, Takashi 3 Brukner, Časlav 3 Cavaliere, Matteo 3 Cooper, Stuart Barry 3 Delahaye, Jean-Paul 3 Dumitrescu, Monica E. Bad 3 Figueira, Santiago 3 Gao, Ziyuan 3 Grigorieff, Serge 3 Hausmann, Daniel 3 Hertling, Peter H. 3 Hua, Richard 3 Hutter, Marcus 3 Istrate, Gabriel I. 3 Ivanov, Sergiu 3 Kjos-Hanssen, Bjørn 3 Ko, Sang-Ki 3 Manin, Yuriĭ Ivanovich 3 Matiyasevich, Yuriĭ Vladimirovich 3 Ohlmann, Pierre 3 Queen, Melissa S. 3 Šindelář, Jan 3 Terwijn, Sebastiaan A. 3 Teutsch, Jason 3 Weihrauch, Klaus 3 Yu, Liang 3 Yu, Sheng 2 Alhazov, Artiom 2 Ambos-Spies, Klaus 2 Bašić, Milan 2 Bhojraj, Tejas 2 Boček, Pavel 2 Bolotin, Arkady 2 Boros, Endre 2 Bridges, Douglas Suth 2 Burgin, Mark 2 Câmpeanu, Cezar 2 Chaitin, Gregory John 2 Chatterjee, Krishnendu 2 Chitescu, Ion 2 Desfontaines, Damien 2 Durand, Bruno 2 Elbassioni, Khaled M. 2 Exibard, Léo 2 Fan, Chen-Ming 2 Fijalkow, Nathanaël 2 Filiot, Emmanuel 2 Freivalds, Rūsiņš Mārtiņš 2 Gawrychowski, Paweł 2 Gurvich, Vladimir A. 2 Gutierrez, Julian 2 Heiber, Pablo Ariel 2 Henderson, Alec ...and 485 more Authors all top 5 Cited in 101 Serials 77 Theoretical Computer Science 18 Natural Computing 15 Information and Computation 14 Annals of Pure and Applied Logic 10 Journal of Computer and System Sciences 10 International Journal of Foundations of Computer Science 10 Logical Methods in Computer Science 8 International Journal of Theoretical Physics 7 MSCS. Mathematical Structures in Computer Science 7 Experimental Mathematics 7 Theory of Computing Systems 6 Information Processing Letters 6 Applied Mathematics and Computation 6 Kybernetika 6 Quantum Information Processing 5 Discrete Applied Mathematics 5 Information Sciences 5 The Journal of Symbolic Logic 5 The Bulletin of Symbolic Logic 5 Foundations of Physics 4 Chaos, Solitons and Fractals 4 Fuzzy Sets and Systems 4 Mathematical Logic Quarterly (MLQ) 3 Acta Informatica 3 The Mathematical Intelligencer 3 Physica D 3 Journal of Complexity 3 International Journal of Computer Mathematics 3 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 3 Foundations of Science 3 Quantum Studies: Mathematics and Foundations 3 Journal of Membrane Computing 2 Journal of Mathematical Physics 2 Physica A 2 Journal of Combinatorial Theory. Series A 2 Mathematical Systems Theory 2 Notre Dame Journal of Formal Logic 2 Studia Logica 2 Advances in Applied Mathematics 2 Archive for Mathematical Logic 2 Formal Methods in System Design 2 The Electronic Journal of Combinatorics 2 Annals of Mathematics and Artificial Intelligence 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 International Journal of Quantum Information 2 International Journal of Parallel, Emergent and Distributed Systems 2 Algorithms 1 Artificial Intelligence 1 Bulletin of the Australian Mathematical Society 1 Computers & Mathematics with Applications 1 International Journal of General Systems 1 Journal of Mathematical Analysis and Applications 1 Advances in Mathematics 1 Functional Analysis and its Applications 1 Inventiones Mathematicae 1 Journal of Philosophical Logic 1 Monatshefte für Mathematik 1 SIAM Journal on Computing 1 Topology and its Applications 1 Rendiconti di Matematica e delle sue Applicazioni. Serie VII 1 History and Philosophy of Logic 1 Constructive Approximation 1 Journal of Computer Science and Technology 1 Algorithmica 1 Journal of Theoretical Probability 1 SIAM Journal on Discrete Mathematics 1 Formal Aspects of Computing 1 Sugaku Expositions 1 Foundations of Computing and Decision Sciences 1 Russian Mathematics 1 Combinatorics, Probability and Computing 1 Economic Theory 1 Filomat 1 The Journal of Artificial Intelligence Research (JAIR) 1 Journal of Difference Equations and Applications 1 Doklady Mathematics 1 The Ramanujan Journal 1 Soft Computing 1 New Journal of Physics 1 Annalen der Physik. 8th Series 1 LMS Journal of Computation and Mathematics 1 International Journal of Applied Mathematics and Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Journal of High Energy Physics 1 ACM Journal of Experimental Algorithmics 1 Journal of Applied Logic 1 Parallel Processing Letters 1 Discrete Optimization 1 Mathematics in Computer Science 1 Logica Universalis 1 Optimization Letters 1 Applicable Analysis and Discrete Mathematics 1 Uniform Distribution Theory 1 Involve 1 Journal of Logic and Analysis 1 Computability 1 Axioms 1 Special Matrices 1 European Journal of Mathematics ...and 1 more Serials all top 5 Cited in 34 Fields 358 Computer science (68-XX) 168 Mathematical logic and foundations (03-XX) 52 Quantum theory (81-XX) 36 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 Number theory (11-XX) 18 Combinatorics (05-XX) 14 Probability theory and stochastic processes (60-XX) 11 General and overarching topics; collections (00-XX) 11 Biology and other natural sciences (92-XX) 11 Information and communication theory, circuits (94-XX) 10 Dynamical systems and ergodic theory (37-XX) 10 Statistical mechanics, structure of matter (82-XX) 10 Operations research, mathematical programming (90-XX) 8 Measure and integration (28-XX) 8 Statistics (62-XX) 6 History and biography (01-XX) 5 General topology (54-XX) 5 Numerical analysis (65-XX) 5 Systems theory; control (93-XX) 3 Category theory; homological algebra (18-XX) 3 Group theory and generalizations (20-XX) 3 Operator theory (47-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Nonassociative rings and algebras (17-XX) 2 Convex and discrete geometry (52-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Ordinary differential equations (34-XX) 1 Functional analysis (46-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.