( en | de | ru )

 

Disambiguation of "Wesselink, Wieger"

Author of the publication

copydeleteadd this publication to your clipboard
Visual Interaction Platform.

, , , , and . INTERACT, page 232-239. IOS Press, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Edith Wieger

Walther Wieger

Axel Wieger

Bruno Wieger

 

Other publications of authors with the same name

Static Analysis Techniques for Parameterised Boolean Equation Systems., , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 230-245. Springer, (2009)Realizability Criteria for Compositional MSC., , and . AMAST, volume 4019 of Lecture Notes in Computer Science, page 248-262. Springer, (2006)An Overview of the mCRL2 Toolset and Its Recent Advances., , , , , , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 199-213. Springer, (2013)A Comparison of BDD-Based Parity Game Solvers., , and . GandALF, volume 277 of EPTCS, page 103-117. (2018)Abstraction in Fixpoint Logic., , , and . ACM Trans. Comput. Log., 16 (4): 29:1-29:39 (2015)Data Dependent Thin Plate Energy and its Use in Interactive Surface Modeling., , and . Comput. Graph. Forum, 15 (3): 175-186 (1996)Efficient evaluation of triangular B-spline surfaces., , and . Comput. Aided Geom. Des., 17 (9): 863-877 (2000)Partial-order reduction for parity games and parameterised Boolean equation systems., , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 735-756 (2022)Evidence Extraction from Parameterised Boolean Equation Systems., and . ARQNL@IJCAR, volume 2095 of CEUR Workshop Proceedings, page 86-100. CEUR-WS.org, (2018)Perceptual evaluation of audiovisual cues for prominence., , , and . INTERSPEECH, page 1933-1936. ISCA, (2002)