Cristian S. Calude

Cristian Calude

	2009
93		Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings Springer 2009
92		Cristian S. Calude, Christine Müller: Formal Proof: Reconciling Correctness and Understanding. Calculemus/MKM 2009: 217-232
91		Cristian S. Calude: Information: The Algorithmic Paradigm. Formal Theories of Information 2009: 79-94
90		Cristian S. Calude, Ludwig Staiger: On universal computably enumerable prefix codes. Mathematical Structures in Computer Science 19(1): 45-57 (2009)
89		Cristian S. Calude, José Félix Costa: Introduction. Natural Computing 8(3): 429-430 (2009)
88		Cristian S. Calude, Helmut Jürgensen, Ludwig Staiger: Topology on words. Theor. Comput. Sci. 410(24-25): 2323-2335 (2009)
	2008
87		Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg: Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings Springer 2008
86		Cristian S. Calude: Simplicity via Provability for Universal Prefix-free Turing Machines CSP 2008: 16-21
85		Cristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan: Universal Recursively Enumerable Sets of Strings. Developments in Language Theory 2008: 170-182
84		Cristian S. Calude, Marius Zimand: Algorithmically Independent Sequences. Developments in Language Theory 2008: 183-195
83		Cristian S. Calude, Marius Zimand: Algorithmically independent sequences CoRR abs/0802.0487: (2008)
82		Cristian S. Calude, Nicholas J. Hay: Every Computably Enumerable Random Real Is Provably Computably Enumerable Random CoRR abs/0808.2220: (2008)
81		Cristian S. Calude, Gheorghe Paun: Foreword. Natural Computing 7(1): 1 (2008)
	2007
80		Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, Todd Wareham: Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings Springer 2007
79		Cristian S. Calude, Michael J. Dinneen: Exact Approximations of omega Numbers. I. J. Bifurcation and Chaos 17(6): 1937-1954 (2007)
78		Cristian S. Calude, Gheorghe Stefanescu, Marius Zimand: Combinatorics and Related Areas A Collection of Papers in Honour of the 65th Birthday of Ioan Tomescu. J. UCS 13(11): 1498-1500 (2007)
77		Cristian S. Calude, Rossella Lupacchini, Giorgio Sandri: Preface. Natural Computing 6(2): 73-74 (2007)
76		Mark Burgin, Cristian S. Calude: Preface. Theor. Comput. Sci. 383(2-3): 111-114 (2007)
	2006
75		Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney: Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings Springer 2006
74		Cristian S. Calude, Michael A. Stay: Natural Halting Probabilities, Partial Randomness, and Zeta Functions. Kolmogorov Complexity and Applications 2006
73		Cristian S. Calude, Ludwig Staiger, Sebastiaan Terwijn: On partial randomness. Ann. Pure Appl. Logic 138(1-3): 20-30 (2006)
72		Cristian S. Calude, Michael Stay: Natural Halting Probabilities, Partial Randomness, and Zeta Functions CoRR abs/cs/0606033: (2006)
71		Cristian S. Calude, Michael Stay: Most Programs Stop Quickly or Never Halt CoRR abs/cs/0610153: (2006)
70		Cristian S. Calude, Cezar Câmpeanu, Monica Dumitrescu: Automata Recognizing No Words: A Statistical Approach. Fundam. Inform. 73(1-2): 1-18 (2006)
69		Cristian S. Calude, Michael Stay: Natural halting probabilities, partial randomness, and zeta functions. Inf. Comput. 204(11): 1718-1739 (2006)
	2005
68		Cristian Calude, Michael J. Dinneen, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg: Unconventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, 2005, Proceedings Springer 2005
67		Cristian S. Calude, Gheorghe Paun, Grzegorz Rozenberg: Contagious Creativity. Fundam. Inform. 64(1-4): (2005)
66		Cristian Calude, Sergiu Rudeanu: Proving as a Computable Procedure. Fundam. Inform. 64(1-4): 43-52 (2005)
65		Cristian Calude: Preface. Int. J. Found. Comput. Sci. 16(4): 623-624 (2005)
64		Cristian S. Calude, Hajime Ishihara: Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. J. UCS 11(12): 1863-1865 (2005)
63		Cristian S. Calude, Ludwig Staiger: Generalisations of disjunctive sequences. Math. Log. Q. 51(2): 120-128 (2005)
	2004
62		Cristian Calude, Elena Calude, Michael J. Dinneen: Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings Springer 2004
61		Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen: Balance Machines: Computing = Balancing. Aspects of Molecular Computing 2004: 36-48
60		Cristian Calude: Algorithmic Randomness, Quantum Physics, and Incompleteness. MCU 2004: 1-17
59		Cristian Calude, Solomon Marcus: Mathematical Proofs at a Crossroad? Theory Is Forever 2004: 15-28
58		Cristian Calude, Elena Calude, Solomon Marcus: Passages of Proof. Bulletin of the EATCS 84: 167-188 (2004)
57		Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen: A fast natural algorithm for searching. Theor. Comput. Sci. 320(1): 3-13 (2004)
	2003
56		Cristian Calude, Michael J. Dinneen, Vincent Vajnovszki: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings DMTCS 2003
55		Cristian Calude, Solomon Marcus, Ludwig Staiger: A topological characterization of random sequences. Inf. Process. Lett. 88(5): 245-250 (2003)
54		Cristian Calude, Elena Calude, Michael J. Dinneen: What is the Value of Taxicab(6)? J. UCS 9(10): 1196-1203 (2003)
	2002
53		Cristian Calude, Michael J. Dinneen, Ferdinand Peper: Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings Springer 2002
52		Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen: Bead-Sort: A Natural Sorting Algorithm. Bulletin of the EATCS 76: 153-161 (2002)
51		Cristian Calude, Elena Calude: The Bridge Crossing Problem. Bulletin of the EATCS 77: 180-190 (2002)
50		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. UCS 8(2): 117-118 (2002)
49		Cristian Calude, Kai Salomaa, Sheng Yu: Additive Distances and Quasi-Distances Between Words. J. UCS 8(2): 141-152 (2002)
48		Cristian Calude: A characterization of c.e. random reals. Theor. Comput. Sci. 271(1-2): 3-14 (2002)
47		Cristian Calude: Chaitin Omega numbers, Solovay machines, and Gödel incompleteness. Theor. Comput. Sci. 284(2): 269-277 (2002)
	2001
46		Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: 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] Springer 2001
45		Ioannis Antoniou, Cristian Calude, Michael J. Dinneen: Unconventional Models of Computation, UMC'2K, Proceedings of the Second International Conference, Brussel, Belgium, 13-16 December 2000 Springer 2001
44		Cristian Calude, Elena Calude: Automata: From Uncertainty to Quantum. Developments in Language Theory 2001: 1-14
43		Cristian S. Calude, Elena Calude, Peter Kay: Liars, Demons, and Chaos. Words, Semigroups, and Transductions 2001: 33-46
42		Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi: Coding with Minimal Programs. Int. J. Found. Comput. Sci. 12(4): 479-490 (2001)
41		Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang: Recursively enumerable reals and Chaitin Omega numbers. Theor. Comput. Sci. 255(1-2): 125-149 (2001)
	2000
40		Cristian S. Calude, Elena Calude, Karl Svozil: Quantum Correlations Conundrum: An Automata-Theoretic Approach. Recent Topics in Mathematical and Computational Linguistics 2000: 55-67
39		Cristian Calude, Gheorghe Stefanescu: Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. J. UCS 6(1): 1-2 (2000)
38		Cristian Calude, Elena Calude, Bakhadyr Khoussainov: Finite nondeterministic automata: Simulation and minimality. Theor. Comput. Sci. 242(1-2): 219-235 (2000)
	1999
37		Cristian Calude, Elena Calude: Bisimulations and behaviour of nondeterministic automata. Developments in Language Theory 1999: 60-70
36		Cristian Calude, Richard J. Coles: Program-Size Complexity of Initial Segments and Domination Reducibility. Jewels are Forever 1999: 225-237
35		Cristian Calude, Kai Salomaa, Sheng Yu: Metric Lexical Analysis. WIA 1999: 48-59
	1998
34		Cristian S. Calude, Marjo Lipponen: Computational Complementarity and Sofic Shifts. CATS 1998: 277-290
33		Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang: Recursively Enumerable Reals and Chaitin Omega Numbers. STACS 1998: 596-606
32		Cristian Calude, Elena Calude, Catalina Stefanescu: Computational Complementarity for Mealy Automata. Bulletin of the EATCS 66: 139-149 (1998)
31		Cristian Calude, Peter Hertling: Computable Approximations of Reals: An Information-Theoretic Analysis. Fundam. Inform. 33(2): 105-120 (1998)
	1997
30		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: 244-259
29		Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov: Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract. Developments in Language Theory 1997: 519-537
28		Cristian Calude, Elena Calude, Bakhadyr Khoussainov: Deterministic Automata: Simulation, Universality and Minimality. Ann. Pure Appl. Logic 90(1-3): 263-276 (1997)
27		Cristian Calude, Peter Hertling, Bakhadyr Khoussainov: Do the Zeros of Riemann's Zeta-Function Form a Random Sequence? Bulletin of the EATCS 62: (1997)
26		Cristian Calude, Sheng Yu: Language-theoretic Complexity of Disjunctive Sequences. Discrete Applied Mathematics 80(2-3): 203-209 (1997)
25		Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov: Logic in Computer Science. J. UCS 3(11): 1133 (1997)
24		Cristian Calude, André Nies: Chaitin Omega Numbers and Strong Reducibilities. J. UCS 3(11): 1162-1166 (1997)
23		Cristian Calude, Ioan Tomescu: Optimum Extendible Prefix Codes. J. UCS 3(11): 1167-1179 (1997)
	1996
22		Cristian Calude: The Finite, The Unbounded and The Infinite. J. UCS 2(5): 242-244 (1996)
21		Cristian Calude, Cristian Grozes: Kraft-Chaitin Inequality Revisited. J. UCS 2(5): 306-310 (1996)
20		Cristian Calude: Algorithmic Information Theory: Open Problems. J. UCS 2(5): 439-441 (1996)
19		Cristian Calude, Marius Zimand: Effective Category and Measure in Abstract Complexity Theory. Theor. Comput. Sci. 154(2): 307-327 (1996)
	1995
18		Cristian Calude, Marius Zimand: Effective Category and Measure in Abstract Complexity Theory (Extended Abstract). FCT 1995: 156-170
17		Gregory J. Chaitin, Asat Arslanov, Cristian Calude: Program-size Complexity Computes the Halting Problem. Bulletin of the EATCS 57: (1995)
16		Cristian Calude: What Is a Random String? J. UCS 1(1): 48-66 (1995)
	1994
15		Cristian Calude, Helmut Jürgensen: Randomness as an Invariant for Number Representations. Results and Trends in Theoretical Computer Science 1994: 44-66
14		Cristian Calude, Hermann A. Maurer, Arto Salomaa: Journal of Universal Computer Science. J. UCS 0(0): 109-115 (1994)
13		Cristian Calude, Monica Tataram: Three Theories of Computational Complexity Extended Abstract. Sci. Ann. Cuza Univ. 3: 45-52 (1994)
12		Douglas S. Bridges, Cristian Calude: On Recursive Bounds for the Exceptional Values in Speed-Up. Theor. Comput. Sci. 132(2): 387-394 (1994)
	1993
11		Cristian Calude: Borel Normality and Algorithmic Randomness. Developments in Language Theory 1993: 113-129
10		Cristian Calude, Arto Salomaa: Algorithmically Coding the Universe. Developments in Language Theory 1993: 472-492
9		Cristian Calude, Cezar Câmpeanu: Note on the Topological Structure of Random Strings. Theor. Comput. Sci. 112(2): 383-390 (1993)
	1991
8		Cristian Calude, Gabriel Istrate: Determining and Stationary Sets for Some Classes of Partial Recursive Functions. Theor. Comput. Sci. 82(1): 151-155 (1991)
7		Cristian Calude: Relativized Topological Size of Sets of Partial Recursive Functions. Theor. Comput. Sci. 87(2): 347-352 (1991)
	1989
6		Cristian Calude, Dragos Vaida: Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive Glimpse. MFCS 1989: 177-184
	1987
5		Cristian Calude: Super-Exponentials Nonprimitive Recursive, but Rudimentary. Inf. Process. Lett. 25(5): 311-316 (1987)
	1986
4		Cristian Calude: Note on Ehrenfeucht's conjecture and Hilbert's basis theorem. Bulletin of the EATCS 29: 18-21 (1986)
	1984
3		Cristian Calude, Ion Chitescu: A class of nuniversal P Marti-Löf tests. Bulletin of the EATCS 23: 15-21 (1984)
	1983
2		Cristian Calude, Gheorghe Paun: Independent Instances for Some Undecidable Problems. ITA 17(1): 49-54 (1983)
	1981
1		Cristian Calude, Gheorghe Paun: Global syntax and semantics for recursively enumerable languages. Fundam. Inform. 4(2): 245-254 (1981)

Coauthor Index

1	Selim G. Akl	[80]
2	Andris Ambainis	[30]
3	Ioannis Antoniou	[45]
4	Kalvis Apsitis	[30]
5	Asat Arslanov	[17]
6	Joshua J. Arulanandham	[52] [57] [61]
7	Douglas S. Bridges	[12] [25]
8	Mark Burgin (M. Burgin)	[76]
9	Elena Calude	[28] [29] [32] [37] [38] [40] [43] [44] [51] [54] [58] [62]
10	Cezar Câmpeanu	[9] [70]
11	Gregory J. Chaitin	[17]
12	Ion Chitescu	[3]
13	Richard J. Coles	[36]
14	José Félix Costa	[87] [89] [93]
15	Nachum Dershowitz	[93]
16	Michael J. Dinneen	[25] [45] [52] [53] [54] [56] [57] [61] [62] [68] [75] [79] [80]
17	Monica Dumitrescu	[70]
18	Elisabete Freire	[93]
19	Rusins Freivalds	[30]
20	Rudolf Freund	[87]
21	Cristian Grozes	[21]
22	Nicholas J. Hay	[82]
23	Peter Hertling	[27] [31] [33] [41]
24	Hajime Ishihara	[42] [64]
25	Gabriel Istrate	[8]
26	Helmut Jürgensen	[15] [88]
27	Marek Karpinski	[30]
28	Peter Kay	[43]
29	Bakhadyr Khoussainov	[25] [27] [28] [29] [33] [38] [41]
30	Tomas Larfeldt	[30]
31	Marjo Lipponen	[34]
32	Rossella Lupacchini	[77]
33	Solomon Marcus	[55] [58] [59]
34	Hermann A. Maurer	[14]
35	Christine Müller	[92]
36	André Nies	[24] [85]
37	Marion Oswald	[87]
38	Gheorghe Paun	[1] [2] [46] [67] [68] [75] [81]
39	Ferdinand Peper	[53]
40	Mario J. Pérez-Jiménez	[68]
41	Grzegorz Rozenberg	[46] [67] [68] [75] [80] [87] [93]
42	Sergiu Rudeanu	[66]
43	Iveta Sala	[30]
44	Arto Salomaa	[10] [14] [46]
45	Kai Salomaa	[35] [49] [50]
46	Giorgio Sandri	[77]
47	Juris Smotrovs	[30]
48	Ludwig Staiger	[55] [63] [73] [85] [88] [90]
49	Michael Stay	[69] [71] [72]
50	Michael A. Stay	[74]
51	Catalina Stefanescu	[32]
52	Gheorghe Stefanescu	[39] [78]
53	Frank Stephan	[85]
54	Susan Stepney	[75]
55	Karl Svozil	[40]
56	Monica Tataram	[13]
57	Sebastiaan Terwijn	[73]
58	Ioan Tomescu	[23]
59	Dragos Vaida	[6]
60	Vincent Vajnovszki	[56]
61	Yongge Wang	[33] [41]
62	Todd Wareham (Harold T. Wareham)	[80]
63	Takeshi Yamaguchi	[42]
64	Sheng Yu	[26] [35] [49] [50]
65	Marius Zimand	[18] [19] [78] [83] [84]

Colors in the list of coauthors