Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rolf Hennicker

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 Alexandre Madeira

> Home > Persons > Rolf Hennicker

Publications

2021
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HennickerKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HennickerKM21
Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33(6): 1209-1248 (2021)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HennickerKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HennickerKM21
Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122: 100698 (2021)
2019
[c76]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/HennickerMK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HennickerMK19
Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE 2019: 79-97
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HennickerKMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HennickerKMM19
Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt:
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí 2019: 19-34
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-03074
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-03074
Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR abs/1902.03074 (2019)
2018
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/HennickerMW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HennickerMW18
Rolf Hennicker, Alexandre Madeira, Martin Wirsing:
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741: 32-43 (2018)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/MadeiraBHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MadeiraBHM18
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018)
2017
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/HennickerM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/HennickerM17
Rolf Hennicker, Alexandre Madeira:
Institutions for Behavioural Dynamic Logic with Binders. ICTAC 2017: 13-31
2016
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MadeiraBHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MadeiraBHM16
Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC 2016: 422-440
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/HennickerM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/HennickerM16
Rolf Hennicker, Alexandre Madeira:
Observational Semantics for Dynamic Logic with Binders. WADT 2016: 135-152
2015
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MadeiraMBH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MadeiraMBH15
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015)

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.