( en | de | ru )

 

Disambiguation of "Mendler, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Statecharts: From Visual Syntax to Model-Theoretic Semantics

, and . GI Jahrestagung (1), page 615--621. (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.

Michael Mendler

Michael von Mendler

Till Michael Mendler

Josef Mendler

Eduard Mendler

 

Other publications of authors with the same name

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency., , , and . Acta Inf., 52 (4-5): 393-442 (2015)Statecharts: From Visual Syntax to Model-Theoretic Semantics., and . GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 615-621. Konstanz UVK-Verl.-Ges., (2001)Constructive Boolean circuits and the exactness of timed ternary simulation., , and . Formal Methods Syst. Des., 40 (3): 283-329 (2012)Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic.. Formal Methods Syst. Des., 17 (1): 5-37 (2000)Formal design of a class of computers., and . CHARME, volume 987 of Lecture Notes in Computer Science, page 84-102. Springer, (1995)A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits.. TABLEAUX, volume 1071 of Lecture Notes in Computer Science, page 261-277. Springer, (1996)An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware., and . CSL, volume 933 of Lecture Notes in Computer Science, page 354-368. Springer, (1994)Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction., , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 177:1-177:19 (2017)Grounding Synchronous Deterministic Concurrency in Sequential Programming., , , and . ESOP, volume 8410 of Lecture Notes in Computer Science, page 229-248. Springer, (2014)Editorial: Where Theory and Practice Meet., , and . Formal Aspects Comput., 15 (4): 297-298 (2003)