Dieter Hutter
Orcid: 0000-0002-5881-204X
According to our database1,
Dieter Hutter
authored at least 79 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
1
1
1
1
1
1
1
4
1
1
2
2
3
4
2
2
2
1
5
5
4
2
4
5
2
3
2
1
3
2
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
2021
2020
Proceedings of the Computer Security - ESORICS 2020 International Workshops, 2020
2017
Computación y Sistemas, 2017
2016
Proceedings of the 12th International Conference on Intelligent Environments, 2016
Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015
2014
Proceedings of the Proceedings First International Workshop on Graphical Models for Security, 2014
Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.
Proceedings of the ICT Systems Security and Privacy Protection, 2014
Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), 2014
2013
Proceedings of the Open Identity Summit 2013, September 9th, 2013
Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments.
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013
SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo).
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013
2012
Dagstuhl Reports, 2012
Proceedings of the 6th International Workshop on Modular Ontologies, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
2010
Proceedings of the Verification, Induction, Termination Analysis, 2010
2009
Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009
Proceedings of the Foundations and Applications of Security Analysis, 2009
2007
J. Appl. Log., 2007
Proceedings of the Computer Security, 2007
2006
J. Log. Algebraic Methods Program., 2006
Proceedings of the Workshop on Verification and Debugging, 2006
Proceedings of the Security in Pervasive Computing, Third International Conference, 2006
Proceedings of the Emerging Trends in Information and Communication Security, 2006
Proceedings of the Emerging Trends in Information and Communication Security, 2006
Information Flow Analysis Based Security Checking of Health Service Composition Plans.
Proceedings of the European Conference on eHealth 2006, 2006
2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005
Proceedings of the Financial Cryptography and Data Security, 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
Rippling - meta-level guidance for mathematical reasoning.
Cambridge tracts in theoretical computer science 56, Cambridge University Press, ISBN: 978-0-521-83449-0, 2005
2004
Proceedings of the Information Security Applications, 5th International Workshop, 2004
Proceedings of the Electronic Voting in Europe, 2004
Proceedings of the Computer Security, 2004
Proceedings of the Advances in Web Intelligence, 2004
2003
Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.
Prax. Inf.verarb. Kommun., 2003
Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003
Proceedings of the Security in Pervasive Computing, 2003
2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Logic for Programming, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001
Proceedings of the First International Workshop on Security of Mobile Multiagent Systems, 2001
Proceedings of the First International Workshop on Security of Mobile Multiagent Systems, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
2000
Int. J. Softw. Tools Technol. Transf., 2000
J. Exp. Theor. Artif. Intell., 2000
J. Autom. Reason., 2000
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000
1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Automated Deduction, 1999
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998
Proceedings of the Applied Formal Methods, 1998
1997
Proceedings of the Automated Deduction, 1997
1996
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1994
A Methodology for Equational Reasoning.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
Proceedings of the Verläßliche Informationssysteme, 1993
1992
Adapting a Resolution Calculus for Inductive Proofs.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1986
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986