Wieger Wesselink

According to our database1, Wieger Wesselink authored at least 25 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Nerva: a Truly Sparse Implementation of Neural Networks.
CoRR, 2024

2022
Partial-order reduction for parity games and parameterised Boolean equation systems.
Int. J. Softw. Tools Technol. Transf., 2022

On-The-Fly Solving for Symbolic Parity Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
A Comparison of BDD-Based Parity Game Solvers.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Evidence Extraction from Parameterised Boolean Equation Systems.
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017
Formalising the Dezyne Modelling Language in mCRL2.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2015
Abstraction in Fixpoint Logic.
ACM Trans. Comput. Log., 2015

2014
Liveness Analysis for Parameterised Boolean Equation Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
CoRR, 2013

An Overview of the mCRL2 Toolset and Its Recent Advances.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2011
Experiences in developing the mCRL2 toolset.
Softw. Pract. Exp., 2011

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.
Inf. Comput., 2011

2009
Static Analysis Techniques for Parameterised Boolean Equation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2007
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas.
Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

Realizability Criteria for Compositional MSC.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Incremental Verification of Owicki/Gries Proof Outlines Using PVS.
Proceedings of the Formal Methods and Software Engineering, 2005

2002
Perceptual evaluation of audiovisual cues for prominence.
Proceedings of the 7th International Conference on Spoken Language Processing, ICSLP2002, 2002

2001
Visual Interaction Platform.
Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

2000
Efficient evaluation of triangular B-spline surfaces.
Comput. Aided Geom. Des., 2000

1996
Data Dependent Thin Plate Energy and its Use in Interactive Surface Modeling.
Comput. Graph. Forum, 1996

1995
Modeling 3D Curves of Minimal Energy.
Comput. Graph. Forum, 1995

Interactive design of constrained variational curves.
Comput. Aided Geom. Des., 1995


  Loading...