E-LIB Suche - Ergebnisse für: Hutter, Dieter

1

Integrated Analysis of Safety and Security Hazards in Autom..:

, In: Computer Security; Lecture Notes in Computer Science,

Rinaldo, Rhea C. ; Hutter, Dieter - p. 3-18 , 2020

Link: https://doi.org/10.1007/..

2

A model checker for the verification of browser based proto..:

Ferman, Victor ; Hutter, Dieter ; Monroy, Raúl. (2017) 1 - p. 101-114

Link: https://doi.org/10.13053..

3

Hybrid teams of humans, robots and virtual agents in a prod..:

Schwartz, Tim ; Feld, Michael ; Bürckert, Christian.... (2016) - p. 234-237

Link: http://ieeexplore.ieee.o..

4

A Framework for Defining Declarative Languages

Dieter Hutter ; Herbert Jäger ; Till Mossakowski ; Carsten...

Horozal, Feryal Fulya , 2014

Link: http://nbn-resolving.de/..

5

Semantic integration of heterogenous processes

Vorhaben SHIP ; Abschlussbericht ; Bewilligungszeitraum: 1....

Autexier, Serge ; Hutter, Dieter ; Drechsler, Rolf , 2014

Link: http://edok01.tib.uni-ha..

6

DFKI-Schlussbericht im Verbundprojekt SoKNOS

SoKNOS - Service-orientierte Architekturen zur Unterstützu...

Dengler, Dietmar ; Hutter, Dieter , 2010

Link: http://edok01.tib.uni-ha..

7

Secure Agent-Based Pervasive Computing

SCALLOPS ; Abschlussbericht

Siekmann, Jörg H. ; Hutter, Dieter ; Klusch, Matthias , 2007

Link: http://edok01.tib.uni-ha..

8

A Method for Patching Interleaving-Replay Attacks in Faulty..:

Pimentel, Juan Carlos Lopez ; Monroy, Raul ; Hutter, Dieter
Electronic Notes in Theoretical Computer Science. 174 (2007) 4 - p. 117-130 , 2007

Link: https://doi.org/10.1016/..

9

Security of multi-agent systems: A case study on comparison..:

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina.
Journal of Applied Logic. 5 (2007) 2 - p. 303-332 , 2007

Link: https://doi.org/10.1016/..

10

Development graphs—Proof management for structured specific..:

Mossakowski, Till ; Autexier, Serge ; Hutter, Dieter
The Journal of Logic and Algebraic Programming. 67 (2006) 1-2 - p. 114-145 , 2006

Link: https://doi.org/10.1016/..

11

Mechanizing mathematical reasoning

essays in honor of Jörg H. Siekmann on the occasion of his... Lecture notes in computer science ; 2605, Lecture notes in artificial intelligence

Hutter, Dieter ; Siekmann, Jörg H. ; Stephan, Werner , 2005

Link: http://dx.doi.org/10.100..

12

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His... Lecture Notes in Computer Science ; 2605

Hutter, Dieter ; Stephan, Werner , 2005

Link: http://dx.doi.org/10.100..

13

Security in Pervasive Computing (vol. # 3450)

Second International Conference, SPC 2005, Boppard, Germany... Lecture Notes in Computer Science ; 3450

Hutter, Dieter ; Ullmann, Markus , 2005

Link: http://dx.doi.org/10.100..

14

Security in pervasive computing

second international conference, SPC 2005, Boppard, Germany... Lecture notes in computer science ; 3450

Hutter, Dieter ; Ullmann, Markus , 2005

Link: http://dx.doi.org/10.100..

15

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His... Lecture Notes in Computer Science ; 2605;SpringerLink, Bücher

Hutter, Dieter ; Stephan, Werner , 2005

Link: https://doi.org/10.1007/..