Scientific Publications
Our publicly available publications are available here, sortable for title (alphabet) and year.
In addition, the search field gives you the opportunity to browse our publications database with your own selection criteria. You can search for example by author, title, text content, or booktitle.
Title
Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.
Booktitle
Automated Technology for Verification and Analysis (ATA)
All authors
Damm, W.; Pinto, G.; Ratschan, S.
Year
2005
Title
An Environment for Compositional Specification and Verification of Complex Embedded Systems
All authors
Wittke, Hartmut
Year
2005
Title
Live and let die: LSC-based verification of UML models.
All authors
Damm, Werner; Westphal, Bernd
Year
2005
Title
Considering the Knowledge Factor in Agile Software Development
All authors
Müller, Claudia; Bahrs, Julian; Gronau, Norbert
Year
2005
Title
Einfluss der durch Hardware-/Software-Partionierung hervorgerufenen Kommunikation auf Leistungsdaten einer Schaltung
All authors
Grüttner, K.
Year
2005
Title
Integrationsplattform für dezentrales Energiemanagement
All authors
Appelrath, Hans-Jürgen; Schmedes, Tanja; Uslar, Mathias
Year
2005
Title
Rollenkonzepte für das Wissensmanagement in der Softwareentwicklung
Booktitle
INFORMATIK 2005: Informatik LIVE!, Band 2, Beiträge der 35 Jahrestagung der Gesellschaft für Informatik e.V. (GI)
All authors
Thaden, E.; Bischofs, L.
Year
2005
Title
Organizational learning via case studies in software migration projetcs
Title of Conference
Informatik 2005
All authors
Thaden, Eike; Bischofs, Ludger; Uslar, Mathias; Reussner, Ralf
Year
2005
Title
When Small Outgrows Beautiful - Experiences from a Software Development Project
Title of Conference
ECOOP '05 Workshop on Pratical Problems of Programming in the Large
All authors
Ploski, J; Giesecke,
Year
2005
Title
Architekturbeschreibung in der UML
Booktitle
Handbuch der Softwarearchitektur
All authors
Jost, Henning; Behrens, Jan
Year
2005
Title
On the Analogy between the Roles of Building and Software Architects
Title of Conference
GI OOSE-Workshop/ Net.ObjectDays2005
All authors
Stefan Dilz; Reussner, Ralf H.
Year
2005
Title
Eine Systemplattform für die Entwicklung kontextsensitiver mobiler Anwendungen
All authors
Krösche, Jens
Year
2005
Title
Pattern based Analysis and Redesign of Knowledge intensive Business Processes
Title of Conference
Marktplatz Internet: Von e-Learning bis e- Payment. 13. Leipziger Informatik Tage, LIT 2005, GI Lecture Notes in Informatics
All authors
Bahrs, J., Bogen, J., Schmid, S.
Year
2005
Title
Analyse von PDM-Daten zum Entwicklungscontrolling
Booktitle
Informations- und Wissensdrehscheibe Produktmanagement
All authors
Strickmann, Jens; Abels, Sven; Hahn, Axel
Year
2005
Title
Evaluation of KMDL Models of Knowledge intensive Business Processes in the Area of Software Engineering
All authors
Müller, C., Bahrs, J., Gronau, N.
Year
2005
Title
A survey and analysis of Electronic Healthcare Record standards
All authors
Eichelberg, Marco; Aden, Thomas; Riesmeier, Jörg; Dogac, Asuman; Laleci, Gokce B.
Year
2005
Title
Robotised Nanomanufacturing: Current Developments and Future Trends
All authors
Pham, D.T. ; Wang, Z.; Su, S.; Pham, P.T.N.; Yang, M., Fatikow, S.
Year
2005
Title
Development of mobile versatile nanohandling microrobots: design, driving principles, haptic control
All authors
Kortschack, A.; Shirinov, A.; Trüper, T.; Fatikow, S.
Year
2005
Title
Context-driven Smart Authoring of Multimedia Content with xSMART
Booktitle
ACM Multimedia 2005
All authors
Scherp, Ansgar; Boll, Susanne
Year
2005
Title
Media Gallery TV - View and Shop your Photos on Interactive Digital Television
Booktitle
ACM Multimedia 2005
All authors
Thieme, Sabine; Scherp, Ansgar; Boll, Susanne; Albrecht, Melanie
Year
2005
Title
Multimedia-Architekturen
Booktitle
Handbuch der Softwaretechnik
All authors
Scherp, Ansgar; Boll, Susanne
Year
2005
Title
Framework-Entwurf
Booktitle
Handbuch der Softwaretechnik
All authors
Scherp, Ansgar; Boll, Susanne
Year
2005
Title
Image and Video Retrieval from a user-centered mobile multimedia perspective
Booktitle
Conference on Image and Video Retrieval (CIVR 2005)
All authors
Boll, Susanne
Year
2005
Title
Mobile Application Development - now and then
Booktitle
8. Workshop des GI-Arbeitskreises "Mobile Datenbanken und Informationssysteme"
All authors
Boll, S.; Breunig, M.; König-Ries, B.; Matthes, F.; Schwarz, T.
Year
2005