Albert Hoogewijs
发表
Albert Hoogewijs,
1997
.
Albert Hoogewijs,
Benjamin De Leeuw,
2010
.
Albert Hoogewijs,
Benjamin De Leeuw,
2010
.
Albert Hoogewijs,
Pieter Audenaert,
2003
.
Albert Hoogewijs,
Noemie Slaats,
Bart Van Assche,
1998,
Proof in VDM.
Albert Hoogewijs,
A. Hoogewijs,
1983,
Math. Log. Q..
Jan De Beule,
Leo Storme,
Albert Hoogewijs,
2004,
SIGS.
Albert Hoogewijs,
Sara Van Langenhove,
2006,
WADT.
Albert Hoogewijs,
Benjamin De Leeuw,
2009
.
Albert Hoogewijs,
2010
.
Albert Hoogewijs,
Dirk Van Heule,
Noemie Slaats,
1999,
Inf. Sci..
Albert Hoogewijs,
Dirk Van Heule,
2001,
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Albert Hoogewijs,
Benjamin De Leeuw,
2009
.
Albert Hoogewijs,
Benjamin De Leeuw,
2006
.
Albert Hoogewijs,
Sara Van Langenhove,
2004
.
Albert Hoogewijs,
A. Hoogewijs,
1979,
Math. Log. Q..
Albert Hoogewijs,
A. Hoogewijs,
1997,
Robotica.
Albert Hoogewijs,
Benjamin De Leeuw,
Sara Van Langenhove,
2004
.
Albert Hoogewijs,
H Gruyaert,
Geert Vernaeve,
2000
.
Albert Hoogewijs,
Pieter Audenaert,
2001
.
Albert Hoogewijs,
2004,
Acta Informatica.
Albert Hoogewijs,
D. V. Heule,
D Van Heule,
1999
.