Edit Profile Calude, Cristian S. Compute Distance To: Compute Author ID: calude.cristian-s Published as: Calude, C.; Calude, C. S.; Calude, Christian; Calude, Christian S.; Calude, Cris; Calude, Cris S.; Calude, Cristian; Calude, Cristian S.; Calude, S. Homepage: https://www.cs.auckland.ac.nz/~cristian/papers.html External Links: MGP · Wikidata · ORCID · dblp · GND Documents Indexed: 234 Publications since 1973, including 39 Books Reviewing Activity: 159 Reviews Biographic References: 3 Publications all top 5 Co-Authors 46 single-authored 25 Calude, Elena 20 Dinneen, Michael J. 14 Staiger, Ludwig 12 Chitescu, Ion 11 Svozil, Karl 9 Marcus, Solomon 9 Păun, Gheorghe 9 Rozenberg, Grzegorz 8 Khoussainov, Bakhadyr M. 7 Hertling, Peter H. 7 Stephan, Frank 6 Abbott, Alastair A. 6 Dumitrescu, Monica E. Bad 6 Zimand, Marius 5 Bridges, Douglas Suth 5 Salomaa, Arto Kustaa 4 Jürgensen, Helmut 4 Maurer, Hermann A. 4 Salomaa, Kai T. 4 Stay, Michael A. 4 Yu, Sheng 3 Arulanandham, Joshua J. 3 Burgin, Mark 3 Costa, José Félix 3 Nies, André Otfrid 3 Queen, Melissa S. 3 Zamfirescu, Tudor I. 2 Câmpeanu, Cezar 2 Chaitin, Gregory J. 2 Coles, Richard J. 2 Desfontaines, Damien 2 Freivalds, Rūsiņš Mārtiņš 2 Grozea, Cristian 2 Hay, Nicholas J. 2 Hua, Richard 2 Ishihara, Hajime 2 Istrate, Gabriel I. 2 Jain, Sanjay 2 Lipponen, Marjo 2 Longo, Giuseppe O. 2 Pavlov, Boris Sergeevich 2 Roblot, Tania K. 2 Ştefănescu, Doru 2 Tevy, Ionel 2 Vaida, Dragos 2 Vieru, Valentin 2 Wang, Yongge 1 Akl, Selim G. 1 Ambainis, Andris 1 Andraşiu, Mircea 1 Antoniou, Ioannis E. 1 Apsītis, Kalvis 1 Arslanov, Asat 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 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 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 Karpinski, Marek 1 Kazuo, Iwama 1 Kurta, Eva 1 Larfeldt, Tomas 1 Lennon, Michael J. J. 1 Lewis, James P. 1 Li, Wei 1 Lupacchini, Rossella 1 Malitza, Mihaela 1 Mardare, Radu 1 Merkle, Wolfgang 1 Meyerstein, F. Walter 1 Morita, Kenichi 1 Müller, Christine H. 1 Nicolescu, Radu 1 Oswald, Marion 1 Păun, George 1 Peper, Ferdinand ...and 34 more Co-Authors all top 5 Serials 19 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 1 RAIRO, Informatique Théorique 1 Journal of Computational Mathematics 1 1 Historia Mathematica 1 Notices of the American Mathematical Society 1 Bollettino della Unione Matemàtica Italiana. Serie VII. B 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 World Scientific Series in Information Studies 1 Advances in Computer Science and Engineering: Texts 1 EATCS Monographs on Theoretical Computer Science all top 5 Fields 171 Computer science (68-XX) 91 Mathematical logic and foundations (03-XX) 45 General and overarching topics; collections (00-XX) 23 Quantum theory (81-XX) 12 History and biography (01-XX) 8 Number theory (11-XX) 7 General topology (54-XX) 7 Probability theory and stochastic processes (60-XX) 7 Information and communication theory, circuits (94-XX) 6 Category theory; homological algebra (18-XX) 5 Combinatorics (05-XX) 3 Numerical analysis (65-XX) 2 Group theory and generalizations (20-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-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 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 118 Publications have been cited 579 times in 348 Documents Cited by ▼ Year ▼ Information and randomness. An algorithmic perspective. Foreword by Gregory J. Chaitin and Arto Salomaa. 2nd rev. and ext. ed. Zbl 1055.68058Calude, Cristian S. 57 2002 Information and randomness. An algorithmic perspective. Zbl 0922.68073Calude, Cristian 41 1994 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y. 29 2001 On partial randomness. Zbl 1077.03022Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A. 27 2006 Theories of computational complexity. Zbl 0633.03034Calude, Cristian 27 1988 Deciding parity games in quasipolynomial time. Zbl 1369.68234Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 19 2017 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge 17 1998 Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080Calude, Cristian S.; Nies, André 15 1997 Natural halting probabilities, partial randomness, and zeta functions. Zbl 1171.68505Calude, Cristian S.; Stay, Michael A. 14 2006 Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053Calude, Cristian S. (ed.); Păun, Gheorghe (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.) 11 2001 Representation of left-computable \(\varepsilon \)-random reals. Zbl 1223.03023Calude, Cristian S.; Hay, Nicholas J.; Stephan, Frank 10 2011 Most programs stop quickly or never halt. Zbl 1137.68031Calude, Cristian S.; Stay, Michael A. 10 2008 Is complexity a source of incompleteness? Zbl 1086.03047Calude, Cristian S.; Jürgensen, Helmut 10 2005 Computing with cells and atoms. An introduction to quantum, DNA and membrane computing. Zbl 0976.68060Calude, Cristian S.; Păun, Gheorghe 10 2001 An empirical approach to the normality of \(\pi\). Zbl 1281.11077Bailey, David H.; Borwein, Jonathan M.; Calude, Cristian S.; Dinneen, Michael J.; Dumitrescu, Monica; Yee, Alex 9 2012 A new measure of the difficulty of problems. Zbl 1139.03028Calude, Cristian S.; Calude, Elena; Dinneen, Michael J. 9 2006 Additive distances and quasi-distances between words. Zbl 1258.68074Calude, Cristian S.; Salomaa, Kai; Yu, Sheng 9 2002 Computing a glimpse of randomness. Zbl 1117.68385Calude, Cristian S.; Dinneen, Michael J.; Shu, Chi-Kou 9 2002 Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr 9 2000 A characterization of c. e. random reals. Zbl 0992.68080Calude, Cristian S. 8 2002 From Heisenberg to Gödel via Chaitin. Zbl 1104.81014Svozil, Karl; Calude, Cristian S.; Stay, Michael A. 7 2005 Chaitin \(\Omega\) numbers, Solovay machines, and Gödel incompleteness. Zbl 1042.68045Calude, Cristian S. 7 2002 Physical versus computational complementarity. I. Zbl 0889.68108Calude, Cristian; Calude, Elena; Svozil, Karl; Yu, Sheng 7 1997 Is independence an exception? Zbl 0822.03024Calude, C.; Jürgensen, H.; Zimand, M. 7 1994 Evaluating the complexity of mathematical problems. II. Zbl 1203.68056Calude, Cristian S.; Calude, Elena 6 2010 Evaluating the complexity of mathematical problems. I. Zbl 1186.68226Calude, Cristian S.; Calude, Elena 6 2009 Exact approximations of Omega numbers. Zbl 1149.03029Calude, Cristian S.; Dinneen, Michael J. 6 2007 Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr 6 1999 Language-theoretic complexity of disjunctive sequences. Zbl 0894.68091Calude, Cristian; Yu, Sheng 6 1997 Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr 6 1997 A variant of the Kochen-Specker theorem localising value indefiniteness. Zbl 1333.81017Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl 5 2015 A note on accelerated Turing machines. Zbl 1220.03039Calude, Cristian S.; Staiger, Ludwig 5 2010 Algorithmic randomness, quantum physics, and incompleteness. Zbl 1119.68097Calude, Cristian S. 5 2005 A topological characterization of random sequences. Zbl 1178.68255Calude, Cristian S.; Marcus, Solomon; Staiger, Ludwig 5 2003 Finite state complexity. Zbl 1235.68088Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 4 2011 The complexity of the four colour theorem. Zbl 1235.03071Calude, Cristian S.; Calude, Elena 4 2010 Every computably enumerable random real is provably computably enumerable random. Zbl 1178.03057Calude, Cristian S.; Hay, Nicholas J. 4 2009 On universal computably enumerable prefix codes. Zbl 1156.94327Calude, Cristian S.; Staiger, Ludwig 4 2009 Program-size complexity of intial segments and domination reducibility. Zbl 0945.68080Calude, Cristian S.; Coles, Richard J. 4 1999 Qualitative properties of P. Martin-Löf random sequences. Zbl 0674.03013Calude, Cristian; Chiţescu, Ion 4 1989 Super-exponentials nonprimitive recursive, but rudimentary. Zbl 0632.03036Calude, Cristian 4 1987 Topological size of sets of partial recursive functions. Zbl 0495.03022Calude, Cristian 4 1982 Universal recursively enumerable sets of strings. Zbl 1159.68011Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank 3 2008 De-quantizing the solution of Deutsch’s problem. Zbl 1119.81019Calude, Cristian S. 3 2007 Incompleteness, complexity, randomness and beyond. Zbl 1030.68051Calude, Cristian S. 3 2002 Coding with minimal programs. Zbl 1319.68116Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi 3 2001 Most numbers obey no probability laws. Zbl 0981.60013Calude, Cristian; Zamfirescu, Tudor 3 1999 Computable approximations of reals: An information-theoretic analysis. Zbl 0902.68066Calude, Cristian S.; Hertling, Peter H. 3 1998 Strong noncomputability of random strings. Zbl 0486.03026Calude, Cristian; Chitescu, Ion 3 1982 The deluge of spurious correlations in big data. Zbl 1392.68165Calude, Cristian S.; Longo, Giuseppe 2 2017 Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Zbl 1318.68012Calude, S. (ed.); Dinneen, J. (ed.) 2 2015 State-size hierarchy for finite-state complexity. Zbl 1283.68191Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 2 2012 Universal recursively enumerable sets of strings. Zbl 1217.68115Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank 2 2011 The complexity of proving chaoticity and the Church-Turing thesis. Zbl 1311.68080Calude, Cristian S.; Calude, Elena; Svozil, Karl 2 2010 What is a halting probability? Zbl 1184.68273Calude, Cristian S.; Chaitin, G. J. 2 2010 Algorithmically independent sequences. Zbl 1159.68012Calude, Cristian S.; Zimand, Marius 2 2008 Generalisations of disjunctive sequences. Zbl 1061.03077Calude, Cristian S.; Staiger, Ludwig 2 2005 Passages of proof. Zbl 1169.03310Calude, Cristian S.; Calude, Elena; Marcus, Solomon 2 2004 Mathematical proofs at a crossroad? Zbl 1065.00004Calude, Cristian S.; Marcus, Solomon 2 2004 The Poincaré-Hardy inequality on the complement of a Cantor set. Zbl 1066.26009Calude, Cristian S.; Pavlov, Boris 2 2002 Bead-sort: A natural sorting algorithm. Zbl 1018.68022Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 2 2002 Kochen-Specker theorem: two geometric proofs. Zbl 1088.81504Calude, Cristian S.; Hertling, Peter H.; Svozil, Karl 2 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.00033Calude, C. S. (ed.); Casti, J. (ed.); Dinneen, M. J. (ed.) 2 1998 Kraft-Chaitin inequality revisited. Zbl 0961.68063Calude, Cristian; Grozea, Cristian 2 1996 Program-size complexity computes the halting problem. Zbl 1027.03512Chaitin, G. J.; Arslanov, A.; Calude, C. 2 1995 Recursive Baire classification and speedable functions. Zbl 0798.03042Calude, Cristian; Istrate, Gabriel; Zimand, Marius 2 1992 Relativized topological size of sets of partial recursive functions. Zbl 0814.03033Calude, Cristian 2 1991 Random sequences: Some topological and measure-theoretical properties. Zbl 0688.60001Calude, Cristian; Chiţescu, Ion 2 1988 Independent instances for some undecidable problems. Zbl 0517.03022Calude, Cristian; Paun, Gheorghe 2 1983 Random strings according to A.N. Kolmogorov and P. Martin-Loef classical approach. Zbl 0521.03024Calude, Cristian; Chitescu, Ion 2 1982 On topologies generated by Moisil resemblance relations. Zbl 0412.54010Calude, Cristian; Cazanescu, Virgil Emil 2 1979 Sur une classe de distances dans un demi-groupe libre. Zbl 0302.68096Calude, Cristian 2 1975 A hybrid quantum-classical paradigm to mitigate embedding costs in quantum annealing. Zbl 1430.81019Abbott, Alastair A.; Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard 1 2019 A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260Calude, Cristian S.; Dumitrescu, Monica 1 2018 QUBO formulations for the graph isomorphism problem and related problems. Zbl 1382.68081Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard 1 2017 Classical, quantum and biological randomness as relative unpredictability. Zbl 1415.68113Calude, Cristian S.; Longo, Giuseppe 1 2016 Finite state incompressible infinite sequences. Zbl 1338.68128Calude, Cristian S.; Staiger, Ludwig; Stephan, Frank 1 2016 Is feasibility in physics limited by fantasy alone? Zbl 1256.68087Calude, Cristian S.; Svozil, Karl 1 2013 The complexity of Euler’s integer partition theorem. Zbl 1283.68172Calude, Cristian S.; Calude, Elena; Queen, Melissa S. 1 2012 Rainbow of computer science. Dedicated to Hermann Maurer on the occasion of his 70th birthday. Zbl 1214.68007Calude, Cristian S. (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.) 1 2011 Algorithmically independent sequences. Zbl 1187.68268Calude, Cristian S.; Zimand, Marius 1 2010 Unconventional computation. 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7–11, 2009. Proceedings. Zbl 1173.68004Calude, Cristian S. (ed.); Costa, José Félix (ed.); Dershowitz, Nachum (ed.); Freire, Elisabete (ed.); Rozenberg, Grzegorz (ed.) 1 2009 Formal proof: reconciling correctness and understanding. Zbl 1247.03017Calude, Cristian S.; Müller, Christine 1 2009 Unconventional computation. 7th international conference, UC 2008, Vienna, Austria, August 25–28, 2008. Proceedings. Zbl 1149.68006Calude, Cristian S. (ed.); Costa, José Félix (ed.); Freund, Rudolf (ed.); Oswald, Marion (ed.); Rozenberg, Grzegorz (ed.) 1 2008 Unconventional computation. 6th international conference, UC 2007, Kingston, Canada, August 13–17, 2007. Proceedings. Zbl 1124.68001Akl, Selim G. (ed.); Calude, Cristian S. (ed.); Dinneen, Michael J. (ed.); Rozenberg, Grzegorz (ed.); Wareham, H. Todd (ed.) 1 2007 From Heisenberg to Gödel via Chaitin. Zbl 1129.81300Calude, Cristian S.; Stay, Michael A. 1 2007 Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Zbl 1123.68004Calude, C. S. (ed.); Dinneen, M. J. (ed.); Păun, G. (ed.); Rozenberg, G. (ed.); Stepney, S. (ed.) 1 2006 Constructivity, computability, and logic. A collection of papers in honour of the 60th birthday of Douglas Bridges. Zbl 1119.03303Calude, C. S.; Ishihara, H. 1 2005 Proving as a computable procedure. Zbl 1091.03029Calude, Cristian S.; Rudeanu, Sergiu 1 2005 Randomness relative to Cantor expansions. Zbl 1101.68615Calude, Cristian S.; Staiger, Ludwig; Svozil, Karl 1 2005 Balance machines: computing = balancing. Zbl 1200.68109Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 1 2004 A fast natural algorithm for searching. Zbl 1068.68049Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 1 2004 Entropic measures, Markov information sources and complexity. Zbl 1029.94008Calude, Cristian S.; Dumitrescu, Monica 1 2002 Metric lexical analysis. Zbl 1050.68090Calude, Cristian S.; Salomaa, Kai; Yu, Sheng 1 2001 Randomness on full shift spaces. Zbl 1064.68064Calude, Cristian S.; Hertling, Peter H.; Jürgensen, Helmut; Weihrauch, Klaus 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.00065Calude, C. S. (ed.); Dinneen, M. J. (ed.); Sburlan, S. (ed.) 1 2001 Unconventional models of computation, UMC’2K. Proceedings of the 2nd international conference, Solvay Institutes, FU Brussels, Belgium, December 13–16, 2000. Zbl 0954.00046Antoniou, I. (ed.); Calude, C. S. (ed.); Dinneen, M. J. (ed.) 1 2001 The constructive implicit function theorem and applications in mechanics. Zbl 0959.03051Bridges, D.; Calude, C.; Pavlov, B.; Ştefănescu, D. 1 1999 People and ideas in theoretical computer science. Zbl 0913.00024Calude, Cristian S. (ed.) 1 1999 Computational complementarity and sofic shifts. Zbl 0952.68088Calude, Cristian S.; Lipponen, Marjo 1 1998 A hybrid quantum-classical paradigm to mitigate embedding costs in quantum annealing. Zbl 1430.81019Abbott, Alastair A.; Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard 1 2019 A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260Calude, Cristian S.; Dumitrescu, Monica 1 2018 Deciding parity games in quasipolynomial time. Zbl 1369.68234Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank 19 2017 The deluge of spurious correlations in big data. Zbl 1392.68165Calude, Cristian S.; Longo, Giuseppe 2 2017 QUBO formulations for the graph isomorphism problem and related problems. Zbl 1382.68081Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard 1 2017 Classical, quantum and biological randomness as relative unpredictability. Zbl 1415.68113Calude, Cristian S.; Longo, Giuseppe 1 2016 Finite state incompressible infinite sequences. Zbl 1338.68128Calude, Cristian S.; Staiger, Ludwig; Stephan, Frank 1 2016 A variant of the Kochen-Specker theorem localising value indefiniteness. Zbl 1333.81017Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl 5 2015 Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Zbl 1318.68012Calude, S. (ed.); Dinneen, J. (ed.) 2 2015 Is feasibility in physics limited by fantasy alone? Zbl 1256.68087Calude, Cristian S.; Svozil, Karl 1 2013 An empirical approach to the normality of \(\pi\). Zbl 1281.11077Bailey, David H.; Borwein, Jonathan M.; Calude, Cristian S.; Dinneen, Michael J.; Dumitrescu, Monica; Yee, Alex 9 2012 State-size hierarchy for finite-state complexity. Zbl 1283.68191Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 2 2012 The complexity of Euler’s integer partition theorem. Zbl 1283.68172Calude, Cristian S.; Calude, Elena; Queen, Melissa S. 1 2012 Representation of left-computable \(\varepsilon \)-random reals. Zbl 1223.03023Calude, Cristian S.; Hay, Nicholas J.; Stephan, Frank 10 2011 Finite state complexity. Zbl 1235.68088Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K. 4 2011 Universal recursively enumerable sets of strings. Zbl 1217.68115Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank 2 2011 Rainbow of computer science. Dedicated to Hermann Maurer on the occasion of his 70th birthday. Zbl 1214.68007Calude, Cristian S. (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.) 1 2011 Evaluating the complexity of mathematical problems. II. Zbl 1203.68056Calude, Cristian S.; Calude, Elena 6 2010 A note on accelerated Turing machines. Zbl 1220.03039Calude, Cristian S.; Staiger, Ludwig 5 2010 The complexity of the four colour theorem. Zbl 1235.03071Calude, Cristian S.; Calude, Elena 4 2010 The complexity of proving chaoticity and the Church-Turing thesis. Zbl 1311.68080Calude, Cristian S.; Calude, Elena; Svozil, Karl 2 2010 What is a halting probability? Zbl 1184.68273Calude, Cristian S.; Chaitin, G. J. 2 2010 Algorithmically independent sequences. Zbl 1187.68268Calude, Cristian S.; Zimand, Marius 1 2010 Evaluating the complexity of mathematical problems. I. Zbl 1186.68226Calude, Cristian S.; Calude, Elena 6 2009 Every computably enumerable random real is provably computably enumerable random. Zbl 1178.03057Calude, Cristian S.; Hay, Nicholas J. 4 2009 On universal computably enumerable prefix codes. Zbl 1156.94327Calude, Cristian S.; Staiger, Ludwig 4 2009 Unconventional computation. 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7–11, 2009. Proceedings. Zbl 1173.68004Calude, Cristian S. (ed.); Costa, José Félix (ed.); Dershowitz, Nachum (ed.); Freire, Elisabete (ed.); Rozenberg, Grzegorz (ed.) 1 2009 Formal proof: reconciling correctness and understanding. Zbl 1247.03017Calude, Cristian S.; Müller, Christine 1 2009 Most programs stop quickly or never halt. Zbl 1137.68031Calude, Cristian S.; Stay, Michael A. 10 2008 Universal recursively enumerable sets of strings. Zbl 1159.68011Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank 3 2008 Algorithmically independent sequences. Zbl 1159.68012Calude, Cristian S.; Zimand, Marius 2 2008 Unconventional computation. 7th international conference, UC 2008, Vienna, Austria, August 25–28, 2008. Proceedings. Zbl 1149.68006Calude, Cristian S. (ed.); Costa, José Félix (ed.); Freund, Rudolf (ed.); Oswald, Marion (ed.); Rozenberg, Grzegorz (ed.) 1 2008 Exact approximations of Omega numbers. Zbl 1149.03029Calude, Cristian S.; Dinneen, Michael J. 6 2007 De-quantizing the solution of Deutsch’s problem. Zbl 1119.81019Calude, Cristian S. 3 2007 Unconventional computation. 6th international conference, UC 2007, Kingston, Canada, August 13–17, 2007. Proceedings. Zbl 1124.68001Akl, Selim G. (ed.); Calude, Cristian S. (ed.); Dinneen, Michael J. (ed.); Rozenberg, Grzegorz (ed.); Wareham, H. Todd (ed.) 1 2007 From Heisenberg to Gödel via Chaitin. Zbl 1129.81300Calude, Cristian S.; Stay, Michael A. 1 2007 On partial randomness. Zbl 1077.03022Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A. 27 2006 Natural halting probabilities, partial randomness, and zeta functions. Zbl 1171.68505Calude, Cristian S.; Stay, Michael A. 14 2006 A new measure of the difficulty of problems. Zbl 1139.03028Calude, Cristian S.; Calude, Elena; Dinneen, Michael J. 9 2006 Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Zbl 1123.68004Calude, C. S. (ed.); Dinneen, M. J. (ed.); Păun, G. (ed.); Rozenberg, G. (ed.); Stepney, S. (ed.) 1 2006 Is complexity a source of incompleteness? Zbl 1086.03047Calude, Cristian S.; Jürgensen, Helmut 10 2005 From Heisenberg to Gödel via Chaitin. Zbl 1104.81014Svozil, Karl; Calude, Cristian S.; Stay, Michael A. 7 2005 Algorithmic randomness, quantum physics, and incompleteness. Zbl 1119.68097Calude, Cristian S. 5 2005 Generalisations of disjunctive sequences. Zbl 1061.03077Calude, Cristian S.; Staiger, Ludwig 2 2005 Constructivity, computability, and logic. A collection of papers in honour of the 60th birthday of Douglas Bridges. Zbl 1119.03303Calude, C. S.; Ishihara, H. 1 2005 Proving as a computable procedure. Zbl 1091.03029Calude, Cristian S.; Rudeanu, Sergiu 1 2005 Randomness relative to Cantor expansions. Zbl 1101.68615Calude, Cristian S.; Staiger, Ludwig; Svozil, Karl 1 2005 Passages of proof. Zbl 1169.03310Calude, Cristian S.; Calude, Elena; Marcus, Solomon 2 2004 Mathematical proofs at a crossroad? Zbl 1065.00004Calude, Cristian S.; Marcus, Solomon 2 2004 Balance machines: computing = balancing. Zbl 1200.68109Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 1 2004 A fast natural algorithm for searching. Zbl 1068.68049Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 1 2004 A topological characterization of random sequences. Zbl 1178.68255Calude, Cristian S.; Marcus, Solomon; Staiger, Ludwig 5 2003 Information and randomness. An algorithmic perspective. Foreword by Gregory J. Chaitin and Arto Salomaa. 2nd rev. and ext. ed. Zbl 1055.68058Calude, Cristian S. 57 2002 Additive distances and quasi-distances between words. Zbl 1258.68074Calude, Cristian S.; Salomaa, Kai; Yu, Sheng 9 2002 Computing a glimpse of randomness. Zbl 1117.68385Calude, Cristian S.; Dinneen, Michael J.; Shu, Chi-Kou 9 2002 A characterization of c. e. random reals. Zbl 0992.68080Calude, Cristian S. 8 2002 Chaitin \(\Omega\) numbers, Solovay machines, and Gödel incompleteness. Zbl 1042.68045Calude, Cristian S. 7 2002 Incompleteness, complexity, randomness and beyond. Zbl 1030.68051Calude, Cristian S. 3 2002 The Poincaré-Hardy inequality on the complement of a Cantor set. Zbl 1066.26009Calude, Cristian S.; Pavlov, Boris 2 2002 Bead-sort: A natural sorting algorithm. Zbl 1018.68022Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 2 2002 Entropic measures, Markov information sources and complexity. Zbl 1029.94008Calude, Cristian S.; Dumitrescu, Monica 1 2002 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y. 29 2001 Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053Calude, Cristian S. (ed.); Păun, Gheorghe (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.) 11 2001 Computing with cells and atoms. An introduction to quantum, DNA and membrane computing. Zbl 0976.68060Calude, Cristian S.; Păun, Gheorghe 10 2001 Coding with minimal programs. Zbl 1319.68116Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi 3 2001 Metric lexical analysis. Zbl 1050.68090Calude, Cristian S.; Salomaa, Kai; Yu, Sheng 1 2001 Randomness on full shift spaces. Zbl 1064.68064Calude, Cristian S.; Hertling, Peter H.; Jürgensen, Helmut; Weihrauch, Klaus 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.00065Calude, C. S. (ed.); Dinneen, M. J. (ed.); Sburlan, S. (ed.) 1 2001 Unconventional models of computation, UMC’2K. Proceedings of the 2nd international conference, Solvay Institutes, FU Brussels, Belgium, December 13–16, 2000. Zbl 0954.00046Antoniou, I. (ed.); Calude, C. S. (ed.); Dinneen, M. J. (ed.) 1 2001 Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr 9 2000 Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr 6 1999 Program-size complexity of intial segments and domination reducibility. Zbl 0945.68080Calude, Cristian S.; Coles, Richard J. 4 1999 Most numbers obey no probability laws. Zbl 0981.60013Calude, Cristian; Zamfirescu, Tudor 3 1999 The constructive implicit function theorem and applications in mechanics. Zbl 0959.03051Bridges, D.; Calude, C.; Pavlov, B.; Ştefănescu, D. 1 1999 People and ideas in theoretical computer science. Zbl 0913.00024Calude, Cristian S. (ed.) 1 1999 Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge 17 1998 Computable approximations of reals: An information-theoretic analysis. Zbl 0902.68066Calude, Cristian S.; Hertling, Peter H. 3 1998 Kochen-Specker theorem: two geometric proofs. Zbl 1088.81504Calude, Cristian S.; Hertling, Peter H.; Svozil, Karl 2 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.00033Calude, C. S. (ed.); Casti, J. (ed.); Dinneen, M. J. (ed.) 2 1998 Computational complementarity and sofic shifts. Zbl 0952.68088Calude, Cristian S.; Lipponen, Marjo 1 1998 Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080Calude, Cristian S.; Nies, André 15 1997 Physical versus computational complementarity. I. Zbl 0889.68108Calude, Cristian; Calude, Elena; Svozil, Karl; Yu, Sheng 7 1997 Language-theoretic complexity of disjunctive sequences. Zbl 0894.68091Calude, Cristian; Yu, Sheng 6 1997 Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr 6 1997 Optimum extendible prefix codes. Zbl 0960.68069Calude, Cristian S.; Tomescu, Ioan 1 1997 Effects of Kolmogorov complexity present in inductive inference as well. Zbl 0885.03040Ambainis, Andris; Apsītis, Kalvis; Calude, Cristian; Freivalds, Rūsiņš; Karpinski, Marek; Larfeldt, Tomas; Sala, Iveta; Smotrovs, Juris 1 1997 Do the zeros of Riemann’s zeta-function form a random sequence? Zbl 0922.11073Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr 1 1997 Kraft-Chaitin inequality revisited. Zbl 0961.68063Calude, Cristian; Grozea, Cristian 2 1996 Algorithmic information theory: Open problems. Zbl 0960.68596Calude, Cristian 1 1996 Effective category and measure in abstract complexity theory. Zbl 0872.03027Calude, Cristian; Zimand, Marius 1 1996 Program-size complexity computes the halting problem. Zbl 1027.03512Chaitin, G. J.; Arslanov, A.; Calude, C. 2 1995 Strong determinism vs. computability. Zbl 0970.03021Calude, Cristian; Campbell, Douglas I.; Svozil, Karl; Ştefǎnescu, Doru 1 1995 What is a random string. Zbl 0961.68061Calude, Cristian 1 1995 Information and randomness. An algorithmic perspective. Zbl 0922.68073Calude, Cristian 41 1994 Is independence an exception? Zbl 0822.03024Calude, C.; Jürgensen, H.; Zimand, M. 7 1994 On recursive bounds for the exceptional values in speed-up. Zbl 0807.03026Bridges, Douglas; Calude, Cristian 1 1994 Recursive Baire classification and speedable functions. Zbl 0798.03042Calude, Cristian; Istrate, Gabriel; Zimand, Marius 2 1992 Relativized topological size of sets of partial recursive functions. Zbl 0814.03033Calude, Cristian 2 1991 Qualitative properties of P. Martin-Löf random sequences. Zbl 0674.03013Calude, Cristian; Chiţescu, Ion 4 1989 Theories of computational complexity. Zbl 0633.03034Calude, Cristian 27 1988 ...and 18 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 414 Authors 59 Calude, Cristian S. 17 Staiger, Ludwig 15 Stephan, Frank 12 Svozil, Karl 11 Barmpalias, George 9 Calude, Elena 9 Salomaa, Kai T. 9 Zimand, Marius 8 Downey, Rodney Graham 8 Jürgensen, Helmut 8 Tadaki, Kohtaro 7 Zheng, Xizhong 6 Dinneen, Michael J. 6 Khoussainov, Bakhadyr M. 6 Ng, Timothy 6 Nies, André Otfrid 6 Shen, Alexander 5 Bailey, David Harold 5 Borwein, Jonathan Michael 5 Ćirić, Miroslav D. 5 Lewis-Pye, Andrew E. M. 5 Păun, Gheorghe 5 Rappaport, David 4 Becher, Verónica 4 Hirschfeldt, Denis Roman 4 Ignjatović, Jelena 4 Miller, Joseph S. 4 Stay, Michael A. 4 Wu, Guohua 3 Abbott, Alastair A. 3 Benerecetti, Massimo 3 Bienvenu, Laurent 3 Cavaliere, Matteo 3 Cooper, Stuart Barry 3 Dell’Erba, Daniele 3 Dumitrescu, Monica E. Bad 3 Figueira, Santiago 3 Hertling, Peter H. 3 Manin, Yuri Ivanovich 3 Merkle, Wolfgang 3 Mogavero, Fabio 3 Šindelář, Jan 3 Stamenković, Aleksandar 3 Terwijn, Sebastiaan A. 3 Weihrauch, Klaus 3 Yu, Sheng 3 Zenil, Hector 3 Zimmermann, Martín G. 2 Ambos-Spies, Klaus 2 Bašić, Milan 2 Benatti, Fabio 2 Bertrand, Nathalie 2 Boček, Pavel 2 Bolotin, Arkady 2 Boros, Endre 2 Bridges, Douglas Suth 2 Brukner, Časlav 2 Burgin, Mark 2 Câmpeanu, Cezar 2 Chaitin, Gregory J. 2 Chitescu, Ion 2 Delahaye, Jean-Paul 2 Desfontaines, Damien 2 Dewaskar, Miheer 2 Durand, Bruno 2 Elbassioni, Khaled M. 2 Fan, Chen-Ming 2 Formenti, Enrico 2 Genest, Blaise 2 Gimbert, Hugo 2 Grigorieff, Serge 2 Gurvich, Vladimir A. 2 Hölzl, Rupert 2 Huang, Cheng-Chih 2 Hudelson, W. M. Phillip 2 Hutter, Marcus 2 Ilie, Lucian 2 Istrate, Gabriel I. 2 Jain, Sanjay 2 Kleijn, Jetty H. C. M. 2 Kojman, Menachem 2 Koutny, Maciej 2 Kräling, Thorsten 2 Kramosil, Ivan 2 LaForte, Geoff 2 Leśniak, Krzysztof 2 Longo, Giuseppe O. 2 Makino, Kazuhisa 2 Mardare, Radu 2 More, Malika 2 Omri, Eran 2 Queen, Melissa S. 2 Reimann, Jan 2 Simpson, Stephen G. 2 Sosík, Petr 2 Teutsch, Jason 2 Tomescu, Ioan 2 Wang, Yongge 2 Weiermann, Andreas 2 Weinert, Alexander ...and 314 more Authors all top 5 Cited in 80 Serials 65 Theoretical Computer Science 15 Natural Computing 14 Annals of Pure and Applied Logic 9 Journal of Computer and System Sciences 9 Information and Computation 9 International Journal of Foundations of Computer Science 7 Information Processing Letters 7 MSCS. Mathematical Structures in Computer Science 7 Experimental Mathematics 7 Theory of Computing Systems 7 Logical Methods in Computer Science 6 International Journal of Theoretical Physics 6 Applied Mathematics and Computation 6 Kybernetika 5 Discrete Applied Mathematics 5 Chaos, Solitons and Fractals 5 The Bulletin of Symbolic Logic 4 Fuzzy Sets and Systems 4 Information Sciences 4 The Journal of Symbolic Logic 3 Acta Informatica 3 The Mathematical Intelligencer 3 Journal of Complexity 3 International Journal of Computer Mathematics 3 Archive for Mathematical Logic 3 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 3 Mathematical Logic Quarterly (MLQ) 3 Foundations of Physics 3 Quantum Studies: Mathematics and Foundations 2 Journal of Mathematical Physics 2 Journal of Combinatorial Theory. Series A 2 Mathematical Systems Theory 2 Advances in Applied Mathematics 2 Physica D 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 Communications in Nonlinear Science and Numerical Simulation 2 Foundations of Science 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 Discrete Mathematics 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 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Rendiconti di Matematica e delle sue Applicazioni. Serie VII 1 Journal of Computer Science and Technology 1 Algorithmica 1 Journal of Theoretical Probability 1 Sugaku Expositions 1 Russian Mathematics 1 Formal Methods in System Design 1 Combinatorics, Probability and Computing 1 Economic Theory 1 The Electronic Journal of Combinatorics 1 The Journal of Artificial Intelligence Research (JAIR) 1 The Ramanujan Journal 1 Soft Computing 1 Chaos 1 New Journal of Physics 1 Annalen der Physik. 8th Series 1 LMS Journal of Computation and Mathematics 1 RAIRO. Theoretical Informatics and Applications 1 Quantum Information Processing 1 Journal of Applied Logic 1 Parallel Processing Letters 1 Discrete Optimization 1 Mathematics in Computer Science 1 Logica Universalis 1 Optimization Letters 1 Journal of Logic and Analysis 1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Axioms 1 European Journal of Mathematics all top 5 Cited in 34 Fields 244 Computer science (68-XX) 139 Mathematical logic and foundations (03-XX) 34 Quantum theory (81-XX) 17 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Combinatorics (05-XX) 14 Number theory (11-XX) 14 Probability theory and stochastic processes (60-XX) 12 Information and communication theory, circuits (94-XX) 9 Statistics (62-XX) 9 Statistical mechanics, structure of matter (82-XX) 9 Biology and other natural sciences (92-XX) 7 General and overarching topics; collections (00-XX) 7 Dynamical systems and ergodic theory (37-XX) 6 Operations research, mathematical programming (90-XX) 5 Measure and integration (28-XX) 5 Numerical analysis (65-XX) 5 Systems theory; control (93-XX) 3 History and biography (01-XX) 3 Group theory and generalizations (20-XX) 3 General topology (54-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Nonassociative rings and algebras (17-XX) 2 Category theory; homological algebra (18-XX) 2 Real functions (26-XX) 2 Operator theory (47-XX) 2 Convex and discrete geometry (52-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-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.