Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2004 | 1997 | 1995 | 1993 | 1992 | 1991 | 1990 | 1988
Number of items: 13.

2004

Vissers, C.A. and Lankhorst, M.M. and Slagter, R.J. (2004) Reference models for advanced e-services. In: Third IFIP Conference on e-Commerce, e-Business and e-Government (I3E 2003), 21-24 Sep 2003, Guarujá, São Paulo, Brazil (pp. pp. 369-392).

1997

Quartel, Dick A.C. and Ferreira Pires, Luis and Sinderen, Marten J. van and Vissers, Chris A. and Franken, Henry M. (1997) On the role of basic design concepts in behaviour structuring. Computer Networks and ISDN Systems, 29 (4). pp. 413-436. ISSN 0169-7552

1995

Quartel, Dick A.C. and Ferreira Pires, Luis and Franken, Henry M. and Vissers, Chris A. (1995) An Engineering Approach towards Action Refinement. In: Fifth IEEE Computer Society Workshop in Future Trends of Distributed Computing Systems, 28-30 August 1995 , Cheju Islands, Korea (pp. pp. 266-273).

Sinderen, Marten van and Ferreira Pires, Luis and Vissers, Chris A. and Katoen, Joost-Pieter (1995) A design model for Open Distributed Processing systems. Computer Networks and ISDN Systems, 27 (8). pp. 1263-1285. ISSN 0169-7552

1993

Ferreira Pires, Luis and Vissers, Chris A. and Sinderen, Marten van (1993) Advances in architectural concepts to support distributed systems design. In: Eleventh Brazilian Symposium on Computer Networks, SBRC 1993, 22-24 Sept. 1993, Campinas, Brazil.

Ferreira Pires, Luis and Sinderen, Marten van and Vissers, Chris A. (1993) Advanced Design Concepts for Open Distributed Systems Development. In: Fourth Workshop on Future Trends of Distributed Computer Systems, 22-24 September 1993, Lisabon, Portugal (pp. pp. 419-425).

Vissers, Chris A. and Sinderen, Marten van and Ferreira Pires, Luis (1993) What makes industries believe in formal methods. In: IFIP TC6/WG6.1 thirteenth International Symposium on Protocol Specification, Testing and Verification, 25-28 May 1993, Liege, Belgium (pp. pp. 3-26).

1992

Ferreira Pires, Luis and Sinderen, Marten van and Vissers, Chris A. (1992) On the use of pre-defined implementation constructs in distributed systems design. In: Third Workshop on Future Trends in of Distributed Computing Systems, FTDCS, 14-16 Apr 1992, Taipei, Taiwan (pp. pp. 114-120).

Sinderen, Marten van and Ferreira Pires, Luis and Vissers, Chris A. (1992) Protocol design and implementation using formal methods. The Computer Journal, 35 (5). pp. 478-491. ISSN 0010-4620

1991

Brinksma, Ed and Scollo, Giuseppe and Vissers, Chris A. (1991) Guest editorial: Introduction to the PSTV-IX. Computer Networks and ISDN Systems, 22 (1). pp. 1-6. ISSN 0169-7552

Vissers, Chris A. and Scollo, Giuseppe and Sinderen, Marten van and Brinksma, Ed (1991) Specification styles in distributed systems design and verification. Theoretical Computer Science, 89 (1). pp. 179-206. ISSN 0304-3975

1990

Vissers, Chris A. and Lagemaat, Jeroen van de and Ferreira Pires, L. (1990) Formal description techniques for distributed computing systems, the challenges for the 1990s. In: Second IEEE workshop on future trends on distributed computing systems, Sept. 30 - Oct. 2, 1990, Cairo, Egypt (pp. pp. 465-471).

1988

Biemans, Frank P. and Vissers, Chris A. (1988) Computational tasks in robotics and factory automation. Computers in Industry, 10 (2). pp. 95-112. ISSN 0166-3615

This list was generated on Tue Jul 22 05:31:09 2014 CEST.