Lukas Munser

Orcid: 0000-0003-3127-3194

According to our database¹, Lukas Munser authored at least 4 papers between 2020 and 2026.

Collaborative distances:

Dijkstra number² of six.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Drought Stress Detection via Image Recognition in Lettuce Plants.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Pattern Recognition Applications and Methods, 2026

2023

Extraction of a computer-certified SMT solver for nonlinear theories.

[BibT_eX]

[DOI]

Grigory Devadze

Lukas Munser

Stefan Streif

Proceedings of the European Control Conference, 2023

2021

Synthesis of Lyapunov Functions using Formal Verification.

[BibT_eX]

[DOI]

Lukas Munser

Grigory Devadze

Stefan Streif

CoRR, 2021

2020

Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering.

[BibT_eX]

[DOI]

CoRR, 2020

Lukas Munser

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...