Albert Hoogewijs

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

Coauthor Index

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

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page