dblp.uni-trier.dewww.uni-trier.de

Cristian S. Calude Vis

Cristian Calude

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
92EECristian 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
91EECristian S. Calude, Christine Müller: Formal Proof: Reconciling Correctness and Understanding. Calculemus/MKM 2009: 217-232
90EECristian S. Calude: Information: The Algorithmic Paradigm. Formal Theories of Information 2009: 79-94
89EECristian S. Calude, Ludwig Staiger: On universal computably enumerable prefix codes. Mathematical Structures in Computer Science 19(1): 45-57 (2009)
88EECristian 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
86EECristian S. Calude: Simplicity via Provability for Universal Prefix-free Turing Machines CSP 2008: 16-21
85EECristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan: Universal Recursively Enumerable Sets of Strings. Developments in Language Theory 2008: 170-182
84EECristian S. Calude, Marius Zimand: Algorithmically Independent Sequences. Developments in Language Theory 2008: 183-195
83EECristian S. Calude, Marius Zimand: Algorithmically independent sequences CoRR abs/0802.0487: (2008)
82EECristian S. Calude, Nicholas J. Hay: Every Computably Enumerable Random Real Is Provably Computably Enumerable Random CoRR abs/0808.2220: (2008)
81EECristian 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
79EECristian S. Calude, Michael J. Dinneen: Exact Approximations of omega Numbers. I. J. Bifurcation and Chaos 17(6): 1937-1954 (2007)
78EECristian 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)
77EECristian S. Calude, Rossella Lupacchini, Giorgio Sandri: Preface. Natural Computing 6(2): 73-74 (2007)
76EEMark 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
74EECristian S. Calude, Michael A. Stay: Natural Halting Probabilities, Partial Randomness, and Zeta Functions. Kolmogorov Complexity and Applications 2006
73EECristian S. Calude, Ludwig Staiger, Sebastiaan Terwijn: On partial randomness. Ann. Pure Appl. Logic 138(1-3): 20-30 (2006)
72EECristian S. Calude, Michael Stay: Natural Halting Probabilities, Partial Randomness, and Zeta Functions CoRR abs/cs/0606033: (2006)
71EECristian S. Calude, Michael Stay: Most Programs Stop Quickly or Never Halt CoRR abs/cs/0610153: (2006)
70EECristian S. Calude, Cezar Câmpeanu, Monica Dumitrescu: Automata Recognizing No Words: A Statistical Approach. Fundam. Inform. 73(1-2): 1-18 (2006)
69EECristian 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
67EECristian S. Calude, Gheorghe Paun, Grzegorz Rozenberg: Contagious Creativity. Fundam. Inform. 64(1-4): (2005)
66EECristian Calude, Sergiu Rudeanu: Proving as a Computable Procedure. Fundam. Inform. 64(1-4): 43-52 (2005)
65EECristian Calude: Preface. Int. J. Found. Comput. Sci. 16(4): 623-624 (2005)
64EECristian 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)
63EECristian 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
61EEJoshua J. Arulanandham, Cristian Calude, Michael J. Dinneen: Balance Machines: Computing = Balancing. Aspects of Molecular Computing 2004: 36-48
60EECristian Calude: Algorithmic Randomness, Quantum Physics, and Incompleteness. MCU 2004: 1-17
59EECristian 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)
57EEJoshua 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
55EECristian Calude, Solomon Marcus, Ludwig Staiger: A topological characterization of random sequences. Inf. Process. Lett. 88(5): 245-250 (2003)
54EECristian 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)
50EECristian 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)
49EECristian Calude, Kai Salomaa, Sheng Yu: Additive Distances and Quasi-Distances Between Words. J. UCS 8(2): 141-152 (2002)
48EECristian Calude: A characterization of c.e. random reals. Theor. Comput. Sci. 271(1-2): 3-14 (2002)
47EECristian 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
44EECristian 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)
41EECristian 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
39EECristian Calude, Gheorghe Stefanescu: Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. J. UCS 6(1): 1-2 (2000)
38EECristian 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
35EECristian 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
33EECristian 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)
26EECristian Calude, Sheng Yu: Language-theoretic Complexity of Disjunctive Sequences. Discrete Applied Mathematics 80(2-3): 203-209 (1997)
25EEDouglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov: Logic in Computer Science. J. UCS 3(11): 1133 (1997)
24EECristian Calude, André Nies: Chaitin Omega Numbers and Strong Reducibilities. J. UCS 3(11): 1162-1166 (1997)
23EECristian 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)
19EECristian 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)
16EECristian 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
14EECristian 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
6EECristian 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)