dblp.uni-trier.dewww.uni-trier.de

Michael Mendler Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Joaquin Aguado [33] [35] [37]
2Natasha Alechina [23]
3Henrik Reif Andersen [5] [7]
4Manfred Broy [28] [32]
5Xiaochun Cheng [21]
6Rance Cleaveland [13]
7Matt Fairtlough [6] [11] [18] [20] [21] [27]
8Rajeev Goré [30] [31]
9Norbert Götz [1]
10Claudia Gsottberger [12] [14]
11Reinhard von Hanxleden [40]
12C. Barry Jay [2]
13Peter Kelb [12] [14]
14Thomas Lock [15]
15Gerald Lüttgen [13] [19] [22] [24] [25] [26] [28] [29] [32] [33] [34] [36]
16Natividad Martínez Madrid [34]
17Tiziana Margaria (Tiziana Margaria-Steffen) [12] [14]
18Eugenio Moggi [20]
19Matthias Mutz [15]
20Barry Norton [29]
21Valeria de Paiva [23] [30] [31]
22Eike Ritter [23]
23Stephan Scheele [38] [39]
24Bernhard Steffen [2]
25Terry Stroup [1] [3] [4]
26Claus Traulsen [40]
27Li-Guo Wang [8] [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)