Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers Bonsangue Marcello M. Heftet / 2014 / Engelsk
Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings Anutariya Chutiporn Heftet / 2024 / Engelsk
Data Science and Artificial Intelligence First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings Anutariya Chutiporn Heftet / 2023 / Engelsk
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey Bonsangue Marcello M. Heftet / 2009 / Engelsk
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Bonsangue Marcello M. Heftet / 2007 / Engelsk
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab de Boer, Frank Heftet / 2018 / Engelsk
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Ábrahám, Erika Heftet / 2016 / Engelsk
Data Science and Artificial Intelligence Third International Conference, DSAI 2025, Peradeniya, Sri Lanka, November 19–21, 2025, Proceedings Anutariya Chutiporn Heftet / 2025 / Engelsk
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures Bonsangue Marcello M. Heftet / 2008 / Engelsk
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers de Boer, Frank S. Heftet / 2011 / Engelsk
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 Aichernig Bernhard K. Heftet / 2011 / Engelsk