Search the dblp DataBase
Michael Mendler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Peter Kelb , Tiziana Margaria , Michael Mendler , Claudia Gsottberger MOSEL: A Sound and Efficient Tool for M2L(Str). [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:448-451 [Conf ] Li-Guo Wang , Michael Mendler Formal design of a class of computers. [Citation Graph (0, 0)][DBLP ] CHARME, 1995, pp:84-102 [Conf ] Rance Cleaveland , Gerald Lüttgen , Michael Mendler An Algebraic Theory of Multiple Clocks. [Citation Graph (0, 0)][DBLP ] CONCUR, 1997, pp:166-180 [Conf ] Gerald Lüttgen , Michael Mendler Axiomatizing an Algebra of Step Reactions for Synchronous Languages. [Citation Graph (0, 0)][DBLP ] CONCUR, 2002, pp:386-401 [Conf ] Barry Norton , Gerald Lüttgen , Michael Mendler A Compositional Semantic Theory for Synchronous Component-based Design. [Citation Graph (0, 0)][DBLP ] CONCUR, 2003, pp:453-467 [Conf ] Natasha Alechina , Michael Mendler , Valeria de Paiva , Eike Ritter Categorical and Kripke Semantics for Constructive S4 Modal Logic. [Citation Graph (0, 0)][DBLP ] CSL, 2001, pp:292-307 [Conf ] Matt Fairtlough , Michael Mendler An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. [Citation Graph (0, 0)][DBLP ] CSL, 1994, pp:354-368 [Conf ] Henrik Reif Andersen , Michael Mendler An Asynchronous Algebra with Multiple Clocks. [Citation Graph (0, 0)][DBLP ] ESOP, 1994, pp:58-73 [Conf ] Thomas Lock , Michael Mendler , Matthias Mutz Combined Formal Post- and Presynthesis Verification in High Level Synthesis. [Citation Graph (0, 0)][DBLP ] FMCAD, 1998, pp:222-236 [Conf ] Joaquin Aguado , Michael Mendler Constructive semantics for instantaneous reactions. [Citation Graph (0, 0)][DBLP ] GALOP, 2005, pp:16-31 [Conf ] Gerald Lüttgen , Michael Mendler Statecharts: From Visual Syntax to Model-Theoretic Semantics. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (1), 2001, pp:615-621 [Conf ] Li-Guo Wang , Michael Mendler Abstraction of Hardware Construction. [Citation Graph (0, 0)][DBLP ] HOA, 1995, pp:264-287 [Conf ] Gerald Lüttgen , Michael Mendler Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. [Citation Graph (0, 0)][DBLP ] ICALP, 2000, pp:163-174 [Conf ] Michael Mendler , Terry Stroup Newtonian Arbiters Cannot be Proven Correct. [Citation Graph (0, 0)][DBLP ] Designing Correct Circuits, 1992, pp:47-66 [Conf ] Terry Stroup , Norbert Götz , Michael Mendler Stepwise Refinement of Layered Protocols by Formal Program Development. [Citation Graph (0, 0)][DBLP ] PSTV, 1989, pp:71-85 [Conf ] Michael Mendler A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1996, pp:261-277 [Conf ] Peter Kelb , Tiziana Margaria , Michael Mendler , Claudia Gsottberger MOSEL: A FLexible Toolset for Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP ] TACAS, 1997, pp:183-202 [Conf ] Henrik Reif Andersen , Michael Mendler Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1995, pp:620-635 [Conf ] Matt Fairtlough , Michael Mendler , Xiaochun Cheng Abstraction and Refinement in Higher Order Logic. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2001, pp:201-216 [Conf ] Matt Fairtlough , Michael Mendler On the Logical Content of Computational Type Theory: A Solution to Curry's Problem. [Citation Graph (0, 0)][DBLP ] TYPES, 2000, pp:63-78 [Conf ] Gerald Lüttgen , Michael Mendler Towards a Model-Theory for Esterel. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal ] Gerald Lüttgen , Natividad Martínez Madrid , Michael Mendler Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:1-2 [Journal ] Manfred Broy , Gerald Lüttgen , Michael Mendler Editorial: Where Theory and Practice Meet. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2003, v:15, n:4, pp:297-298 [Journal ] Manfred Broy , Gerald Lüttgen , Michael Mendler Editorial. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2004, v:16, n:3, pp:165-0 [Journal ] Michael Mendler Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2000, v:17, n:1, pp:5-37 [Journal ] Michael Mendler , Terry Stroup Newtonian Arbiters Cannot be Proven Correct. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1993, v:3, n:3, pp:233-257 [Journal ] Matt Fairtlough , Michael Mendler Propositional Lax Logic. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1997, v:137, n:1, pp:1-33 [Journal ] Michael Mendler Characterising Combinational Timing Analyses in Intuitionistic Modal Logic. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2000, v:8, n:6, pp:- [Journal ] Bernhard Steffen , C. Barry Jay , Michael Mendler Compositional characterization of observable program properties. [Citation Graph (0, 0)][DBLP ] ITA, 1992, v:26, n:, pp:403-424 [Journal ] Valeria de Paiva , Rajeev Goré , Michael Mendler Editorial. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:4, pp:439-446 [Journal ] Valeria de Paiva , Rajeev Goré , Michael Mendler Forthcoming Papers. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:4, pp:621-622 [Journal ] Matt Fairtlough , Michael Mendler , Eugenio Moggi Special issue: Modalities in type theory. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2001, v:11, n:4, pp:507-509 [Journal ] Matt Fairtlough , Michael Mendler Intensional Completeness in an Extension of Gödel/Dummett Logic. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2003, v:73, n:1, pp:51-80 [Journal ] Gerald Lüttgen , Michael Mendler The intuitionism behind Statecharts steps. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2002, v:3, n:1, pp:1-41 [Journal ] Michael Mendler , Gerald Lüttgen Is Observational Congruence Axiomatisable in Equational Horn Logic? [Citation Graph (0, 0)][DBLP ] CONCUR, 2007, pp:197-211 [Conf ] What Is in a Step: New Perspectives on a Classical Question. [Citation Graph (, )][DBLP ] WCRT algebra and interfaces for esterel-style synchronous processing. [Citation Graph (, )][DBLP ] Towards Constructive DL for Abstraction and Refinement. [Citation Graph (, )][DBLP ] Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] A-maze-ing Esterel. [Citation Graph (, )][DBLP ] Search in 0.109secs, Finished in 0.110secs