Dieter Hutter

	2009
57		Dieter Hutter, Raul Monroy: On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS 2009: 138-154
56		Dieter Hutter: Semantic Management of Heterogeneous Documents. MICAI 2009: 1-14
	2007
55		Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter: On the Automated Correction of Security Protocols Susceptible to a Replay Attack. ESORICS 2007: 594-609
54		Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. Electr. Notes Theor. Comput. Sci. 174(4): 117-130 (2007)
53		Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer: Security of multi-agent systems: A case study on comparison shopping. J. Applied Logic 5(2): 303-332 (2007)
	2006
52		Dieter Hutter, Matthias Klusch, Melanie Volkamer: Information Flow Analysis Based Security Checking of Health Service Composition Plans. ECEH 2006: 59-70
51		Dieter Hutter: Possibilistic Information Flow Control in MAKS and Action Refinement. ETRICS 2006: 268-281
50		Fernando Godínez, Dieter Hutter, Raul Monroy: On the Use of Word Networks to Mimicry Attack Detection. ETRICS 2006: 423-435
49		Dieter Hutter, Melanie Volkamer: Information Flow Control to Secure Dynamic Web Service Composition. SPC 2006: 196-210
48		Till Mossakowski, Serge Autexier, Dieter Hutter: Development graphs - Proof management for structured specifications. J. Log. Algebr. Program. 67(1-2): 114-145 (2006)
	2005
47		Dieter Hutter, Werner Stephan: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday Springer 2005
46		Dieter Hutter, Markus Ullmann: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings Springer 2005
45		Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones: Software certificate management (SoftCeMent'05). ASE 2005: 463
44		Fernando Godínez, Dieter Hutter, Raul Monroy: Audit File Reduction Using N-Gram Models. Financial Cryptography 2005: 336-340
43		Fernando Godínez, Dieter Hutter, Raul Monroy: On the Role of Information Compaction to Intrusion Detection. ISSADS 2005: 83-97
42		Dieter Hutter, Werner Stephan: A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning 2005: 1-13
41		Dieter Hutter, Serge Autexier: Formal Software Development in MAYA. Mechanizing Mathematical Reasoning 2005: 407-432
	2004
40		Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann: Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers Springer 2004
39		Fernando Godínez, Dieter Hutter, Raul Monroy: Attribute Reduction for Effective Intrusion Detection. AWIC 2004: 74-83
38		Dieter Hutter, Axel Schairer: Possibilistic Information Flow Control in the Presence of Encrypted Communication. ESORICS 2004: 209-224
37		Melanie Volkamer, Dieter Hutter: From Legal Principles to an Internet Voting System. Electronic Voting in Europe 2004: 111-120
36		Fernando Godínez, Dieter Hutter, Raul Monroy: Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA 2004: 99-113
	2003
35		Dieter Hutter, Werner Stephan, Markus Ullmann: Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC 2003: 285-289
34		Dieter Hutter: Deduction as an Engineering Science. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
	2002
33		Axel Schairer, Dieter Hutter: Proof Transformations for Evolutionary Formal Software Development. AMAST 2002: 441-456
32		Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer: The Development Graph Manager MAYA. AMAST 2002: 495-501
31		Serge Autexier, Dieter Hutter: Maintenance of Formal Software Developments by Stratified Verification. LPAR 2002: 36-52
30		Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing: MultiMedia Instruction in Safe and Secure Systems. WADT 2002: 82-117
	2001
29		Dieter Hutter, Axel Schairer: Towards an Evolutionary Formal Software Development. ASE 2001: 417-420
28		Till Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283
27		Axel Schairer, Serge Autexier, Dieter Hutter: A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electr. Notes Theor. Comput. Sci. 58(2): (2001)
26		Klaus Fischer, Dieter Hutter: Preface. Electr. Notes Theor. Comput. Sci. 63: (2001)
25		Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan: Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. Electr. Notes Theor. Comput. Sci. 63: (2001)
	2000
24		Dieter Hutter: Management of Change in Structured Verification. ASE 2000: 23-
23		Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference 2000: 367-376
22		Dieter Hutter: Annotated reasoning. Ann. Math. Artif. Intell. 29(1-4): 183-222 (2000)
21		Dieter Hutter, Michael Kohlhase: Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reasoning 25(2): 123-164 (2000)
20		Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)
19		Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers: VSE: formal methods meet industrial needs. STTT 3(1): 66-77 (2000)
	1999
18		Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings Springer 1999
17		Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211
16		Dieter Hutter, Alan Bundy: The Design of the CADE-16 Inductive Theorem Prover Contest. CADE 1999: 374-377
15		Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: Towards an Evolutionary Formal Software-Development Using CASL. WADT 1999: 73-88
	1998
14		Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: VSE: Controlling the Complexity in Formal Software Developments. FM-Trends 1998: 351-358
13		Dieter Hutter: Deductive Verification of Invariants of State-Transition Systems. KI 1998: 153-164
	1997
12		Dieter Hutter, Michael Kohlhase: A Colored Version of the Lambda-Calculus. CADE 1997: 291-305
11		Dieter Hutter: Coloring Terms to Control Equational Reasoning. J. Autom. Reasoning 18(3): 399-442 (1997)
	1996
10		Dieter Hutter, Claus Sengler: INKA: The Next Generation. CADE 1996: 288-292
9		Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers: Deduction in the Verification Support Environment (VSE). FME 1996: 268-286
8		Dieter Hutter: Using Rippling for Equational Reasoning. KI 1996: 121-133
	1994
7		Dieter Hutter: Synthesis of Induction Orderings for Existence Proofs. CADE 1994: 29-41
6		Jürgen Cleve, Dieter Hutter: A Methodology for Equational Reasoning. HICSS (3) 1994: 569-579
	1993
5		Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver: VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS 1993: 175-190
	1992
4		Dieter Hutter: Adapting a Resolution Calculus for Inductive Proofs. ECAI 1992: 65-69
	1990
3		Dieter Hutter: Guiding Induction Proofs. CADE 1990: 147-161
	1986
2		Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther: The Karlsruhe Induction Theorem Proving System. CADE 1986: 672-674
1		Dieter Hutter: Using Resolution and Paramodulation for Induction Proofs. GWAI 1986: 265-276

Coauthor Index

1	Serge Autexier	[15] [17] [19] [27] [28] [31] [32] [41] [48]
2	Michael Balser	[14]
3	P. Baur	[5]
4	Susanne Biundo	[2]
5	Alan Bundy	[16]
6	E. Canver	[5]
7	Jürgen Cleve	[5] [6]
8	Ewen Denney	[45]
9	Klaus Fischer	[25] [26]
10	Bernd Fischer	[45]
11	R. Förster	[5]
12	Fernando Godínez	[36] [39] [43] [44] [50]
13	H. Hauff	[5]
14	B. Hummel	[2]
15	Mark Jones	[45]
16	P. Kejwal	[5]
17	Matthias Klusch	[25] [52]
18	Michael Kohlhase	[12] [21]
19	Bernd Krieg-Brückner	[30]
20	Bruno Langenstein	[9] [19] [20]
21	Arne Lindow	[30]
22	D. Loevenich	[5]
23	Christoph Lüth	[30]
24	Achim Mahnke	[30]
25	Heiko Mantel	[14] [15] [17] [19] [53]
26	Philipp Meier	[30]
27	Erica Melis	[30]
28	Raul Monroy	[36] [39] [43] [44] [50] [54] [55] [57]
29	Till Mossakowski	[28] [32] [48]
30	Günter Müller	[40]
31	Juan Carlos López Pimentel	[54] [55]
32	Arnd Poetzsch-Heffter	[30]
33	Wolfgang Reif	[5] [14]
34	Georg Rock	[14] [19] [20] [23]
35	Markus Roggenbach	[30]
36	George Russell	[30]
37	Ina Schaefer	[53]
38	Axel Schairer	[15] [17] [19] [27] [29] [32] [33] [38] [53]
39	Gerhard Schellhorn	[14]
40	Claus Sengler	[5] [9] [10]
41	Jörg H. Siekmann	[9] [20] [23]
42	Jan-Georg Smaus	[30]
43	Kurt Stenzel	[14]
44	Werner Stephan	[5] [9] [14] [18] [19] [20] [23] [25] [35] [40] [42] [47]
45	Paolo Traverso	[18]
46	Markus Ullmann	[5] [18] [35] [40] [46]
47	Roland Vogt	[19] [20] [23]
48	Melanie Volkamer	[37] [49] [52]
49	Christoph Walther	[2]
50	Martin Wirsing	[30]
51	Andreas Wolpers	[5] [9] [14] [19]

Colors in the list of coauthors