61
Publications
2.1K
Citations
28
H-Index
1994
Active since
Peter Jönsson is an author at Linköping University specializing in engineering, computer science, and computational complexity.
Top concepts
EngineeringComputer ScienceComputational ComplexityDiscrete MathematicsCombinatorial OptimizationAutomated ReasoningFormal MethodsMathematical ProgrammingOperations ResearchFormal Verification
Publications per year
1994–2021
61
61
Reasoning about temporal relations
Andrei Krokhin, Peter Jeavons, Peter Jönsson · Journal of the ACM · 2003 · 136 citations · Full text
Remedying the eval that men do
Simon Holm Jensen, Peter Jönsson, Anders Møller · 2012 · 104 citations
Rows per page
1–5 of 61