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.

Publikationsliste

  Search  AND OR Extended search
close
All 2723 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
Title

Untersuchung des Normungsumfeldes zum BMWi-Förderschwerpunkt

All authors

Beenken, Petra and Busemann, Claas and Gonzalez, Jose and Kamenik, Jens and Mayer, Christoph and Nieße, Astrid and Rohjans, Sebastian and Specht, Michael and Uslar, Mathias and Weidelt, Tobias and Hein, Franz and Schmedes, Tanja and Schwarz, Karlheinz

Year

2009

Type of Publication

misc

Title

Untersuchung des Potentials von rechenzentrenübergreifendem Lastmanagement zur Reduzierung des Energieverbrauchs in der IKT

All authors

Hoyer, M. and Nebel, W. and Schlitt, D. and Schröder, K.

Year

2009

Type of Publication

techreport

Title

Using Ontologies for Data Integration in Integrated Care Networks

Booktitle

Global Telemedecine and eHealth Updates: Knowledge Resources

All authors

Willkomm, Martin and Brüggemann, Stefan

Year

2009

Type of Publication

manual

Title

Using Ontologies Providing Domain Knowledge for Data Quality Management

Booktitle

Networked Knowledge - Networked Media: Integrating Knowledge Management, New Media Technologies and Semantic Systems

All authors

Brüggemann, Stefan and Grüning, Fabian

Year

2009

Type of Publication

inbook

Title

Using UNICORE and WS-BPEL for Scientific Workflow Execution in Grid Environments

Booktitle

Euro-Par 2009 - Parallel Processing

Title of Conference

UNICORE Summit 2009 (in conjunction with European Conference on Parallel Computing 2009)

All authors

Scherp, G. and Höing, A. and Gudenkauf, S. and Hasselbring, W. and Kao, O.

Year

2009

Type of Publication

inproceedings

Title

Urban Web Crawling

Booktitle

First International Workshop on Location and the Web (LocWeb2008) at WWW 2008

Title of Conference

LocWeb2008

All authors

Ahlers, Dirk and Boll, Susanne

Year

2008

Type of Publication

inproceedings

Title

Using domain knowledge provided by ontologies for improving data quality management

Booktitle

Proceedings of I-Know 2008 and I-Media 2008 International Conferences on Knowledge Management and New Media Technology

Title of Conference

International Conference on Knowledge Management

All authors

Brüggemann, Stefan and Grüning, Fabian

Year

2008

Type of Publication

inproceedings

Title

Using SystemC for an extended MATLAB/simulink verification flow

Booktitle

Specification, Verification and Design Languages, 2008. FDL 2008. Forum on

Title of Conference

Forum on Specification, Verification and Design Languages, 2008

All authors

Hylla, Kai and Oetjens, Jan-Hendrik and Nebel, Wolfgang

Year

2008

Type of Publication

inproceedings

Title

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

Booktitle

Simulationsgestützte Systemgestaltung

Title of Conference

49. Fachauschusssitzung Anthropotechnik

All authors

Mistrzyk t., Szwillus G.

Year

2007

Type of Publication

inproceedings

Title

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

Booktitle

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

All authors

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

Year

2007

Type of Publication

inproceedings

Title

Urheberrecht beim Einsatz neuer Medien in der Hochschullehre

All authors

Horn, Janine

Year

2007

Type of Publication

phdthesis

Title

Using Ontologies to Model and Understand Product Development

All authors

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

Year

2007

Type of Publication

article

Title

uni-lernstadt.de - das Wissensportal zu den Rechtsfragen des eLearning

Booktitle

Verein "Forum Neue Medien"

All authors

Horn, Janine

Year

2006

Type of Publication

inproceedings

Title

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems

Booktitle

FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings

All authors

Lettrari, M.

Year

2006

Type of Publication

inproceedings

Title

Using Generator Feature Diagrams to Enhance Performance Prediction of Software Component Adaptation - A Case Study

All authors

Streekmann, Niels and Becker, Steffen

Year

2006

Type of Publication

misc

Title

Umsetzung von Geschäftsmodellen im Technology Enhanced Learning

Booktitle

E-Learning Academic Network Niedersachen: Bericht zur Förderphase ELAN I

All authors

Schmees, Markus and Appelrath, Hans-Jürgen

Year

2005

Type of Publication

incollection

Title

Using data mining techniques for exploring the key features of plant dynamics upon a newly built plant trait data

Booktitle

Informatics for Environmental Protection - Enviroinfo Brno

All authors

Stadler, M. and Bekker, R. M. and Finke, J. and Kunzmann, D. and Sonnenschein, M.

Year

2005

Type of Publication

inproceedings

Title

Using data mining techniques for exploring the key features of plant dynamics upon a newly built plant trait database.

Booktitle

Informatics for Environmental Protection - Enviroinfo Brno 2005

All authors

Stadler, M. and Bekker, R. M. and Finke, J. and Kunzmann, D. and Sonnenschein, M.

Year

2005

Type of Publication

inproceedings

Title

Using Process Modeling for Well-directed Distribution of Knowledge Assets

Booktitle

Proceedings of the 5th International Conference on Knowledge Management I-Know 2005, Graz

All authors

Steffens, Ulrike and Uslar, Mathias

Year

2005

Type of Publication

inproceedings

Title

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

Booktitle

Formal Methods for Components and Objects. First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

All authors

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika

Year

2003

Type of Publication

inproceedings

Title

Untersuchung zur Auswirkung der Revision der regionalen Bevölkerungsvorausschützung auf erwartete Krebserkrankungsfallzahlen in Niedersachsen

Booktitle

9. Jahrestagung der Deutschen Arbeitsgemeinschaft für Epidemiologie (DAE 2001)

All authors

Kieschke, Joachim and Rohde, Martin

Year

2003

Type of Publication

inproceedings

Title

Using Business Process Knowledge for Software Component Retrieval

Booktitle

Proceedings of 11th Annual BIT Conference

All authors

Teschke, T.

Year

2003

Type of Publication

inproceedings

Title

UML Validation Suite

Booktitle

Proceedings of FATES'01 - Formal Approaches to Testing of Software

All authors

Brockmeyer, Udo and Klose, Jochen and Lettrari, Marc

Year

2001

Type of Publication

inproceedings

Title

Untersuchung des Analyse- und Spezifikationsprozesses bei sd & m

All authors

Nicklas Daniela

Year

1999

Type of Publication

mastersthesis

Title

Übersetzung von objektorientiertem VHDL nach Standard VHDL.

All authors

Radetzki, Martin and Putzke-Röming, Wolfram and Nebel, Wolfgang

Year

1998

Type of Publication

inproceedings

<< >> 1 2 3