Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings Steffen Bernhard Heftet / 2023 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings Steffen Bernhard Heftet / 1998 / Engelsk
Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings Steffen Bernhard Heftet / 2025 / Engelsk
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers Steffen Bernhard Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I Margaria Tiziana Heftet / 2014 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I Margaria Tiziana Heftet / 2024 / Engelsk
Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday Hinchey Mike Heftet / 2024 / Engelsk
Computing and Software Science State of the Art and Perspectives Steffen Bernhard Heftet / 2019 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II Margaria Tiziana Heftet / 2016 / Engelsk
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II Margaria Tiziana Heftet / 2010 / Engelsk
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I Margaria Tiziana Heftet / 2010 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers Maragria Tiziana Heftet / 2006 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II Margaria Tiziana Heftet / 2012 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings Margaria Tiziana Heftet / 2008 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II Margaria Tiziana Heftet / 2014 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. Margaria Tiziana Heftet / 1996 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Practice 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I Margaria Tiziana Heftet / 2012 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Margaria Tiziana Heftet / 2016 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III Margaria Tiziana Heftet / 2020 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II Margaria Tiziana Heftet / 2020 / Engelsk
Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings Steffen Bernhard Heftet / 2004 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings Margaria Tiziana Heftet / 2021 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV Margaria Tiziana Heftet / 2021 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I Margaria Tiziana Heftet / 2020 / Engelsk
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career Graf Susanne Heftet / 2024 / Engelsk
Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Olderog, Ernst-Rüdiger Heftet / 2021 / Engelsk
Hofmanns und Ritschls Lehren Über die Heilsbedeutung des Todes Jesu: Inaugural-Dissertation (Classic Reprint) Steffen Bernhard Innbundet / 2018 / Tysk
Karten von Mykenai: Auf Veranlassung des Kaiserlich Deutschen Archäologischen Instituts Aufgenommen und mit Erläuterndem Text Herausgegeben (Classic Reprint) Steffen Bernhard Heftet / 2018 / Tysk
Hofmanns und Ritschls Lehren Über die Heilsbedeutung des Todes Jesu: Inaugural-Dissertation (Classic Reprint) Steffen Bernhard Heftet / 2018 / Tysk
Tools and Algorithms for the Construction and Analysis of Systems Steffen Bernhard Innbundet / 2020 / Engelsk
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches Steffen Bernhard Heftet / 2019 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Steffen Bernhard Heftet / 2020 / Engelsk
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches Steffen Bernhard Innbundet / 2018 / Engelsk
