Wiet Bouma

According to our database, Wiet Bouma authored at least 8 papers between 1992 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Feature Interations in Telecommunications Systems.

L. G. Bouma, Nancy D. Griffeth, Kristofer Kimbler

Comput. Networks, 2000

Features as Constraints.

Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1999

Feature Interaction as a Satisfiability Problem.

Carlos Areces, Wiet Bouma, Maarten de Rijke

Proceedings of the MASCOTS 1999, 1999

Description Logics and Feature Interaction.

Carlos Areces, Wiet Bouma, Maarten de Rijke

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1997

Models for Feature Descriptions and Interactions.

Jan A. Bergstra, Wiet Bouma

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1994

Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation.

Wiet Bouma, Willem J. M. Levelt, Alfo Melisse, Kees Middelburg, Louis Verhaard

Proceedings of the Towards a Pan-European Telecommunication Service Infrastructure, 1994

1993

Process Instances in LOTOS Simulation.

Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

A Common Compiler for LOTOS and SDL Specifications.

Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang

IBM Syst. J., 1992