| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cristian S. Calude, Kai Salomaa, Tania Roblot |
State-Size Hierarchy for Finite-State Complexity.  |
Int. J. Found. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, J. P. Lewis |
Is there a universal image generator? |
Applied Mathematics and Computation |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Kai Salomaa, Tania Roblot |
Finite state complexity. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan |
Universal recursively enumerable sets of strings. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude |
Simplicity via provability for universal prefix-free Turing machines. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Matteo Cavaliere, Radu Mardare |
An Observer-Based de-Quantisation of Deutsch's Algorithm. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Akhtarzada, Cristian S. Calude, John G. Hosking |
A Multi-Criteria Metric Algorithm for Recommender Systems. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, José Félix Costa |
Editorial. |
IJUC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alastair A. Abbott, Cristian S. Calude |
Von Neumann Normalisation of a Quantum Random Number Generator |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alastair A. Abbott, Matthias Bechmann, Cristian S. Calude, Angelika Sebald |
A Nuclear Magnetic Resonance Implementation of a Classical Deutsch-Jozsa Algorithm |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Nicholas J. Hay, Frank Stephan |
Representation of left-computable ε-random reals. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair A. Abbott, Cristian S. Calude |
Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits. |
UC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg (eds.) |
Unconventional Computation - 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings |
UC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa (eds.) |
Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday |
Rainbow of Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Tania Roblot |
Finite-State Complexity and the Size of Transducers |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, José Félix Costa |
Preface to the Special Issue Unconventional Computing 2008. |
Natural Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Ludwig Staiger |
A note on accelerated Turing machines. |
Mathematical Structures in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Marius Zimand |
Algorithmically independent sequences. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair A. Abbott, Cristian S. Calude |
Understanding the Quantum Computational Speed-up via De-quantisation |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Elena Calude, Karl Svozil |
Pi_1-Statements, Chaotic Systems and the Church-Turing Thesis |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Michael J. Dinneen, Monica Dumitrescu, Karl Svozil |
Experimental Evidence of Quantum Randomness Incomputability |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Vladimiro Sassone (eds.) |
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 |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis (eds.) |
Unconventional Computation - 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings |
UC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, José Félix Costa |
Introduction. |
Natural Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Helmut Jürgensen, Ludwig Staiger |
Topology on words. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Ludwig Staiger |
On universal computably enumerable prefix codes. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Nicholas J. Hay |
Every computably enumerable random real is provably computably enumerable random. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, José Félix Costa |
Introduction. |
Applied Mathematics and Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude |
Information: The Algorithmic Paradigm. |
Formal Theories of Information |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Christine Müller |
Formal Proof: Reconciling Correctness and Understanding. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.) |
Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings |
UC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude |
Incompleteness: A Personal Perspective. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Gheorghe Paun |
Foreword. |
Natural Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude |
Simplicity via Provability for Universal Prefix-free Turing Machines |
CSP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Marius Zimand |
Algorithmically independent sequences |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Nicholas J. Hay |
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, André Nies, Ludwig Staiger, Frank Stephan |
Universal Recursively Enumerable Sets of Strings. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Marius Zimand |
Algorithmically Independent Sequences. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg (eds.) |
Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings |
UC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Rossella Lupacchini, Giorgio Sandri |
Preface. |
Natural Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Burgin, Cristian S. Calude |
Preface. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Michael J. Dinneen |
Exact Approximations of omega Numbers. |
I. J. Bifurcation and Chaos |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, Todd Wareham (eds.) |
Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings |
UC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Michael Stay |
Natural halting probabilities, partial randomness, and zeta functions. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Ludwig Staiger, Sebastiaan Terwijn |
On partial randomness. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Cezar Câmpeanu, Monica Dumitrescu |
Automata Recognizing No Words: A Statistical Approach. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Michael Stay |
Natural Halting Probabilities, Partial Randomness, and Zeta Functions |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Michael Stay |
Most Programs Stop Quickly or Never Halt |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Michael A. Stay |
Natural Halting Probabilities, Partial Randomness, and Zeta Functions. |
Kolmogorov Complexity and Applications |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney (eds.) |
Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings |
UC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude |
Preface. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Sergiu Rudeanu |
Proving as a Computable Procedure. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Michael J. Dinneen, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg (eds.) |
Unconventional Computation, 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, 2005, Proceedings |
UC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Ludwig Staiger |
Generalisations of disjunctive sequences. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Hajime Ishihara |
Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Gheorghe Paun, Grzegorz Rozenberg |
Contagious Creativity. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen |
A fast natural algorithm for searching. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Solomon Marcus |
Passages of Proof. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude |
Algorithmic Randomness, Quantum Physics, and Incompleteness. |
MCU |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Michael J. Dinneen (eds.) |
Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings |
Developments in Language Theory |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen |
Balance Machines: Computing = Balancing. |
Aspects of Molecular Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Solomon Marcus |
Mathematical Proofs at a Crossroad? |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Solomon Marcus, Ludwig Staiger |
A topological characterization of random sequences. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Michael J. Dinneen |
What is the Value of Taxicab(6)? |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Michael J. Dinneen, Vincent Vajnovszki (eds.) |
Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings |
DMTCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude |
A characterization of c.e. random reals. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude |
Chaitin Omega numbers, Solovay machines, and Gödel incompleteness. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Sheng Yu |
Additive Distances and Quasi-Distances Between Words. |
J. UCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude |
The Bridge Crossing Problem. |
Bulletin of the EATCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Joshua J. Arulanandham, Cristian Calude, Michael J. Dinneen |
Bead-Sort: A Natural Sorting Algorithm. |
Bulletin of the EATCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Michael J. Dinneen, Ferdinand Peper (eds.) |
Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings |
UMC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang |
Recursively enumerable reals and Chaitin Omega numbers. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi |
Coding with Minimal Programs. |
Int. J. Found. Comput. Sci. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ioannis Antoniou, Cristian Calude, Michael J. Dinneen (eds.) |
Unconventional Models of Computation, UMC'2K, Proceedings of the Second International Conference, Brussel, Belgium, 13-16 December 2000 |
UMC |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude |
Automata: From Uncertainty to Quantum. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (eds.) |
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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Elena Calude, Karl Svozil |
Computational complementarity for probabilistic automata. |
Where Mathematics, Computer Science, Linguistics and Biology Meet |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Elena Calude, Peter Kay |
Liars, Demons, and Chaos. |
Words, Semigroups, and Transductions |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Bakhadyr Khoussainov |
Finite nondeterministic automata: Simulation and minimality. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Gheorghe Stefanescu |
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Cristian S. Calude, Elena Calude, Karl Svozil |
Quantum Correlations Conundrum: An Automata-Theoretic Approach. |
Recent Topics in Mathematical and Computational Linguistics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude |
Bisimulations and behaviour of nondeterministic automata. |
Developments in Language Theory |
1999 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Richard J. Coles |
Program-Size Complexity of Initial Segments and Domination Reducibility. |
Jewels are Forever |
1999 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Sheng Yu |
Metric Lexical Analysis. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Peter Hertling |
Computable Approximations of Reals: An Information-Theoretic Analysis. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Catalina Stefanescu |
Computational Complementarity for Mealy Automata. |
Bulletin of the EATCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang |
Recursively Enumerable Reals and Chaitin Omega Numbers. |
STACS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Marjo Lipponen |
Computational Complementarity and Sofic Shifts. |
CATS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Ioan Tomescu |
Optimum Extendible Prefix Codes. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov |
Logic in Computer Science. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, André Nies |
Chaitin Omega Numbers and Strong Reducibilities. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Bakhadyr Khoussainov |
Deterministic Automata: Simulation, Universality and Minimality. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Peter Hertling, Bakhadyr Khoussainov |
Do the Zeros of Riemann's Zeta-Function Form a Random Sequence? |
Bulletin of the EATCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Sheng Yu |
Language-theoretic Complexity of Disjunctive Sequences. |
Discrete Applied Mathematics |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov |
Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract. |
Developments in Language Theory |
1997 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Marius Zimand |
Effective Category and Measure in Abstract Complexity Theory. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude |
Algorithmic Information Theory: Open Problems. |
J. UCS |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")