1
0
0
(1 - 20 von 23
)
authors:"Florian Kamm" - Search | Paperity
paperity.org
Paperity: the 1st multidisciplinary aggregator of Open Access journals & papers. Free fulltext PDF articles from hundreds of disciplines, all in one place
Author Info | PLOS ONEPLOS
journals.plos.org
Gisela Paul · Elisabeth Schnoy · Stephan Schleder · Alexandra Wolf · Florian Kamm · Andrea Dirmeier · Ulrike Strauch · Florian Obermeier.
PLOS ONE: Serum anti-glycan-antibodies in relatives of patients with...
journals.plos.org
Contributed equally to this work with: Florian Kamm, Ulrike Strauch. Roles Conceptualization, Investigation, Methodology, Writing – original ...
Autonomous Systems – Self-Organization, Management, and Control:...
books.google.de
The TUB-SJTU joint workshop on “Autonomous Systems – Self-Organization, Management, and Control” was held on October 6, at Shanghai Jiao Tong...
Formal Methods for Components and Objects: 7th International...
books.google.de
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development...
From Formal Semantics to Verified Slicing: A Modular Framework with...
books.google.de
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such...
PLOS ONE: Hemoglobin and Hematocrit Levels in the Prediction of...
journals.plos.org
Florian Kamm, ... Florian Rieder, Gisela Paul, Elisabeth Schnoy, Stephan Schleder, Alexandra Wolf, Florian Kamm, Andrea Dirmeier, Ulrike ...
Konsumentenentscheidungen im Mobile Commerce: Eine empirische...
books.google.de
Auf der Basis von drei empirischen Studien analysiert Philipp Broeckelmann anhand von mobilen Services, ob Konsumenten durch Informationen aus dem mobilen...
Autonomous Systems – Self-Organization, Management, and ...google.co.jp
books.google.co.jp
Florian Kamm ̈uller and Henry Sudhof Abstract One approach towards adaptivity is aspect-orientation. Aspects enable the systematic addition of code into ...
Software Composition: 7th International Symposium, SC 2008, Budapest...
books.google.de
PhD thesis, University of Nantes and University of Chile (November Composing Safely — A Type System for Aspects Florian Kamm ̈uller 2004) 230 P. Grace et ...
Theorem Proving in Higher Order Logics: 16th International Conference...
books.google.de
[Kam00] Florian Kamm ̈uller. Modular reasoning in isabelle. In 17th International Conference on Automated Deduction, CADE-17, volume of Lecture ...
ZB 2002: Formal Specification and Development in Z and B: 2nd...
books.google.de
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January The...
Konsumentenentscheidungen im Mobile Commerce: Eine ...google.co.jp
books.google.co.jp
Link, Jörg und Florian Kamm (2007): Anforderungen an Informations und Kommunikationssysteme im MultiChannelMarketing, in: Bernd W. Wirtz (Hrsg.): Handbuch ...
ZB 2002: Formal Specification and Development in Z and B: ...google.co.jp
books.google.co.jp
... Object references also have a profound influence on the structuring Encoding Object-Z in Isabelle/HOL Graeme Smith, Florian Kamm ̈uller, and Thomas Santen.
Formal Methods for Industrial Critical Systems: 12th International...
books.google.cz
38 S ̈oren Preibusch and Florian Kamm ̈uller Introducing Time in an Industrial Application of Model-Checking Lionel van den Berg, Paul Strooper, and ...
Construction and Analysis of Safe, Secure, and Interoperable Smart...
books.google.de
Rajeev Joshi Judi Romijn Florian Kamm ̈uller Vlad Rusu Laurent Lagosanto Peter Ryan Yassine Lakhnech David Sands Xavier Leroy Gerardo Schneider ...
Formal Methods and Software Engineering: 5th International Conference...
books.google.de
... Olga Ormandjieva Sergiy Vilkomir Florian Kamm ̈uller N. Paramesh Hai Wang Siau-Cheng Khoo Joey Paquet Yan Wang Moonjoo Kim Anup Patnaik Guido ...
Software Composition: 7th International Symposium, SC 2008, ...
books.google.com.au
231 Florian Kamm ̈uller and Henry Sudhof Practical Conflict Resolution for the Composition of Program Transformations .
Adreß- und Geschäfts-Handbuch der Landeshauptstadt Graz: mit ...google.co.jp
books.google.co.jp
Postavsky Florian , Kamm . Pozinger Alois , Trödler , Anmacher , Grazbach Postdirection k . k . , Amtsstunden Pozinger Antonie ...
Gothaisches genealogisches Taschenbuch der gräflichen Häusergoogle.co.jp
books.google.co.jp
Mai Grafen Karl Florian , . . Kamm . , Sohn ) , Befißer der Primos und Secundogenitur - Fideicommisse , verm Aug.
sortiert nach Relevanz / Datum