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
-
Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid
Ali, A. T., Schrills, T., Schuldei, A., Stellbrink, L., Calero Valdez, A., Leucker, M. & Franke, T., 14.05.2024, Multi-Agent-Based Simulation XXIV. Nardin, L. G. & Mehryar, S. (eds.). Cham: Springer Nature Switzerland, p. 160-172 13 p.Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management
Ali, A. T., Leucker, M., Schuldei, A., Stellbrink, L. & Sachenbacher, M., 07.09.2023, Multi-Agent Systems. Malvone, V. & Murano, A. (eds.). Cham: Springer Nature Switzerland, p. 295-311 17 p.Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Fluorescence based detection of gaseous food spoilage indicators
Altmann, A., Khodaygani, M., Leucker, M., Schell, C. & Rahmanzadeh, R., 2023, Translational Biophotonics: Diagnostics and Therapeutics III. Huang, Z. & Lilge, L. D. (eds.). SPIE, Vol. 12627. p. 126270IResearch output: Chapters in Books/Reports/Conference Proceedings › Conference contribution
-
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions
Petersen, E., Potdevin, Y., Mohammadi, E., Zidowitz, S., Breyer, S., Nowotka, D., Henn, S., Pechmann, L., Leucker, M., Rostalski, P. & Herzog, C., 2022, In: IEEE Access. 10, p. 58375-58418 44 p.Research output: Journal Articles › Journal articles › Research › peer-review
2 Citations (Scopus)
Projects
- 1 Finished
-
KI SIGS - Space for Intelligent Health Systems
Leucker, M. (Speaker, Coordinator), Koch, R. (Principal Investigator (PI)), Martinetz, T. (Principal Investigator (PI)), Dembinski, R. (Principal Investigator (PI)), Glüer, C. C. (Principal Investigator (PI)), Buschschlüter, S. (Principal Investigator (PI)), Rostalski, P. (Principal Investigator (PI)), Modersitzki, J. (Principal Investigator (PI)), Gerkmann, T. (Principal Investigator (PI)) & Steinicke, F. (Principal Investigator (PI))
01.04.20 → 31.12.23
Project: Projects with Federal Funding › Federal Funding: BMWK (Economic Affairs and Climate Action)
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: YouTube, Channels, Websites