Albert Hoogewijs

Publication Activity (10 Years)

Years Active: 1979-2006
Publications (10 Years): 0

Publications

Sara Van Langenhove, Albert Hoogewijs
L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. WADT (2006)
Jan De Beule, Albert Hoogewijs, Leo Storme
= 5, 7. SIGSAM Bull. 38 (3) (2004)
Dirk Van Heule, Albert Hoogewijs
Automated Reasoning with Ordinary Assertions and Default Assumptions. ISMVL (2001)
Dirk Van Heule, Albert Hoogewijs, Noemie Slaats
The Non-Definedness Notion in Expert Systems. Inf. Sci. 114 (1-4) (1999)
Albert Hoogewijs
LL(1) descriptions for robots. Robotica 15 (1) (1997)
Albert Hoogewijs
Partial-Predicate Logic in Computer Science. Acta Informatica 24 (4) (1987)
Albert Hoogewijs
A Partial Predicate Calculus in a Two-Valued Logic. Math. Log. Q. 29 (4) (1983)
Albert Hoogewijs
On a Formalization of the Non-Definedness Notion. Math. Log. Q. 25 (13-18) (1979)