×

zbMATH — the first resource for mathematics

Calude, Cristian S.

Compute Distance To:
Author ID: calude.cristian-s Recent zbMATH articles by "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

Publications by Year

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.68058
Calude, Cristian S.
57
2002
Information and randomness. An algorithmic perspective. Zbl 0922.68073
Calude, Cristian
41
1994
Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072
Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y.
29
2001
On partial randomness. Zbl 1077.03022
Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A.
27
2006
Theories of computational complexity. Zbl 0633.03034
Calude, Cristian
27
1988
Deciding parity games in quasipolynomial time. Zbl 1369.68234
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank
19
2017
Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081
Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge
17
1998
Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080
Calude, Cristian S.; Nies, André
15
1997
Natural halting probabilities, partial randomness, and zeta functions. Zbl 1171.68505
Calude, Cristian S.; Stay, Michael A.
14
2006
Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053
Calude, Cristian S. (ed.); Păun, Gheorghe (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.)
11
2001
Representation of left-computable \(\varepsilon \)-random reals. Zbl 1223.03023
Calude, Cristian S.; Hay, Nicholas J.; Stephan, Frank
10
2011
Most programs stop quickly or never halt. Zbl 1137.68031
Calude, Cristian S.; Stay, Michael A.
10
2008
Is complexity a source of incompleteness? Zbl 1086.03047
Calude, Cristian S.; Jürgensen, Helmut
10
2005
Computing with cells and atoms. An introduction to quantum, DNA and membrane computing. Zbl 0976.68060
Calude, Cristian S.; Păun, Gheorghe
10
2001
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
9
2012
A new measure of the difficulty of problems. Zbl 1139.03028
Calude, Cristian S.; Calude, Elena; Dinneen, Michael J.
9
2006
Additive distances and quasi-distances between words. Zbl 1258.68074
Calude, Cristian S.; Salomaa, Kai; Yu, Sheng
9
2002
Computing a glimpse of randomness. Zbl 1117.68385
Calude, Cristian S.; Dinneen, Michael J.; Shu, Chi-Kou
9
2002
Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098
Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr
9
2000
A characterization of c. e. random reals. Zbl 0992.68080
Calude, Cristian S.
8
2002
From Heisenberg to Gödel via Chaitin. Zbl 1104.81014
Svozil, Karl; Calude, Cristian S.; Stay, Michael A.
7
2005
Chaitin \(\Omega\) numbers, Solovay machines, and Gödel incompleteness. Zbl 1042.68045
Calude, Cristian S.
7
2002
Physical versus computational complementarity. I. Zbl 0889.68108
Calude, Cristian; Calude, Elena; Svozil, Karl; Yu, Sheng
7
1997
Is independence an exception? Zbl 0822.03024
Calude, C.; Jürgensen, H.; Zimand, M.
7
1994
Evaluating the complexity of mathematical problems. II. Zbl 1203.68056
Calude, Cristian S.; Calude, Elena
6
2010
Evaluating the complexity of mathematical problems. I. Zbl 1186.68226
Calude, Cristian S.; Calude, Elena
6
2009
Exact approximations of Omega numbers. Zbl 1149.03029
Calude, Cristian S.; Dinneen, Michael J.
6
2007
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
Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084
Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr
6
1997
A variant of the Kochen-Specker theorem localising value indefiniteness. Zbl 1333.81017
Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl
5
2015
A note on accelerated Turing machines. Zbl 1220.03039
Calude, Cristian S.; Staiger, Ludwig
5
2010
Algorithmic randomness, quantum physics, and incompleteness. Zbl 1119.68097
Calude, Cristian S.
5
2005
A topological characterization of random sequences. Zbl 1178.68255
Calude, Cristian S.; Marcus, Solomon; Staiger, Ludwig
5
2003
Finite state complexity. Zbl 1235.68088
Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K.
4
2011
The complexity of the four colour theorem. Zbl 1235.03071
Calude, Cristian S.; Calude, Elena
4
2010
Every computably enumerable random real is provably computably enumerable random. Zbl 1178.03057
Calude, Cristian S.; Hay, Nicholas J.
4
2009
On universal computably enumerable prefix codes. Zbl 1156.94327
Calude, Cristian S.; Staiger, Ludwig
4
2009
Program-size complexity of intial segments and domination reducibility. Zbl 0945.68080
Calude, Cristian S.; Coles, Richard J.
4
1999
Qualitative properties of P. Martin-Löf random sequences. Zbl 0674.03013
Calude, Cristian; Chiţescu, Ion
4
1989
Super-exponentials nonprimitive recursive, but rudimentary. Zbl 0632.03036
Calude, Cristian
4
1987
Topological size of sets of partial recursive functions. Zbl 0495.03022
Calude, Cristian
4
1982
Universal recursively enumerable sets of strings. Zbl 1159.68011
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
3
2008
De-quantizing the solution of Deutsch’s problem. Zbl 1119.81019
Calude, Cristian S.
3
2007
Incompleteness, complexity, randomness and beyond. Zbl 1030.68051
Calude, Cristian S.
3
2002
Coding with minimal programs. Zbl 1319.68116
Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi
3
2001
Most numbers obey no probability laws. Zbl 0981.60013
Calude, Cristian; Zamfirescu, Tudor
3
1999
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
The deluge of spurious correlations in big data. Zbl 1392.68165
Calude, 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.68012
Calude, S. (ed.); Dinneen, J. (ed.)
2
2015
State-size hierarchy for finite-state complexity. Zbl 1283.68191
Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K.
2
2012
Universal recursively enumerable sets of strings. Zbl 1217.68115
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
2
2011
The complexity of proving chaoticity and the Church-Turing thesis. Zbl 1311.68080
Calude, Cristian S.; Calude, Elena; Svozil, Karl
2
2010
What is a halting probability? Zbl 1184.68273
Calude, Cristian S.; Chaitin, G. J.
2
2010
Algorithmically independent sequences. Zbl 1159.68012
Calude, Cristian S.; Zimand, Marius
2
2008
Generalisations of disjunctive sequences. Zbl 1061.03077
Calude, Cristian S.; Staiger, Ludwig
2
2005
Passages of proof. Zbl 1169.03310
Calude, Cristian S.; Calude, Elena; Marcus, Solomon
2
2004
Mathematical proofs at a crossroad? Zbl 1065.00004
Calude, Cristian S.; Marcus, Solomon
2
2004
The Poincaré-Hardy inequality on the complement of a Cantor set. Zbl 1066.26009
Calude, Cristian S.; Pavlov, Boris
2
2002
Bead-sort: A natural sorting algorithm. Zbl 1018.68022
Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J.
2
2002
Kochen-Specker theorem: two geometric proofs. Zbl 1088.81504
Calude, 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.00033
Calude, C. S. (ed.); Casti, J. (ed.); Dinneen, M. J. (ed.)
2
1998
Kraft-Chaitin inequality revisited. Zbl 0961.68063
Calude, Cristian; Grozea, Cristian
2
1996
Program-size complexity computes the halting problem. Zbl 1027.03512
Chaitin, G. J.; Arslanov, A.; Calude, C.
2
1995
Recursive Baire classification and speedable functions. Zbl 0798.03042
Calude, Cristian; Istrate, Gabriel; Zimand, Marius
2
1992
Relativized topological size of sets of partial recursive functions. Zbl 0814.03033
Calude, Cristian
2
1991
Random sequences: Some topological and measure-theoretical properties. Zbl 0688.60001
Calude, Cristian; Chiţescu, Ion
2
1988
Independent instances for some undecidable problems. Zbl 0517.03022
Calude, Cristian; Paun, Gheorghe
2
1983
Random strings according to A.N. Kolmogorov and P. Martin-Loef classical approach. Zbl 0521.03024
Calude, Cristian; Chitescu, Ion
2
1982
On topologies generated by Moisil resemblance relations. Zbl 0412.54010
Calude, Cristian; Cazanescu, Virgil Emil
2
1979
Sur une classe de distances dans un demi-groupe libre. Zbl 0302.68096
Calude, Cristian
2
1975
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
1
2019
A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260
Calude, Cristian S.; Dumitrescu, Monica
1
2018
QUBO formulations for the graph isomorphism problem and related problems. Zbl 1382.68081
Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard
1
2017
Classical, quantum and biological randomness as relative unpredictability. Zbl 1415.68113
Calude, Cristian S.; Longo, Giuseppe
1
2016
Finite state incompressible infinite sequences. Zbl 1338.68128
Calude, Cristian S.; Staiger, Ludwig; Stephan, Frank
1
2016
Is feasibility in physics limited by fantasy alone? Zbl 1256.68087
Calude, Cristian S.; Svozil, Karl
1
2013
The complexity of Euler’s integer partition theorem. Zbl 1283.68172
Calude, 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.68007
Calude, Cristian S. (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.)
1
2011
Algorithmically independent sequences. Zbl 1187.68268
Calude, Cristian S.; Zimand, Marius
1
2010
Unconventional computation. 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7–11, 2009. Proceedings. Zbl 1173.68004
Calude, 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.03017
Calude, Cristian S.; Müller, Christine
1
2009
Unconventional computation. 7th international conference, UC 2008, Vienna, Austria, August 25–28, 2008. Proceedings. Zbl 1149.68006
Calude, 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.68001
Akl, 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.81300
Calude, Cristian S.; Stay, Michael A.
1
2007
Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Zbl 1123.68004
Calude, 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.03303
Calude, C. S.; Ishihara, H.
1
2005
Proving as a computable procedure. Zbl 1091.03029
Calude, Cristian S.; Rudeanu, Sergiu
1
2005
Randomness relative to Cantor expansions. Zbl 1101.68615
Calude, Cristian S.; Staiger, Ludwig; Svozil, Karl
1
2005
Balance machines: computing = balancing. Zbl 1200.68109
Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J.
1
2004
A fast natural algorithm for searching. Zbl 1068.68049
Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J.
1
2004
Entropic measures, Markov information sources and complexity. Zbl 1029.94008
Calude, Cristian S.; Dumitrescu, Monica
1
2002
Metric lexical analysis. Zbl 1050.68090
Calude, Cristian S.; Salomaa, Kai; Yu, Sheng
1
2001
Randomness on full shift spaces. Zbl 1064.68064
Calude, 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.00065
Calude, 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.00046
Antoniou, I. (ed.); Calude, C. S. (ed.); Dinneen, M. J. (ed.)
1
2001
The constructive implicit function theorem and applications in mechanics. Zbl 0959.03051
Bridges, D.; Calude, C.; Pavlov, B.; Ştefănescu, D.
1
1999
People and ideas in theoretical computer science. Zbl 0913.00024
Calude, Cristian S. (ed.)
1
1999
Computational complementarity and sofic shifts. Zbl 0952.68088
Calude, Cristian S.; Lipponen, Marjo
1
1998
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
1
2019
A probabilistic anytime algorithm for the halting problem. Zbl 1394.68260
Calude, Cristian S.; Dumitrescu, Monica
1
2018
Deciding parity games in quasipolynomial time. Zbl 1369.68234
Calude, Cristian S.; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Stephan, Frank
19
2017
The deluge of spurious correlations in big data. Zbl 1392.68165
Calude, Cristian S.; Longo, Giuseppe
2
2017
QUBO formulations for the graph isomorphism problem and related problems. Zbl 1382.68081
Calude, Cristian S.; Dinneen, Michael J.; Hua, Richard
1
2017
Classical, quantum and biological randomness as relative unpredictability. Zbl 1415.68113
Calude, Cristian S.; Longo, Giuseppe
1
2016
Finite state incompressible infinite sequences. Zbl 1338.68128
Calude, Cristian S.; Staiger, Ludwig; Stephan, Frank
1
2016
A variant of the Kochen-Specker theorem localising value indefiniteness. Zbl 1333.81017
Abbott, 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.68012
Calude, S. (ed.); Dinneen, J. (ed.)
2
2015
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
9
2012
State-size hierarchy for finite-state complexity. Zbl 1283.68191
Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K.
2
2012
The complexity of Euler’s integer partition theorem. Zbl 1283.68172
Calude, Cristian S.; Calude, Elena; Queen, Melissa S.
1
2012
Representation of left-computable \(\varepsilon \)-random reals. Zbl 1223.03023
Calude, Cristian S.; Hay, Nicholas J.; Stephan, Frank
10
2011
Finite state complexity. Zbl 1235.68088
Calude, Cristian S.; Salomaa, Kai; Roblot, Tania K.
4
2011
Universal recursively enumerable sets of strings. Zbl 1217.68115
Calude, 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.68007
Calude, Cristian S. (ed.); Rozenberg, Grzegorz (ed.); Salomaa, Arto (ed.)
1
2011
Evaluating the complexity of mathematical problems. II. Zbl 1203.68056
Calude, Cristian S.; Calude, Elena
6
2010
A note on accelerated Turing machines. Zbl 1220.03039
Calude, Cristian S.; Staiger, Ludwig
5
2010
The complexity of the four colour theorem. Zbl 1235.03071
Calude, Cristian S.; Calude, Elena
4
2010
The complexity of proving chaoticity and the Church-Turing thesis. Zbl 1311.68080
Calude, Cristian S.; Calude, Elena; Svozil, Karl
2
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
1
2010
Evaluating the complexity of mathematical problems. I. Zbl 1186.68226
Calude, Cristian S.; Calude, Elena
6
2009
Every computably enumerable random real is provably computably enumerable random. Zbl 1178.03057
Calude, Cristian S.; Hay, Nicholas J.
4
2009
On universal computably enumerable prefix codes. Zbl 1156.94327
Calude, Cristian S.; Staiger, Ludwig
4
2009
Unconventional computation. 8th international conference, UC 2009, Ponta Delgada, Portugal, September 7–11, 2009. Proceedings. Zbl 1173.68004
Calude, 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.03017
Calude, Cristian S.; Müller, Christine
1
2009
Most programs stop quickly or never halt. Zbl 1137.68031
Calude, Cristian S.; Stay, Michael A.
10
2008
Universal recursively enumerable sets of strings. Zbl 1159.68011
Calude, Cristian S.; Nies, André; Staiger, Ludwig; Stephan, Frank
3
2008
Algorithmically independent sequences. Zbl 1159.68012
Calude, Cristian S.; Zimand, Marius
2
2008
Unconventional computation. 7th international conference, UC 2008, Vienna, Austria, August 25–28, 2008. Proceedings. Zbl 1149.68006
Calude, 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.03029
Calude, Cristian S.; Dinneen, Michael J.
6
2007
De-quantizing the solution of Deutsch’s problem. Zbl 1119.81019
Calude, Cristian S.
3
2007
Unconventional computation. 6th international conference, UC 2007, Kingston, Canada, August 13–17, 2007. Proceedings. Zbl 1124.68001
Akl, 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.81300
Calude, Cristian S.; Stay, Michael A.
1
2007
On partial randomness. Zbl 1077.03022
Calude, Cristian S.; Staiger, Ludwig; Terwijn, Sebastiaan A.
27
2006
Natural halting probabilities, partial randomness, and zeta functions. Zbl 1171.68505
Calude, Cristian S.; Stay, Michael A.
14
2006
A new measure of the difficulty of problems. Zbl 1139.03028
Calude, 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.68004
Calude, 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.03047
Calude, Cristian S.; Jürgensen, Helmut
10
2005
From Heisenberg to Gödel via Chaitin. Zbl 1104.81014
Svozil, Karl; Calude, Cristian S.; Stay, Michael A.
7
2005
Algorithmic randomness, quantum physics, and incompleteness. Zbl 1119.68097
Calude, Cristian S.
5
2005
Generalisations of disjunctive sequences. Zbl 1061.03077
Calude, 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.03303
Calude, C. S.; Ishihara, H.
1
2005
Proving as a computable procedure. Zbl 1091.03029
Calude, Cristian S.; Rudeanu, Sergiu
1
2005
Randomness relative to Cantor expansions. Zbl 1101.68615
Calude, Cristian S.; Staiger, Ludwig; Svozil, Karl
1
2005
Passages of proof. Zbl 1169.03310
Calude, Cristian S.; Calude, Elena; Marcus, Solomon
2
2004
Mathematical proofs at a crossroad? Zbl 1065.00004
Calude, Cristian S.; Marcus, Solomon
2
2004
Balance machines: computing = balancing. Zbl 1200.68109
Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J.
1
2004
A fast natural algorithm for searching. Zbl 1068.68049
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
5
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.
57
2002
Additive distances and quasi-distances between words. Zbl 1258.68074
Calude, Cristian S.; Salomaa, Kai; Yu, Sheng
9
2002
Computing a glimpse of randomness. Zbl 1117.68385
Calude, Cristian S.; Dinneen, Michael J.; Shu, Chi-Kou
9
2002
A characterization of c. e. random reals. Zbl 0992.68080
Calude, Cristian S.
8
2002
Chaitin \(\Omega\) numbers, Solovay machines, and Gödel incompleteness. Zbl 1042.68045
Calude, Cristian S.
7
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
Bead-sort: A natural sorting algorithm. Zbl 1018.68022
Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J.
2
2002
Entropic measures, Markov information sources and complexity. Zbl 1029.94008
Calude, Cristian S.; Dumitrescu, Monica
1
2002
Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0974.68072
Calude, C. S.; Hertling, P. H.; Khoussainov, B.; Wang, Y.
29
2001
Multiset processing. Mathematical, computer science, and molecular computing points of view. Zbl 0983.00053
Calude, 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.68060
Calude, Cristian S.; Păun, Gheorghe
10
2001
Coding with minimal programs. Zbl 1319.68116
Calude, Cristian S.; Ishihara, Hajime; Yamaguchi, Takeshi
3
2001
Metric lexical analysis. Zbl 1050.68090
Calude, Cristian S.; Salomaa, Kai; Yu, Sheng
1
2001
Randomness on full shift spaces. Zbl 1064.68064
Calude, 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.00065
Calude, 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.00046
Antoniou, I. (ed.); Calude, C. S. (ed.); Dinneen, M. J. (ed.)
1
2001
Finite nondeterministic automata: simulation and minimality. Zbl 0944.68098
Calude, Cristian S.; Calude, Elena; Khoussainov, Bakhadyr
9
2000
Degree-theoretic aspects of computably enumerable reals. Zbl 0944.03032
Calude, Cristian S.; Coles, Richard; Hertling, Peter H.; Khoussainov, Bakhadyr
6
1999
Program-size complexity of intial segments and domination reducibility. Zbl 0945.68080
Calude, Cristian S.; Coles, Richard J.
4
1999
Most numbers obey no probability laws. Zbl 0981.60013
Calude, Cristian; Zamfirescu, Tudor
3
1999
The constructive implicit function theorem and applications in mechanics. Zbl 0959.03051
Bridges, D.; Calude, C.; Pavlov, B.; Ştefănescu, D.
1
1999
People and ideas in theoretical computer science. Zbl 0913.00024
Calude, Cristian S. (ed.)
1
1999
Recursively enumerable reals and Chaitin \(\Omega\) numbers. Zbl 0894.68081
Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr; Wang, Yongge
17
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
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
Calude, C. S. (ed.); Casti, J. (ed.); Dinneen, M. J. (ed.)
2
1998
Computational complementarity and sofic shifts. Zbl 0952.68088
Calude, Cristian S.; Lipponen, Marjo
1
1998
Chaitin \(\Omega\) numbers and strong reducibilities. Zbl 0960.68080
Calude, Cristian S.; Nies, André
15
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
Deterministic automata. Simulation, universality and minimality. Zbl 0890.68084
Calude, Cristian; Calude, Elena; Khoussainov, Bakhadyr
6
1997
Optimum extendible prefix codes. Zbl 0960.68069
Calude, Cristian S.; Tomescu, Ioan
1
1997
Effects of Kolmogorov complexity present in inductive inference as well. Zbl 0885.03040
Ambainis, 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.11073
Calude, Cristian S.; Hertling, Peter H.; Khoussainov, Bakhadyr
1
1997
Kraft-Chaitin inequality revisited. Zbl 0961.68063
Calude, Cristian; Grozea, Cristian
2
1996
Algorithmic information theory: Open problems. Zbl 0960.68596
Calude, Cristian
1
1996
Effective category and measure in abstract complexity theory. Zbl 0872.03027
Calude, Cristian; Zimand, Marius
1
1996
Program-size complexity computes the halting problem. Zbl 1027.03512
Chaitin, G. J.; Arslanov, A.; Calude, C.
2
1995
Strong determinism vs. computability. Zbl 0970.03021
Calude, Cristian; Campbell, Douglas I.; Svozil, Karl; Ştefǎnescu, Doru
1
1995
What is a random string. Zbl 0961.68061
Calude, Cristian
1
1995
Information and randomness. An algorithmic perspective. Zbl 0922.68073
Calude, Cristian
41
1994
Is independence an exception? Zbl 0822.03024
Calude, C.; Jürgensen, H.; Zimand, M.
7
1994
On recursive bounds for the exceptional values in speed-up. Zbl 0807.03026
Bridges, Douglas; Calude, Cristian
1
1994
Recursive Baire classification and speedable functions. Zbl 0798.03042
Calude, Cristian; Istrate, Gabriel; Zimand, Marius
2
1992
Relativized topological size of sets of partial recursive functions. Zbl 0814.03033
Calude, Cristian
2
1991
Qualitative properties of P. Martin-Löf random sequences. Zbl 0674.03013
Calude, Cristian; Chiţescu, Ion
4
1989
Theories of computational complexity. Zbl 0633.03034
Calude, Cristian
27
1988
...and 18 more Documents
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

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.