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
-
Detection of spoiled food along the supply chain with novel sensors for packed food
Altmann, A., Khodaygani, M., Leucker, M., Schell, C. & Rahmanzadeh, R., 2024, Photonic Technologies in Plant and Agricultural Science. Heinemann, D. & Polder, G. (eds.). SPIE, Vol. 12879. p. 1287906 1 p.Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › 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