International Journal of Foundations of Computer Science

COMPUTING SHORTEST, FASTEST, AND FOREMOST JOURNEYS IN DYNAMIC NETWORKS

Bohan Xuan, A. Ferreira, Aubin Jarry · 2003 · 365 citations · Full text

Computing, Mathematics, Computer Networks +16

ON THE CLIQUE-WIDTH OF SOME PERFECT GRAPH CLASSES

Martin Charles Golumbic, Udi Rotics · 2000 · 231 citations

Natural Sciences, Computer Science, Mathematics +10

SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS

David Harel, Hillel Kugler · 2002 · 190 citations

Engineering, Computer Science, Systems Engineering +14

ON THE COMPLEXITY OF SOME COLORING GAMES

Hans L. Bodlaender · 1991 · 188 citations · Full text

Natural Sciences, Computer Science, Mathematics +13

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Edmund M. Clarke, Ansgar Fehnker, Zhi Han et al. · 2003 · 178 citations

Computing, Computer Science, Formal Methods +14