In the computer science colloquium, speakers from international research institutions present their current research. We cordially invite not only the employees of the institute, but in particular all students of Clausthal University of Technology. In addition to interesting lectures, the colloquium offers the opportunity to learn about the respective research areas and to establish contacts with scientists and institutions.

Please send suggestions and registrations for further lectures by e-mail to Stefanie Kehl or Alexandra Stein

Presentations:

• Friday, 07.02.2025, 11:00 a.m., Institute of Computer Science, Julius-Albert-Str. 4, Room 1.06, Clausthal-Zellerfeld
  Isabell Jehle, Clausthal University of Technology
  Title: Intrusion Detection and Prevention Framework for Cybersecurity of Vehicular Networks and Connected Cars
  Organizer: Prof. Dr.Sven Hartmann
• Tuesday, 17 December 2024, 11.00 a.m., Institute of Computer Science (D3), meeting room 1.06, Julius-Albert-Str. 4, 38678 Clausthal-Zellerfeld 
  Prof. Dr. Hui Ma (School of Engineering and Computer Science, Victoria University of Wellington)
  Title: Location-aware Cloud Service Brokering in Multi-cloud Environment
  Organizer: Prof. Dr. Sven Hartmann
• Wednesday, 11 December 2024, 11.00 a.m., Institute of Computer Science (D3), meeting room 1.06, Julius-Albert-Str. 4, 38678 Clausthal-Zellerfeld 
  Dr. Oliver Ohneiser (DLR Institute of Flight Guidance, Braunschweig): Multimodal human-machine interaction technologies at pilot workstations
  Organizer: Prof. Dr. Sven Hartmann
• Monday, December 02, 2024, 3 p.m., Institute of Computer Science (D3), meeting room 1.06, Julius-Albert-Str. 4, 38678 Clausthal-Zellerfeld and on BBB
  TurgayAslandere (Ford): Testing AI-based Vehicle Systems in Synthetic Environments for Aerospace Applications
  Organizer: apl.Prof. Dr. Umut Durak
• Monday, December 02, 2024, 15.45,Institute of Computer Science (D3), meeting room 1.06, Julius-Albert-Str. 4, 38678 Clausthal-Zellerfeld and on BBB
  Joachim Rüter (DLR): Using Only Synthetic Images to Train Deep Learning Perception Models for Aerial Refueling
  Organizer: apl.Prof. Dr. Umut Durak

Doctorate:

• Thursday, 25.04.2024, 13:00, Institute of Computer Science, meeting room 1.06, Julius-Albert-Str. 4, CL-Z
  Carsten Hesselmann: Information Privacy in the Sharing Economy: Towards Improving the Transparency of Data Practices
  Reviewers: Prof. Dr. Jörg P. Müller and Prof. Dr. Jan Gertheiss (Institute of Mathematics)
   
• Wednesday, 03.04.2024, 09:00 a.m., Institute of Computer Science (Building D5), Multimedia Lecture Hall, Albrecht-von-Grodeck-Str. 7, Cl-Z
  Tobias Ahlbrecht: Goal-based debugging for belief-desire-inention agents
  Reviewers: Prof. Dr. Jürgen Dix and Prof. Dr. Michael Winikoff (Victoria University of Wellington)

Guest lectures:

• Wednesday, 29.05.2024, 10:00 a.m., Institute of Computer Science (D3), Julius-Albert-Str. 4, meeting room 1.06
  Prof. Dušan Knop, Czech Technical University in Prague(website of Prof. Dušan Knop)
  Applications of N-Fold Integer Programming
  Organizer: Prof. Dr. Robert Bredereck

Research Track:

• 08.07.2024, 09:15, Institute of Computer Science (D3), meeting room 1.09, Julius-Albert-Str. 4, CLZ
  Tobias Kühnel - Opinion Diffusion with Stubborn Agents (inaugural lecture)
  Reviewers: Jun.-Prof. Dr. Robert Bredereck and Prof. Dr. Rüdiger Ehlers
• Sarmad Rezayat - Conceptual Foundations of Hippocratic APIs: Pioneering Ethical Data Management
  Thursday, 02.05.2024, 14:00, per BBB: Link
  Reviewers: Prof. Dr. Sven Hartmann and Prof. Dr. Umut Durak

Doctoral examination:

• Friday, 16.02.2024, 10:00 a.m., Institute for Software and Systems Engineering (Building C10), Semianrraum 124, Arnold-Sommerfeld-Str. 1, Cl-Z
  Basel Alhaji: Trust-Based Human-Robot Industrial Collaboration
  Reviewers: Prof. Dr. Michael Prilla (Uni Duisburg-Essen) and Prof. Dr. Andreas Rausch (ISSE)
   

Research Track:

• Wednesday, 27.03.2024, 09:30, per BBB: Link
  Seyed Behzad Arjmand Boroujeni - Evaluating the Effectiveness of Human-Robot Interaction in Healthcare Facilities: A Multi-Center Study on the Assessment of Physical and Cognitive Interventions for the Elderly through Objective Testing and Qualitative Analysis
  Reviewers: Dr. David Unbehaun and Prof. Dr. Jörg P. Müller

Research projects:

• Thursday, September 14, 2023, 10:00 a.m.
  per BBB: Link
  Adnan Alayoubi - Generating large scale Datasets and Comparing Different Splitting Strategies for the Cooperative Vehicle Platooning Problem with Multiple Companies
• Wednesday, July 26, 2023, 11:00 a.m.
  Meeting room 1.06, Julius-Albert-Str. 4 in Clausthal-Zellerfeld
  Julian Haase: Data Coverage for Testing
  Supervisors: Prof. Dr. Christian Siemers (IEI) and Prof. Dr. Sven Hartmann

Guest lectures

• Tuesday, 25.07.2023, 14:00
  Institut für Informatik (D3), Julius-Albert-Str. 4, Besprechungsraum 1.06
  Bin Sun (RWTH-Aachen) - Single Machine k-selection Problem for Weighted Completion Time
• Tuesday, 18.07.2023, 13:00
  Institut für Informatik (D3), Julius-Albert-Str. 4, Besprechungsraum 1.06
  Dr. Mukesh Kumar (Firma SEnerCon GmbH, Berlin) - DeepEdge-NILM: A case study of non-intrusive load monitoring edge device in commercial & Industrial buildings in India
• Wednesday, 10.05.2023, 15:00
  Institut für Informatik (D3), Julius-Albert-Str. 4, Besprechungsraum 1.06 und BBB (Link)
  Prof. Dr. Joachim Biskup - Probabilistic Instance Generation, Functional Constraints, Relational Schema Normalization, and Counting Properties (PDF)

Colloquium:

• Friday, 13.01.2023, 10:00 a.m., Institute of Computer Science (D3), Julius-Albert-Str. 4, PC Pool 302 and on BBB
  HakanAydemir, System Test and Simulation Manager Turkish Aerospace
  Digital Engineering in Aviation: The Activities of the AIAA Digital Engineering Technical Committee
  Organizer: Prof. Dr. Umut Durak
• Friday, 04.11.2022, 13:00, Institute of Computer Science (D8), Am Regenbogen 15, Seminar Room 210
  Prof. Dr. Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
  How to Save Democracy (or Towards Model Checking of E-Voting Protocols in Alternating-time Temporal Logic)
  Organizer: Prof. Dr. Jürgen Dix

Research projects:

• 05.12.2022, 09:00, per BBB Room Link
  Ahmad Naja: Towards Toolkit for Scenario-based Approach for Autonomous Systems (PDF)
  Reviewers: Prof. Dr. Umut Durak and Prof. Dr. Sven Hartmann

Research projects:
 

• 22.08.2022, 13:00, via BBB Link
  René Kern - Accelerated Photon Mapping by using Hardware-based Raytracing (PDF)
  Reviewers: Prof. Dr. Thorsten Grosch and Prof. Dr. Michael Prilla
   
• 03.06.2022, 09:00, per BBB Link
  Merlin Korth - The Influence of Grid Cell Size on Taxi Demand Prediction (PDF)
  Reviewers: Prof. Dr. Jörg P. Müller and Prof. Dr. Rüdiger Ehlers

Research projects

• 16.02.2022, 10:15 a.m., via BBB Link (opening lecture)
  René Kern - Accelerated Photon Mapping by using Hardware-based Raytracing
  Supervisors: Prof. Dr. Thorsten Grosch and Prof. Dr. Michael Prilla
   
• 11.02.2022, 11:00 a.m., via BBB Link
  SvenFriedrich - Symmetric Multiprocessing for L4Re on ARM Architecture using RUST
  Supervisors: apl. Prof. Dr. Umut Durak and Prof. Dr. Sven Hartmann
   
• 20.01.2022, 11:00 a.m., via BBB Link
  Majid Shahpiri Ziaratgahi - Influence of grid topology and cell size on cab demand prediction (final presentation)
  Supervisors: Prof. Dr. Jörg P. Müller and Prof. Dr. Rüdiger Ehlers (ISSE)
   
• 17.12.2021, 10:00 a.m., via BBB Link
  Paula Böhm - Development of an app to improve well-being through prompts for activity change (opening lecture)
  Supervisors: Prof. Dr. Jürgen Dix and Prof. Dr. Michael Prilla
   
• 16.12.2021, 16:00, via BBB Link (opening lecture)
  Merlin Korth - Influence of Grid Cell Sizes on Taxi Demand Prediction
  Supervisors: Prof. Dr. Jörg P. Müller and Prof. Dr. Rüdiger Ehlers (ISSE)
   
• 11.10.2021, 17:00, via BBB Link
  Niklas Osmers - Supporting Awareness of Asynchronous Changes in an Augmented Reality Furniture Consultation Setting
  Supervisors of the project: Prof. Dr. M. Prilla and Prof. Dr. J.P. Müller

Colloquium

• 23 July 2018, 09:00, per BBB per link
  Dr. Oliver Ohneiser, German Aerospace Center:
  Modern Assistance Systems in Air Traffic Control (as part of the lecture "Aeronautical Informatics")
  Organizer: Prof. Dr. Sven Hartmann and PD Dr. Umut Durak

Research lecture

• 23.09.2021, 16:00, via BBB Link
  Abdul Hakmeh, B.Sc: A simulated annealing-based approach for fuel-efficient vehicle platooning
  Supervisor of the thesis: Prof. Dr. Sven Hartmann and apl.Prof. Dr. Umut Durak
   
• 06.08.2021, 14:00, per BBB Link (inaugural lecture)
  SvenFriedrich: Symmetric Multiprocessing for L4Re on ARM Architecture using RUST
  Supervisor of the thesis: PD Dr. Umut Durak and Prof. Dr. Sven Hartmann
   
• 02.08.2021, 17:00, per BBB Link
  Majid Shahpiri Ziaratgahi: Influence of grid topology and cell size on cab demand prediction (inaugural lecture)
  Supervisors of the thesis: Prof. Dr. Jörg P. Müller and Prof. Dr. Rüdiger Ehlers (ISSE)
   
• 12.07.2021, 11:00 a.m., via BBB Link
  Niklas Osmers: Supporting Awareness of Asynchronous Changes in an Augmented Reality Furniture Consultation Setting (inaugural lecture)
  Supervisors of the thesis: Prof. Dr. Michael Prilla and Prof. Dr. Jörg P. Müller
   
• 01.07.2021, 15:00, BBB Link
  Alexander Mantel: Effects of the UI on the usability of hands-free control on data glasses
  Supervisors of the work: Prof. Dr. Michael Prilla and Prof. Dr. Jörg P. Müller
   
• 22.04.2021, 14:00, via BBB Link
  Marie Goetz: OPC/UA: Systematic analysis of this standard for implementation capability in embedded systems
  Supervisors of the thesis: Prof. Dr. Christian Siemers and Dr. Robert Kowarsch (IEE)

Research project

• 24.02.2021, 11:00 a.m., BBB(Link)
  Alexander Mantel, TU Clausthal
  Effects of UI on the usability of hands-free control on data glasses
  Reviewers: Prof. Dr. Michael Prilla and Prof. Dr. Jörg P. Müller
   
• 05.02.2021, 15:30, BBB(Link)
  Huichen Shu, TU Clausthal
  Interpretability of Sequence-to-Point Predictive Washing Machine Model
  Reviewers: PD Dr. Andreas Reinhardt, Prof. Dr. Sven Hartmann
   
• 21.01.2021, 13:00, BBB(Link)
  WanjaZaeske, TU Clausthal
  Behavior Driven Development for Avionic DevOps
  Reviewers: Prof. Dr. Umut Durak, Prof. Dr. Sven Hartmann
   
• 21.01.2021, 10:00 a.m., BBB(Link)
  Marie Goetz, TU Clausthal
  Systematic analysis of the real-time capability of OPC/UA (inaugural lecture)
  Reviewers: Prof. Dr. Chrisitan Siemers and Dr. Robert Kowarsch (IEE)
   
• 13.11.2020, 16:30, BBB(Link)
  WanjaZaeske, TU Clausthal
  Behavior Driven Development for Avionic DevOps (inaugural lecture)
  Reviewers: Prof. Dr. Umut Durak, Prof. Dr. Sven Hartmann
   
• 26.10.2020, 10:00 a.m., BBB(Link)
  Sajedeh Majidi, TU Clausthal
  Concurrency in distributed automation systems
  Reviewers: Prof. Dr. Chrisitan Siemers and Dr. Robert Kowarsch (IEE)

Colloquium

• 19.05.2020, 12.00, BBB(Link)
  HakanAydemir, Integrated Product Team Lead, Turkish Aerospace
  Virtual Iron Bird - Using Digital Twin for Virtualizing Systems Integration Test Rigs
  Organizer: PD Dr. Umut Durak

Research project

• 24.07.2020, 13:00, BBB(Link)
  Felix Brüll, TU Clausthal
  Multi-Layer Alpha Tracing
  Reviewers: Prof. Dr. Thorsten Grosch, Prof. Dr. Olaf Ippisch
   
• 19.06.2020, 14:00, BBB(Link)
  Kurt Böhm, TU Clausthal
  PhotoGraph: A graph-based image editor with optimized memory usage considering user behavior 
  Reviewers: Prof. Dr. Jürgen Dix; Prof. Dr. Thorsten Grosch
   
• 13.05.2020, 17.00, BBB(Link)
  Nicolas Kahrl, TU Clausthal
  Investigating the Role of Representing User Environments in AR Remote Consultations
  Reviewers: Prof. Dr. Michael Prilla, Prof. Dr. Andreas Rausch
   
• 04.05.2020, 17:00, BBB(Link)
  Sakif Hossain, TU Clausthal
  An Abstract Representation of Conflict Scenarios in a Shared Space Simulation Model
  Reviewers: Prof. Dr. Jörg P. Müller, Prof. Dr. Sven Hartmann

• 29.01.2020, 13:00 c.t., Multimedia-Hörsaal, D5, Albrecht-von-Groddeck-Str. 7
  Dr. Dirk Werth, August-Wilhlem Scheer Institut, Saarbürcken
  Robotic Process Automation, LowCode and AI - new paradigms for the use of enterprise applications
   
• 29.11.2019, 13:00, Seminar room 105 (T1), D5, Albrecht-von-Groddeck-Str. 7
  Mehmet Can Kiliç, TU Clausthal
  Autonomous Aerial Refueling: An Overview
   
• 25.10.2019, 13:30, Seminar Room 105 (T1), D5, Albrecht-von-Groddeck-Str. 7
  HendrikFolkerts, University of Applied Sciences, Wismar
  Model Specification and Automatic Model Generation for Multiple Simulators Using the eSES/MB Approach
   
• 25.10.2019, 15:00, Seminar Room 105 (T1), D5, Albrecht-von-Groddeck-Str. 7
  Georg Kunert, Hochschule Wismar
  Human-Robot Collaboration with Reinforcement Learning in context of assembly
   
• 11.10.2019, 14:00, Seminar room 105 (T1), D5, Albrecht-von-Groddeck-Str. 7
  HakanAydemir, TU Clausthal
  The Digital Twin Paradigm for Aircraft - Review and Outlook

Research project

• 11.03.2020, 09:00, meeting room 106, D3, Julius-Albert-Str. 4
  Thomas Plathe, TU Clausthal
  Runtime-optimized diffusion calculations using memory-effective matrices
  Reviewers: Prof. Dr. Sven Hartmann, Prof. Dr. Olaf Ippisch
• 15.11.2019, 11:00 a.m., VK-Raum 107, D3, Julius-Albert-Str. 4
  Awais Mushtaq, TU Clausthal
  Abstraction of road networks for vehicle platooning: Methods and Analysis
  Reviewers: Prof. Dr. Sven Hartmann; PD Dr. Umut Durak

• 19.09.2019, 10:00 a.m., Seminar Room 210, D8, Am Regenbogen 15
  Prof. Dr. Rafael H. Bordini, Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), Porto Alegre, Brasil
  Developing Intelligent Interactive Systems with Multi-Agent Oriented Programming Combined with Ontologies and Argumentation

Research projects

• 16.08.2019, 14:00, meeting room 106, D3, Julius-Albert-Str. 4
  Oliver Ellis
  Simulation based Verification of Computer Vision Algorithms for Autonomous Aerial Refueling
  Supervisor: Umut Durak
   
• 02.08.2019, 14:00, Seminar room 105, D5, Albrecht-von-Groddeck-Str. 7
  Azarmidokht Motamedi
  AGeneric Physics-Based Model for Simulation of Quadcopters
  Supervisor: Umut Durak
   
• 16.07.2019, 09:00, meeting room 106, D3, Julius-Albert-Str. 4
  Sakif Hossain, B.Sc.
  Conflict Detection Algorithm for Mixed Traffic Simulation
  Supervisors: Jörg P. Müller, Sven Hartmann
   
• 05.07.2019, 10:00 a.m., meeting room 106, D3, Julius-Albert-Str. 4
  Sanja Alcu, B.Sc. and Abram Lawendy, B.Sc.
  Integration of Heterogeneous Data Using Customizable Polystore System
  Supervisors: Jürgen Dix, Sven Hartmann
   
• 29.05.2019, 16:30, Seminar room 124, C10, Arnold-Sommerfeld-Str. 1
  Gordon Brown, B.Sc.
  Evaluating Pointing Modes and Frames of Reference for Remotely Supporting an Augmented Reality User in a Collaborative (Virtual) Environment
  Supervisors: Michael Prilla, Andreas Rausch
   
• 03.05.2019, 14:00, Seminar room 105 (T1), D5, Albrecht-von-Groddeck-Str. 7
  Oliver Ellis
  Simulation based Verification of Computer Vision Algorithms for Autonomous Aerial Refuelling
  Supervisors: Sven Hartmann, Umut Durak
   
• 03.05.2019, 15:00, Seminar room 105 (T1), D5, Albrecht-von-Groddeck-Str. 7
  Azarmidokht Motamedi Sedeh
  AGeneric Physics-based Model for Simulation of Quadcopters
  Supervisors: Sven Hartmann, Umut Durak

We heard the following lectures in the winter semester:

• 09.11.2018, 14:00, Seminar room 105 (T1), Albrecht-von-Groddeck-Str. 7,
  Sebastian Schirmer,DLR Institute of Flight Systems
  Title: Reconfiguration of Cyber-Physical Systems in Aviation

Research project:

• 20.12.2018, 09:00, meeting room 106, Julius-Albert-Str. 4
  Gordon Brown - Evaluating Pointing Modes and Frames of Reference for Remotely Supporting an Augmented Reality User in a Collaborative (Virtual) Environment
   
• 24.10.2018, 13:00, Room 1.24, Arnold-Sommerfeld-Str. 1, ISSE (C10)
  Eric Urban - Intelligent simple sensor technology for environmental perception of buses in public transport and forecasting, as well as evaluation of data for a second use

In the summer semester 2018 we heard the following lectures:

• 17.08.2018, 11:00 a.m., Seminar Room 105 (T1), Albrecht-von-Groddeck-Str. 7,
  BharviChhaya, M.Sc., Embry Riddle Aeronautical University, USA
  Topic: Scenario Based Development of Domain Specific Languages
   
• Enrichment Lecture
  20.07.2018, 09:30, Multimediahörsaal, Albrecht-von-Groddeck-Str. 7
  HakanAydemir, Senior Chief Design Engineer, Turkish Aerospace Industries
  Topic: Digital Transformation in Aerospace
   
• 29.06.2018, 14:00, Seminar Room 106a (T2), Albrecht-von-Groddeck-Str. 7,
  HendrikFolkerts, Hochschule Wismar
  Topic: Variability Modeling for Simulation in Engineering Using System Entity Structures
   
• 29.06.2018, 13:30, Seminar Room 106a (T2), Albrecht-von-Groddeck-Str. 7
  Birger Freymann, Hochschule Wismar
  Topic: Reactive and Cooperative Multi-Robot Controls based on the SBC Framework and DEVS
   
• 19.06.2018, 16:00, Besprechnungsraum 106, Julius-Albert-Str. 4
  JørgenVilladsen, DTU Compute, Technical University of Denmark
  Topic: Formalizations of Logics and Algorithms
   
• 14.06.2018, 10:00 a.m., meeting room 106, Julius-Albert-Str. 4
  John Bruntse Larsen, DTU Compute, Technical University of Denmark
  Topic: "Forecasting Bottlenecks of ER with Agent-Based Social Simulation"

• 28.08.2017 - Peer Denecke - Research project: Generation of Requirements-based Test Cases for an Adaptive Cruise Control System
• 24.08.2017 - Sören Schleibaum - Automated classification of product data using neural networks (1st presentation research project)
• 26.07.2017 - Prof. Dr. Fritz Mayer-Lindenberg - An approach to communication and division of labor in FPGA- and SoC-based parallel computers
• 17.07.2017 - PD Dr. Michael Felderer - Risk-Based Software Testing: Increasing Effectiveness and Efficiency in Testing
• 12.06.2017 - Dr. Stephan Krusche - Continuous Delivery
• 30.05.2017 - Dr. Christoph Knieke - Managed Evolution of Automotive Software Product Line Architectures
• 04.05.2017 - Karl-Falco Storm - Research project: Development of an algorithm for driving profile prediction taking into account the current driver state

• 14.03.2017 - Rabie Almsber - Research project: Extending AIM to handle Vehicles and Pedestrian
• 01.03.2017 - Yong Wang - Automatic adaptation of program interfaces for model-driven software development
• 27.02.2017 - Khaled Osmani - Smart data in automotive production
• 25.01.2017 - Carsten Hesselmann - Research project: Decentralized conflict handling for change operations in collaborative product development
• 24.01.2017 - Yong Wang - Semantic variation based data mapping for automatic adaptation of program interfaces
• 11.01.2017 - Dr. Dirk Werth - Digitization of knowledge-intensive services using the example of digital consulting - Changing business models and processes for knowledge workers -
• 10.01.2017 - Peer Denecke - Research project: Metrics for requirements-based tests: Evaluation with regard to error detection using the example of a control system in a vehicle
• 16.12.2016 - Nils Böcher - Requirements for future SW architectures for automotive hardware platforms (E/E architecture 2025) with a focus on: - Update capability of applications and hardware-related software modules in the vehicle and of stock goods - the use of field failures for spare parts supply through remanufacturing
• 12.12.2016 - Prof. Dr. Hans-Jürgen Scheruhn - Use of ARIS models in SAP ERP
• 08.11.2016 - Mohamad Ibrahim - Research project: Conception of Publish-Subscribe Mechanism for the DAiSI and prototypical Implementation on EXLAP
• 20.10.2016 - Rabie Almsber - Research project: Towards Extending Autonomous Intersection Management by Vehicle-Pedestrian Interaction

• 07.07.2016 - Dr. Wojtek Jamroga - Agent Logic, Strategic Ability, and Multi-Valued Verification
• 23.06.2016 - Zheng Liu - Set-Based Design
• 20.06.2016 - Mohamad Ibrahim - Research Project: Conception of Publish-Subscribe Mechanism for the DAiSI and prototypical Implementation on EXLAP
• 20.06.2016 - Dirk Scharff - Intelligent tools for modeling and simulation of thermal systems with FMUs
• 27.05.2016 - Thorben Knust - Research project: Concept of a modular Toolchain for runtime analysis of Embedded Realtime-Systems
• 25.05.2016 - Dr. Umut Durak - Model Based Testing Approach for Objective Fidelity Evaluation
• 18.05.2016 - Niklas Fiekas - Research project: AgentSpeak in MapReduce
• 10.05.2016 - Carsten Hesselmann - Research Project: Decentralized Conflict Handling for Change Operations in Collaborative Product Development
• 09.05.2016 - Daniel Arnsberger - Research project: Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
• 03.05.2016 - Nils Böcher - Remanufactoring 4.0 for automotive software integration for protected off board diagnosis with future security concepts as a key for advanced circular economy

• 23.02.2016 - Simon Linowski - Advanced project: Web-based tool for a test case control/configuration of a railroad crossing
• 01.12.2015 - Dennis Klar - Model-based diagnosis of industrial control and automation systems using causal symptom analysis
• 12.11.2015 - Marcel Spitzer - Research project: Inconsistency measures for multi-agent systems
• 02.10.2015 - Daniel Arnsberger - Research project: Ensuring the functionality of a service robot using the example of an iserveU scenario
• 02.10.2015 - Henning Lübbecke - (Failures) successes in the introduction of enterprise software

• 10.02.2015 - Dr. Holger Klus - Software development at ROSEN - An overview
• 05.02.2015 - Dr. Umut Durak - Simulation Modernization
• 09.12.2014 - Karina Rehfeldt - Mobile4e research project

• 24.06.2014 - Dr. Patrick Stiefel - Introduction to Product Data Management (PDM) with practical examples from the Volkswagen Group (Enrichment Lecture)
• 23.06.2014 - Prof. Julian Rohrhuber - Mediality of algorithmic experimental systems. Current trends in domain-specific computer languages at the transition between art and science
• 20.06.2014 - Prof. Dr. Gunnar Stevens - Living Labs as a research methodology for sustainable innovation development
• 20.06.2014 - Dr. Andreas Harrer - Support and analysis of collaborative planning, learning and knowledge co-construction
• 19.06.2014 - Prof. Dr. Ansgar Scherp - Automatic image region labeling using gaze information obtained from image search
• 19.06.2014 - Dr. Michael Prilla - Collaborative reflection in the workplace
• 19.06.2014 - Prof. Dr. Jasminko Novak - The Value of the Human Touch: Human-Computer Interaction for Value Co-Creation in Business and Computational Systems
• 19.06.2014 - Prof. Dr. Johannes Schöning - Paddle: A novel prototype of a deformable mobile device
• 13.05.2014 - Dr. Claus-Peter Wirth and Prof. Dr. Frieder Stolzenburg - David Poole's Specificity Revised

• 14.02.2014 - Dr. Stefanie Wuhrer - Analysis of deformable geometric surfaces
• 14.02.2014 - Prof. Dr. Jan Bender - Interactive Physics-Based Simulation
• 14.02.2014 - Dr. Martin Eisemann - Simulating the real world
• 13.02.2014 - Prof. Dr. Michael Guthe - Perception in real-time graphics
• 13.02.2014 - Jun.-Prof. Dr. Mario Hlawitschka - Visual data analysis in neuroscience, bioengineering and engineering sciences
• 13.02.2014 - Jun.-Prof. Dr. Thorsten Grosch - Global illumination for virtual and augmented reality
• 13.02.2014 - Dr. Stefan Guthe - Visualization of Astronomical Nebulae via Distributed Multi-GPU Compressed Sensing Tomography
• 05.02.2014 - Dr. Dirk Werth - Intelligent Enterprise Software - New Approaches to the Use of Assistance and Recommendation Systems in the Business Environment -
• 06.12.2013 - Prof. Dr. Dirk Linowski - Industry-oriented research at Tunisian universities? Observations as an EU expert on site
• 21.10.2013 - Dr. Gerald Weber - Document Orientation: A semantically rich way to describe user interfaces

• 04.07.2013 - Dr. Lena Wiese - Methods for logical database security
• 12.06.2013 - Prof. Jørgen Villadsen - On Programming Multi-Agent Systems
• 28.05.2013 - Dr. Qing Wang - Capturing Knowledge Patterns in Entity Resolution

• 12.02.2013 - Dr. Matei Popovici - A logical method for temporal knowledge representation and reasoning
• 31.01.2013 - Prof. Dr. Urs Andelfinger - The effective use of CMMI & Co. in industrial practice; of dead ends and success factors
• 16.01.2013 - Dr. Dirk Werth - Software as a Service (Enrichment Lecture)
• 06.12.2013 - Prof. Dr. H. Dieter Rombach - Improving Patient Safety and Risk Management through Software Engineering & Ambient Technology
• 30.11.2012 - Prof. Dr.-Ing. Peter Liggesmeyer - From Safety Analysis to Safety Engineering: Multi-Core and Co.

• 16.07.2012 - Prof. Dr. Franziska Klügl - Multiagent simulation - methodology and application
• 07.07.2012 - Prof. Dr. Jacek Blazewicz - From scheduling to DNA sequencing and backward
• 06.07.2012 - Prof. Dr. Erik Jansen - 30 years computer graphics - towards realtime realistic rendering
• 28.06.2012 - Claus Jungmann, Marco Grunert - Software architecture in project deployment
• 16.04.2012 - Dr. Gerhard Pews - An architectural standard in the public sector: the blueprints of the Register Factory
• 30.05.2012 - Prof. Dr. Violeta Bozhikova - Some approaches in the field of software engineering
• 07.05.2012 - Prof. Dr. Peter Dürr - Use of software tools for the political opinion-forming process
• 24.04.2012 - Prof. Dr. Kevin D. Ashley - Toward Teaching Writing and Argumentation with AI-Supported Peer Review

• 14.03.2012 - Dr.-Ing. Dipl. Inf. Christian Allmann - Research project e-performance
• 06.03.2012 - Dipl.-Ing. Nils Cordes - E-Business systems based on open standards and free software
• 06.03.2012 - Dipl.-Ing. Christian Senf - Standards for electronic data exchange in public administration
• 14.02.2012 - Priv.-Doz. Dr. Rob van Stee - Self-serving routing on a ring
• 14.02.2012 - Prof. Dr. Marc Toussaint - Probabilistic inference approaches to planning and reinforcement learning in structured domains
• 14.02.2012 - Prof. Dr. Andreas Harrer - Software architecture and intelligent support of self-organized group learning processes in Metafora
• 14.02.2012 - PD Dr. Sebastian Rudolph - Decidability of answering conjunctive queries in description logics with nominals, inverses and cardinality constraints
• 14.02.2012 - Prof. Dr. Sebastian Maneth
• 13.02.2012 - Prof. Dr. Martin Lange - SMT-Based Analysis of Real-Time Systems
• 13.02.2012 - Dr. Michaela Huhn - Formal Verification in the Model-Based Development of Software-Intensive Systems
• 13.02.2012 - Ph.D. Achim D. Bruckner - Theorem Prover-based Testing
• 13.02.2012 - Jun.-Prof. Dr. Erika Ábrahám - SAT-Modulo-Theories Solving for Real Algebra
• 18.01.2012 - Dr. Dirk Werth - Enterprise Software-as-a-Service

• 29.09.2011 - Dr. Clemens Szyperski - Composition as a Data Problem
• 28.06.2011 - Dr. Koen V. Hindriks - Patterns in Agent Programming
• 24.05.2011 - R.-C. Mihailescu, M.Sc. - An organizational approach to agent-based virtual power stations via coalitional games
• 15.04.2011 - Prof. Dr. V.S. Subrahmanian - Social Network Optimization Problems
• 06.04.2011 - Prof. Dr. Dr. h.c. Manfred Broy - Theory of Software Engineering - What for?

• 09.02.2011 - Dr. Sujata Ghosh - Strategic reasoning in extensive form games: a logical study
• 08.02.2011 - Prof. Dr. Joachim Biskup - Inference-proof view update transactions with forwarded refreshments (lecture on database security)
• 01.02.2011 - Dr. Berndt Müller - Modern Applications of Agent Technology - Where Mobility and Resources Actually Matter
• 25.01.2011 - Dr. Hui Ma - A Geometrically Enhanced Conceptual Data Model
• 07.12.2010 - Dr. Marco Kuhrmann - Visual Process Model Design - Metamodeling, DSL's & PDE
• 23.11.2010 - Prof. Dr. Bernhard Thalheim - Technology Solutions for the Next Generation Web

• 01.07.2010 - Prof. Dr. Dirk Langemann - Qualitative mathematical models of human energy metabolism
• 27.05.2010 - Dr. Wojtek Jamroga - Variants of Strategic Logics
• 14.04.2010 - M.I.S. M.E. Qing Wang - A Customized ASM Thesis for Database Transformations

• 03.02.2010 - Dr.-Ing. Johannes Behr - DOM - A DOM-based HTML5/ X3D Integration Model
• 29.01.2010 - Prof. Dr. Cees Witteveen - Decomposition of constraint systems: Equivalences and computational properties
• 15.12.2009 - M.Sc. Collin Lynch - Educational Datamining in Ill-Defined Domains: The case of argument diagrams
• 30.10.2009 - Dr. Wojtek Jamroga - Description Logic Meets Coalition Logic - On Concepts, Agents, and Strategies

• 28.09.2009 - Sascha Lange - Deep reinforcement learning based on visual perceptions
• 18.08.2009 - Martin Tröschel - Active resource planning in holonic virtual power plants
• 12.08.2009 - Jun.-Prof. Dr. Monique Janneck - What the customer really needed...
• 12.08.2009 - Jun.-Prof. Dr. Niels Pinkwart - IT support in the training of argumentation skills - Informatic concepts and empirical results
• 11.08.2009 - Jun.-Prof. Dr. Volkmar Pipek - User-driven innovation in corporate infrastructures
• 11.08.2009 - PD Dr. Thomas Mandl - Automation and process integration in the evaluation and improvement of the user-friendliness of application software
• 11.08.2009 - Dr. Enrico Rukzio - Mobile Interaction with Pervasive User Interfaces
• 11.08.2009 - Dr. Michael Kipp - Natural Interaction with Virtual Humans: Probabilistic Modeling and Synthesis of Individual Behavior Patterns
• 09.07.2009 - Prof. Dr. Wojciech Penczek - Bounded Parametric Model Checking for Elementary Net Systems
• 09.07.2009 - Prof. Dr. Uwe Leck - Restoration of Information in Distributed Databases
• 08.07.2009 - Prof. Dr. Sebastian Link - Keys and Functional Dependencies under Multi-Quantity Semantics
• 02.07.2009 - Prof. Dr. Michael S. Floater - Barycentric coordinates and interpolation
• 30.06.2009 - Silke Lehmann - Business Modeling - Analyzing, Modeling and Optimizing our Clients business processes
• 16.06.2009 - Thomas Knothe - Business Modeling in Practice
• 16.06.2009 - Associate Prof. Son Tran - Negotiation Using Logic Programming with Consistency Restoring Rules
• 19.05.2009 - Dietlind Zühlke - Neural Computation in the industry-oriented application of Life Science Informatics
• 28.04.2009 - Prof. Dr. Wolf Zimmermann - Robust Component Systems by Protocol Checking
• 20.04.2009 - Prof. Dr. Dirk Linowski - Algorithmic approaches to the optimization of development aid and real estate portfolios
• 31.03.2009 - Prof. Dr. Arndt Poetzsch-Heffter - Modeling and Verification of Open Distributed Component Systems - Are we ready for IT Ecosystems? -

• 02.03.2009 - Prof. Dr. Marc Stamminger - Parallel Global Light Simulation
• 12.02.2009 - Prof. Dr. Heribert Vollmer - The Complexity of Reasoning for Fragments of Default Logic
• 06.02.2009 - Prof. Dr. Mario Botsch - Polyhedral Finite Elements
• 04.02.2009 - Dr. Luis Antunes - E*ploring design landscapes for social simulation
• 16.12.2008 - Dr. Dirk Labudde - SMFS Hochdurchsatz-Messungen und die daraus folgenden Anforderungen an die BioInformatik - SMFS High-Throughput Experiments and subsequent Challenges in BioInformatics -
• 09.12.2008 - Dr. Berndt Farwer -PetriNets and Logics for Mobile Agent Systems
• 08.12.2008 - Prof. Dr. H. Ulrich Hoppe - Knowledge Management and Electronic Communities

• 19.08.2008 - Dipl.-Inf. Petra Schneider - Relevance Matrices in LVQ
• 15.07.2008 - Prof. Marc Alexa - The mission video out - intuitive creation and modification of shapes
• 14.07.2008 - Dr. Marco Tarini - Scientific Visualization of Molecular Structures
• 09.07.2008 - Prof. Dr. Heribert Vollmer - The Tractability of Model-Checking for LTL: The Good, the Bad and the Ugly Fragments
• 01.07.2008 - Andreas Hess - Quasar Enterprise - Designing application landscapes in a service-oriented way
• 24.06.2008 - Prof. Dr. Wolfgang Straßer - Physical interactive shape change of bodies
• 19.06.2008 - Dr. Dirk Werth - Operational information systems - balancing act between centrality and decentralization
• 10.06.2008 - Dipl.-Ing. Thomas Knothe - Enterprise modeling in practice
• 03.06.2008 - Dr. Wolf Ketter - Flexible Decision Support in a Dynamic Business Network
• 03.06.2008 - Prof. Dr. Holger Theisel - Shape Deformations by Constructing and Integrating Vector Fields

• 04.02.2008 - Prof. Koen Hindriks - Action Selection Mechanisms for Agent Programming
• 25.01.2008 - Prof. Guillermo R. Simari - On the Interplay of Defeasible Reasoning and Partial Order Planning
• 16.01.2008 - Prof. Dr. Stefan Müller - The RBG Miracle
• 18.12.2007 - Harald Klein - Collaboration Processes of Enterprises - Modeling and Formalization
• 27.11.2007 - Dr. Frank-Michael Schleiff and PD Thomas Villmann - Fuzzy Classification and Visualization of Proteomic Spectra
• 12.11.2007 - Dr. Elmar Dorner - Insights in SAP Research and a Glimpse on the "Semantic" Research Work
• 09.11.2007 - Banchar Arnonkijpanich - Adaptive Second Order Self-Organzing Mapping for pattern representation and SOM based Local Inverse Mapping for parameter estimation

• 07.08.2007 - Dr. Gerald Weber - Integrated State Modeling and Data Modeling
• 10.07.2007 - Dipl.-Inf. Thomas Knothe - Enterprise Modeling in Practice
• 13.06.2007 - Prof. Dr. Konrad Polthier - Global Parameterization of Surface Meshes using Branched Coverings
• 14.05.2007 - Dr. Dirk Draheim - Dialogue Specification in a Service-Oriented Architecture
• 25.04.2007 - Dr. Yingqian Zhang - Cooperative and selfish task allocation in agent social networks

• 13.03.2007 - Thomas Barth - Distributed, service-oriented support of knowledge-intensive processes based on PDM/PLM
• 30.01.2007 - Jacek Malec - Active Logics - an Overview
• 29.01.2007 - Prof. Dr. Georg Umlauf - Image and video-stream encoding using near-optimal triangulations
• 15.01.2007 - Dr. Marina De Vos - TOAST: Applying Answer Set Programming to Superoptimization
• 12.12.2006 - Sebastian Bader - Logical Programs and Neural Networks: "The Core Method"
• 13.11.2006 - Dr. Benjamin Hirsch - Agents and Service Oriented Architectures
• 19.09.2006 - Prof. Alexander Smirnov - Context-Driven Driven Methodology for Operational Decision Making in Network-Centric environment
• 14.09.2006 - Prof. Guillermo Simari - Fundamentals of Defeasible Reasoning and Argumentation

• 18.07.2006 - Dr. Martin Lauer - Becoming world champion! How robots learn to play soccer
• 11.07.2006 - Dipl. Ing. Thomas Knothe - Business Process Models for Enterprise Management in Application
• 04.07.2006 - Prof. Ilkka Niemelae - Bounded Model Checking using Answer Set
• 26.06.2006 - Prof. Dr. Andreas Kolb - Application Potentials of PMD Technology for Computer Graphics and Computer Vision
• 22.06.2006 - Dr. Sebastian Sardina - Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
• 12.06.2006 - Prof. Dr. Ulrich Reif - Analysis of the Four-Point Scheme
• 12.06.2006 - Priv.-Doz.Dr.Thomas Villmann - Information optimum vector quantization
• 15.06.2006 - Johannes Maria Zaha - Let's Dance: A Language for Modeling Interactions in Service-Based Environments
• 19.05.2006 - Dr. Roland Müller - Integration and consistency checking of distributed fuzzy data - a fuzzy logic based approach
• 19.05.2006 - Dr. Andreas Wombacher - An Interoperability Criterion for Stateful Services
• 19.05.2006 - Dr. Niels Pinkwart - Graph-based models as cooperation tools
• 27.04.2006 - Dr. Martin Gaedke - Federation - Communication with the Unknown
• 27.04.2006 - Dr. Peter Langendörfer - Privacy on the mobile Internet: From promises to protection
• 27.04.2006 - Dr. Franziska Klügl-Frohnmeyer - Agent-based simulation of complex distributed systems
• 27.04.2006 - PD Dr. Pedro José Marrón - Adaptation and Cross-Layer support for Self-Configuring Sensor Networks
• 28.04.2006 - Dr. Ramin Yahyopour - Efficient Resource Management in Grid Systems
• 28.04.2006 - Dr. Gero Mühl - A Self-Organizing Infrastructure for Publish/Subscribe Systems
• 28.04.2006 - Dr. Gerhard Weiß - Communication Semantics for Agent Systems

For the current semester we were able to win the following lecturers:

• 08.02.2006 - Prof. Dr. Wolfgang May - Active Rules for the Specification of Behavior in the Semantic Web
• 08.02.2006 - Dr. Ralph Schenkel - Efficient and effective information retrieval on heterogeneous XML data
• 06.02.2006 - Dr. Thomas Agotnes - The Logic of Coalitional Games
• 04.02.2006 - Dr. Gabriele Taentzer - Model-Driven Software Development Based on Graph Transformation Concepts and Eclipse Technology
• 04.02.2006 - Dr. Klaus Schmid - From product lines to adaptive software infrastructures
• 04.02.2006 - Dr. Andreas Rausch - (Topic to be announced shortly)
• 03.02.2006 - Dr. Claus Pahl - Basics and building blocks of a web software engineering discipline
• 03.02.2006 - Dr. Frank Padberg - How many bugs are in my software?
• 03.02.2006 - Dr. Alexander Knapp - Validation of UML Software Design Models
• 03.02.2006 - Dr. Michaela Huhn - Formal analysis techniques in the model-based development of software-intensive, embedded systems
• 25.01.2006 - Prof. Dr. Gerd Stumme - Folksonomies and Social Networks
• 09.01.2005 -Dr. Marc Strickert - Unveiling Data Secrets with Multidimensional Scaling Methods
• 12.12.2005 -Frank Michael Schleif - Fishing for bio-marker candidates in ms-data by use of Learning Vector Quantization
• 09.12.2005 -Prof. Dr. Günther Greiner - Computer Graphical Methods in Medicine
• 02.12.2005 -Prof. Dr. Gabriele Kern-Isberner - A Basic Belief Change Operation for Revision, Update, and Default Inference
• 30.11.2005 - Prof. Dr. Karl Schlechta - Representation Sets and Conclusion Properties
• 15.11.2005 - Prof. Diego Borro - Collision Detection and Haptic Devices in Virtual Reality Environments

• 30.09.2005 - Prof. Dr. Carlos Iván Chesñevar - Argument-based Critics and Recommenders: a qualitative perspective on user support systems
• 13.07.2005 - Prof. Dr. Pablo Fillottrani - The SEWASIE system: A multi-agent system for querying heterogenous data sources with ontologies
• 06.07.2005 - Dr. Thomas Villmann - Prototype Based Learning Vector Quantization for Pattern Classification in Data Analysis
• 20.06.2005 - Dr. Marcus Magnor - Video-based rendering methods
• 08.06.2005 - Dr. Michael Biehl - The Dynamics of Learning Vector Quantization
• 27.05.2005 - Prof. Dr. Ján Šefránek - Logic program updates from the viewpoint of dependencies
• 25.05.2005 - Prof. Dr. Theo Ungerer - CAR-SoC - Techniques for Connective Autonomic Real-time SoCs
• 09.05.2005 - Dr. Rolf Wuertz - Organic Computing for Face and Object Recognition
• 09.05.2005 - Prof. Dr. Marek Bednarczyk - Modeling and reasoning about mobile systems with Petri Hypernets
• 15.04.2005 - Jonathan Ben-Naim - Preferential and Preferential-Discriminative Consequence Relations

• 09.02.2005 - Prof. Dr. Christian Müller-Schloer - Of Balinese water temples, ants and self-modifying code
• 14.01.2005 - Prof. Dr. Karl Schlechta - Distance Semantics for Theory Revision
• 15.12.2005 - Prof. Dr. Arndt Bode - Information infrastructures for universities: The IntegraTUM project
• 08.12.2004 - Dr. Elisabeth Malsch - Modeling infinite domains with finite elements
• 19.11.2004 - Dipl.-Inf. Oliver Obst - RoboCup: Soccer robots and agents