Veröffentlichungen der Universität / Informatik, Informationswissenschaft, allgemeine Werke [1-20]

Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme
Schnelte, Matthias
2011
Adaptable OS services for distributed reconfigurable systems on chip
Samara, Sufyan
2010
Decomposition for compositional verification
Metzler, Björn
2010
Generating general-purpose cutting planes for mixed-integer programs
Wesselmann, Franz
2010
Generierung von Animation und Simulation für graphische Struktureditoren
Cramer, Bastian
2010
Increasing stability of aircraft and crew schedules
Dück, Viktor
2010
Konzeption und Bewertung eines Entwicklungsrahmenwerks zur energieoptimierenden Schaltungssynthese
Voß, Nikolaus
2010
Local, distributed approximation algorithms for geometric assignment problems
Degener, Sebastian
2010
Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen
Mistrzyk, Tomasz
2010
Multi-agent reinforcement learning algorithms
Akchurina, Natalia
2010
On the design and implementation of reliable and economical telematics software architectures for embedded systems
a domain-specific framework
Stehr, Jan
2010
Peer-to-peer networks based on random graphs
Mahlmann, Peter
2010
Power-aware online file allocation in dynamic networks
Mehler, Jan
2010
Self-organizing construction of connected k-hop dominating sets in wireless sensor networks
Janáčik, Peter
2010
Semantic positioning
supporting knowledge work through semantic spatial arrangements
Erren, Patrick
2010
Towards an RTOS for self-optimizing mechatronic systems
Oberthür, Simon
2010
Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien
Wübbeke, Andreas
2010
Algorithms for the Bregman k-Median problem
Ackermann, Marcel R.
2009
An aspect-oriented model-driven engineering approach for distributed embedded real-time systems
Wehrmeister, Marco Aurélio
2009
Ein Beitrag zum Benchmarking von Planungsverfahren und zur Produktionsplanung und -steuerung für die mehrstufige auftragsbezogene Serienfertigung in der Automobilzulieferindustrie
Wesemann, Jan
2009
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme

Adaptable OS services for distributed reconfigurable systems on chip

Decomposition for compositional verification

Generating general-purpose cutting planes for mixed-integer programs

Generierung von Animation und Simulation für graphische Struktureditoren

Increasing stability of aircraft and crew schedules

Konzeption und Bewertung eines Entwicklungsrahmenwerks zur energieoptimierenden Schaltungssynthese

Local, distributed approximation algorithms for geometric assignment problems

Methodik zur Dokumentation und Analyse von Kommunikationsschwachstellen in sicherheitskritischen Systemen anhand von hierarchischen Aufgabenmodellen

Multi-agent reinforcement learning algorithms

On the design and implementation of reliable and economical telematics software architectures for embedded systems

Peer-to-peer networks based on random graphs

Power-aware online file allocation in dynamic networks

Self-organizing construction of connected k-hop dominating sets in wireless sensor networks

Semantic positioning

Towards an RTOS for self-optimizing mechatronic systems

Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien

Algorithms for the Bregman k-Median problem

An aspect-oriented model-driven engineering approach for distributed embedded real-time systems

Ein Beitrag zum Benchmarking von Planungsverfahren und zur Produktionsplanung und -steuerung für die mehrstufige auftragsbezogene Serienfertigung in der Automobilzulieferindustrie