Marcos E. Kurbán

Stronger Reduction Criteria for Local First Search

Walter Vogler, Hongyang Qu, Peter Niebert, 2006, ICTAC.

Graph Abstraction for a Modal Logic

Arend Rensink, Iovka Boneva, Marcos E. Kurbán, 2009, Bull. EATCS.

Graph abstraction and abstract graph transformations (Amended version)

Arend Rensink, Eduardo Zambon, Iovka Boneva, 2012 .

A Modal-Logic Based Graph Abstraction

Arend Rensink, Iovka Boneva, Marcos E. Kurbán, 2008, ICGT.

Graph Abstraction and Abstract Graph Transformation

Arend Rensink, Iovka Boneva, Marcos E. Kurbán, 2007 .