Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
4363 Entries
2009
-
Parallelizing Software-Implemented Error Detection, 2009, p. 215-226, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Pattern Matching and I/O Replay for POSIX I/O in Parallel Programs, 2009, Euro-Par 2009 Parallel Processing. Sips, H., Epema, D. & Lin, H. (eds.). Berlin, Heidelberg: Springer, Berlin [u. a.], p. 45-56, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009, 2009, Elsevier, 202 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
-
Quantitative Analysis under Fairness Constraints, 2009, Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings. Liu, Z. & Ravn, A. P. (eds.). Berlin, Heidelberg: Springer, Berlin, Heidelberg, p. 135-150, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Requirements Analysis for an Integrated OCL Development Environment, 2009Research output: Contribution to conferences > Paper
-
Sample synopses for approximate answering of group-by queries, 2009, EDBT '09: Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology. p. 403-414, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Semantische Integration im Lebenszyklus der Automation, 2009, AUTOMATION 2009 - Der Automatisierungskongress in Deutschland. 2067 ed., VDI Verlag, Düsseldorf, p. 167-170, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Speculation for Parallelizing Runtime Checks, 2009, p. 698-710, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Standing processes in service-oriented environments, 2009, 2009 Congress on Services - I. PART 1 ed., p. 115-122, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Streaming Web Services and Standing Processes (Demo).;, 2009Research output: Contribution to conferences > Paper
-
Systemübergreifende Kostennormalisierung für Integrationsprozesse, 2009, Datenbanksysteme in Business, Technologie und Web, BTW 2009, 13. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2009, Proceedings. Freytag, J., Ruf, T. & Lehner, W. (eds.). Gesellschaft fur Informatik (GI), p. 67-86, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Tactile paper prototyping with blind subjects, 2009, Haptic and Audio Interaction Design: 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings. Springer, Berlin, Heidelberg, p. 81–90Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
TopDNS: Experiences Building Internet-based Topologies with GNP, 2009, p. 1106-1111, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Towards an automated generation of device firmware components for intelligent field devices., 2009, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Towards Development of Web Applications based on User Interface Services - A Requirement Analysis, 2009, p. 341-342Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Towards Improved Overlay Simulation Using Realistic Topologies, 2009, p. 52-59, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Trace-Based Analysis and Optimization for the Semtex CFD Application - Hidden Remote Memory Accesses and I/O Performance, 2009, Euro-Par 2008 Workshops - Parallel Processing . Cesar, E., Alexander, M., Streit, A., Traff, J., Cerin, C., Knupfer, A., Kranzlmuller, D. & Jha, S. (eds.). Springer, Berlin [u. a.], p. 295-304, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
TrackNDrums - Ein virtuelles Schlagzeug auf der Basis eines 3D-Tracking-Systems unter Verwendung zweier Wiimotes, 2009Research output: Contribution to conferences > Paper
-
Unification in the Description Logic EL, 2009, Rewriting Techniques and Applications : 20th International Conference, RTA 2009. Springer, Berlin [u. a.], p. 350-364Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Vectorizing instance-based integration processes, 2009, Enterprise Information Systems: 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009, Proceedings. Filipe, J. & Cordeiro, J. (eds.). Springer-Verlag, p. 40-52, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Virtual Machines Jailed: Virtualization in Systems with Small Trusted Computing Bases, 2009, VDTS '09: Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems. Nuremberg, Germany: ACM Press, p. 18-23, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Was heißt hier Rechnernetze?, 2009, Zukunft braucht Herkunft 25 Jahre »INFOS – Informatik und Schule«: INFOS 2009 13. GI-Fachtagung »Informatik und Schule«, 21. bis 24. September 2009 an der Freien Universität Berlin. Gesellschaft für Informatik e.V., p. 193-204, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Web Based Software Modeling Exercises in Large-Scale Software Engineering Courses, 2009Research output: Contribution to conferences > Paper