Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

Transactions on Petri Nets and Other Models of Concurrency XIII

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

Computational Intelligence for Network Structure Analytics

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

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II