Professor Cristian Sorin Calude

Research | Current

  • Algorithmic information theory
  • Quantum computing

Selected publications and creative works (Research Outputs)

  • Calude, C. S., Jain, S., Khoussainov, B., Li, W., & Stephan, F. (2017). Deciding parity games in quasipolynomial time?. Proceedings of the Annual ACM Symposium on Theory of Computing. 10.1145/3055399.3055409
  • Calude, C. S., Dinneen, M. J., & Hua, R. (2017). QUBO formulations for the graph isomorphism problem and related problems. Theoretical Computer Science10.1016/j.tcs.2017.04.016
    Other University of Auckland co-authors: Michael Dinneen
  • Calude, C. S., & Staiger, L. (2017). Liouville, Computable, Borel Normal and Martin-Löf Random Numbers. Theory of Computing Systems, 1-13. 10.1007/s00224-017-9767-8
  • 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