Sprachtechnologie und Multilingualität

Seite 1 von 14.

1. Rhea Rinaldo; Dieter Hutter

   Dependency Graph Modularization for a Scalable Safety and Security Analysis

   In: Maria Chiara Leva; Edoardo Patelli; Luca Podofillini; Simon Wilson (Hrsg.). 32nd European Safety and Reliability Conference. European Safety and …

2. Tobias Brandt; Dieter Hutter; Christian Maeder; Rainer Müller

   Towards a secure and reliable IT-ecosystem in seaports

   In: IAME 2021 Conference 'Accelerating Transitions'. Conference of the International Association of Maritime Economists (IAME-2021), November 24-27, …

3. Rhea Rinaldo; Dieter Hutter

   Integrated Analysis of Safety and Security Hazards in Automotive Systems

   In: Sokratis K. Katsikas; Frederic Cuppens (Hrsg.). ESORICS 2020 workshops CyberICPS, SECPRE, ADIoT. International Workshop on the Security of …

4. Victor Ferman; Dieter Hutter; Raul Monroy

   WebMC for Browser Based Protocol Verification

   In: Grigori Sidorov; Ulises Cortés (Hrsg.). Computación y Sistemas, Vol. 21, No. 1, Pages 101-114, Instituto Politécnico Nacional, Mexico, Mexico …

5. Tim Schwartz; Michael Feld; Christian Bürckert; Svilen Dimitrov; Joachim Folz; Peter Hevesi; Dieter Hutter; Bernd Kiefer; Hans-Ulrich Krieger; Christoph Lüth; Dennis Mronga; Gerald Pirkl; Torsten Spieldenner; Malte Wirkus; Ingo Zinnikus; Sirko Straube

   Hybrid Teams of Humans, Robots and Virtual Agents in a Production Setting

   In: Proceedings of the 12th International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-16), 12th, …

6. Helmar Hutschenreuter; Dieter Hutter

   Beherrschbarkeit komplexer Firmeninfrastrukturen durch eigenschaftsbasierte Sicherheit

   In: GI Informatik 2016. GI-Informatiktage (Informatik-2016), Workshop zur Nutzerzentrierten Sicherheit, September 26-30, Klagenfurt, Austria, LNI, GI, …

7. Serge Autexier; Dieter Hutter

   SHIP - A Logic-Based Language and Tool to Program Smart Environments

   In: Moreno Falaschi (Hrsg.). 25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based …

8. Berthold Hoffmann; Dieter Hutter; Hui Shi

   Special Issue regarding Prof. Dr. Bernd Krieg-Bruckner's 66th birthday

   In: Berthold Hoffmann; Dieter Hutter; Hui Shi (Hrsg.). International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, Pages 1-93, Institute …

9. Serge Autexier; Dieter Hutter

   Structure Formation in Large Theories

   In: Cezary Kaliszyk (Hrsg.). Conference on Intelligent Computer Mathematics 2015. Conference on Intelligent Computer Mathematics (CICM-2015), July …

10. Bernd Krieg-Brückner

    Chinese University Development Project

    In: Berthold Hoffmann; Dieter Hutter; Hui Shi (Hrsg.). International Journal of Software and Informatics (IJSI), Vol. 9, No. 2, Pages 95-111, Science …

• 1
• 2
• 3
• …
• 14
• nächste