| |
| 2006 | ||
|---|---|---|
| 4 | EE | Sara Van Langenhove, Albert Hoogewijs: SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. WADT 2006: 142-155 |
| 2001 | ||
| 3 | Dirk Van Heule, Albert Hoogewijs: Automated Reasoning with Ordinary Assertions and Default Assumptions. ISMVL 2001: 193- | |
| 1999 | ||
| 2 | Dirk Van Heule, Albert Hoogewijs, Noemie Slaats: The Non-Definedness Notion in Expert Systems. Inf. Sci. 114(1-4): 53-62 (1999) | |
| 1987 | ||
| 1 | Albert Hoogewijs: Partial-Predicate Logic in Computer Science. Acta Inf. 24(4): 381-393 (1987) | |
| 1 | Dirk Van Heule | [2] [3] |
| 2 | Sara Van Langenhove | [4] |
| 3 | Noemie Slaats | [2] |