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
Untersuchung des Potentials von rechenzentrenübergreifendem Lastmanagement zur Reduzierung des Energieverbrauchs in der IKT
All authors
Hoyer, M.; Nebel, W.; Schlitt, D.; Schröder, K.
Year
2009
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; Grüning, Fabian
Year
2009
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; Grüning, Fabian
Year
2008
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; Oetjens, Jan-Hendrik; Nebel, Wolfgang
Year
2008
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; Boll, Susanne
Year
2008
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
Title
Using Ontologies to Model and Understand Product Development
All authors
Hahn, Axel; Hausmann, Kevin; Häusler, Stefan; Strickmann, Jan
Year
2007
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; Dräger, Klaus; Hoffmann, Jörg; Finkbeiner, Bernd; Henning Dierks; Aandreas Podelski; Gerd Behrmann
Year
2007
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
Title
uni-lernstadt.de - das Wissensportal zu den Rechtsfragen des eLearning
Booktitle
Verein "Forum Neue Medien"
All authors
Horn, Janine
Year
2006
Title
Using Generator Feature Diagrams to Enhance Performance Prediction of Software Component Adaptation - A Case Study
All authors
Streekmann, Niels; Becker, Steffen
Year
2006
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; Appelrath, Hans-Jürgen
Year
2005
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.; Bekker, R. M.; Finke, J.; Kunzmann, D.; Sonnenschein, M.
Year
2005
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; Uslar, Mathias
Year
2005
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.; Bekker, R. M.; Finke, J.; Kunzmann, D.; Sonnenschein, M.
Year
2005
Title
Using Business Process Knowledge for Software Component Retrieval
Booktitle
Proceedings of 11th Annual BIT Conference
All authors
Teschke, T.
Year
2003
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; Rohde, Martin
Year
2003
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; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika
Year
2003
Title
UML Validation Suite
Booktitle
Proceedings of FATES'01 - Formal Approaches to Testing of Software
All authors
Brockmeyer, Udo; Klose, Jochen; Lettrari, Marc
Year
2001
Title
Untersuchung des Analyse- und Spezifikationsprozesses bei sd & m
All authors
Nicklas Daniela
Year
1999
Title
Using a visual formalism for design verification in industrial environments
Booktitle
VISUAL'98
All authors
Schlör, R.; Josko, B.; Werth, D.
Year
1998
Title
Übersetzung von objektorientiertem VHDL nach Standard VHDL.
All authors
Radetzki, Martin; Putzke-Röming, Wolfram; Nebel, Wolfgang
Year
1998
Title
Untersuchung und Erfassung von Verlustleistungsänderungen durch Logikoptimierungen für Registertransferbibliotheksmodule.
All authors
Plate, Vera
Year
1997
Title
Untersuchung der Auswirkung von verschiedenen Datenstromklassen auf die Verlustleistung von RT-Modulen.
All authors
Walther, Andreas
Year
1997