Wieger Wesselink

From MaRDI portal
Person:672480

Available identifiers

zbMath Open wesselink.wiegerMaRDI QIDQ672480

List of research outcomes





PublicationDate of PublicationType
On-the-fly solving for symbolic parity games2024-02-01Paper
https://portal.mardi4nfdi.de/entity/Q33848822021-12-17Paper
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems2021-11-10Paper
Abstraction in Fixpoint Logic2017-07-12Paper
Liveness Analysis for Parameterised Boolean Equation Systems2015-12-17Paper
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas2015-03-23Paper
An Overview of the mCRL2 Toolset and Its Recent Advances2013-08-05Paper
Realizability Criteria for Compositional MSC2009-04-28Paper
Static Analysis Techniques for Parameterised Boolean Equation Systems2009-03-31Paper
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS2008-07-03Paper
Interactive design of constrained variational curves1997-02-28Paper
https://portal.mardi4nfdi.de/entity/Q48957801996-10-16Paper

Research outcomes over time

This page was built for person: Wieger Wesselink

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:672480&oldid=6006061"
Powered by MediaWiki