Cristian Calude

Publication Activity (10 Years)

Years Active: 1976-2013
Publications (10 Years): 0

Top Topics

Computer Society

Top Venues

Theor. Comput. Sci.

Publications

Cristian Calude, Bruno Durand, Anahí Gajardo, Dominique Perrin, Ivan Rapaport, Sergio Rica
Discrete mathematical structures: From dynamics to complexity. Theor. Comput. Sci. 504 (2013)
Cristian Calude
News from New Zealand. Bull. EATCS 107 (2012)
Cristian Calude
An Interview with Erol Gelenbe: Practical Theories Make the World Go (Part II). Ubiquity 2011 (January) (2011)
Cristian Calude
An Interview with Erol Gelenbe. Ubiquity 2010 (December) (2010)
Cristian Calude, Kai Salomaa, Tania Roblot
Finite-State Complexity and the Size of Transducers DCFS (2010)
Cristian Calude
Incompleteness: A Personal Perspective. DCFS (2008)
Cristian Calude, Sergiu Rudeanu
Proving as a Computable Procedure. Fundam. Informaticae 64 (1-4) (2005)
Cristian Calude
Preface. Int. J. Found. Comput. Sci. 16 (4) (2005)
Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen
Balance Machines: Computing = Balancing. Aspects of Molecular Computing (2004)
Cristian Calude, Elena Calude, Solomon Marcus
Passages of Proof. Bull. EATCS 84 (2004)
Cristian Calude
Algorithmic Randomness, Quantum Physics, and Incompleteness. MCU (2004)
Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen
A fast natural algorithm for searching. Theor. Comput. Sci. 320 (1) (2004)
Cristian Calude, Solomon Marcus
Mathematical Proofs at a Crossroad? Theory Is Forever (2004)
Cristian Calude, Elena Calude, Michael J. Dinneen
What is the Value of Taxicab(6)? J. Univers. Comput. Sci. 9 (10) (2003)
Cristian Calude, Solomon Marcus, Ludwig Staiger
A topological characterization of random sequences. Inf. Process. Lett. 88 (5) (2003)
Cristian Calude, Elena Calude
The Bridge Crossing Problem. Bull. EATCS 77 (2002)
Cristian Calude
A characterization of c.e. random reals. Theor. Comput. Sci. 271 (1-2) (2002)
Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen
Bead-Sort: A Natural Sorting Algorithm. Bull. EATCS 76 (2002)
Cristian Calude
Chaitin Omega numbers, Solovay machines, and Gödel incompleteness. Theor. Comput. Sci. 284 (2) (2002)
Cristian Calude, Kai Salomaa, Sheng Yu
Additive Distances and Quasi-Distances Between Words. J. Univers. Comput. Sci. 8 (2) (2002)
Cristian Calude, Kai Salomaa, Sheng Yu
Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Birthday of Helmut Jürgensen - J.UCS Special Issue. J. Univers. Comput. Sci. 8 (2) (2002)
Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
Recursively enumerable reals and Chaitin Omega numbers. Theor. Comput. Sci. 255 (1-2) (2001)
Cristian Calude, Elena Calude
Automata: From Uncertainty to Quantum. Developments in Language Theory (2001)
Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi
Coding with Minimal Programs. Int. J. Found. Comput. Sci. 12 (4) (2001)
Cristian Calude, Gheorghe Stefanescu
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. J. Univers. Comput. Sci. 6 (1) (2000)
Cristian Calude, Elena Calude, Bakhadyr Khoussainov
Finite nondeterministic automata: Simulation and minimality. Theor. Comput. Sci. 242 (1-2) (2000)
Cristian Calude, Richard J. Coles
Program-Size Complexity of Initial Segments and Domination Reducibility. Jewels are Forever (1999)
Cristian Calude, Elena Calude
Bisimulations and behaviour of nondeterministic automata. Developments in Language Theory (1999)
Cristian Calude, Kai Salomaa, Sheng Yu
Metric Lexical Analysis. WIA (1999)
Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
Recursively Enumerable Reals and Chaitin Omega Numbers. STACS (1998)
Cristian Calude, Elena Calude, Catalina Stefanescu
Computational Complementarity for Mealy Automata. Bull. EATCS 66 (1998)
Cristian Calude, Peter Hertling
Computable Approximations of Reals: An Information-Theoretic Analysis. Fundam. Informaticae 33 (2) (1998)
Andris Ambainis, Kalvis Apsitis, Cristian Calude, Rusins Freivalds, Marek Karpinski, Tomas Larfeldt, Iveta Sala, Juris Smotrovs
Effects of Kolmogorov Complexity Present in Inductive Inference as Well. ALT (1997)
Cristian Calude, Elena Calude, Bakhadyr Khoussainov
Deterministic Automata: Simulation, Universality and Minimality. Ann. Pure Appl. Log. 90 (1-3) (1997)
Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov
Logic in Computer Science. J. Univers. Comput. Sci. 3 (11) (1997)
Cristian Calude, Peter Hertling, Bakhadyr Khoussainov
Do the Zeros of Riemann's Zeta-Function Form a Random Sequence? Bull. EATCS 62 (1997)
Cristian Calude, André Nies
Chaitin Omega Numbers and Strong Reducibilities. J. Univers. Comput. Sci. 3 (11) (1997)
Cristian Calude, Ioan Tomescu
Optimum Extendible Prefix Codes. J. Univers. Comput. Sci. 3 (11) (1997)
Cristian Calude, Sheng Yu
Language-theoretic Complexity of Disjunctive Sequences. Discret. Appl. Math. 80 (2-3) (1997)
Cristian Calude
The Finite, The Unbounded and The Infinite. J. Univers. Comput. Sci. 2 (5) (1996)
Cristian Calude, Marius Zimand
Effective Category and Measure in Abstract Complexity Theory. Theor. Comput. Sci. 154 (2) (1996)
Cristian Calude, Cristian Grozes
Kraft-Chaitin Inequality Revisited. J. Univers. Comput. Sci. 2 (5) (1996)
Cristian Calude, Cezar Câmpeanu
Are binary codings universal? Complex. 1 (5) (1996)
Cristian Calude
Algorithmic Information Theory: Open Problems. J. Univers. Comput. Sci. 2 (5) (1996)
Cristian Calude
What Is a Random String? J. Univers. Comput. Sci. 1 (1) (1995)
Gregory J. Chaitin, Asat Arslanov, Cristian Calude
Program-size Complexity Computes the Halting Problem. Bull. EATCS 57 (1995)
Cristian Calude, Marius Zimand
Effective Category and Measure in Abstract Complexity Theory (Extended Abstract). FCT (1995)
Cristian Calude, Hermann A. Maurer, Arto Salomaa
Journal of Universal Computer Science. J. Univers. Comput. Sci. (0) (1994)
Douglas S. Bridges, Cristian Calude
On Recursive Bounds for the Exceptional Values in Speed-Up. Theor. Comput. Sci. 132 (2) (1994)
Cristian Calude, Monica Tataram
Three Theories of Computational Complexity Extended Abstract. Sci. Ann. Cuza Univ. 3 (1994)
Cristian Calude, Helmut Jürgensen
Randomness as an Invariant for Number Representations. Results and Trends in Theoretical Computer Science (1994)
Cristian Calude, Cezar Câmpeanu
Note on the Topological Structure of Random Strings. Theor. Comput. Sci. 112 (2) (1993)
Cristian Calude, Arto Salomaa
Algorithmically Coding the Universe. Developments in Language Theory (1993)
Cristian Calude
Borel Normality and Algorithmic Randomness. Developments in Language Theory (1993)
Cristian Calude
Relativized Topological Size of Sets of Partial Recursive Functions. Theor. Comput. Sci. 87 (2) (1991)
Cristian Calude, Gabriel Istrate
Determining and Stationary Sets for Some Classes of Partial Recursive Functions. Theor. Comput. Sci. 82 (1) (1991)
Cristian Calude, Lila Santean
On a theorem of Günter Asser. Math. Log. Q. 36 (2) (1990)
Cristian Calude, Dragos Vaida
Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive Glimpse. MFCS (1989)
Cristian Calude
Super-Exponentials Nonprimitive Recursive, but Rudimentary. Inf. Process. Lett. 25 (5) (1987)
Cristian Calude
Note on Ehrenfeucht's conjecture and Hilbert's basis theorem. Bull. EATCS 29 (1986)
Cristian Calude, Ion Chitescu
A class of nuniversal P Marti-Löf tests. Bull. EATCS 23 (1984)
Cristian Calude, Gheorghe Paun
Independent Instances for Some Undecidable Problems. RAIRO Theor. Informatics Appl. 17 (1) (1983)
Cristian Calude, Ion Chitescu
Representability of recursive P. Martin-Löf tests. Kybernetika 19 (6) (1983)
Cristian Calude
On a class of independent problems related to Rice theorem. SIGACT News 15 (2) (1983)
Cristian Calude, Ion Chitescu
On representability of P. Martin-Löf tests. Kybernetika 19 (1) (1983)
Cristian Calude
Topological Size of Sets of Partial Recursive Functions. Math. Log. Q. 28 (27-32) (1982)
Cristian Calude, Gheorghe Paun
Global syntax and semantics for recursively enumerable languages. Fundam. Informaticae 4 (2) (1981)
Cristian Calude, Virgil Emil Cazanescu
On topologies generated by Moisil resemblance relations. Discret. Math. 25 (2) (1979)
Cristian Calude
On metrizability of the free monoids. Discret. Math. 15 (4) (1976)