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.
4342 Entries
2008
-
Generating Compact MTBDD-Representations from Probmela Specifications, 2008, Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Havelund, K., Majumdar, R. & Palsberg, J. (eds.). Berlin, Heidelberg: Springer, Berlin, Heidelberg, p. 60-76, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Improving data independence, efficiency and functional flexibility of integration platforms, 2008, CAiSE'08 Forum: Proceedings of the Forum at the CAiSE'08 Conference. p. 97-100, 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Informatik in der DDR - Grundlagen und Anwendungen, Symposium am 15. und 16. Mai 2008 in Dresden, 2008, In: GI-Edition : lecture notes in informatics. Proceedings. T-3Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
-
Infrastructure for web-based administration of embedded systems, 2008, SIES'2008 - 3rd International Symposium on Industrial Embedded Systems. p. 67-73, 7 p., 4577682Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Innovations in measuring accessibility: theoretical and practical perspectives, 2008, Proceedings of the 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction. Vol. 2. p. 197-198, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Integrating Information over the Life-cycle of Manufacturing Equipment by assigning semantics., 2008Research output: Contribution to conferences > Paper
-
Internal Timer Synchronization for Parallel Event Tracing, 2008, Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings. Lastovetsky, A., Kechadi, T. & Dongarra, J. (eds.). Springer, Berlin [u. a.], p. 202-209, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Linked Bernoulli Synopses: Sampling Along Foreign Keys, 2008Research output: Contribution to conferences > Paper
-
Localized power-aware routing in linear wireless sensor networks, 2008, Proceedings of the 2nd ACM International Conference on Context-awareness for Self-managing Systems, CASEMANS'08. p. 24-33, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
LTL over Description Logic Axioms, 2008, Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning: KR 2008. Brewka, G. & Lang, J. (eds.). AAAI Press, p. 684--694Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Maintaining Bounded-Size Sample Synopses of Evolving Datasets, 2008, In: The VLDB journal. 17, 2, p. 173-201, 29 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Making Object-Based STM Practical in Unmanaged Environments, 2008, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Mein Avatar und ich: Zur kameravermittelten Interaktion mit anthropomorphen 3D-Repräsentanten, 2008Research output: Contribution to conferences > Paper
-
Message from the general co-chairmen, 2008, In: IEEE International Workshop on Factory Communication Systems (WFCS). p. xi-xii, 4638765Electronic (full-text) versionResearch output: Contribution to journal > Editorial (Lead article)
-
Message indexing for document-oriented integration processes, 2008, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems: Volume DISI, Barcelona, Spain, June 12-16, 2008. p. 137-142, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Message-oriented and workflow-based inter-process communication for distributed manufacturing., 2008, p. 721-724, 4 p.Research output: Contribution to conferences > Paper
-
Metadata generation and consolidation within an ontology-based document management system., 2008, In: International journal of metadata, semantics and ontologies : IJMSO. 3, 4, p. 249-259Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Mobility impaired pedestrians are not cars: Requirements for the annotation of geographical data, 2008, Computers Helping People with Special Needs : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008, Proceedings. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.).p. 1085–1092Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Mobilized Multi-perspective - Virtual Views, 2008Research output: Contribution to conferences > Paper
-
Model-Driven Development of Complex and Data-Intensive Integration Processes, 2008, Model-Based Software and Data Integration: First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings. p. 31–42Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Model-driven generation and optimization of complex integration processes, 2008, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems: Volume DISI, Barcelona, Spain, June 12-16, 2008. p. 131-136, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Model-driven generation of dynamic adapters for integration platforms, 2008, 1st International Workshop on Model Driven Interoperability for Sustainable Information Systems, MDISIS 2008 - Held in Conjunction with the CAiSE 2008 Conference. p. 105-119, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support, 2008, Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers. Giese, H. (ed.). Springer, Berlin [u. a.], p. 182–193Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On the need for bidirectional coupling of road traffic microsimulation and network simulation, 2008, 1st ACM SIGMOBILE workshop on Mobility modelsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution