2019
-
Adaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems. Dissertation.
Stier, C.
2019. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000086089 -
Specification Languages for Preserving Consistency between Models of Different Languages. Dissertation.
Kramer, M. E.
2019. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000081446
2018
-
Performanzabschätzung von parallelen Programmen durch symbolische Ausführung. Masterarbeit.
Estelmann, J.
2018. KIT, Karlsruhe -
Semi-automatische Generierung von Aktiven Ontologien aus Datenbankschemata. Masterarbeit.
Angele, K.
2018. Karlsruhe -
Themenextraktion zur Domänenauswahl für Programmierung in natürlicher Sprache. Masterarbeit.
Keim, J.
2018 -
Entwurfsoptimierung von selbst-adaptiven Wartungsmechanismen für software-intensive technische Systeme. Dissertation.
Märtin, L.
2018. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000086097 -
Implicit Incremental Model Analyses and Transformations. Dissertation.
Hinkel, G.
2018. Karlsruhe. doi:10.5445/IR/1000084464 -
Resource-aware Programming in a High-level Language - Improved performance with manageable effort on clustered MPSoCs. Dissertation.
Zwinkau, A.
2018. Karlsruhe. doi:10.5445/IR/1000083526 -
Adaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems. Dissertation.
Stier, C.
2018. Karlsruhe. doi:10.5445/IR/1000083402 -
Komplexe Abbildungen von Formularelementen zur Generierung von aktiven Ontologien. Bachelorarbeit.
Weigelt, D.
2018, Januar 22. Karlsruhe -
Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge. Dissertation.
Lehrig, S. M.
2018. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000079766 -
An Approach for Guiding Developers to Performance and Scalability Solutions. Dissertation.
Heger, C.
2018. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000072059 -
Performance Problem Diagnostics by Systematic Experimentation. Dissertation.
Wert, A.
2018. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000070006 -
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment. Dissertation.
Omri, F. ben N.
2018. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000051517
2017
-
Wissensbasierte Identifikation von Wertebereichen einer aktiven Ontologie. Bachelorarbeit.
Makhotsin, Y.
2017, September 8. Karlsruhe -
A Graphical Approach to Modularization and Layering of Metamodels. Bachelorarbeit.
Kechaou, A.
2017. KIT, Karlsruhe -
A Declarative Language for Preserving Consistency of Multiple Models. Bachelorarbeit.
Gleitze, J.
2017, Oktober 19. Karlsruhe -
Predicting Errors in Concurrent Systems. Dissertation.
Carril Rodríguez, L. M.
2017. Karlsruhe. doi:10.5445/IR/1000070459 -
Automatic Integration of Ecore Functionality into Java Code. Bachelorarbeit.
Sağlam, T.
2017. Karlsruhe -
Automated Coevolution of Source Code and Software Architecture Models. Dissertation.
Langhammer, M.
2017. Karlsruhe. doi:10.5445/IR/1000069366 -
Specification Languages for Preserving Consistency between Models of Different Languages. Dissertation.
Kramer, M. E.
2017. Karlsruhe. doi:10.5445/IR/1000069284 -
Architekturbasierte Bewertung und Planung von Änderungsanfragen. Dissertation.
Stammel, J. J.
2017. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000054452 -
Modeling and Prediction of I/O Performance in Virtualized Environments. Dissertation.
Noorshams, O.-Q.
2017. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000046300
2016
-
Designing a Change-Driven Language for Model Consistency Repair Routines. Masterarbeit.
Klare, H.
2016. Karlsruhe -
Argument-Based and Multi-faceted Rating to Support Large-Scale Deliberation. Dissertation.
Tanasijevic, S.
2016. Karlsruhe. doi:10.5445/IR/1000069126 -
Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages. Dissertation.
Graf, J.
2016. Karlsruhe. doi:10.5445/IR/1000068211 -
Flexible Graphical Editors for Extensible Modular Meta Models. Masterarbeit.
Junker, M.
2016. Karlsruhe -
Lossy Time-Series Transformation Techniques in the Context of the Smart Grid. Dissertation.
Efros, P.
2016. Karlsruhe. doi:10.5445/IR/1000063749 -
Musterbasierte Parallelisierung sequenzieller Anwendungen$dKonzept und Implementierung eines Verfahrens zur Softwaretransformation. Dissertation.
Molitorisz, K.
2016. Springer Vieweg Wiesbaden -
Automatic Synthesis and Verification of Industrial Commissioning Processes. Dissertation.
Mrasek, R.
2016. Karlsruhe. doi:10.5445/IR/1000056860 -
Eine Architektur für Programmsynthese aus natürlicher Sprache. Dissertation.
Landhäußer, M.
2016. Karlsruhe. doi:10.5445/IR/1000056776 -
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Dissertation.
Breitner, J.
2016. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000056002 -
Eine Architektur für Programmsynthese aus natürlicher Sprache. Dissertation.
Landhäußer, M.
2016. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000055916 -
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Dissertation.
Breitner, J.
2016. Karlsruhe. doi:10.5445/IR/1000054251 -
Incentive Mechanisms and Quality Assurance for Peer Production. Dissertation.
Kühne, C.
2016. Karlsruhe. doi:10.5445/IR/1000052545 -
Consolidation of Customized Product Copies into Software Product Lines. Dissertation.
Klatt, B.
2016. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000046821 -
Architectural Design Decision Documentation through Reuse of Design Patterns. Dissertation.
Durdik, Z.
2016. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000043807
2015
-
Architekturbasierte Bewertung und Planung von Änderungsanfragen. Dissertation.
Stammel, J. J.
2015. Karlsruhe. doi:10.5445/IR/1000053953 -
Privacy-Enhancing Methods for Time Series and their Impact on Electronic Markets. Dissertation.
Kessler, S.
2015. Karlsruhe. doi:10.5445/IR/1000052458 -
Security Mechanisms for Workflows in Service-Oriented Architectures. Dissertation.
Müller, J.
2015. Karlsruhe. doi:10.5445/IR/1000050957 -
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment. Dissertation.
Omri, F. ben N.
2015. Karlsruhe. doi:10.5445/IR/1000050941 -
Non-parametric Methods for Correlation Analysis in Multivariate Data with Applications in Data Mining. Dissertation.
Nguyen, H. V.
2015. Karlsruhe. doi:10.5445/IR/1000049548 -
Performance Isolation in Multi-Tenant Applications. Dissertation.
Krebs, R.
2015. Karlsruhe. doi:10.5445/IR/1000049479 -
Attribute Relationship Analysis in Outlier Mining and Stream Processing. Dissertation.
Keller, F.
2015. Karlsruhe. doi:10.5445/IR/1000048790 -
Agentenbasierter Handel auf Spotmärkten am Beispiel eines Energiemarktszenarios. Dissertation.
Dietrich, A.
2015. Karlsruhe. doi:10.5445/IR/1000048737 -
An Approach for Guiding Developers to Performance and Scalability Solutions. Dissertation.
Heger, C.
2015. Karlsruhe. doi:10.5445/IR/1000048535 -
Performance Problem Diagnostics by Systematic Experimentation. Dissertation.
Wert, A.
2015. Karlsruhe. doi:10.5445/IR/1000048516 -
Context Selection on Attributed Graphs for Outlier and Community Detection. Dissertation.
Iglesias Sánchez, P.
2015. Karlsruhe -
Modeling and Prediction of I/O Performance in Virtualized Environments. Dissertation.
Noorshams, O.-Q.
2015. Karlsruhe -
Model Transformation Languages with Modular Information Hiding. Dissertation.
Rentschler, A.
2015. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000045910
2014
-
Architectural Design Decision Documentation through Reuse of Design Patterns. Dissertation.
Durdik, Z.
2014. Karlsruhe -
Consolidation of Customized Product Copies into Software Product Lines. Dissertation.
Klatt, B.
2014. Karlsruhe -
Architecture-Level Software Performance Models for Online Performance Prediction. Dissertation.
Brosig, F. M. K.
2014. Karlsruhe -
Flexible Views for View-based Model-driven Development. Dissertation.
Burger, E.
2014. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000043437 -
Autonomic Performance-Aware Resource Management in Dynamic IT Service Infrastructures. Dissertation.
Huber, N. M.
2014. Karlsruhe -
RECAA - Werkzeugunterstützung in der Anforderungserhebung. Dissertation.
Körner, S. J.
2014. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000039460 -
RECAA - Werkzeugunterstützung in der Anforderungserhebung. Dissertation.
Körner, S. J.
2014. Karlsruhe -
Deriving Goal-oriented Performance Models by Systematic Experimentation. Dissertation.
Westermann, D.
2014. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000037926 -
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments. Dissertation.
Hauck, M.
2014. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000037233
2013
-
Deriving Goal-oriented Performance Models by Systematic Experimentation. Dissertation.
Westermann, D. J.
2013. Karlsruhe -
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments. Dissertation.
Hauck, M. A.
2013. Karlsruhe -
Certifying Software Component Performance Specifications. Dissertation.
Groenda, H.
2013. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000036063 -
Configurable Software Performance Completions through Higher-Order Model Transformations. Dissertation.
Happe, L.
2013. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000033385 -
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes. Dissertation.
Koziolek, A.
2013. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000032342 -
Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation. Dissertation.
Rathfelder, C.
2013. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000032232
2012
-
Clustering-Initialized Adaptive Histograms and Probabilistic Cost Estimation for Query Optimization. Dissertation.
Khachatryan, A.
2012. Karlsruhe -
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. Dissertation.
Lochbihler, A.
2012. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000028867 -
Integrated Software Architecture-Based Reliability Prediction for IT Systems. Dissertation.
Brosch, F.
2012. Karlsruhe -
Slicing of Concurrent Programs and its Application to Information Flow Control. Dissertation.
Giffhorn, D.
2012. Karlsruhe -
Integrated Software Architecture-Based Reliability Prediction for IT Systems. Dissertation.
Brosch, F.
2012. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000028288 -
Evolutionäre Analyse von strategischem Verhalten in Sozialen Netzwerken. Dissertation.
Hütter, C.
2012. Karlsruhe -
Advances in Parallel Software Development Methodology for Multicore Systems. Habilitation.
Pankratius, V.
2012. Karlsruhe -
Agentengestützte Verkehrssteuerung an Straßenkreuzungen unter Berücksichtigung der Wertschätzung der Fahrer. Dissertation.
Schepperle, H.
2012. Karlsruhe -
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis. Dissertation.
Krogmann, K.
2012. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000025617
2011
-
Configurable Software Performance Completions through Higher-Order Model Transformations. Dissertation.
Happe, L.
2011. Karlsruhe -
Efficient Conversion of Scientific Legacy Documents into Semantic Web Resources using biosystematics as a working example. Dissertation.
Sautter, G.
2011. Karlsruhe -
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes. Dissertation.
Koziolek, A.
2011. Karlsruhe -
Data-Mining Techniques for Call-Graph-Based Software-Defect Localisation. Dissertation.
Eichinger, F.
2011. Karlsruhe -
Strategisches Verhalten in Systemen mit Interaktions- und Kontaktwahl. Dissertation.
Hartmann, B.-O.
2011. Karlsruhe -
View-based textual modelling. Dissertation.
Goldschmidt, T.
2011. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000022234 -
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security. Dissertation.
Wasserrab, D.
2011. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000020678
2010
-
Quantifying and Predicting the Influence of Execution Platform on Software Component Performance. Dissertation.
Kuperberg, M.
2010. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000024301 -
Quantifying and Predicting the Influence of Execution Platform on Software Component Performance. Dissertation.
Kuperberg, M.
2010. Karlsruhe -
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis. Dissertation.
Krogmann, K.
2010. Karlsruhe -
Automatische Performanzoptimierung paralleler Architekturen. Dissertation.
Schaefer, C. A.
2010. Karlsruhe -
Modellextraktion aus natürlichen Sprachen : eine Methode zur systematischen Erstellung von Domänenmodellen. Dissertation.
Gelhausen, T.
2010. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000019366 -
Zuverlässige und effiziente Überwachung von Warenflüssen durch Analyse von RFID-Massendaten. Dissertation.
Weiss Ferreira Chaves, L.
2010. Karlsruhe -
Tool-supported identification of functional concerns in object-oriented code. Dissertation.
Trifu, M.
2010. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000016551 -
Realisierung von Softwareproduktlinien durch Komposition von Belangimplementierungen. Dissertation.
Kuttruff, V.
2010. KIT Scientific Publishing, Karlsruhe. doi:10.5445/KSP/1000015695
2009
-
Individuelle datenbankgestützte Reputationsberechnung in virtuellen Gemeinschaften. Dissertation.
Weth, C. von der.
2009. Karlsruhe -
Situationsbewusste Informationsdienste für das arbeitsbegleitende Lernen. Dissertation.
Schmidt, A.
2009. Karlsruhe -
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs. Dissertation.
Hammer, C.
2009. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000012049 -
Predicting software performance in symmetric multi-core and multiprocessor Environments. Dissertation.
Happe, J.
2009. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000011806
2008
-
Methodik zur durchgängigen Entwicklung verteilter Systeme mit Echtzeitbedingungen für Rundrufnetze. Dissertation.
Schanne, M.
2008. Karlsruhe -
Towards automated restructuring of object oriented systems. Dissertation.
Trifu, A. I. A.
2008. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000009204 -
Parameter dependencies for reusable performance specifications of software components. Dissertation.
Koziolek, H.
2008. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000009096 -
Coupled model transformations for QoS enabled component-based software design. Dissertation.
Becker, S.
2008. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000009095 -
Strategische Analyse von Anreizmechanismen in strukturierten Peer-to-Peer Systemen. Dissertation.
Schosser, S.
2008. Karlsruhe
2007
-
Skalierbarkeit von Cluster-Dateisystemen durch Verteilung der Metadaten. Dissertation.
Malpohl, G.
2007. Karlsruhe -
Possibly imperfect ontologies for effective information retrieval. Dissertation.
Nagypál, G.
2007. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000007206 -
Register allocation for programs in SSA Form. Dissertation.
Hack, S.
2007. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000007166 -
Werkzeuggestützte Identifikation von Strukturproblemen bei modellgetriebener Softwareentwicklung. Dissertation.
Andriessens, C.
2007. Monsenstein und Vannerdat, Münster
2006
-
Informationserhaltende Sichten und ihre Änderungsoperationen. Dissertation.
Bender, P.
2006. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000004577 -
Automatisierung dienstorientierten Rechnens durch semantische Dienstbeschreibungen. Dissertation.
Klein, M.
2006. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000004386 -
Kooperationsanreize in selbstorganisierenden Informationssystemen. Soziale Kontrolle zwischen autonomen Computereinheiten. Dissertation.
Obreiter, P.
2006. Universitätsverlag Karlsruhe, Karlsruhe. doi:10.5445/KSP/1000004300
2005
-
Interaktive Wissensgewinnung in parallelen Datenbanksystemen. Dissertation.
Gimbel, M.
2005. Logos, Berlin
2004
-
Aspektorientierte Konfiguration und Adaption von Komponenteninteraktionen. Dissertation.
Heuzeroth, D.
2004. Herdecke 2004. (Forschen und Wissen - Informatik.) Fak. f. Informatik, Diss. v. 18.11.2003 -
Opitimierung der Verarbeitung von Dokumenten. Dissertation.
Noga, M. L.
2004. Monsenstein u. Vannerdat, Münster
2003
-
Entscheidungsfindung mit unscharfen Mengen. Dissertation.
Wagner, U.
2003. Aachen 2003. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 8.5.2003 -
Verteilte Informationssysteme mit unvollkommenen Daten für die Unterstützung von Verbraucherentscheidungen. Dissertation.
Lukacs, G.
2003. Berlin 2003. Fak. f. Informatik, Diss. v. 12.12.2002 -
Thesaurusföderationen: Ein Rahmenwerk für die flexible Integration von heterogenen, autonomen Thesauri [online]. Dissertation.
Nikolai, R.
2003. Fak. f. Informatik, Diss. v. 19.12.2002 -
Benutzerprofile für die Anfrageverarbeitung in verteilten Digitalen Bibliotheken [online]. Dissertation.
Schmitt, B.
2003. Fak. f. Informatik, Diss. v. 9.7.2003
2002
-
Hierarchische kompositionale Synthese von Steuerungen für reaktive Systeme. Dissertation.
Melcher, H.
2002. Aachen 2002. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 14.2.2001 -
Hard real-time garbage collection in modern object oriented programming languages. Dissertation.
Siebert, F.
2002. Karlsruhe 2002. Fak. f. Informatik, Diss. v. 9.7.2001 -
Ein iteratives Information Retrieval Verfahren mit automatischer Suchmechanismenauswahl. Dissertation.
Rolker, C.
2002. Berlin 2002. Fak. f. Informatik, Diss. v. 23.10.2001 -
Automatische Transformation großer Softwaresysteme. Dissertation.
Ludwig, A.
2002. Aachen 2002. (Berichte aus der Softwaretechnik.) Fak. f. Informatik, Diss. v. 28.11.2002 -
Revisionsmodell und erweitertes Demarkationsprotokoll für die arbeitsteilige Produktentwicklung [online]. Dissertation.
Posselt, D.
2002. Fak. f. Informatik, Diss. v. 19.12.2002 -
Architektur von Fuzzy-Informationssystemen zur Repräsentation und Verarbeitung unscharfer Daten [online]. Dissertation.
Witte, R.
2002. Fak. f. Informatik, Diss. v. 15.7.2002
2001
-
Experimentelle Bewertung der Auswirkungen von Entwurfsmustern. Dissertation.
Unger-Lamprecht, B.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 16.11.2000 -
Optimierung objektorientierter Programme. Übersetzungstechniken, Analysen und Transformationen. Dissertation.
Trapp, M.
2001. Berlin 2001. (Xpert.press.) Fak. f. Informatik, Diss. v. 22.12.1999 -
Konfliktvermeidende Speicherabbildung durch zyklische Graphfärbung. Dissertation.
Genius, D.
2001. Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 17.1.2000 -
Gestaltungsrahmen zur Workflowunterstützung umfeldinduzierter Ausnahmesituationen in robusten Unternehmen. Dissertation.
Kuhn, E.
2001. Berlin 2001. (Dissertationen zu Datenbanken und Informationssystemen. 78.) Fak. f. Informatik, Diss. v. 28.5.2001 -
Vermeidung spezialisierungsbedingter Probleme in objektorientierten Systemen. Dissertation.
Neumann, R.
2001. Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 17.11.2000 -
Vorhersage des Cache-Verhaltens für optimierende Übersetzer. Dissertation.
Hopp, H.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 9.2.2001 -
Technische Konzeption von Wandlern für den elektronischen Handel von Dokumenten. Dissertation.
Pulkowski, S.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 25.1.2001 -
Transactional agents. Towards a robust multi-agent system. Dissertation.
Nagi, K.
2001. Berlin 2001. (Lecture notes in computer science. 2249.) Fak. f. Informatik, Diss. v. 6.7.2001 -
Schlieáen mit unscharfen Begriffen [online]. Dissertation.
Spott, M.
2001. Fak. f. Informatik, Diss. v. 23.11.2000
2000
-
Scalable search in computer chess. Algorithmic enhancements and experiments at high search dephts. Dissertation.
Heinz, E. A.
2000. Braunschweig 2000. (Computational intelligence.) Fak. f. Informatik, Diss. v. 5.7.1999 -
Korrekte Transformationsphase - der Kern korrekter Übersetzer [online]. Dissertation.
Heberle, A.
2000. Fak. f. Informatik, Diss. v. 4.2.2000 -
Latenzzeitverbergung in datenparallelen Sprachen = [Latency Hiding in Dataparallel Languages]. Dissertation.
Müller, M. M.
2000. Karlsruhe
1999
-
Temporale Realzeitverifikation. Dissertation.
Loetzbeyer, A.
1999. Berlin 1999. Fak. f. Informatik, Diss. v. 11.2.1999 -
Natürliche Semantik für imperative und objektorientierte Programmiersprachen. Dissertation.
Glesner, S.
1999. Aachen 1999. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 1.2.1999 -
Effiziente Anfragebearbeitung im Wissensgewinnungsprozeß. Dissertation.
Schloesser, J. A.
1999. Aachen 1999. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 20.4.1999 -
Ein Verfahren zur semi-automatischen Generierung von Mediatorspezifikationen. Dissertation.
Koenig-Ries, B.
1999. Sankt Augustin 1999. (Dissertationen zu Datenbanken und Informationssystemen. 55.) Fak. f. Informatik, Diss. v. 12.2.1999 -
Optimierung von SIMD-Programmen auf verteilten Systemen. Dissertation.
Eisenbiegler, J.
1999. Berlin 1999. Fak. f. Informatik, Diss. v. 9.12.1998 -
Aspektorientierte Komponentensysteme zur Unterstützung weitreichender Geschäftsprozesse [online]. Dissertation.
Schmidt, R.
1999. Fak. f. Informatik, Diss. v. 16.12.1999 -
Automatische Einstellung des Parallelitätsgrades von Programmen = [Automatic Tuning of the Degree of Parallelism of Programs]. Dissertation.
Werner-Kytölä, O.
1999 -
Ereignisgetriebene CORBA-Dienste für heterogene, verteilte Informationssysteme [online]. Dissertation.
Koschel, A.
1999. Fak. f. Informatik, Diss. v. 1.7.1999
1998
-
Effiziente Kommunikation in Parallelrechnerarchitekturen. Dissertation.
Warschko, T.
1998. VDI-Verl., Düsseldorf -
Visualisierung von Programmabläufen. Dissertation.
Frick, A.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 10, Nr.561.) Fak. f. Informatik, Diss. v. 30.1.1998 -
Das Netz als universelle Relation: Ein Modell für die integrierte Nutzung von Diensten im Netz. Dissertation.
Reck, C. B.
1998. Düsseldorf 1998. (Fortschritt-Berichte VDI. Reihe 10, Nr.528.) Fak. f. Informatik, Diss. v. 15.12.1997 -
Ein Informationsmodell für Ableitungsprozesse und ihre Ergebnisse im Wissensgewinnungsprozeß. Dissertation.
Breitner, C. A.
1998. Sankt Augustin 1998. (Dissertationen zu Datenbanken und Informationssystemen. 41.) Fak. f. Informatik, Diss. v. 19.12.1997 -
Effiziente parallele Ausführung irregulärer rekursiver Programme = [Parallelizing Recursive Programs]. Dissertation.
Hänßgen, S. U.
1998. Karlsruhe
1997
-
Übersetzungsmethoden für strukturprogrammierbare Rechner. Dissertation.
Weinhardt, M.
1997. Berlin 1997. Fak. f. Informatik, Diss. v. 1.7.1997 -
Optimierung paralleler Programme. Dissertation.
Loewe, W.
1997. Aachen 1997. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 29.5.1996 -
Inkrementelle, domänenunabhängige Thesauruserstellung in dokumentbasierten Informationssystemen durch Kombination von Konstruktionsverfahren. Dissertation.
Viegener, J.
1997. Sankt Augustin 1997. (Dissertationen zu Datenbanken und Informationssystemen. 28.) Fak. f. Informatik, Diss. v. 30.1.1997 -
Comparing reduction strategies in resource-conscious lambda calculi. Dissertation.
Maraist, J.
1997. Fak. f. Informatik, Diss. v. 24.10.1996 -
Dynamische Regelmengen zur Beschreibung von Entwurfsspielräumen. Dissertation.
Sturm, R.
1997. Düsseldorf 1997. (Fortschritt-Berichte VDI. Reihe 10, Nr.495.) Fak. f. Informatik, Diss. v. 19.12.1996 -
Typsichere Objektbankmigration. Dissertation.
Zachmann, A.
1997. Sankt Augustin 1997. (Dissertationen zu Datenbanken und Informationssystemen. 26.) Fak. f. Informatik, Diss. v. 13.2.1997 -
Analyse und Transformation kontrollfluáparalleler Programme. Dissertation.
Vollmer, J.
1997. Fak. f. Informatik, Diss. v. 7.5.1996
1996
-
Konsistenzbasierte Handlungsplanung. Dissertation.
Mueller, H.
1996. Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 110.) Fak. f. Informatik, Diss. v. 18.7.1995 -
Generierung von Programmoptimierungen mit Graphersetzungssystemen. Dissertation.
Assmann, U.
1996. München 1996. (GMD-Bericht. 262.) Fak. f. Informatik, Diss. v. 17.7.1995 -
Unterstützung anwendungsspezifischer Zugriffsprofile in Objektbanksystemen. Dissertation.
Kilger, C.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 3.) Fak. f. Informatik, Diss. v. 20.7.1995 -
Emulation eines PRAM Shared Memory Modells mit Triton/1. Dissertation.
Herter, C. G.
1996. Düsseldorf 1996. (Fortschritt-Berichte VDI. Reihe 10, Nr.406.) Fak. f. Informatik, Diss. v. 28.6.1995 -
Effiziente Konsistenzprüfung in Datenbanksystemen. Dissertation.
Herzog, U.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 15.) Fak. f. Informatik, Diss. v. 9.5.1996 -
Dynamische Beziehungen als Modell der Kooperation in verteilten Objektsystemen. Dissertation.
Walter, H.-D.
1996. Sankt Augustin 1996. (DISDBIS. Dissertationen zu Datenbanken und Informationssystemen. 10.) Fak. f. Informatik, Diss. v. 8.2.1996 -
Akzeptanz von Netzdiensten und Netzanwendungen. Entwicklung eines Instruments zur permanenten Akzeptanzkontrolle. Dissertation.
Filipp, H.
1996. Fak. f. Informatik, Diss. v. 14.2.1996 -
Unscharfes Schließen. Dissertation.
Weisbrod, J.
1996. Sankt Augustin 1996. (DISKI. Dissertationen zur Künstlichen Intelligenz. 117.) Fak. f. Informatik, Diss. v. 22.11.1995
1995
-
Konstruktive neuronale Lernverfahren auf Parallelrechnern. Dissertation.
Prechelt, L.
1995. Düsseldorf 1995. (Fortschritt-Berichte VDI. Reihe 10, Nr.367.) Fak. f. Informatik, Diss. v. 15.2.1995 -
Effiziente Verfahren zur Befehlsanordnung. Dissertation.
Mueller, T.
1995. Fak. f. Informatik, Diss. v. 13.6.1995 -
Ein objektbasiertes Rollenmodell für situationsbedingtes Verhalten. Dissertation.
Lang, S. M.
1995. Düsseldorf 1995. (Fortschritt-Berichte VDI. Reihe 20, Nr.177.) Fak. f. Informatik, Diss. v. 19.6.1995
1994
-
Validierung konzeptueller Schemata. Dissertation.
Neufeld, A.
1994. Sankt Augustin 1994. (DISKI. Dissertationen zur künstlichen Intelligenz. 56.) Fak. f. Informatik, Diss. v. 20.12.1993 -
Schemaübersetzung durch optimierende Kombination partiell anwendbarer elementarer Transformationsverfahren. Dissertation.
Runge, N.
1994. Aachen 1994. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 5.5.1993 -
Entwicklung ingenieurwissenschaftlicher Datenbankanwendungen. Ein objektorientiertes Datenmodell. Dissertation.
Wallrath, M.
1994. Berlin 1994. (FZI-Berichte Informatik.) Fak. f. Informatik, Diss. v. 18.12.1991 -
Koordinationsmechanismen für Teamarbeit - Modellbildung und Datenbank-Unterstützung. Dissertation.
Dürr, M.
1994. Düsseldorf 1994. (Fortschrittberichte VDI. Reihe 10, Nr. 296.) Fak. f. Informatik, Diss. v. 8.2.1994 -
Codeselektion mit regulär gesteuerter Termersetzung. Dissertation.
Emmelmann, H.
1994. München 1994. (GMD-Bericht. 241.) Fak. f. Informatik, Diss. v. 6.7.1994 -
Optimierungstechniken zur Übersetzung paralleler Programmiersprachen. Dissertation.
Philippsen, M.
1994. Düsseldorf 1994. (Fortschritt-Berichte VDI. Reihe 10, Nr.292.) Fak. f. Informatik, Diss. v. 23.11.1993
1993
-
The design of an extendible graph editor. Dissertation.
Paulisch, F. N.
1993. Berlin 1993. (Lecture notes in computer science. 704.) Fak. f. Informatik, Diss. v. 7.5.1991 -
Ein Konzept zur Unterstuetzung der Wartung von Expertensystemen. Dissertation.
Eckert, H.
1993. Fak. f. Informatik, Diss. v. 18.6.1993 -
Komplexe Objekte und Anfragen in der Programmierung. Dissertation.
Rehm, S.
1993. Wiesbaden 1993. (DUV: Informatik.) Fak. f. Informatik, Diss. v. 1.7.1992
1992
-
Wissensrepraesentation und -akquisition in einem natuerlichsprachlichen Software-Informationssystem. Dissertation.
Adams, R.
1992. Fak. f. Informatik, Diss. v. 29.10.1992 -
Spezifikation und Verifikation von Optimierungsalgorithmen fuer imperative Programme. Dissertation.
Kock, G.
1992. Muenchen 1992. (GMD-Bericht. 201.) Fak. f. Informatik, Diss. v. 4.12.1991 -
Steuerung der Anfragebearbeitung in parallelen Datenbanksystemen. Dissertation.
Kramer, R.
1992. Karlsruhe: FZI 1992. Fak. f. Informatik, Diss. v. 21.12.1992
1991
-
SQL-Anfragen. Optimierung fuer parallele Bearbeitung. Dissertation.
Bueltzingsloewen, G. von.
1991. Berlin 1991. (FZI-Berichte Informatik.) Fak. f. Informatik, Diss. v. 18.7.1990. [ueberarb. Fassung] -
Ein tableaubasierter Theorembeweiser fuer die intuitionistische Logik. Dissertation.
Bittel, O.
1991. Muenchen 1991. (GMD-Bericht. Nr. 198.) Fak. f. Informatik, Diss. v. 3.7.1991 -
Graphikunterstuetzung fuer den Datenbankentwurf mit freidefinierten Modellierungskonzepten. Dissertation.
Radermacher, K.
1991. Fak. f. Informatik, Diss. v. 9.7.1991 -
A meta-calculus for formal system development. Dissertation.
Weber, M.
1991. Muenchen 1991. (GMD-Bericht. 195.) Fak. f. Informatik, Diss. v. 19.12.1990
1990
-
Automatische Komplexitaetsanalyse funktionaler Programme. Dissertation.
Zimmermann, W.
1990. Berlin 1990. (Informatik-Fachberichte. 261.) Fak. f. Informatik, Diss. v. 27.6.1990 -
Inkonsistenzen in deduktiven Datenbanken. Dissertation.
Moerkotte, G.
1990. Berlin 1990. (Informatik-Fachberichte. 248.) Fak. f. Informatik, Diss. v. 14.7.1989 u.d.T.: Diagnose und Reparatur von Konsistenzverletzungen in deduktiven Datenbanken
1989
-
Die Modellierung von CAD-Datenbankanwendungen mittels abstrakter Datentypen. Dissertation.
Lueke, B.
1989. Duesseldorf 1989. (Fortschritt-Berichte VDI. Reihe 20, Nr. 14.) Fak. f. Informatik, Diss. v. 20.5.1988 -
Database recovery in the design environment: requirements analysis and performance evaluation. Dissertation.
Iochpe, C.
1989. Fak. f. Informatik, Diss. v. 12.12.1989 -
Datenbankgestuetzte Repraesentation und Extraktion von Episodenbeschreibungen aus Bildfolgen. Dissertation.
Walter, I.
1989. Berlin 1989. (Informatik-Fachberichte. 213.) und Fak. f. Informatik, Diss. v. 10.2.1989
1986