1
0
0
(1 - 19 von 21
)
Software, Services, and Systems: Essays Dedicated to Martin Wirsing...
books.google.de
This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a...
[ ] Interface Theories for (A)synchronously Communicating...
arxiv.org
Sebastian S. Bauer (LMU Munich), Rolf Hennicker (LMU Munich), Stephan Janisch (LMU Munich). Interface specifications play an important ...
From carlos.martin at urv.cat Sun Jan 2 10:18: From: carlos ...
lists.seas.upenn.edu
... Gonzalo Navarro, Rolf Niedermeier, Rafail Ostrovsky, Guenter Rote, Christian Scheideler, Maria Serna, Jiri Sgall (chair), Gabor Tardos, Elke Ohlenforst, Sabrina von Styp (RWTH Aachen), and Mathias H?lsbuch and Sander Bruggink ( University of Duisburg-Essen) Spain) Rolf Hennicker (Ludwig-Maximilians- Universitaet Munich, Germany) Alexander Knapp (Augsburg University, Germany ) ...
[ v1] Interface Theories for (A)synchronously Communicating...
arxiv.org
Authors: Sebastian S. Bauer (LMU Munich), Rolf Hennicker (LMU Munich), Stephan Janisch (LMU Munich). (Submitted on 25 Jan 2011).
Hybrid dynamic logic institutions for event/data-based systemslink.springer.com › article
link.springer.com
29 juil · Hennicker R, Madeira A, Knapp A (2019) A hybrid dynamic logic ... Ludwig-Maximilians-Universität München, Munich, Germany. Rolf Hennicker.
MONDRIAN - TWiki
wiki.di.uminho.pt
Rolf Hennicker (LMU, Munich): visit in September 2010; Donald Sannella (Edinburgh University); Razvan Diaconescu (Institute of Mathematics, Romania): visit ...
IFIP WG Foundations of System Specification | Rolf Hennicker
ifipwg13.cs.ovgu.de
Rolf Hennicker. Dept. of Computer Science University of Munich Germany Research topics: Formal Methods in Software Engineering, ...
FESCA Workshops: FESCA 2014
fesca.ipd.kit.edu
FESCA 2016; FESCA 2015; FESCA Call for Papers - FESCA 2014; FESCA 2013; ... (Naval Research Laboratory, USA), Rolf Hennicker (LMU, Munich, Germany), Samuel ...
FESCA Workshops: FESCA 2015
fesca.ipd.kit.edu
Mar 17, 2015: FESCA'15 proceedings have been published in EPTCS; ... (Naval Research Laboratory, USA), Rolf Hennicker (LMU, Munich, Germany), Samuel Kounev (KIT, ...
CALCO Committees - coalg.orgwww.coalg.org › calco17 › committees
www.coalg.org
... Poland); Barbara König (University of Duisburg-Essen, Germany, co-chair) ... Japan); Rolf Hennicker (Ludwig-Maximilians-University Munich, Germany) ...
IFIP WG Details of Members - Computer Science - Swansea ...www.cs.swan.ac.uk › IFIP-WG1.3 › MembersData
www.cs.swan.ac.uk
Dr. Rolf Hennicker University of Munich GERMANY WWW: http://www.pst.informatik.uni-muenchen.de/personen/hennicke. Research topics: Formal Methods in ...
CFP
easychair.org
Rolf Hennicker (LMU Munich, Germany) Kai-Uwe Kühnberger (Osnabrück University, Germany) Fernando Orejas (Technical University of Catalonia, Spain) ...
MFPS & CALCO 2017
coalg.org
... Barbara König (co-chair) University of Duisburg-Essen, Germany; Alexander Kurz ... Japan; Rolf Hennicker Ludwig-Maximilians-University Munich, Germany ...
Program Committee - ‹Programming› programming-conference.org › committee › las...
2018.programming-conference.org
Rolf Hennicker. Ludwig Maximilians University Munich, Germany ... Annabelle Klarl. Ludwig-Maximilians-Universität München. Germany.
Program Committee LASSY - ‹Programming› programmingconference.org › committee › lass...
2017.programmingconference.org
Rolf Hennicker. Ludwig Maximilians University Munich, Germany ... Annabelle Klarl. Ludwig-Maximilians-Universität München. Germany ...
Visitors ( ) • CIDMA - mainsitecidma.ua.pt › ...
cidma.ua.pt
Rolf Hennicker LMU Munich, Germany From to Mário Benevides Universidade Federal do Rio de Janeiro From to
Program Committee - ‹Programming› 2018
2018.programmingconference.org
École Polytechnique de Montréal · small-avatar. Rolf Hennicker. Ludwig Maximilians University Munich, Germany · Robert Hirschfeld. HPI, University of Potsdam.
[erlang-questions] WADT – 1st Call for Papers
erlang.org
INVITED SPEAKERS Artur d'Avila Garcez (City, University of London, UK) Rolf Hennicker (LMU Munich, Germany) IMPORTANT DATES ...
FACS Committees
facs2011.ifi.uio.no
Rolf Hennicker: Ludwig-Maximilians-Universität Munich, Germany: Alexander Knapp: Augsburg University, Germany: Zhiming Liu: IIST UNU, Macau: Markus Lumpe
Alle Infos zum Namen "Rolf Hennicker"
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