Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Hannes Verlinde

Awards & Distinctions

5 Results

2004

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

A4 Journal Article in 5th International Summer School on Advanced Functional Programming

Systematic functional design of an XML editor

Raymond BouteHannes Verlinde

A4 Journal Article in Formal Techniques for Networked and Distributed Systems -- FORTE 2004

2003

Functionals for the Semantic Specification of Temporal Formulas for Model Checking

Raymond BouteHannes Verlinde

A4 Journal Article in Application of Formal Description Techniques in Internet and Communication Domains -- FORTE 2003