Markus A. Whiteland

Statistics

Publications

Citations

H-Index

Active since

2022

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Max Planck Institute for Software Systems

Markus A. Whiteland is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in engineering, formal verification, and computational complexity.

ORCID

Top concepts

ComplexityEngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityMathematical Programming

Publications per year

2022–2022

Publications

What’s decidable about linear loops?

Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine et al. · Proceedings of the ACM on Programming Languages · 2022 · 18 citations · Full text

Mathematical Programming, Mso Model-checking Problem, Polynomial Inequalities +15

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki et al. · 2022 · 18 citations · Full text

1–2 of 2