Cristian Calude

79 papers A 1B 3C 7Journal 53Unranked 7

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	Discrete mathematical structures: From dynamics to complexity. Theor. Comput. Sci. Cristian Calude, Bruno Durand, Anahí Gajardo, Dominique Perrin, Ivan Rapaport, Sergio Rica
2012	J	`jnl`	News from New Zealand. Bull. EATCS Cristian Calude
2011	J	`jnl`	An Interview with Erol Gelenbe: Practical Theories Make the World Go (Part II). Ubiquity Cristian Calude
2010	J	`jnl`	An Interview with Erol Gelenbe. Ubiquity Cristian Calude
2010	—	`conf`	Finite-State Complexity and the Size of Transducers DCFS Cristian Calude, Kai Salomaa, Tania Roblot
2008	—	`conf`	Incompleteness: A Personal Perspective. DCFS Cristian Calude
2005	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Cristian Calude
2005	J	`jnl`	Proving as a Computable Procedure. Fundam. Informaticae Cristian Calude, Sergiu Rudeanu
2005	C	`ed.`	Unconventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, 2005, Proceedings UC Cristian Calude, Michael J. Dinneen, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg
2004	J	`jnl`	A fast natural algorithm for searching. Theor. Comput. Sci. Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen
2004	C	`conf`	Algorithmic Randomness, Quantum Physics, and Incompleteness. MCU Cristian Calude
2004	—	`conf`	Balance Machines: Computing = Balancing. Aspects of Molecular Computing Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen
2004	C	`ed.`	Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings Developments in Language Theory Cristian Calude, Elena Calude, Michael J. Dinneen
2004	—	`conf`	Mathematical Proofs at a Crossroad? Theory Is Forever Cristian Calude, Solomon Marcus
2004	J	`jnl`	Passages of Proof. Bull. EATCS Cristian Calude, Elena Calude, Solomon Marcus
2003	J	`jnl`	A topological characterization of random sequences. Inf. Process. Lett. Cristian Calude, Solomon Marcus, Ludwig Staiger
2003	—	`ed.`	Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings DMTCS Cristian Calude, Michael J. Dinneen, Vincent Vajnovszki
2003	J	`jnl`	What is the Value of Taxicab(6)? J. Univers. Comput. Sci. Cristian Calude, Elena Calude, Michael J. Dinneen
2002	J	`jnl`	A characterization of c.e. random reals. Theor. Comput. Sci. Cristian Calude
2002	J	`jnl`	Additive Distances and Quasi-Distances Between Words. J. Univers. Comput. Sci. Cristian Calude, Kai Salomaa, Sheng Yu
2002	J	`jnl`	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. Cristian Calude, Kai Salomaa, Sheng Yu
2002	J	`jnl`	Bead-Sort: A Natural Sorting Algorithm. Bull. EATCS Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen
2002	J	`jnl`	Chaitin Omega numbers, Solovay machines, and Gödel incompleteness. Theor. Comput. Sci. Cristian Calude
2002	J	`jnl`	The Bridge Crossing Problem. Bull. EATCS Cristian Calude, Elena Calude
2002	—	`ed.`	Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings UMC Cristian Calude, Michael J. Dinneen, Ferdinand Peper
2001	C	`conf`	Automata: From Uncertainty to Quantum. Developments in Language Theory Cristian Calude, Elena Calude
2001	J	`jnl`	Coding with Minimal Programs. Int. J. Found. Comput. Sci. Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi
2001	—	`ed.`	Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View [Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000] WMP Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2001	J	`jnl`	Recursively enumerable reals and Chaitin Omega numbers. Theor. Comput. Sci. Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
2001	—	`ed.`	Unconventional Models of Computation, UMC'2K, Proceedings of the Second International Conference, Brussel, Belgium, 13-16 December 2000 UMC Ioannis Antoniou, Cristian Calude, Michael J. Dinneen
2000	J	`jnl`	Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. J. Univers. Comput. Sci. Cristian Calude, Gheorghe Stefanescu
2000	—	`book`	Finite Versus Infinite Cristian Calude, Gheorghe Paun
2000	J	`jnl`	Finite nondeterministic automata: Simulation and minimality. Theor. Comput. Sci. Cristian Calude, Elena Calude, Bakhadyr Khoussainov
1999	C	`conf`	Bisimulations and behaviour of nondeterministic automata. Developments in Language Theory Cristian Calude, Elena Calude
1999	—	`conf`	Metric Lexical Analysis. WIA Cristian Calude, Kai Salomaa, Sheng Yu
1999	—	`conf`	Program-Size Complexity of Initial Segments and Domination Reducibility. Jewels are Forever Cristian Calude, Richard J. Coles
1998	J	`jnl`	Computable Approximations of Reals: An Information-Theoretic Analysis. Fundam. Informaticae Cristian Calude, Peter Hertling
1998	J	`jnl`	Computational Complementarity for Mealy Automata. Bull. EATCS Cristian Calude, Elena Calude, Catalina Stefanescu
1998	A	`conf`	Recursively Enumerable Reals and Chaitin Omega Numbers. STACS Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang
1997	J	`jnl`	Chaitin Omega Numbers and Strong Reducibilities. J. Univers. Comput. Sci. Cristian Calude, André Nies
1997	—	`ch.`	Complexity: A Language-Theoretic Point of View. Handbook of Formal Languages (2) Cristian Calude, Juraj Hromkovic
1997	J	`jnl`	Deterministic Automata: Simulation, Universality and Minimality. Ann. Pure Appl. Log. Cristian Calude, Elena Calude, Bakhadyr Khoussainov
1997	J	`jnl`	Do the Zeros of Riemann's Zeta-Function Form a Random Sequence? Bull. EATCS Cristian Calude, Peter Hertling, Bakhadyr Khoussainov
1997	B	`conf`	Effects of Kolmogorov Complexity Present in Inductive Inference as Well. ALT Andris Ambainis, Kalvis Apsitis, Cristian Calude, Rusins Freivalds, Marek Karpinski, Tomas Larfeldt, Iveta Sala, Juris Smotrovs
1997	J	`jnl`	Language-theoretic Complexity of Disjunctive Sequences. Discret. Appl. Math. Cristian Calude, Sheng Yu
1997	J	`jnl`	Logic in Computer Science. J. Univers. Comput. Sci. Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov
1997	J	`jnl`	Optimum Extendible Prefix Codes. J. Univers. Comput. Sci. Cristian Calude, Ioan Tomescu
1996	J	`jnl`	Algorithmic Information Theory: Open Problems. J. Univers. Comput. Sci. Cristian Calude
1996	J	`jnl`	Are binary codings universal? Complex. Cristian Calude, Cezar Câmpeanu
1996	J	`jnl`	Effective Category and Measure in Abstract Complexity Theory. Theor. Comput. Sci. Cristian Calude, Marius Zimand
1996	J	`jnl`	Kraft-Chaitin Inequality Revisited. J. Univers. Comput. Sci. Cristian Calude, Cristian Grozes
1996	J	`jnl`	The Finite, The Unbounded and The Infinite. J. Univers. Comput. Sci. Cristian Calude
1995	B	`conf`	Effective Category and Measure in Abstract Complexity Theory (Extended Abstract). FCT Cristian Calude, Marius Zimand
1995	J	`jnl`	Program-size Complexity Computes the Halting Problem. Bull. EATCS Gregory J. Chaitin, Asat Arslanov, Cristian Calude
1995	J	`jnl`	What Is a Random String? J. Univers. Comput. Sci. Cristian Calude
1994	—	`book`	Information and Randomness - An Algorithmic Perspective Cristian Calude
1994	J	`jnl`	Journal of Universal Computer Science. J. Univers. Comput. Sci. Cristian Calude, Hermann A. Maurer, Arto Salomaa
1994	J	`jnl`	On Recursive Bounds for the Exceptional Values in Speed-Up. Theor. Comput. Sci. Douglas S. Bridges, Cristian Calude
1994	—	`ch.`	Pocket Mathematics. Mathematical Aspects of Natural and Formal Languages Cristian Calude, Hermann Maurer
1994	—	`conf`	Randomness as an Invariant for Number Representations. Results and Trends in Theoretical Computer Science Cristian Calude, Helmut Jürgensen
1994	J	`jnl`	Three Theories of Computational Complexity Extended Abstract. Sci. Ann. Cuza Univ. Cristian Calude, Monica Tataram
1993	C	`conf`	Algorithmically Coding the Universe. Developments in Language Theory Cristian Calude, Arto Salomaa
1993	C	`conf`	Borel Normality and Algorithmic Randomness. Developments in Language Theory Cristian Calude
1993	J	`jnl`	Note on the Topological Structure of Random Strings. Theor. Comput. Sci. Cristian Calude, Cezar Câmpeanu
1991	J	`jnl`	Determining and Stationary Sets for Some Classes of Partial Recursive Functions. Theor. Comput. Sci. Cristian Calude, Gabriel Istrate
1991	J	`jnl`	Relativized Topological Size of Sets of Partial Recursive Functions. Theor. Comput. Sci. Cristian Calude
1990	J	`jnl`	On a theorem of Günter Asser. Math. Log. Q. Cristian Calude, Lila Santean
1989	B	`conf`	Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive Glimpse. MFCS Cristian Calude, Dragos Vaida
1987	J	`jnl`	Super-Exponentials Nonprimitive Recursive, but Rudimentary. Inf. Process. Lett. Cristian Calude
1986	J	`jnl`	Note on Ehrenfeucht's conjecture and Hilbert's basis theorem. Bull. EATCS Cristian Calude
1984	J	`jnl`	A class of nuniversal P Marti-Löf tests. Bull. EATCS Cristian Calude, Ion Chitescu
1983	J	`jnl`	Independent Instances for Some Undecidable Problems. RAIRO Theor. Informatics Appl. Cristian Calude, Gheorghe Paun
1983	J	`jnl`	On a class of independent problems related to Rice theorem. SIGACT News Cristian Calude
1983	J	`jnl`	On representability of P. Martin-Löf tests. Kybernetika Cristian Calude, Ion Chitescu
1983	J	`jnl`	Representability of recursive P. Martin-Löf tests. Kybernetika Cristian Calude, Ion Chitescu
1982	J	`jnl`	Topological Size of Sets of Partial Recursive Functions. Math. Log. Q. Cristian Calude
1981	J	`jnl`	Global syntax and semantics for recursively enumerable languages. Fundam. Informaticae Cristian Calude, Gheorghe Paun
1979	J	`jnl`	On topologies generated by Moisil resemblance relations. Discret. Math. Cristian Calude, Virgil Emil Cazanescu
1976	J	`jnl`	On metrizability of the free monoids. Discret. Math. Cristian Calude