Marcos E. Kurbán

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink
Graph Abstraction for a Modal Logic. Bull. EATCS 97 (2009)
Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink
A Modal-Logic Based Graph Abstraction. ICGT (2008)
Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler
Stronger Reduction Criteria for Local First Search. ICTAC (2006)