Michael Mendler

	2009
40		Michael Mendler, Reinhard von Hanxleden, Claus Traulsen: WCRT algebra and interfaces for esterel-style synchronous processing. DATE 2009: 93-98
39		Michael Mendler, Stephan Scheele: Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. Description Logics 2009
	2008
38		Michael Mendler, Stephan Scheele: Towards Constructive DL for Abstraction and Refinement. Description Logics 2008
37		Joaquin Aguado, Michael Mendler: Preface. Electr. Notes Theor. Comput. Sci. 203(4): 1-2 (2008)
	2007
36		Michael 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
34		Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler: Preface. Electr. Notes Theor. Comput. Sci. 115: 1-2 (2005)
	2004
33		Joaquin Aguado, Michael Mendler, Gerald Lüttgen: A-maze-ing Esterel. Electr. Notes Theor. Comput. Sci. 88: 21-37 (2004)
32		Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial. Formal Asp. Comput. 16(3): 165- (2004)
31		Valeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
30		Valeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
	2003
29		Barry Norton, Gerald Lüttgen, Michael Mendler: A Compositional Semantic Theory for Synchronous Component-based Design. CONCUR 2003: 453-467
28		Manfred 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
26		Gerald Lüttgen, Michael Mendler: Axiomatizing an Algebra of Step Reactions for Synchronous Languages. CONCUR 2002: 386-401
25		Gerald Lüttgen, Michael Mendler: The intuitionism behind Statecharts steps. ACM Trans. Comput. Log. 3(1): 1-41 (2002)
24		Gerald Lüttgen, Michael Mendler: Towards a Model-Theory for Esterel. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
	2001
23		Natasha 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
21		Matt 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
19		Gerald Lüttgen, Michael Mendler: Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ICALP 2000: 163-174
18		Matt 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)
16		Michael Mendler: Characterising Combinational Timing Analyses in Intuitionistic Modal Logic. Logic Journal of the IGPL 8(6): (2000)
	1998
15		Thomas Lock, Michael Mendler, Matthias Mutz: Combined Formal Post- and Presynthesis Verification in High Level Synthesis. FMCAD 1998: 222-236
	1997
14		Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: 448-451
13		Rance 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
7		Henrik Reif Andersen, Michael Mendler: Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. TAPSOFT 1995: 620-635
	1994
6		Matt Fairtlough, Michael Mendler: An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. CSL 1994: 354-368
5		Henrik 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

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

Colors in the list of coauthors