Professor Cristian Sorin Calude

Research | Current

  • Algorithmic information theory
  • Quantum computing

Selected publications and creative works (Research Outputs)

  • Calude, C. S., Staiger, L., & Stephan, F. (2016). Finite state incompressible infinite sequences. Information and Computation, 247, 23-36. 10.1016/j.ic.2015.11.003
  • Calude, C. S., Staiger, L., & Stephan, F. (2016). Finite state incompressible infinite sequences. INFORMATION AND COMPUTATION, 247, 23-36. 10.1016/j.ic.2015.11.003
  • Calude, C. S., & Thompson, D. (2016). Incompleteness, Undecidability and Automated Proofs (Invited Talk). Paper presented at 18th International Workshop on Computer Algebra in Scientific Computing (CASC), Univ Bucharest, Bucharest, ROMANIA. 19 September - 23 September 2016. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2016. (pp. 22). 10.1007/978-3-319-45641-6_10
  • Calude, C. S., & Dinneen, M. J. (2016). Special Issue: Unconventional Computation and Natural Computation. INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 12 (1), 1-2.
    Other University of Auckland co-authors: Michael Dinneen
  • Abbott, A., Calude, C., & Svozil, K. (2015). A Non-Probabilistic Model of Relativised Predictability in Physics. Information, 6 (4), 773-789. 10.3390/info6040773
  • Abbott, A. A., Calude, C. S., & Svozil, K. (2015). A variant of the Kochen-Specker theorem localising value indefiniteness. Journal of Mathematical Physics, 56 (10), 102201-102201. 10.1063/1.4931658
  • Calude, C. S., & Desfontaines, D. (2015). Anytime Algorithms for Non-Ending Computations. INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 26 (4), 465-475. 10.1142/50129054115500252
  • Calude, C. S., & Desfontaines, D. (2015). Anytime Algorithms for Non-Ending Computations. International Journal of Foundations of Computer Science, 26 (04), 465-475. 10.1142/S0129054115500252

Identifiers

Contact details

  • Media Contact

Web links