dblp.uni-trier.dewww.uni-trier.de

Albert Hoogewijs

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EESara 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)

Coauthor Index

1Dirk Van Heule [2] [3]
2Sara Van Langenhove [4]
3Noemie Slaats [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)