 | 2009 |
|---|
| 8 |       | Matthias Raffelsieper,
Mohammad Reza Mousavi,
Jan-Willem Roorda,
Chris W. H. Strolenberg,
Hans Zantema:
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.
FMICS 2009: 133-148 |
| 7 | | Koen Claessen,
Jan-Willem Roorda:
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
Logical Methods in Computer Science 5(2): (2009) |
| 2006 |
|---|
| 6 | | Jan-Willem Roorda,
Koen Claessen:
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation.
CAV 2006: 175-189 |
| 5 | | Jan-Willem Roorda,
Koen Claessen:
Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.
CSR 2006: 555-566 |
| 4 | | Koen Claessen,
Jan-Willem Roorda:
An Introduction to Symbolic Trajectory Evaluation.
SFM 2006: 56-77 |
| 2005 |
|---|
| 3 | | Jan-Willem Roorda,
Koen Claessen:
A New SAT-Based Algorithm for Symbolic Trajectory Evaluation.
CHARME 2005: 238-253 |
| 2003 |
|---|
| 2 | | Jan-Willem Roorda,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Iterated Belief Change in Multi-Agent Systems.
Logic Journal of the IGPL 11(2): 223-246 (2003) |
| 2002 |
|---|
| 1 | | Jan-Willem Roorda,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Iterated belief change in multi-agent systems.
AAMAS 2002: 889-896 |
