1
0
0
(1 - 29 von 29
)
(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic...
www.sciencedirect.com
Rolf Hennicker. Structured specifications with behavioural operators: Semantics, proof methods and applications. Habilitation thesis, Universität München,
Lehrstuhl Softwaretechnologie - TU-Dresden
www-st.inf.tu-dresden.de
Publikationen/Publications am Lehrstuhl Softwaretechnologie Heinrich Hussmann, Steffen Zschaler Rolf Hennicker, Heinrich Hussmann, Michel Bidoit: ...
Articles, Technical Reports, etc.
www.db.informatik.uni-bremen.de
Rolf Hennicker, Heinrich Hussmann, Michel Bidoit: On the Precise Meaning of OCL Constraints, Object Modeling with the OCL: The Rationale behind the Object …
Ringvorlesung RoSi | Database Research Group
wwwdb.inf.tu-dresden.de
... Ulrich Frank, Wirtschaftsinformatik Universität Duisburg-Essen ... DS (14:50 – 16:20), Rolf Hennicker, LMU München, Role-based Development of ...
31st INFORMATIK / OCG 2001: Vienna, Austria - Band 1 - DBLPdblp.org › Conferences and Workshops › INFORMATIK
dblp.org
Digitale Signaturen in der Praxis. GI Jahrestagung (1) 2001: Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing:
Publications: CASL
www.informatik.uni-bremen.de
The OWL in the CASL ... Rolf Hennicker (Eds.), Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Vol , ...
BibTeX records: Maurice H. ter Beek - dblpdblp.org › Maurice H. ter Beek
dblp.org
... author = {Maurice H. ter Beek and Rolf Hennicker and Jetty Kleijn}, ... volume = {37}, pages = { }, publisher = {Universit{\"{a}}t Duisburg-Essen}, ...
dblp: 11. FCT 1997: Kraków, Poland
dblp.uni-trier.de
Bibliographic content of 11. FCT 1997: Kraków, Poland
[fg-arc] FACS 2013: CfP
lists.uni-paderborn.de
Rolf Hennicker hennicke at pst.ifi.lmu.de. Tue Dec :22:58 CET Next message: [fg-arc] Fristverlängerung (7. Januar 2013): DFF Workshop ...
Publications (Krieg-Brückner Group)www.informatik.uni-bremen.de › Group BKB › Publications › Deutsch
www.informatik.uni-bremen.de
In Rocco De Nicola, Rolf Hennicker (Eds.), Software, Services and Systems. Essays Dedicated to Martin ... Theorie und Praxis der logischen Programmierung.
dblp: The Common Component Modeling Example 2007
dblp.uni-trier.de
Bibliographic content of The Common Component Modeling Example 2007
From riebisch at informatik.uni-hamburg.de Wed Jul 1 09:09:
lists.uni-paderborn.de
... Aires Institute of Technology Rolf Hennicker Ludwig-Maximilians-Universitat U Duisburg-Essen Bernhard Fechner U Augsburg Markus Fidler U Hannover ...
dblp: Hubert Baumeister
dblp.uni-trier.de
List of computer science publications by Hubert Baumeister
Search results for "Rolf Hennicker" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 64 publication records. Showing 64 according to the selection in the facets
Selected Publications
projekte.uni-hohenheim.de
Roland Barthel, Tatjana Krimly, Michael Elbers, Anja Soboll, Johann Wackerbauer, Rolf Hennicker, Stephan Janisch. Tim G. Reichenau, Stephan Dabbert, Jürgen Schmude
Theoretical Computer Science
www.informatik.uni-bremen.de
theoretical computer science, university bremen, hans-joerg kreowski
Verwandte Suchanfragen zu Rolf Hennicker
Barbara König Sebastian Bauer Stephan Janisch | Dirk Beyer Alexander Knapp Alexander Kurz | Nora Koch Heinrich Hussmann Martin Hofmann |
Personen Vorname "Rolf" (29749) Name "Hennicker" (14) |
sortiert nach Relevanz / Datum