The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Mendler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Li-Guo Wang, Michael Mendler
    Formal design of a class of computers. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:84-102 [Conf]
  3. Rance Cleaveland, Gerald Lüttgen, Michael Mendler
    An Algebraic Theory of Multiple Clocks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:166-180 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. Henrik Reif Andersen, Michael Mendler
    An Asynchronous Algebra with Multiple Clocks. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:58-73 [Conf]
  9. 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]
  10. Joaquin Aguado, Michael Mendler
    Constructive semantics for instantaneous reactions. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:16-31 [Conf]
  11. 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]
  12. Li-Guo Wang, Michael Mendler
    Abstraction of Hardware Construction. [Citation Graph (0, 0)][DBLP]
    HOA, 1995, pp:264-287 [Conf]
  13. Gerald Lüttgen, Michael Mendler
    Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:163-174 [Conf]
  14. Michael Mendler, Terry Stroup
    Newtonian Arbiters Cannot be Proven Correct. [Citation Graph (0, 0)][DBLP]
    Designing Correct Circuits, 1992, pp:47-66 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Matt Fairtlough, Michael Mendler, Xiaochun Cheng
    Abstraction and Refinement in Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:201-216 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Matt Fairtlough, Michael Mendler
    Propositional Lax Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:137, n:1, pp:1-33 [Journal]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. Michael Mendler, Gerald Lüttgen
    Is Observational Congruence Axiomatisable in Equational Horn Logic? [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:197-211 [Conf]

  36. What Is in a Step: New Perspectives on a Classical Question. [Citation Graph (, )][DBLP]


  37. WCRT algebra and interfaces for esterel-style synchronous processing. [Citation Graph (, )][DBLP]


  38. Towards Constructive DL for Abstraction and Refinement. [Citation Graph (, )][DBLP]


  39. Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. [Citation Graph (, )][DBLP]


  40. Preface. [Citation Graph (, )][DBLP]


  41. A-maze-ing Esterel. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002