Albert Hoogewijs

According to our database, Albert Hoogewijs authored at least 9 papers between 1979 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

SV_tL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.

Sara Van Langenhove, Albert Hoogewijs

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

2004

On the size of minimal blocking sets of Q(4; <i>q</i>), for <i>q</i> = 5, 7.

Jan De Beule, Albert Hoogewijs, Leo Storme

SIGSAM Bull., 2004

2001

Automated Reasoning with Ordinary Assertions and Default Assumptions.

Dirk Van Heule, Albert Hoogewijs

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

1999

The Non-Definedness Notion in Expert Systems.

Dirk Van Heule, Albert Hoogewijs, Noemie Slaats

Inf. Sci., 1999

1998

Shared Memory Synchronization.

Noemie Slaats, Bart Van Assche, Albert Hoogewijs

Proceedings of the Proof in VDM: Case Studies, 1998

1997

LL(1) descriptions for robots.

Albert Hoogewijs

Robotica, 1997

1987

Partial-Predicate Logic in Computer Science.

Albert Hoogewijs

Acta Informatica, 1987

1983

A Partial Predicate Calculus in a Two-Valued Logic.

Albert Hoogewijs

Math. Log. Q., 1983

1979

On a Formalization of the Non-Definedness Notion.

Albert Hoogewijs

Math. Log. Q., 1979