Florian Nafz Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC 2009: 17-31
2008
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: A Specification and Construction Paradigm for Organic Computing Systems. SASO 2008: 233-242
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif: Compositional Proofs with Symbolic Execution. VERIFY 2008
2006
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach: Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) 2006: 153-160

Coauthor Index

1Michael Balser [2]
2Simon Bäumler [2]
3Matthias Güdemann [1] [3]
4Frank Ortmeier [3] [4] [5]
5Wolfgang Reif [1] [2] [3] [4] [5]
6Hella Seebach [1] [3] [4] [5]
7Jan-Philipp Steghöfer [5]

Copyright © Wed Dec 16 17:29:03 2009 by Michael Ley (ley@uni-trier.de)