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

Cristian S. Calude Home Page Coauthor index pubzone.org

Cristian Calude

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Biographical Citations

DBLP keys2012
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, J. P. Lewis: Is there a universal image generator? Applied Mathematics and Computation 218(16): 8151-8159 (2012)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Kai Salomaa, Tania Roblot: State-Size Hierarchy for Finite-State Complexity. Int. J. Found. Comput. Sci. 23(1): 37-50 (2012)
2011
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Grzegorz Rozenberg, Arto Salomaa: Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday Springer 2011
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg: Unconventional Computation - 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings Springer 2011
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlastair A. Abbott, Cristian S. Calude: Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits. UC 2011: 40-51
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlastair A. Abbott, Cristian S. Calude: Von Neumann Normalisation of a Quantum Random Number Generator CoRR abs/1101.4711: (2011)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlastair A. Abbott, Matthias Bechmann, Cristian S. Calude, Angelika Sebald: A Nuclear Magnetic Resonance Implementation of a Classical Deutsch-Jozsa Algorithm CoRR abs/1110.0177: (2011)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Akhtarzada, Cristian S. Calude, John G. Hosking: A Multi-Criteria Metric Algorithm for Recommender Systems. Fundam. Inform. 110(1-4): 1-11 (2011)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, José Félix Costa: Editorial. IJUC 7(5): 313 (2011)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Matteo Cavaliere, Radu Mardare: An Observer-Based de-Quantisation of Deutsch's Algorithm. Int. J. Found. Comput. Sci. 22(1): 191-201 (2011)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Nicholas J. Hay, Frank Stephan: Representation of left-computable ε-random reals. J. Comput. Syst. Sci. 77(4): 812-819 (2011)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude: Simplicity via provability for universal prefix-free Turing machines. Theor. Comput. Sci. 412(1-2): 178-182 (2011)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan: Universal recursively enumerable sets of strings. Theor. Comput. Sci. 412(22): 2253-2261 (2011)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Kai Salomaa, Tania Roblot: Finite state complexity. Theor. Comput. Sci. 412(41): 5668-5677 (2011)
2010
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Vladimiro Sassone: Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings Springer 2010
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis: Unconventional Computation - 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings Springer 2010
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Kai Salomaa, Tania Roblot: Finite-State Complexity and the Size of Transducers DCFS 2010: 38-47
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlastair A. Abbott, Cristian S. Calude: Understanding the Quantum Computational Speed-up via De-quantisation DCM 2010: 1-12
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Michael J. Dinneen, Monica Dumitrescu, Karl Svozil: Experimental Evidence of Quantum Randomness Incomputability CoRR abs/1004.1521: (2010)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Elena Calude, Karl Svozil: Pi_1-Statements, Chaotic Systems and the Church-Turing Thesis CoRR abs/1006.2951: (2010)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Marius Zimand: Algorithmically independent sequences. Inf. Comput. 208(3): 292-308 (2010)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Ludwig Staiger: A note on accelerated Turing machines. Mathematical Structures in Computer Science 20(6): 1011-1017 (2010)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, José Félix Costa: Preface to the Special Issue Unconventional Computing 2008. Natural Computing 9(4): 793-794 (2010)
2009
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Christine Müller: Formal Proof: Reconciling Correctness and Understanding. Calculemus/MKM 2009: 217-232
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude: Information: The Algorithmic Paradigm. Formal Theories of Information 2009: 79-94
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, José Félix Costa: Introduction. Applied Mathematics and Computation 215(4): 1309-1310 (2009)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Nicholas J. Hay: Every computably enumerable random real is provably computably enumerable random. Logic Journal of the IGPL 17(4): 351-374 (2009)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Ludwig Staiger: On universal computably enumerable prefix codes. Mathematical Structures in Computer Science 19(1): 45-57 (2009)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, José Félix Costa: Introduction. Natural Computing 8(3): 429-430 (2009)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Helmut Jürgensen, Ludwig Staiger: Topology on words. Theor. Comput. Sci. 410(24-25): 2323-2335 (2009)
2008
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude: Simplicity via Provability for Universal Prefix-free Turing Machines CSP 2008: 16-21
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Incompleteness: A Personal Perspective. DCFS 2008: 14-24
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan: Universal Recursively Enumerable Sets of Strings. Developments in Language Theory 2008: 170-182
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Marius Zimand: Algorithmically Independent Sequences. Developments in Language Theory 2008: 183-195
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Marius Zimand: Algorithmically independent sequences CoRR abs/0802.0487: (2008)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Nicholas J. Hay: Every Computably Enumerable Random Real Is Provably Computably Enumerable Random CoRR abs/0808.2220: (2008)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Gheorghe Paun: Foreword. Natural Computing 7(1): 1 (2008)
2007
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSelim 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Michael J. Dinneen: Exact Approximations of omega Numbers. I. J. Bifurcation and Chaos 17(6): 1937-1954 (2007)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Rossella Lupacchini, Giorgio Sandri: Preface. Natural Computing 6(2): 73-74 (2007)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Burgin, Cristian S. Calude: Preface. Theor. Comput. Sci. 383(2-3): 111-114 (2007)
2006
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Michael A. Stay: Natural Halting Probabilities, Partial Randomness, and Zeta Functions. Kolmogorov Complexity and Applications 2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Ludwig Staiger, Sebastiaan Terwijn: On partial randomness. Ann. Pure Appl. Logic 138(1-3): 20-30 (2006)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Michael Stay: Natural Halting Probabilities, Partial Randomness, and Zeta Functions CoRR abs/cs/0606033: (2006)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Michael Stay: Most Programs Stop Quickly or Never Halt CoRR abs/cs/0610153: (2006)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Cezar Câmpeanu, Monica Dumitrescu: Automata Recognizing No Words: A Statistical Approach. Fundam. Inform. 73(1-2): 1-18 (2006)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Michael Stay: Natural halting probabilities, partial randomness, and zeta functions. Inf. Comput. 204(11): 1718-1739 (2006)
2005
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Gheorghe Paun, Grzegorz Rozenberg: Contagious Creativity. Fundam. Inform. 64(1-4): (2005)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Sergiu Rudeanu: Proving as a Computable Procedure. Fundam. Inform. 64(1-4): 43-52 (2005)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Preface. Int. J. Found. Comput. Sci. 16(4): 623-624 (2005)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Ludwig Staiger: Generalisations of disjunctive sequences. Math. Log. Q. 51(2): 120-128 (2005)
2004
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua J. Arulanandham, Cristian Calude, Michael J. Dinneen: Balance Machines: Computing = Balancing. Aspects of Molecular Computing 2004: 36-48
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Algorithmic Randomness, Quantum Physics, and Incompleteness. MCU 2004: 1-17
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Solomon Marcus: Mathematical Proofs at a Crossroad? Theory Is Forever 2004: 15-28
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Elena Calude, Solomon Marcus: Passages of Proof. Bulletin of the EATCS 84: 167-188 (2004)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua J. Arulanandham, Cristian Calude, Michael J. Dinneen: A fast natural algorithm for searching. Theor. Comput. Sci. 320(1): 3-13 (2004)
2003
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Solomon Marcus, Ludwig Staiger: A topological characterization of random sequences. Inf. Process. Lett. 88(5): 245-250 (2003)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Elena Calude, Michael J. Dinneen: What is the Value of Taxicab(6)? J. UCS 9(10): 1196-1203 (2003)
2002
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Michael J. Dinneen, Ferdinand Peper: Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings Springer 2002
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua J. Arulanandham, Cristian Calude, Michael J. Dinneen: Bead-Sort: A Natural Sorting Algorithm. Bulletin of the EATCS 76: 153-161 (2002)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Elena Calude: The Bridge Crossing Problem. Bulletin of the EATCS 77: 180-190 (2002)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Kai Salomaa, Sheng Yu: Additive Distances and Quasi-Distances Between Words. J. UCS 8(2): 141-152 (2002)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: A characterization of c.e. random reals. Theor. Comput. Sci. 271(1-2): 3-14 (2002)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Chaitin Omega numbers, Solovay machines, and Gödel incompleteness. Theor. Comput. Sci. 284(2): 269-277 (2002)
2001
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian 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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Elena Calude: Automata: From Uncertainty to Quantum. Developments in Language Theory 2001: 1-14
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Elena Calude, Karl Svozil: Computational complementarity for probabilistic automata. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 99-113
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Elena Calude, Peter Kay: Liars, Demons, and Chaos. Words, Semigroups, and Transductions 2001: 33-46
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Hajime Ishihara, Takeshi Yamaguchi: Coding with Minimal Programs. Int. J. Found. Comput. Sci. 12(4): 479-490 (2001)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang: Recursively enumerable reals and Chaitin Omega numbers. Theor. Comput. Sci. 255(1-2): 125-149 (2001)
2000
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Elena Calude, Karl Svozil: Quantum Correlations Conundrum: An Automata-Theoretic Approach. Recent Topics in Mathematical and Computational Linguistics 2000: 55-67
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Gheorghe Stefanescu: Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. J. UCS 6(1): 1-2 (2000)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Elena Calude, Bakhadyr Khoussainov: Finite nondeterministic automata: Simulation and minimality. Theor. Comput. Sci. 242(1-2): 219-235 (2000)
1999
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Elena Calude: Bisimulations and behaviour of nondeterministic automata. Developments in Language Theory 1999: 60-70
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Richard J. Coles: Program-Size Complexity of Initial Segments and Domination Reducibility. Jewels are Forever 1999: 225-237
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Kai Salomaa, Sheng Yu: Metric Lexical Analysis. WIA 1999: 48-59
1998
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Marjo Lipponen: Computational Complementarity and Sofic Shifts. CATS 1998: 277-290
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang: Recursively Enumerable Reals and Chaitin Omega Numbers. STACS 1998: 596-606
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Elena Calude, Catalina Stefanescu: Computational Complementarity for Mealy Automata. Bulletin of the EATCS 66: 139-149 (1998)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Peter Hertling: Computable Approximations of Reals: An Information-Theoretic Analysis. Fundam. Inform. 33(2): 105-120 (1998)
1997
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndris 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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Elena Calude, Bakhadyr Khoussainov: Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract. Developments in Language Theory 1997: 519-537
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Elena Calude, Bakhadyr Khoussainov: Deterministic Automata: Simulation, Universality and Minimality. Ann. Pure Appl. Logic 90(1-3): 263-276 (1997)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Peter Hertling, Bakhadyr Khoussainov: Do the Zeros of Riemann's Zeta-Function Form a Random Sequence? Bulletin of the EATCS 62: (1997)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Sheng Yu: Language-theoretic Complexity of Disjunctive Sequences. Discrete Applied Mathematics 80(2-3): 203-209 (1997)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov: Logic in Computer Science. J. UCS 3(11): 1133 (1997)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, André Nies: Chaitin Omega Numbers and Strong Reducibilities. J. UCS 3(11): 1162-1166 (1997)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Ioan Tomescu: Optimum Extendible Prefix Codes. J. UCS 3(11): 1167-1179 (1997)
1996
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: The Finite, The Unbounded and The Infinite. J. UCS 2(5): 242-244 (1996)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Cristian Grozes: Kraft-Chaitin Inequality Revisited. J. UCS 2(5): 306-310 (1996)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Algorithmic Information Theory: Open Problems. J. UCS 2(5): 439-441 (1996)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Marius Zimand: Effective Category and Measure in Abstract Complexity Theory. Theor. Comput. Sci. 154(2): 307-327 (1996)
1995
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Marius Zimand: Effective Category and Measure in Abstract Complexity Theory (Extended Abstract). FCT 1995: 156-170
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory J. Chaitin, Asat Arslanov, Cristian Calude: Program-size Complexity Computes the Halting Problem. Bulletin of the EATCS 57: (1995)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: What Is a Random String? J. UCS 1(1): 48-66 (1995)
1994
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Helmut Jürgensen: Randomness as an Invariant for Number Representations. Results and Trends in Theoretical Computer Science 1994: 44-66
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Hermann A. Maurer, Arto Salomaa: Journal of Universal Computer Science. J. UCS 0(0): 109-115 (1994)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Monica Tataram: Three Theories of Computational Complexity Extended Abstract. Sci. Ann. Cuza Univ. 3: 45-52 (1994)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas S. Bridges, Cristian Calude: On Recursive Bounds for the Exceptional Values in Speed-Up. Theor. Comput. Sci. 132(2): 387-394 (1994)
1993
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Borel Normality and Algorithmic Randomness. Developments in Language Theory 1993: 113-129
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Arto Salomaa: Algorithmically Coding the Universe. Developments in Language Theory 1993: 472-492
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Cezar Câmpeanu: Note on the Topological Structure of Random Strings. Theor. Comput. Sci. 112(2): 383-390 (1993)
1991
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Gabriel Istrate: Determining and Stationary Sets for Some Classes of Partial Recursive Functions. Theor. Comput. Sci. 82(1): 151-155 (1991)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Relativized Topological Size of Sets of Partial Recursive Functions. Theor. Comput. Sci. 87(2): 347-352 (1991)
1989
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Dragos Vaida: Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive Glimpse. MFCS 1989: 177-184
1987
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Super-Exponentials Nonprimitive Recursive, but Rudimentary. Inf. Process. Lett. 25(5): 311-316 (1987)
1986
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude: Note on Ehrenfeucht's conjecture and Hilbert's basis theorem. Bulletin of the EATCS 29: 18-21 (1986)
1984
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Ion Chitescu: A class of nuniversal P Marti-Löf tests. Bulletin of the EATCS 23: 15-21 (1984)
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Gheorghe Paun: Independent Instances for Some Undecidable Problems. ITA 17(1): 49-54 (1983)
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Gheorghe Paun: Global syntax and semantics for recursively enumerable languages. Fundam. Inform. 4(2): 245-254 (1981)

Coauthor Index

1Alastair A. Abbott [103] [114] [115] [116]
2Ali Akhtarzada [113]
3Selim G. Akl [81]
4Andris Ambainis [30]
5Ioannis Antoniou [46]
6Kalvis Apsitis [30]
7Asat Arslanov [17]
8Joshua J. Arulanandham [53] [58] [62]
9Matthias Bechmann [114]
10Douglas S. Bridges [12] [25]
11Mark Burgin (M. Burgin) [77]
12Elena Calude [28] [29] [32] [37] [38] [40] [43] [44] [45] [52] [55] [59] [63] [101]
13Cezar Câmpeanu [9] [71]
14Matteo Cavaliere [111]
15Gregory J. Chaitin [17]
16Ion Chitescu [3]
17Richard J. Coles [36]
18José Félix Costa [89] [91] [94] [97] [98] [112]
19Nachum Dershowitz [97]
20Michael J. Dinneen [25] [46] [53] [54] [55] [57] [58] [62] [63] [69] [76] [80] [81] [102]
21Monica Dumitrescu [71] [102]
22Elisabete Freire [97]
23Rusins Freivalds [30]
24Rudolf Freund [89]
25Cristian Grozes [21]
26Masami Hagiya [105]
27Nicholas J. Hay [83] [93] [110]
28Peter Hertling [27] [31] [33] [41]
29John G. Hosking [113]
30Hajime Ishihara [42] [65]
31Gabriel Istrate [8]
32Helmut Jürgensen [15] [90]
33Jarkko Kari [117]
34Marek Karpinski [30]
35Peter Kay [43]
36Bakhadyr Khoussainov [25] [27] [28] [29] [33] [38] [41]
37Tomas Larfeldt [30]
38J. P. Lewis [120]
39Marjo Lipponen [34]
40Rossella Lupacchini [78]
41Solomon Marcus [56] [59] [60]
42Radu Mardare [111]
43Hermann A. Maurer [14]
44Kenichi Morita [105]
45Christine Müller [96]
46André Nies [24] [86] [108]
47Marion Oswald [89]
48Gheorghe Paun [1] [2] [47] [68] [69] [76] [82]
49Ferdinand Peper [54]
50Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez) [69]
51Ion Petre [117]
52Tania Roblot [104] [107] [119]
53Grzegorz Rozenberg [47] [68] [69] [76] [81] [89] [97] [105] [117] [118]
54Sergiu Rudeanu [67]
55Iveta Sala [30]
56Arto Salomaa [10] [14] [47] [118]
57Kai Salomaa [35] [50] [51] [104] [107] [119]
58Giorgio Sandri [78]
59Vladimiro Sassone [106]
60Angelika Sebald [114]
61Juris Smotrovs [30]
62Ludwig Staiger [56] [64] [74] [86] [90] [92] [99] [108]
63Michael Stay [70] [72] [73]
64Michael A. Stay [75]
65Catalina Stefanescu [32]
66Gheorghe Stefanescu [39] [79]
67Frank Stephan [86] [108] [110]
68Susan Stepney [76]
69Karl Svozil [40] [44] [101] [102]
70Monica Tataram [13]
71Sebastiaan Terwijn (Sebastiaan A. Terwijn) [74]
72Jonathan Timmis (Jon Timmis) [105]
73Ioan Tomescu [23]
74Dragos Vaida [6]
75Vincent Vajnovszki [57]
76Yongge Wang [33] [41]
77Todd Wareham (Harold T. Wareham) [81]
78Takeshi Yamaguchi [42]
79Sheng Yu [26] [35] [50] [51]
80Marius Zimand [18] [19] [79] [84] [85] [100]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page