Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3277 Entries
2000
-
A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience , 2000, Proceedings Thirteenth Conference on Software Engineering Education & Training 2000. IEEE Computer Society, Washington Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Barrierefreie Wohngemeinschaft für Bewohner der Gemeinnützigen Paritätischen Gesellschaft für Sozialarbeit Darlingerode/Harz mbH für Menschen mit körperlicher und mehrfacher Behinderung , 2000, Professur Stadtplanung und Professur Baukonstruktion, Fakultät Architektur und Professur Heil- und Sonderpädagogik, Fakultät Sozial- und Gesundheitswesen, Hochschule MagdeburgResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Enforcing Synchronous System Properties on Top of Timed Systems , 2000, p. 185-192, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Modular Architecture for a Toolset Supporting OCL , 2000, ≪UML≫ 2000 — The Unified Modeling Language : Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings. Evans, A., Kent, S. & Selic, B. (eds.). Springer, Berlin [u. a.], p. 278-293Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Romanik interaktiv , 2000, Vom Realismus der Bilder, Scriptum Verlag, Magdeburg, 2000Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness , 2000, p. 533-542, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
1999
-
A Comparison of Timed Asynchronous Systems and Asynchronous Systems with Failure Detectors , 1999, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Building Fault-Tolerant Hardware Clocks from COTS Components , 1999, 20 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Das Bild der Logik - Zur Syntax der in multimedialen Anwendungen eingesetzten Bilder , 1999, Bildgrammatik, Scriptum-Verlag, Magdeburg. p. 287-296, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Erfahrungen mit einem frameworkbasierten Softwarepraktikum , 1999, Tagungsband des 6. Workshops Software-Engineering im Unterricht der Hochschulen. Teubner VerlagResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Peilstation im Elm , 1999, Rudolf-Müller-Preis 1999, Bauhaus Dessau. KölnResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Reverse Engineering von Datenbankanwendungen , 1999Research output: Contribution to conferences > Paper
-
Using UML/OCL Constraints for Relational Database Design , 1999, International Conference on the Unified Modeling Language: UML 1999: UML99 - The Unified Modeling Language, . Springer Verlag, Vol. LNCS 1723. p. 598-613Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Verkaufsanwendungen auf Basis des Anwendungsframeworks SalesPoint: Erfahrungen mit Java. Projekte aus Industrie und Hochschule , 1999, Heidelberg: dPunkt.VerlagResearch output: Book/Report/Anthology > Anthology
1998
-
A deduction method complete for refutation and finite satisfiability , 1998, Logics in Artificial Intelligence: European Workshop, JELIA 1998, Proceedings. Dix, J., del Cerro, L. F. & Furbach, U. (eds.). Springer Verlag, p. 122-138, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Derivation of Fail-Aware Membership Service Specifications , 1998, Lecture Notes in Computer Science Parallel and Distributed Processing. Vol. 1388/1998. p. 644-663, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Fail-Aware Publish/Subscribe in Erlang , 1998, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Oxidation of PAH and PAH-derivatives by fungal and plant oxidoreductases , 1998, In: Journal of Basic MicrobiologyElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
Phytoplankton responses to grazing by Daphnia galeata in the biomanipulated Bautzen reservoir , 1998, In: Hydrobiologia. 389, 1-3, p. 101-114, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Review article
-
Programming for usability in nonvisual user interfaces , 1998, Annual ACM Conference on Assistive Technologies, ProceedingsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
The Message Classification Model , 1998, p. 153-162, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
The Timewheel Asynchronous Group Communication Protocol , 1998, Lecture Notes in Computer Science Parallel and Distributed Processing. Orlando, FL, USA, Vol. 1388/1998. p. 664-680, 17 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Using a Framework to Teach OOT to Beginners , 1998Electronic (full-text) versionResearch output: Contribution to conferences > Paper
1997
-
A Fail-Aware Membership Service , 1997, p. 157-164, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
A Highly Available Local Leader Service , 1997, p. 77-95, 19 p.Research output: Contribution to conferences > Paper