KIT - Karlsruhe Institute of Technology
image/svg+xml
Institute of Applied Informatics and Formal Description Methods
skip navigation
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
de
search
search
News
About us
Start
About us
About us
Research Groups
Former research groups
Thematic Issues
Address/How to find us
Team
Research
Start
Research
Research
Projekte
Publications
Teaching
Start
Teaching
Teaching
Courses
Start
Teaching
Courses
Courses
Lectures
Seminars
Advanced Labs
Examination Matters
Theses
Learning Agreements
Frequently Asked Questions
Contact
Jobs
Intranet
Start
Intranet
Intranet
Lehre und Prüfung
IT-Infrastruktur
Start
Intranet
IT-Infrastruktur
IT-Infrastruktur
Dienste des AIFB / SCC / DFN
Drucker und Kopierer
Start
Intranet
IT-Infrastruktur
Drucker und Kopierer
Drucker und Kopierer
Drucker unter Linux einrichten
Drucker unter MacOS einrichten
Drucker unter Windows einrichten
Geschützter Druck
Einkauf von Hardware, Software und IT Diensleitungen
Netzwerkzugang
Raumverwaltung
OpenText-Vorlagen
Start
Intranet
OpenText-Vorlagen
OpenText-Vorlagen
News
Team
Projekte
Abschlussarbeiten
Stellenausschreibungen
Vorlagen und Formulare
Zugangsberechtigungen
Startpage
Home
Legals
Privacy Policy
Accessibility
Sitemap
search
search
Campusplan
Campus Map
Institute of Applied Informatics and Formal Description Methods
Startpage
Research
Startseite
News
About us
Team
Research
Teaching
Jobs
Intranet
Research
Projekte
Publications
Research
Below you will find an overview of current projects and our publications.
↵
Projects
Publications
The websites of the research groups provide more in-depth insights into our work:
Applied Technical-Cognitive Systems
Business Information Systems
Cooperative Autonomous Systems
Critical Information Infrastructures
Information Service Engineering
Security • Usability • Society
Systems, Data, Simulation & Energy
Web Science
