Research Output per year
Research Output per year
Personal profile
Scientific Focus
- software engineering: correct and reliable systems
- formal methods
- theoretical computer science
- verification, especially model checking, runtime verification, and testing
- message sequence charts
- model learning
- energy informatics
Research Areas and Centers
- Centers: Center for Artificial Intelligence Luebeck (ZKIL)
Fingerprint
Dive into the research topics where Martin Leucker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Cognitive Modeling of Agents: Integrating Emotions, Goals, Needs, and Decision-Making
Khodaygani, M., Ali, A. T., Dohnke, T., Groth, T., Baake, E., Leucker, M. & Russwinkel, N., 2025, In: CEUR Workshop Proceedings. 2025, 4058Research output: Journal Articles › Conference Articles in Journals › Research › peer-review
Projects
- 2 Finished
-
AI-BioSense: Quality monitoring along the food process chain using biosensors and artificial intelligence
Leucker, M. (Principal Investigator (PI)) & Rahmanzadeh, R. (Principal Investigator (PI))
01.12.20 → 31.05.24
Project: Projects with Federal Funding › Federal Funding: BMLEH (Agriculture, Food and Regional Identity)
Press/Media
-
KI-SIGS YouTube Channel
Leucker, M., Möller, R., Martinetz, T., Fischer, S. & Ernst, F.
01.01.20
1 Media contribution
Press/Media: Media Content › Online Video Content: Vlog, Tutorial, YouTube Channel, online-TV
Organisations
-
AI Lab
Platforms & Core Facilities, Center for Artificial Intelligence Luebeck (ZKIL)
Organisational unit: Core Facilities