Verification by Abstraction and Bisimulation. - Han Zuidweg (Automatic Verification Methods for Finite State Systems, 1989)

LOTOS Extended with Clocks. - Wilfried H. P. van Hulzen; Paul A. J. Tilanus; Han Zuidweg (FORTE, 1989)

Synchronic Distance in Process Algebra. - Han Zuidweg (FORTE, 1990)

TINA based Advanced UPT Service Prototype: Early Introduction of TINA through the IN Domain. - Javier Huélamo; Eugenio Carrera; Han Zuidweg (IS&N, 1995)

Implementation of Hidden Concurrency in CORBA Clients. - Patrick Hellemans; Frank Steegmans; Hans Vanderstraeten; Han Zuidweg (TreDS, 1996)

TINA-oriented Service Engineering Support to Service Composition and Federation. - Sofoklis Efremidis; Didoe Prevedourou; L. Demounem; Kathleen Milsted; Han Zuidweg (IS&N, 1998)

Development and Deployment of a Heterogeneous Set of Services Challenging a TINA-Based Telecommunication Architecture. - Patrick Hellemans; Marcel Mampaey; Hans Vanderstraeten; Hans Zandbelt; Han Zuidweg; Piet De Ceuleners; Telma Mota (IS&N, 1998)

Architectures for Multimedia Communications. - Han Zuidweg (IS&N, 2000)

Software architectures for telecommunications networks. - Han Zuidweg (Comput. Commun., 2002)