|
Search the dblp DataBase
Albert Hoogewijs:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dirk Van Heule, Albert Hoogewijs
Automated Reasoning with Ordinary Assertions and Default Assumptions. [Citation Graph (0, 0)][DBLP] ISMVL, 2001, pp:193-0 [Conf]
- Albert Hoogewijs
Partial-Predicate Logic in Computer Science. [Citation Graph (0, 0)][DBLP] Acta Inf., 1987, v:24, n:4, pp:381-393 [Journal]
- Dirk Van Heule, Albert Hoogewijs, Noemie Slaats
The Non-Definedness Notion in Expert Systems. [Citation Graph (0, 0)][DBLP] Inf. Sci., 1999, v:114, n:1-4, pp:53-62 [Journal]
- Sara Van Langenhove, Albert Hoogewijs
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. [Citation Graph (0, 0)][DBLP] WADT, 2006, pp:142-155 [Conf]
Search in 0.001secs, Finished in 0.001secs
|