( en | de | ru )

 

Disambiguation of "Knothe, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Comparison of Ethereum Smart Contract Analysis and Verification Methods.

, , , , and . ESORICS Workshops (1), volume 14398 of Lecture Notes in Computer Science, page 344-358. Springer, (2023)

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.

Thomas Knothe

Christian Knothe

Alice Knothe

Wolfgang Knothe

Herbert Knothe

 

Other publications of authors with the same name

Enterprise Modeling Based Application Development for Interoperability Problem Solving., , , , and . IESA, page 547-558. Springer, (2008)A Case Study in Enterprise Modelling for Interoperable Cross-Enterprise Data Exchange., , , , and . IESA, page 541-552. Springer, (2007)Comparison of Ethereum Smart Contract Analysis and Verification Methods., , , , and . ESORICS Workshops (1), volume 14398 of Lecture Notes in Computer Science, page 344-358. Springer, (2023)User oriented Enterprise Modeling for Interoperability with UEML., , and . CAiSE Workshops (1), page 163-174. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, (2004)Interoperability - Network Systems for SMEs., , and . IESA, page 511-520. Springer, (2008)Enforcing Front-Loading in Engineering Processes through Product-Process Integration., , and . I-ESA, volume 5 of Proceedings of the I-ESA Conferences, page 71-80. Springer, (2012)Model based Configuration of Platforms for Managing Cross- Organizational (Business) Processes., , , , , and . I-ESA Workshops, volume 3214 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Summary Report., and . I-ESA Workshops, volume 3214 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Interoperability Requirements derived from Interoperability Dimensions., and . IESA, page 39-50. Springer, (2007)Model-Generated Workplaces: An Interoperability Approach., , , , , , and . IESA, page 771-782. Springer, (2007)