Jan-Willem Roorda

2009
7	EE	Koen Claessen, Jan-Willem Roorda: A Faithful Semantics for Generalised Symbolic Trajectory Evaluation CoRR abs/0901.2518: (2009)
2006
6	EE	Jan-Willem Roorda, Koen Claessen: SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. CAV 2006: 175-189
5	EE	Jan-Willem Roorda, Koen Claessen: Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. CSR 2006: 555-566
4	EE	Koen Claessen, Jan-Willem Roorda: An Introduction to Symbolic Trajectory Evaluation. SFM 2006: 56-77
2005
3	EE	Jan-Willem Roorda, Koen Claessen: A New SAT-Based Algorithm for Symbolic Trajectory Evaluation. CHARME 2005: 238-253
2003
2	EE	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	EE	Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer: Iterated belief change in multi-agent systems. AAMAS 2002: 889-896

Coauthor Index

1	Koen Claessen	[3] [4] [5] [6] [7]
2	Wiebe van der Hoek	[1] [2]
3	John-Jules Ch. Meyer	[1] [2]

Colors in the list of coauthors