EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Kurban, M.E.
Home Policy Brochure Browse Search User Area Contact Help

2012

Boneva, I.B. and Kreiker, J. and Kurban, M.E. and Rensink, A. and Zambon, Eduardo (2012) Graph abstraction and abstract graph transformations (Amended version). Technical Report TR-CTIT-12-26, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2009

Boneva, I. and Kreiker, J. and Kurban, M.E. and Rensink, A. (2009) Graph Abstraction for a Modal Logic. Bulletin of the European Association for Theoretical Computer Science, 97. pp. 106-116. ISSN 0252-9742

2008

Bauer, J. and Boneva, I.B. and Kurban, M.E. and Rensink, A. (2008) A Modal-Logic Based Graph Abstraction. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK. pp. 321-335. Lecture Notes in Computer Science 5214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87404-1

2007

Boneva, I.B. and Rensink, A. and Kurban, M.E. and Bauer, J. (2007) Graph Abstraction and Abstract Graph Transformation. Technical Report TR-CTIT-07-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2006

Kurban, M.E. and Niebert, P. and Qu, H. and Vogler, W. (2006) Stronger reduction criteria for Local First Search. In: Proceedings of the Third International Colloquium on Theoretical Aspects of Computing, 20-24 Nov 2006, Tunis, Tunisia. pp. 108-122. Lecture Notes in Computer Science 4281/2006. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-48815-6