Wieger Wesselink

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On-the-fly solving for symbolic parity games	2024-02-01	Paper
scientific article; zbMATH DE number 7447737 (Why is no real title available?)	2021-12-17	Paper
scientific article; zbMATH DE number 7447737 (Why is no real title available?) (available as arXiv preprint)	2021-12-17	Paper
Partial-order reduction for parity games with an application on parameterised Boolean equation systems Tools and Algorithms for the Construction and Analysis of Systems	2021-11-10	Paper
Abstraction in fixpoint logic ACM Transactions on Computational Logic	2017-07-12	Paper
Liveness analysis for parameterised Boolean equation systems Automated Technology for Verification and Analysis	2015-12-17	Paper
EufDPLL -- a tool to check satisfiability of equality logic formulas Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
An overview of the mCRL2 toolset and its recent advances Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Realizability Criteria for Compositional MSC Algebraic Methodology and Software Technology	2009-04-28	Paper
Static Analysis Techniques for Parameterised Boolean Equation Systems Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS Automated Technology for Verification and Analysis	2008-07-03	Paper
Interactive design of constrained variational curves Computer Aided Geometric Design	1997-02-28	Paper
scientific article; zbMATH DE number 936115 (Why is no real title available?)	1996-10-16	Paper

Research outcomes over time

This page was built for person: Wieger Wesselink