Wiet Bouma

Publication Activity (10 Years)

Years Active: 1992-2000
Publications (10 Years): 0

Publications

Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke
Features as Constraints. FIW (2000)
Carlos Areces, Wiet Bouma, Maarten de Rijke
Description Logics and Feature Interaction. Description Logics (1999)
Carlos Areces, Wiet Bouma, Maarten de Rijke
Feature Interaction as a Satisfiability Problem. MASCOTS (1999)
Jan A. Bergstra, Wiet Bouma
Models for Feature Descriptions and Interactions. FIW (1997)
Wiet Bouma, Willem J. M. Levelt, Alfo Melisse, Kees Middelburg, Louis Verhaard
Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation. IS&N (1994)
Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot
Process Instances in LOTOS Simulation. FME (1993)
Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang
A Common Compiler for LOTOS and SDL Specifications. IBM Syst. J. 31 (4) (1992)