Muck van Weerdenburg

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 1

Top Topics

Top Venues

J. Comput. Assist. Learn.

Publications

Marco van de Ven, L. de Leeuw, Muck van Weerdenburg, Esther G. Steenbeek-Planting
Early reading intervention by means of a multicomponent reading game. J. Comput. Assist. Learn. 33 (4) (2017)
Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse
Search algorithms for automated validation. J. Log. Algebraic Methods Program. 78 (4) (2009)
Muck van Weerdenburg, Michel A. Reniers
Structural Operational Semantics with First-Order Logic. Electron. Notes Theor. Comput. Sci. 229 (4) (2009)
Muck van Weerdenburg
Automating Soundness Proofs. Electron. Notes Theor. Comput. Sci. 229 (4) (2009)
Muck van Weerdenburg
Process Algebra with Local Communication. Electron. Notes Theor. Comput. Sci. 215 (2008)
Muck van Weerdenburg
An Account of Implementing Applicative Term Rewriting. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Michel A. Reniers, Muck van Weerdenburg
Action Abstraction in Timed Process Algebra. FSEN (2007)
Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
From µCRL to mCRL2: Motivation and Outline. Electron. Notes Theor. Comput. Sci. 162 (2006)
Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg
The Formal Specification Language mCRL2. MMOSS (2006)