2017, Part of book or chapter of book (Drewes, F.; Martín-Vide, C.; Truthe, B. (ed.), Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, pp. 249-260)
2017, Part of book or chapter of book (Charlier, É.; Leroy, J.; Rigo, M. (ed.), Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 365-377)
2017, Part of book or chapter of book (Charlier, É.; Leroy, J.; Rigo, M. (ed.), Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 122-133)
Bruggink, H.J.S.; König, B.; Nolte, D.; Zantema, H.
2015, Part of book or chapter of book (Parisi-Presicce, F.; Westfechtel, B. (ed.), Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings, pp. 52-68)
2015, Article in monograph or in proceedings (Fernandez, M. (ed.), RTA 2015 : 26th International Conference on Rewriting Techniques and Applications, June 29-July 1, 2015, Warsaw, Poland, pp. 160-176)
Endrullis, J.; Grabmayer, C.; Hendriks, D.; Zantema, H.
2015, Part of book or chapter of book (Manea, F.; Nowotka, D. (ed.), Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings, pp. 109-121)
2015, Article in monograph or in proceedings (Fernandez, M. (ed.), RTA 2015 : 26th International Conference on Rewriting Techniques and Applications, June 29-July 1, 2015, Warsaw, Poland, pp. 285-300)
2013, Article in monograph or in proceedings (CTW 2013 : 12th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, University of Twente, Enschede, pp. 133-136)
2012, Article in monograph or in proceedings (Ciobanu, G. (ed.), Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi Newcastle, UK, 8th September 2012, pp. 48-62)
2012, Article in monograph or in proceedings (Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12), pp. 240-255)
2011, Article in monograph or in proceedings (Schmidt-Schau, M. (ed.), 22nd International Conference on Rewriting Techniques and Applications (RTA'11), Novi sad, Serbia, May 30-June 1, 2011, pp. 393-408)
2011, Article in monograph or in proceedings (Escobar, S. (ed.), Reduction Strategies in Rewriting and Programming 10th International Workshop, WRS 2011 Novi Sad, Serbia, 29 May 2011 : Informal proceedings, pp. 41-45)
2010, Article in monograph or in proceedings (Fernandez, M. (ed.), Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming Brasilia, Brazil, 28th June 2009, pp. 83-95)
2010, Article in monograph or in proceedings (Lynch, C. (ed.), Proceedings of the 21st International Conference on rewriting techniques and applications, RTA'10 July 11-13, Edinburgh, UK, pp. 401-416)
2010, Article in monograph or in proceedings (Proceedings - International Conference on Application of Concurrency to System Design, ACSD, pp. 115-123)
2010, Part of book or chapter of book (Dediu, A.-H.; Fernau, H.; Martín Vide, C. (ed.), Language and Automata Theory and Applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings, pp. 608-619)
2009, Article in monograph or in proceedings (Markakis, E.; Milis, I. (ed.), Proceedings of the 4th Athens Colloquium on Algorithms and Complexity ACAC 2009, pp. 13-21)
2009, Article in monograph or in proceedings (Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, pp. 449-456)
2009, Article in monograph or in proceedings (Treinen, R. (ed.), Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings, pp. 164-178)
Raffelsieper, M.; Mousavi, M.R.; Roorda, J.W.; Strolenberg, C.; Zantema, H.
2009, Article in monograph or in proceedings (Alpuente, M.; Joubert, C.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (14th International Workshop, FMICS 2009, pp. 133-148)
2008, Article in monograph or in proceedings (Voronkov, A. (ed.), Rewriting Techniques and Applications :19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings, pp. 441-455)
2008, Article in monograph or in proceedings (Geffert, V.; Karhumaki, J. (ed.), SOFSEM 2008: Theory and Practice of Computer Science , 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings, pp. 328-339)
2008, Article in monograph or in proceedings (Murphy, R.; Elloumi, M. (ed.), Bioinformatics Research and Development : Second International Conference, BIRD 2008 Vienna, Austria, July 7-9, 2008 Proceedings, pp. 303-317)
2007, Article in monograph or in proceedings (Baader, F. (ed.), Proceedings of the 18th Conference on Rewriting Techniques and Applications (RTA), pp. 303-313)
2007, Article in monograph or in proceedings (Baader, F. (ed.), Proceedings of the 18th Conference on Rewriting Techniques and Applications (RTA), pp. 404-418)