Wissenschaftliche Publikationen

Unsere öffentlich verfügbaren wissenschaftlichen Publikationen stehen Ihnen hier nach Veröffentlichungsdatum sortiert zur Verfügung. 

Darüber hinaus bietet Ihnen die A-Z Leiste und das Suchfeld die Gelegenheit, unsere Publikationsdatenbank mit eigenen Auswahlkriterien zu durchsuchen. Sie können z. B. nach Autoren, Titel, Textinhalten oder Publikationsart suchen. 

Die erweiterte Suche bietet Ihnen darüber hinaus die Möglichkeiten, die Suche direkt auf eine Person, eine Publikationsart, sowie ein Jahr einzuschränken. Die Kriterien sind selbstverständlich auch kombinierbar.

Bei Click auf die Anzahl-Anzeige rechts kommen Sie aus Ihrer Suche auch wieder auf die Anzeige aller Publikationen zurück.

 

Publikationsliste

  Suche  UND ODER Erweiterte Suche
schließen
Alle 2844 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Titel

Federating Location-Based Data Services

Alle Autoren

Mitschang, Bernhard and Nicklas, Daniela and Großmann, Matthias and Schwarz, Thomas and Hönle, Nicola

Jahr

2005

Publikationstyp

incollection

Titel

Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA

Buchtitel

Proceedings of the ICAPS'05 Workshop on Verification and alidation of Model-Based Planning and Scheduling Systems

Alle Autoren

Dierks, Henning

Jahr

2005

Publikationstyp

inproceedings

Titel

Floorplan-Visualisierung und verbessertes High-Level-Routing zur RT-Level-Verlustleistungsberechnung

Alle Autoren

Schwarze, Konstantin

Jahr

2005

Publikationstyp

misc

Titel

Formal Verification of a Sensor Voting and Monitoring UML Model

Titel der Konferenz

4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005)

Alle Autoren

Mrugalla, Christian and Robbe, Oliver and Schinz, Ingo and Toben, Tobe and Westphal, Bernd

Jahr

2005

Publikationstyp

inproceedings

Titel

Framework-Entwurf

Buchtitel

Handbuch der Softwaretechnik

Alle Autoren

Scherp, Ansgar and Boll, Susanne

Jahr

2005

Publikationstyp

incollection

Titel

General conditions and solutions for Enterprise Application integration (EAI) at power system companies

Buchtitel

Poster Session of the Energy Convention Groningen 2005, EDReC Groningen 2005

Alle Autoren

Uslar, Mathias and Schmedes, Tanja

Jahr

2005

Publikationstyp

inproceedings

Titel

Gestaltung auditiver Umgebungen - Eine Vorgehensweise zur Gestaltung interaktiver, auditiver Welten

Alle Autoren

Klante, Palle

Jahr

2005

Publikationstyp

phdthesis

Titel

Gestaltungsparadigmen für auditive Umgebungen

Buchtitel

3rd Usability Professionals' Track auf der 5. Fachübergreifende Konferenz Mensch& Computer 2005

Alle Autoren

Klante, Palle

Jahr

2005

Publikationstyp

inproceedings

Titel

GO-Kard: An Integrated Documentation System for Cardiology

Alle Autoren

Claus, Marcel and Kronberg, Kay and Eichelberg, Marco

Jahr

2005

Publikationstyp

article

Titel

Green Chips-Design for Low Energy

Alle Autoren

Nebel, Wolfgang

Jahr

2005

Publikationstyp

misc

Titel

Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.

Buchtitel

Automated Technology for Verification and Analysis (ATA)

Alle Autoren

Damm, W. and Pinto, G. and Ratschan, S.

Jahr

2005

Publikationstyp

inproceedings

Titel

Hardware/Software Co-Synthesis of Real-Time Systems with Approximated Analysis Algorithms

Buchtitel

Tagungsband: Model-based development of embedded systems

Alle Autoren

Slomka, Frank and Albers, Karsten

Jahr

2005

Publikationstyp

inproceedings

Titel

Herausforderungen und Ansätze für Kontextmodelle

Titel der Konferenz

Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn

Alle Autoren

Mitschang, Bernhard and Nicklas, Daniela

Jahr

2005

Publikationstyp

inproceedings

Titel

High-Level Power Estimation and Analysis

Buchtitel

Low-Power Electronics Design

Alle Autoren

Nebel, Wolfgang and Helms, Domenik

Jahr

2005

Publikationstyp

incollection

Titel

IHE "Integrating the Healthcare Enterprise"" an update for Information Technology

Buchtitel

Proceedings Computer Assisted Radiology and Surgery (CARS 2005)

Alle Autoren

Wein, Berthold B. and Eichelberg, Marco and Ihls, Alexander and Poiseau, Eric

Jahr

2005

Publikationstyp

inproceedings

Titel

Image and Video Retrieval from a user-centered mobile multimedia perspective

Buchtitel

Conference on Image and Video Retrieval (CIVR 2005)

Alle Autoren

Boll, Susanne

Jahr

2005

Publikationstyp

inproceedings

Titel

Institutionalization of a general electronic democracy through electronic democratic parties - a general concept with focus on Germany

Buchtitel

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS '05), Wailea, Maui, HI

Alle Autoren

Gronau, Norbert and Weber, Edzard and Uslar, Mathias

Jahr

2005

Publikationstyp

inproceedings

Titel

Integrationsplattform für dezentrales Energiemanagement

Alle Autoren

Appelrath, Hans-Jürgen and Schmedes, Tanja and Uslar, Mathias

Jahr

2005

Publikationstyp

article

Titel

Interaction of EMS related systems by using the CIM standard

Buchtitel

Proceedings of the ITEE 2005 Magdeburg

Alle Autoren

Uslar, Mathias and Schmedes, Tanja and Lucks, Andreas and Luhmann, Till and Winkels, Ludger and Appelrath, Hans-Jürgen

Jahr

2005

Publikationstyp

inproceedings

Titel

Interaktion in auditiven Informationsräumen

Buchtitel

Interaktion mit komplexen Informationsräumen

Alle Autoren

Klante, Palle and Gorny, Peter and Gründler, Michael

Jahr

2005

Publikationstyp

inbook

Titel

Intervallkarzinome im Modellprojekt Mammographie-Screening Weser-Ems - Erste Analysen

Buchtitel

Tagungsband der GMDS 2005

Alle Autoren

Urbschat, Iris and Kieschke, Joachim and von Gehlen, Sandra and Thiel, Andreas and Hecht, Gerold and Jensch, Peter

Jahr

2005

Publikationstyp

inproceedings

Titel

Intrakoronare lokoregionale Abciximab Gabe über einen 3 F Multifunktionskatheter bei akutem Myokardinfarkt

Alle Autoren

Kronberg, Kai and Hofmann, Winfried and Müller-Eichelberg, Andreas and Brucksch, A. and Hullmann, B. and Claus, Marcel and Reil, Gert-Hinrich

Jahr

2005

Publikationstyp

article

Titel

Kommunikationsgetriebene Hardware/Software-Partitionierung eines Netzwerkprotokollstacks auf einer SoC-Plattform

Buchtitel

INFORMATIK 2005 - Informatik LIVE!, Band 1

Alle Autoren

Grüttner, Kim and Beth, Carsten and Nebel, Wolfgang

Jahr

2005

Publikationstyp

inproceedings

Titel

Konzeption und Implementierung einer Evaluationsumgebung für energiebewusstes Task-Schedulding

Alle Autoren

Kraef, Heike

Jahr

2005

Publikationstyp

mastersthesis

Titel

Leakage Power Modeling, Estimation and Optimization

Buchtitel

Tagungsband für die Workshopteilnehmer

Alle Autoren

Helms, Domenik

Jahr

2005

Publikationstyp

misc