Albert Hoogewijs

According to our database1, Albert Hoogewijs
  • authored at least 8 papers between 1979 and 2006.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

2004
On the size of minimal blocking sets of Q(4; q), for q = 5, 7.
ACM SIGSAM Bulletin, 2004

2001
Automated Reasoning with Ordinary Assertions and Default Assumptions.
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

1999
The Non-Definedness Notion in Expert Systems.
Inf. Sci., 1999

1997
LL(1) descriptions for robots.
Robotica, 1997

1987
Partial-Predicate Logic in Computer Science.
Acta Inf., 1987

1983
A Partial Predicate Calculus in a Two-Valued Logic.
Math. Log. Q., 1983

1979
On a Formalization of the Non-Definedness Notion.
Math. Log. Q., 1979


  Loading...