Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Gerald Lüttgen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Michael Mendler

> Home > Persons > Gerald Lüttgen

Publications

2010
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/MendlerL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MendlerL10
Michael Mendler, Gerald Lüttgen:
Is observational congruence on µ-expressions axiomatisable in equational Horn logic? Inf. Comput. 208(6): 634-651 (2010)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/RoeverLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/RoeverLM10
Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler:
What Is in a Step: New Perspectives on a Classical Question. Essays in Memory of Amir Pnueli 2010: 370-399
2007
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/MendlerL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/MendlerL07
Michael Mendler, Gerald Lüttgen:
Is Observational Congruence Axiomatisable in Equational Horn Logic? CONCUR 2007: 197-211
2005
[e1]
- view
- export record
  dblp key:
  - conf/etaps/2004sfedl
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/2004sfedl
Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler:
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 115, Elsevier 2005 [contents]
2004
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BroyLM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BroyLM04
Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial. Formal Aspects Comput. 16(3): 165- (2004)
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LuttgenMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LuttgenMM05
Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler:
Preface. SFEDL@ETAPS 2004: 1-2
2003
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BroyLM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BroyLM03
Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial: Where Theory and Practice Meet. Formal Aspects Comput. 15(4): 297-298 (2003)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NortonLM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NortonLM03
Barry Norton, Gerald Lüttgen, Michael Mendler:
A Compositional Semantic Theory for Synchronous Component-based Design. CONCUR 2003: 453-467
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AguadoML04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AguadoML04
Joaquín Aguado, Michael Mendler, Gerald Lüttgen:
A-maze-ing Esterel. SLAP 2003: 21-37
2002
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/LuttgenM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/LuttgenM02
Gerald Lüttgen, Michael Mendler:
The intuitionism behind Statecharts steps. ACM Trans. Comput. Log. 3(1): 1-41 (2002)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LuttgenM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LuttgenM02
Gerald Lüttgen, Michael Mendler:
Axiomatizing an Algebra of Step Reactions for Synchronous Languages. CONCUR 2002: 386-401
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LuttgenM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LuttgenM02
Gerald Lüttgen, Michael Mendler:
Towards a Model-Theory for Esterel. SLAP@ETAPS 2002: 95-109
2001
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/gi/LuttgenM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/LuttgenM01
Gerald Lüttgen, Michael Mendler:
Statecharts: From Visual Syntax to Model-Theoretic Semantics. GI Jahrestagung (1) 2001: 615-621
2000
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/LuttgenM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/LuttgenM00
Gerald Lüttgen, Michael Mendler:
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ICALP 2000: 163-174
1997
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CleavelandLM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CleavelandLM97
Rance Cleaveland, Gerald Lüttgen, Michael Mendler:
An Algebraic Theory of Multiple Clocks. CONCUR 1997: 166-180

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.