Muck van Weerdenburg

According to our database, Muck van Weerdenburg authored at least 9 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Early reading intervention by means of a multicomponent reading game.

Marco van de Ven, L. de Leeuw, Muck van Weerdenburg, Esther G. Steenbeek-Planting

J. Comput. Assist. Learn., 2017

2009

Search algorithms for automated validation.

Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse

J. Log. Algebraic Methods Program., 2009

2008

Structural Operational Semantics with First-Order Logic.

Muck van Weerdenburg, Michel A. Reniers

Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

Automating Soundness Proofs.

Muck van Weerdenburg

Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

2007

Process Algebra with Local Communication.

Muck van Weerdenburg

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

Action Abstraction in Timed Process Algebra.

Michel A. Reniers, Muck van Weerdenburg

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

An Account of Implementing Applicative Term Rewriting.

Muck van Weerdenburg

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

The Formal Specification Language mCRL2.

Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005

From µCRL to mCRL2: Motivation and Outline.

Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005