| 2021 | SYNASC | Gdel Incompleteness and Proof-Assistants Extended Abstract. | Cristian S. Calude |
| 2017 | STOC | Deciding parity games in quasipolynomial time. | Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan |
| 2016 | CASC | Incompleteness, Undecidability and Automated Proofs - (Invited Talk). | Cristian S. Calude, Declan Thompson |
| 2014 | TAMC | Finite State Incompressible Infinite Sequences. | Cristian S. Calude, Ludwig Staiger, Frank Stephan |
| 2013 | UC | Spectral Representation of Some Computably Enumerable Sets with an Application to Quantum Provability. | Cristian S. Calude, Kohtaro Tadaki |
| 2012 | UC | Inductive Complexity of P versus NP Problem - Extended Abstract. | Cristian S. Calude, Elena Calude, Melissa S. Queen |
| 2011 | UC | Von Neumann Normalisation and Symptoms of Randomness: An Application to Sequences of Quantum Random Bits. | Alastair A. Abbott, Cristian S. Calude |
| 2008 | DLT | Universal Recursively Enumerable Sets of Strings. | Cristian S. Calude, Andr Nies, Ludwig Staiger, Frank Stephan |
| 2008 | DLT | Algorithmically Independent Sequences. | Cristian S. Calude, Marius Zimand |
| 1997 | DLT | Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract. | Cristian S. Calude, Elena Calude, Bakhadyr Khoussainov |