Computational Artifacts Towards a Philosophy of Computer Science

Representation Theorems in Computer Science A Treatment in Logic Engineering

Adventures in Computer Science From Classical Bits to Quantum Bits

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

An Introduction to Kolmogorov Complexity and Its Applications

Applied Cryptography and Network Security 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Pairing-Based Cryptography – Pairing 2013 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures