( en | de | ru )

 

Disambiguation of "Verhoeff, Tom"

Author of the publication

copydeleteadd this publication to your clipboard
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.

, , , and . ICMT@TOOLS, volume 5063 of Lecture Notes in Computer Science, page 61-75. Springer, (2008)

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.

Jacobus Verhoeff

Marieta Ioana Toma

Zentrosomenmorphologie in Prostatakarzinomen: eine immunhistologische Studie mit Korrelation zu DNA-Ploidie und kliniko-pathologischen Parametern. TU Dresden, (2008)

Tom Walde

Tom Herrmann

Tom Ritter

 

Other publications of authors with the same name

Some New Binary, Quasi-Cyclic Codes., , , and . IEEE Trans. Inf. Theory, 44 (5): 1994-1996 (1998)Applying Model Transformation and Event-B for Specifying an Industrial DSL., , , , and . MoDeVVa@MoDELS, volume 1069 of CEUR Workshop Proceedings, page 41-50. CEUR-WS.org, (2013)A Master Class on Recursion.. Adventures Between Lower Bounds and Higher Altitudes, volume 11011 of Lecture Notes in Computer Science, page 610-633. Springer, (2018)A Master Class Software Engineering for Secondary Education.. ISSEP, volume 4226 of Lecture Notes in Computer Science, page 150-158. Springer, (2006)A Generic Solution for Syntax-Driven Model Co-evolution., , and . TOOLS (49), volume 6705 of Lecture Notes in Computer Science, page 36-51. Springer, (2011)MDE Basics with a DSL Focus., , , and . SFM, volume 7320 of Lecture Notes in Computer Science, page 21-57. Springer, (2012)Delay-Insensitive Codes - an Overview.. Distributed Comput., 3 (1): 1-8 (1988)On computing a longest path in a tree., , , , , and . Inf. Process. Lett., 81 (2): 93-96 (2002)Analysis and Applications of the XDI model., , and . ASYNC, page 231-242. IEEE Computer Society, (1999)Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra., , , and . ASYNC, page 206-215. IEEE, (1994)