Hannes Verlinde 1 – 5 of 5 publications Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Filter publications Download search results Subscribe to news feed Add to list Conference Paper C1 Systematic functional design of XML tools Hannes Verlinde and Raymond Boute (2004) FORTE 2004: Work in Progress Session. p.1-17 Add to list Conference Paper C1 Systematic functional design of XML tools Hannes Verlinde and Raymond Boute (2004) Summer School on Advanced Functional Programming-AFP'04 Student Session. p.68-83 Add to list Journal Article A4 open access Systematic functional design of XML tools Hannes Verlinde and Raymond Boute (2004) 5th International Summer School on Advanced Functional Programming. Add to list Journal Article A4 open access Systematic functional design of an XML editor Raymond Boute and Hannes Verlinde (2004) Formal Techniques for Networked and Distributed Systems -- FORTE 2004. Add to list Journal Article A4 open access Functionals for the Semantic Specification of Temporal Formulas for Model Checking Raymond Boute and Hannes Verlinde (2003) Application of Formal Description Techniques in Internet and Communication Domains -- FORTE 2003.