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 3126 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

The Temporal Logic of Appearance and Disappearance

Buchtitel

Reports of SFB/TR 14 AVACS

Alle Autoren

Bauer, Jörg and Toben, Tobe and Westphal, Bernd

Jahr

2007

Publikationstyp

techreport

Titel

The WISENT Grid Architecture: Coping with Firewalls and NAT

Buchtitel

German e-Science Conference 2007

Titel der Konferenz

German e-Science Conference 2007

Alle Autoren

Scherp, Guido and Hasselbring, Wilhelm and Ploski, Jan

Jahr

2007

Publikationstyp

inproceedings

Titel

The World of PuK - Service

Alle Autoren

Schattenberg, Bernd and Krebs, Thorsten and Schumann, Rene

Jahr

2007

Publikationstyp

article

Titel

Timing behavior anomaly detection in enterprise information systems

Alle Autoren

Giesecke, Simon and Hasselbring, Wilhelm and Rohr, Matthias

Jahr

2007

Publikationstyp

inproceedings

Titel

Towards an ecosystem for semantics

Buchtitel

MS 07: Workshop on multimedia information retrieval on The many faces of multimedia semantics

Titel der Konferenz

The many faces of multimedia semantics

Alle Autoren

Scherp, Ansgar and Jain, Ramesh

Jahr

2007

Publikationstyp

inproceedings

Titel

Towards Context-Aware Workflows

Buchtitel

Proceedings of Workshop on Ubiquitous Mobile Information and Collaboration Systems (Caise'07) Workshop

Alle Autoren

Wieland, Matthias and Kopp, Oliver and Nicklas, Daniela and Leymann, Frank

Jahr

2007

Publikationstyp

inproceedings

Titel

Towards Integrated Authoring, Annotation, Retrieval, Adaptation, Personalization and Delivery of Multimedia Content

Buchtitel

DELOS Conference Working Notes

Alle Autoren

Eidenberger, Horst and Boll, Susanne and Christodoulakis, Stavros and Divotkey, Doris and Leopold, Klaus and Martin, Alessandro and Perego, Andrea and Scherp, Ansgar and Tsinaraki, Chrisa

Jahr

2007

Publikationstyp

inproceedings

Titel

Transinstitutionelle Informationssysteme in der integrierten Versorgung - zehn Fallanalysen

Buchtitel

Kongresses für Medizin und Gesellschaft

Alle Autoren

Hellrung, Nils and Awe, Björn and Bogenstahl, Christoph and Gründler, Michael and Gusew, Nathalie and Schultz, Carsten and Spekker, Heyo and Gemünden, Hans Georg and Haux, Reinhold and Thoben, Wilfried

Jahr

2007

Publikationstyp

inproceedings

Titel

Translation Correctness for First-Order Object-Oriented Pattern Matching

Buchtitel

The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007)

Alle Autoren

Emir, Burak and Ma, Qin and Odersky, Martin

Jahr

2007

Publikationstyp

inproceedings

Titel

Trends in Nanohandling

Buchtitel

Mikrosystemtechnik Kongress Dresden 2007

Titel der Konferenz

Mikrosystemtechnik 2007

Alle Autoren

Fatikow, S. and Eichhorn, V. and Sill, A.

Jahr

2007

Publikationstyp

inproceedings

Titel

Unterstützung der Systemgestaltung durch die Simulation des Kommunikationsflusses in erweiterten Aufgabenmodellen

Buchtitel

Simulationsgestützte Systemgestaltung

Titel der Konferenz

49. Fachauschusssitzung Anthropotechnik

Alle Autoren

Mistrzyk t., Szwillus G.

Jahr

2007

Publikationstyp

inproceedings

Titel

Uppaal/DMC - Abstraction-based Heuristics for Directed Model Checking

Buchtitel

Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Alle Autoren

Kupferschmid, Sebastian and Dräger, Klaus and Hoffmann, Jörg and Finkbeiner, Bernd and Henning Dierks and Aandreas Podelski and Gerd Behrmann

Jahr

2007

Publikationstyp

inproceedings

Titel

Urheberrecht beim Einsatz neuer Medien in der Hochschullehre

Alle Autoren

Horn, Janine

Jahr

2007

Publikationstyp

phdthesis

Titel

Using Ontologies to Model and Understand Product Development

Alle Autoren

Hahn, Axel and Hausmann, Kevin and Häusler, Stefan and Strickmann, Jan

Jahr

2007

Publikationstyp

article

Titel

Verification and Synthesis of OCL Constraints via Topology Analysis

Titel der Konferenz

3rd International Workshop on Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007)

Alle Autoren

Bauer, Jörg and Damm, Werner and Toben, Tobe and Westphal, Bernd

Jahr

2007

Publikationstyp

inproceedings

Titel

VisPara - VISsualization of Paralogs

Titel der Konferenz

5th Annual Cytoscape Public Symposium and Developers Retreat

Alle Autoren

Schwarz, Christoph and Siemer, Christian

Jahr

2007

Publikationstyp

inproceedings

Titel

Voltage- and ABB_Island Optimization in High Level Synthesis

Buchtitel

Intl. Symposium on Low Power Electronic Design

Titel der Konferenz

ISLPED

Alle Autoren

Helms, Domenik and Meyer, Olaf and Hoyer, Marco and Nebel, Wolfgang

Jahr

2007

Publikationstyp

inproceedings

Titel

Voruntersuchung zur vibrotaktil geregelten Instrumentenführung für die multimodal unterstütze Navigation

Titel der Konferenz

6. Jahrestagung der Deutschen Gesellschaft für Computergestützte Chirurgie

Alle Autoren

Brell, Melina and Hein, Andreas

Jahr

2007

Publikationstyp

inproceedings

Titel

Zugriff auf externe medizinische Dokumente

Buchtitel

ti - Technologie-Informationen niedersächsischer Hochschulen: Digitale Verwaltung

Alle Autoren

Dr. Wilfried Thoben, Ralph Stuber

Jahr

2007

Publikationstyp

article

Titel

Zur semantischen Interoperabilität in der Energiebranche: CIM IEC 61970

Alle Autoren

Uslar, Mathias and Grüning, Fabian

Jahr

2007

Publikationstyp

article

Titel

3-D-Reconstruction from C-Arm X-Ray Images for Register-Free Navigation in Neurosurgery

Buchtitel

Tagungsband

Titel der Konferenz

CURAC 2006

Alle Autoren

Kirschstein, Uwe and Kötters, Jens and Javad Mirzayan, M. and Hein, Andreas and Krauss, Joachim K.

Jahr

2006

Publikationstyp

inproceedings

Titel

A Behaviour-Based Navigation System for an Autonomous Indoor Blimp

Buchtitel

Proc. of Mechatronics 2006

Titel der Konferenz

4th IFAC Symposium on Mechatronic Systems

Alle Autoren

Mahn, M. and Kemper, M.

Jahr

2006

Publikationstyp

inproceedings

Titel

A macro-based approach to use partially defective FPGAs

Buchtitel

VLSI-SoC 2006 -- PhD Forum Digest of Papers

Alle Autoren

Frimont, Sven

Jahr

2006

Publikationstyp

inproceedings

Titel

A Modelling and Simulation Enviroment for Real-time Pricing Scenarios in Energy Markets

Buchtitel

EnviroInfo 2006 - Managing Environmental Knowledge

Titel der Konferenz

EnviroInfo 2006

Alle Autoren

Sonnenschein, Michael and Stadler, Michael and Rapp, Barbara and Bremer, Joerg and Brunhorn, St.

Jahr

2006

Publikationstyp

inproceedings

Titel

A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models

Alle Autoren

Kersten, Michael

Jahr

2006

Publikationstyp

phdthesis