![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Anzahl der Publikationen: 7
Zeitschriftenartikel
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Observational interpretations of hybrid dynamic logic with binders and silent transitions.
In: Journal of Logical and Algebraic Methods in Programming, Bd. 122, 100698
Hennicker, Rolf; Knapp, Alexander und Madeira, Alexandre
(2021):
Hybrid dynamic logic institutions for event/data-based systems.
In: Formal Aspects of Computing, Bd. 33, Nr. 6: S. 1209-1248
Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre und Mindt, Felix
(2020):
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
In: Dynamic Logic: New Trends and Applications, Dali 2019, Bd. 12005: S. 19-34
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf und Martins, Manuel A.
(2018):
A logic for the stepwise development of reactive systems.
In: Theoretical Computer Science, Bd. 744: S. 78-96
Hennicker, Rolf; Madeira, Alexandre und Wirsing, Martin
(2018):
Behavioural and abstractor specifications revisited.
In: Theoretical Computer Science, Bd. 741: S. 32-43
Buchbeitrag
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf und Martins, Manuel A.
(2016):
Dynamic Logic with Binders and its Application to the Development of Reactive Systems.
In: Sampaio, Augusto und Wang, Farn (Hrsg.):
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9965. Cham: Springer. S. 422-440
Konferenzbeitrag
Knapp, Alexander; Hennicker, Rolf und Madeira, Alexandre
:
Specifying Event/Data-based Systems.
20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Augsburg, Germany, 03.-06. April 2023.
Glück, Roland; Santocanale, Luigi und Winter, Michael (Hrsg.):
In: Relational and Algebraic Methods in Computer Science : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings, Lecture Notes in Computer Science
Bd. 13896
Cham, Switzerland: Springer.
XII-XII