Dieter Hutter

	2010
61		Achim D. Brucker, Dieter Hutter: Information Flow in Disaster Management Systems. ARES 2010: 156-163
60		Serge Autexier, Dieter Hutter, Till Mossakowski: Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80
	2009
59		Dieter Hutter, Raul Monroy: On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS 2009: 138-154
58		Dieter Hutter: Semantic Management of Heterogeneous Documents. MICAI 2009: 1-14
	2007
57		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
56		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)
55		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
54		Dieter Hutter, Matthias Klusch, Melanie Volkamer: Information Flow Analysis Based Security Checking of Health Service Composition Plans. ECEH 2006: 59-70
53		Dieter Hutter: Possibilistic Information Flow Control in MAKS and Action Refinement. ETRICS 2006: 268-281
52		Fernando Godínez, Dieter Hutter, Raul Monroy: On the Use of Word Networks to Mimicry Attack Detection. ETRICS 2006: 423-435
51		Dieter Hutter, Melanie Volkamer: Information Flow Control to Secure Dynamic Web Service Composition. SPC 2006: 196-210
50		Till Mossakowski, Serge Autexier, Dieter Hutter: Development graphs - Proof management for structured specifications. J. Log. Algebr. Program. 67(1-2): 114-145 (2006)
	2005
49		Dieter Hutter, Werner Stephan: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday Springer 2005
48		Dieter Hutter, Markus Ullmann: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings Springer 2005
47		Ewen Denney, Bernd Fischer, Dieter Hutter, Mark Jones: Software certificate management (SoftCeMent'05). ASE 2005: 463
46		Fernando Godínez, Dieter Hutter, Raul Monroy: Audit File Reduction Using N-Gram Models. Financial Cryptography 2005: 336-340
45		Fernando Godínez, Dieter Hutter, Raul Monroy: On the Role of Information Compaction to Intrusion Detection. ISSADS 2005: 83-97
44		Dieter Hutter, Werner Stephan: A Portrait of a Scientist: Logic, AI and Politics. Mechanizing Mathematical Reasoning 2005: 1-13
43		Dieter Hutter, Serge Autexier: Formal Software Development in MAYA. Mechanizing Mathematical Reasoning 2005: 407-432
	2004
42		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
41		Fernando Godínez, Dieter Hutter, Raul Monroy: Attribute Reduction for Effective Intrusion Detection. AWIC 2004: 74-83
40		Dieter Hutter, Axel Schairer: Possibilistic Information Flow Control in the Presence of Encrypted Communication. ESORICS 2004: 209-224
39		Melanie Volkamer, Dieter Hutter: From Legal Principles to an Internet Voting System. Electronic Voting in Europe 2004: 111-120
38		Fernando Godínez, Dieter Hutter, Raul Monroy: Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA 2004: 99-113
	2003
37		Dieter Hutter, Werner Stephan, Markus Ullmann: Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC 2003: 285-289
36		Dieter Hutter: Deduction as an Engineering Science. Electr. Notes Theor. Comput. Sci. 86(1): 1-8 (2003)
35		Dieter Hutter, Heiko Mantel, Axel Schairer: Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen. Praxis der Informationsverarbeitung und Kommunikation 26(1): 39-47 (2003)
	2002
34		Axel Schairer, Dieter Hutter: Proof Transformations for Evolutionary Formal Software Development. AMAST 2002: 441-456
33		Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer: The Development Graph Manager MAYA. AMAST 2002: 495-501
32		Serge Autexier, Dieter Hutter: Maintenance of Formal Software Developments by Stratified Verification. LPAR 2002: 36-52
31		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
30		Dieter Hutter, Axel Schairer: Towards an Evolutionary Formal Software Development. ASE 2001: 417-420
29		Till Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283
28		Axel Schairer, Serge Autexier, Dieter Hutter: A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electr. Notes Theor. Comput. Sci. 58(2): 203-216 (2001)
27		Klaus Fischer, Dieter Hutter: Preface. Electr. Notes Theor. Comput. Sci. 63: 181-182 (2001)
26		Klaus Fischer, Dieter Hutter, Matthias Klusch, Werner Stephan: Towards Secure Mobile Multiagent Based Electronic Marketplace Systems. Electr. Notes Theor. Comput. Sci. 63: 59-76 (2001)
	2000
25		Dieter Hutter: Management of Change in Structured Verification. ASE 2000: 23-
24		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
23		Dieter Hutter: Annotated reasoning. Ann. Math. Artif. Intell. 29(1-4): 183-222 (2000)
22		Dieter Hutter, Michael Kohlhase: Managing Structural Information by Higher-Order Colored Unification. J. Autom. Reasoning 25(2): 123-164 (2000)
21		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)
20		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
19		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
18		Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211
17		Dieter Hutter, Alan Bundy: The Design of the CADE-16 Inductive Theorem Prover Contest. CADE 1999: 374-377
16		Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: Towards an Evolutionary Formal Software-Development Using CASL. WADT 1999: 73-88
	1998
15		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
14		Dieter Hutter: Deductive Verification of Invariants of State-Transition Systems. KI 1998: 153-164
	1997
13		Dieter Hutter, Michael Kohlhase: A Colored Version of the Lambda-Calculus. CADE 1997: 291-305
12		Dieter Hutter: Coloring Terms to Control Equational Reasoning. J. Autom. Reasoning 18(3): 399-442 (1997)
	1996
11		Dieter Hutter, Claus Sengler: INKA: The Next Generation. CADE 1996: 288-292
10		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
9		Dieter Hutter: Using Rippling for Equational Reasoning. KI 1996: 121-133
	1994
8		Dieter Hutter: Synthesis of Induction Orderings for Existence Proofs. CADE 1994: 29-41
7		Jürgen Cleve, Dieter Hutter: A Methodology for Equational Reasoning. HICSS (3) 1994: 569-579
	1993
6		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
5		Dieter Hutter: Adapting a Resolution Calculus for Inductive Proofs. ECAI 1992: 65-69
	1991
4		Dieter Hutter: Mustergesteuerte Strategien für das Beweisen von Gleichungen. Universität Karlsruhe 1991: 1-129
	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	[16] [18] [20] [28] [29] [32] [33] [43] [50] [60]
2	Michael Balser	[15]
3	P. Baur	[6]
4	Susanne Biundo-Stephan (Susanne Biundo)	[2]
5	Achim D. Brucker	[61]
6	Alan Bundy	[17]
7	E. Canver	[6]
8	Jürgen Cleve	[6] [7]
9	Ewen Denney	[47]
10	Klaus Fischer	[26] [27]
11	Bernd Fischer	[47]
12	R. Förster	[6]
13	Fernando Godínez	[38] [41] [45] [46] [52]
14	H. Hauff	[6]
15	B. Hummel	[2]
16	Mark Jones	[47]
17	P. Kejwal	[6]
18	Matthias Klusch	[26] [54]
19	Michael Kohlhase	[13] [22]
20	Bernd Krieg-Brückner	[31]
21	Bruno Langenstein	[10] [20] [21]
22	Arne Lindow	[31]
23	D. Loevenich	[6]
24	Christoph Lüth	[31]
25	Achim Mahnke	[31]
26	Heiko Mantel	[15] [16] [18] [20] [35] [55]
27	Philipp Meier	[31]
28	Erica Melis	[31]
29	Raul Monroy (Raúl Monroy Borja)	[38] [41] [45] [46] [52] [56] [57] [59]
30	Till Mossakowski	[29] [33] [50] [60]
31	Günter Müller (Guenter Mueller)	[42]
32	Juan Carlos López Pimentel	[56] [57]
33	Arnd Poetzsch-Heffter	[31]
34	Wolfgang Reif	[6] [15]
35	Georg Rock	[15] [20] [21] [24]
36	Markus Roggenbach	[31]
37	George Russell	[31]
38	Ina Schaefer	[55]
39	Axel Schairer	[16] [18] [20] [28] [30] [33] [34] [35] [40] [55]
40	Gerhard Schellhorn	[15]
41	Claus Sengler	[6] [10] [11]
42	Jörg H. Siekmann	[10] [21] [24]
43	Jan-Georg Smaus	[31]
44	Kurt Stenzel	[15]
45	Werner Stephan	[6] [10] [15] [19] [20] [21] [24] [26] [37] [42] [44] [49]
46	Paolo Traverso	[19]
47	Markus Ullmann	[6] [19] [37] [42] [48]
48	Roland Vogt	[20] [21] [24]
49	Melanie Volkamer	[39] [51] [54]
50	Christoph Walther	[2]
51	Martin Wirsing	[31]
52	Andreas Wolpers	[6] [10] [15] [20]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page