L. G. Bouma
List of publications from the
| 2000 |
|---|
| 10 | | Rafael Accorsi,
Carlos Areces,
Wiet Bouma,
Maarten de Rijke:
Features as Constraints.
FIW 2000: 210-225 |
| 9 | EE | L. G. Bouma,
Nancy D. Griffeth,
Kristofer Kimbler:
Feature Interations in Telecommunications Systems.
Computer Networks 32(4): 383-387 (2000) |
| 1999 |
|---|
| 8 | EE | Carlos Areces,
Wiet Bouma,
Maarten de Rijke:
Description Logics and Feature Interaction.
Description Logics 1999 |
| 7 | EE | Carlos Areces,
Wiet Bouma,
Maarten de Rijke:
Feature Interaction as a Satisfiability Problem.
MASCOTS 1999: 339- |
| 1998 |
|---|
| 6 | | Kristofer Kimbler,
Wiet Bouma:
Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden
IOS Press 1998 |
| 1997 |
|---|
| 5 | | Jan A. Bergstra,
Wiet Bouma:
Models for Feature Descriptions and Interactions.
FIW 1997: 31-45 |
| 1994 |
|---|
| 4 | | Wiet Bouma,
Hugo Velthuijsen:
Feature Interactions in Telecommunications Systems, May 8-10, 1994, Amsterdam, The Netherlands
IOS Press 1994 |
| 3 | | 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: 393-405 |
| 1993 |
|---|
| 2 | | Simon Pickin,
Yan Yang,
Wiet Bouma,
Sylvie Simon,
Tanja de Groot:
Process Instances in LOTOS Simulation.
FME 1993: 521-540 |
| 1992 |
|---|
| 1 | | Carl Binding,
Wiet Bouma,
Michel Dauphin,
Günter Karjoth,
Yan Yang:
A Common Compiler for LOTOS and SDL Specifications.
IBM Systems Journal 31(4): 668-690 (1992) |
