Search results for: Kim S. Larsen
Algorithmica > 2019 > 81 > 5 > 1938-1964
Natural Computing > 2018 > 17 > 4 > 693-707
Algorithmica > 2018 > 80 > 11 > 3293-3315
Journal of Scheduling > 2018 > 21 > 4 > 429-441
Information and Computation > 2017 > 253 > P3 > 411-423
Journal of Automated Reasoning > 2017 > 59 > 4 > 425-454
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 523-548
Lecture Notes in Computer Science > Fundamentals of Computation Theory > Approximation Algorithms > 397-408