Albert Hoogewijs
Sara Van Langenhove
Albert Hoogewijs
SV<sub>t</sub>L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.
142-155
2006
conf/wadt/2006
WADT
https://doi.org/10.1007/978-3-540-71998-4_9
db/conf/wadt/wadt2006.html#LangenhoveH06
Jan De Beule
Albert Hoogewijs
Leo Storme
On the size of minimal blocking sets of Q(4; <i>q</i>), for <i>q</i> = 5, 7.
67-84
2004
38
SIGSAM Bull.
3
https://doi.org/10.1145/1040034.1040037
db/journals/cca/cca38.html#BeuleHS04
Dirk Van Heule
Albert Hoogewijs
Automated Reasoning with Ordinary Assertions and Default Assumptions.
193-200
2001
conf/ismvl/2001
ISMVL
db/conf/ismvl/ismvl2001.html#HeuleH01
https://doi.org/10.1109/ISMVL.2001.924572
https://doi.ieeecomputersociety.org/10.1109/ISMVL.2001.924572
Dirk Van Heule
Albert Hoogewijs
Noemie Slaats
The Non-Definedness Notion in Expert Systems.
53-62
1999
114
Inf. Sci.
1-4
db/journals/isci/isci114.html#HeuleHS99
https://doi.org/10.1016/S0020-0255(98)10062-2
Noemie Slaats
Bart Van Assche
Albert Hoogewijs
Shared Memory Synchronization.
123-156
1998
Proof in VDM
https://doi.org/10.1007/978-1-4471-1532-8_5
books/sp/98/B1998
db/books/collections/B1998.html#SlaatsAH98
Albert Hoogewijs
LL(1) descriptions for robots.
105-110
1997
15
Robotica
1
https://doi.org/10.1017/S026357479700012X
db/journals/robotica/robotica15.html#Hoogewijs97
Albert Hoogewijs
Partial-Predicate Logic in Computer Science.
381-393
1987
24
Acta Informatica
4
db/journals/acta/acta24.html#Hoogewijs87
https://doi.org/10.1007/BF00292109
Albert Hoogewijs
A Partial Predicate Calculus in a Two-Valued Logic.
239-243
1983
29
Math. Log. Q.
4
https://doi.org/10.1002/malq.19830290410
db/journals/mlq/mlq29.html#Hoogewijs83
Albert Hoogewijs
On a Formalization of the Non-Definedness Notion.
213-217
1979
25
Math. Log. Q.
13-18
https://doi.org/10.1002/malq.19790251304
db/journals/mlq/mlq25.html#Hoogewijs79
Bart Van Assche
Jan De Beule
Dirk Van Heule
Sara Van Langenhove
Noemie Slaats
Leo Storme