Search the dblp DataBase

Publications of Author

1. Han Zuidweg
   Verification by Abstraction and Bisimulation. [Citation Graph (0, 0)][DBLP]
   Automatic Verification Methods for Finite State Systems, 1989, pp:105-116 [Conf]
   
2. Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg
   LOTOS Extended with Clocks. [Citation Graph (0, 0)][DBLP]
   FORTE, 1989, pp:179-193 [Conf]
   
3. Han Zuidweg
   Synchronic Distance in Process Algebra. [Citation Graph (0, 0)][DBLP]
   FORTE, 1990, pp:63-77 [Conf]
   
4. Sofoklis Efremidis, Didoe Prevedourou, L. Demounem, Kathleen Milsted, Han Zuidweg
   TINA-oriented Service Engineering Support to Service Composition and Federation. [Citation Graph (0, 0)][DBLP]
   IS&N, 1998, pp:409-422 [Conf]
   
5. Patrick Hellemans, Marcel Mampaey, Hans Vanderstraeten, Hans Zandbelt, Han Zuidweg, Piet De Ceuleners, Telma Mota
   Development and Deployment of a Heterogeneous Set of Services Challenging a TINA-Based Telecommunication Architecture. [Citation Graph (0, 0)][DBLP]
   IS&N, 1998, pp:205-218 [Conf]
   
6. Javier Huélamo, Eugenio Carrera, Han Zuidweg
   TINA based Advanced UPT Service Prototype: Early Introduction of TINA through the IN Domain. [Citation Graph (0, 0)][DBLP]
   IS&N, 1995, pp:458-467 [Conf]
   
7. Han Zuidweg
   Architectures for Multimedia Communications. [Citation Graph (0, 0)][DBLP]
   IS&N, 2000, pp:73-74 [Conf]
   
8. Patrick Hellemans, Frank Steegmans, Hans Vanderstraeten, Han Zuidweg
   Implementation of Hidden Concurrency in CORBA Clients. [Citation Graph (0, 0)][DBLP]
   TreDS, 1996, pp:30-42 [Conf]
   
9. Han Zuidweg
   Software architectures for telecommunications networks. [Citation Graph (0, 0)][DBLP]
   Computer Communications, 2002, v:25, n:2, pp:119-120 [Journal]