Marcos E. Kurbán

According to our database, Marcos E. Kurbán authored at least 3 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Graph Abstraction for a Modal Logic.

Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink

Bull. EATCS, 2009

2008

A Modal-Logic Based Graph Abstraction.

Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink

Proceedings of the Graph Transformations, 4th International Conference, 2008

2006

Stronger Reduction Criteria for Local First Search.

Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler

Proceedings of the Theoretical Aspects of Computing, 2006