The life and music of Ernest Bloch : problems and paradoxes

von Knapp, Alexander
Veröffentlicht in Begegnung mit jüdischer Musik (Veranstaltung : 1998 : Mainz) Jüdische Musik und ihre Musiker im 20. Jahrhundert (2006)

An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines

von Knapp, Alexander
Veröffentlicht in Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products (2023)

Zur Relevanz des After-Sales in klein- und mittelständischen Medizintechnik-Unternehmen

von Knapp, Alexander
Veröffentlicht in Zeitschrift für KMU und Entrepreneurship (2020)

A formal approach to object oriented software engineering

von Knapp, Alexander
Veröffentlicht 2001

˜Aœ formal approach to object oriented software engineering

von Knapp, Alexander
Veröffentlicht 2001

Resonant Spin Flip Raman-Spectroscopy of Electrons and Manganese-Ions in the n-doped Diluted Magnetic Semiconductor (Zn,Mn)Se:Cl : = Resonante Spin Flip Ramanspektroskopie von El...

von Knapp, Alexander Gerhard
Veröffentlicht 2018

Ernest Bloch studies

Veröffentlicht 2016

Ernest Bloch studies

Veröffentlicht 2016

ENIAC joint undertaking project : IMPROVE - Implementing manufacturing science solutions to increase equipment productivity and fab performance ; Teilvorhaben: Software-Engineeri...

von Knapp, Alexander
Veröffentlicht 2013

EPKML: eine Spezifikationssprache für elektronische Produktkataloge : [Abschlußbericht, Abschlußdatum des Vorhabens: 30.9.1997]

von Knapp, Alexander
Veröffentlicht 1997

Developing formal semantics of EPKML

von Knapp, Alexander
Veröffentlicht 1997

Modeling secure navigation in web information systems

von Busch, Marianne
Veröffentlicht in Perspectives in business informatics research (2011)

˜Theœ epkml language

von Knapp, Alexander
Veröffentlicht 1996

An Institutional Approach to Communicating UML State Machines

von Rosenberger, Tobias
Veröffentlicht in FASE (25. : 2022 : München) Fundamental approaches to software engineering (2022)

Interpreting Knowledge-based Programs

von Knapp, Alexander
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

A Hoare Logic with Regular Behavioral Specifications

von Ernst, Gidon
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Epistemic Ensembles

von Hennicker, Rolf
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPA SS

von Rosenberger, Tobias
Veröffentlicht in WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques (2021)

Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions

von Hennicker, Rolf
Veröffentlicht in DaLí (2. : 2019 : Porto, Portugal) Dynamic logic (2020)

UWE : ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen : an approach for the model-driven development of Web applications = UWE

Veröffentlicht in i-com (2007)