Wieger Wesselink

Cited by

	All	Since 2019
Citations	1197	491
h-index	17	9
i10-index	26	9

100

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 4 8 11 25 8 19 10 39 28 39 30 29 26 31 34 36 48 45 60 46 44 60 62 95 70 91 89 81

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Jeroen KeirenAssistant Professor, Eindhoven University of Technology, The NetherlandsVerified email at tue.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Remco C. Veltkampprofessor of Computer Science, Utrecht UniversityVerified email at uu.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Emiel KrahmerTilburg UniversityVerified email at uvt.nl
Frank StappersPhD Student, Technische Universiteit EindhovenVerified email at tue.nl
Marc SwertsProfessor Communication and Information Science, Tilburg UniversityVerified email at uvt.nl
Zsofia RuttkayMoholy-Nagy University of Art and Design BudapestVerified email at mome.hu
Maurice LaveauxPhD student, Eindhoven University of TechnologyVerified email at tue.nl
Olav BunteEindhoven University of TechnologyVerified email at tue.nl
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyVerified email at tue.nl
N. GogaVerified email at rug.nl
Simona OrzanFontys University of Applied SciencesVerified email at fontys.nl
Judi RomijnSabbatical, career switchVerified email at xs4all.nl
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Wijnand IJsselsteijnProfessor Cognition and Affect in Human-Technology Interaction at Eindhoven University of TechnologyVerified email at tue.nl
hans zantemaEindhoven university of technologyVerified email at tue.nl
Antti ValmariUniversity of JyväskyläVerified email at jyu.fi

Wieger Wesselink

AI Research Engineer, Eindhoven University of Technology

Verified email at tue.nl

Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019	212	2019
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013	208	2013
Pitch, eyebrows and the perception of focus EJ Krahmer, Z Ruttkay, MGJ Swerts, W Wesselink Proceedings of the Speech Prosody 2002, Conference Aix-en-Provence, 11-13 …, 2002	104	2002
Modeling 3D curves of minimal energy RC Veltkamp, W Wesselink Computer graphics forum 14 (3), 97-110, 1995	81	1995
Experiences in developing the mCRL2 toolset JF Groote, JJA Keiren, FPM Stappers, JW Wesselink, TAC Willemse Software: Practice and Experience 41 (2), 143-153, 2011	74	2011
Interactive design of constrained variational curves W Wesselink, RC Veltkamp Computer Aided Geometric Design 12 (5), 533-546, 1995	63	1995
Data dependent thin plate energy and its use in interactive surface modeling G Greiner, J Loos, W Wesselink Computer graphics forum 15 (3), 175-185, 1996	49	1996
Variational modeling of curves and surfaces JW Wesselink	37	1996
Perceptual evaluation of audiovisual cues for prominence EJ Krahmer, Z Ruttkay, MGJ Swerts, M Wesselink Proceedings of the 7th International Conference Spoken Language Processing …, 2002	31	2002
Formalising the Dezyne modelling language in mCRL2 R van Beusekom, JF Groote, P Hoogendijk, R Howe, W Wesselink, ... Critical Systems: Formal Methods and Automated Verification: Joint 22nd …, 2017	26	2017
Static analysis techniques for parameterised Boolean equation systems S Orzan, W Wesselink, TAC Willemse International Conference on Tools and Algorithms for the Construction and …, 2009	26	2009
Efficient evaluation of triangular B-spline surfaces M Franssen, RC Veltkamp, W Wesselink Computer Aided Geometric Design 17 (9), 863-877, 2000	25	2000
A distributed spanning tree algorithm for topology-aware networks AJ Mooij, N Goga, JW Wesselink Technische Universiteit Eindhoven, 2003	22	2003
2D polygons GJ Giezeman, W Wesselink CGAL User and Reference Manual 3, 2008	19	2008
Evidence extraction from parameterised Boolean equation systems W Wesselink, TAC Willemse 3rd International Workshop on Automated Reasoning in Quantified Non …, 2018	17	2018
Verification of reactive systems via instantiation of parameterised Boolean equation systems B Ploeger, JW Wesselink, TAC Willemse Information and Computation 209 (4), 637-663, 2011	17	2011
Audio-visual personality cues for embodied agents: An experimental evaluation E Krahmer, S Van Buuren, Z Ruttkay, W Wesselink Proceedings of the Workshop on embodied conversational characters as Individuals, 2003	17	2003
Incremental verification of Owicki/Gries proof outlines using PVS AJ Mooij, W Wesselink International Conference on Formal Engineering Methods, 390-404, 2005	15	2005
A formal analysis of a dynamic distributed spanning tree algorithm AJ Mooij, JW Wesselink Technische Universiteit Eindhoven, 2003	15	2003
Liveness analysis for parameterised Boolean equation systems JJA Keiren, W Wesselink, TAC Willemse Automated Technology for Verification and Analysis: 12th International …, 2014	14	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors