Abgeschlossene Arbeiten
2021
-
Cost-Quality Trade-Offs in One-Class Active Learning. Dissertation.
Englhardt, A.
2021, August 10. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000136208 -
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache. Dissertation.
Weigelt, S.
2021, Juli 20. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000135414 -
Comprehensible and Robust Knowledge Discovery from Small Datasets. Dissertation.
Arzamasov, V.
2021, Juli 2. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000134366 -
Building Transformation Networks for Consistent Evolution of Interrelated Models. Dissertation.
Klare, H.
2021, Juni 9. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000133724 -
Three-Way Analysis for a Better Understanding of Word Embedding Models. Dissertation.
Elekes, Á.
2021, Mai 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000132472 -
Architectural Uncertainty Analysis for Access Control Scenarios in Industry 4.0. Masterarbeit.
Boltz, N.
2021. doi:10.5445/IR/1000135847 -
Methodology for Evaluating a Domain-Specific Model Transformation Language. Masterarbeit.
Gleitze, J.
2021. doi:10.5445/IR/1000131642 -
Implicit Incremental Model Analyses and Transformations. Dissertation.
Hinkel, G.
2021. KIT Scientific Publishing. doi:10.5445/KSP/1000080522
2020
-
Preserving Secrecy in Online Social Networks: Data Outsourcing, Access Control, and Secrecy Schemes. Dissertation.
Suntaxi, G.
2020, Dezember 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000127444 -
Automatic Context-Based Policy Generation from Usage- and Misusage-Diagrams. Masterarbeit.
Lieb, T.
2020, Dezember 14. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000129945 -
Estimating Dependency, Monitoring and Knowledge Discovery in High-Dimensional Data Streams. Dissertation.
Fouché, E.
2020, Dezember 8. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000127232 -
SQL query log analysis for identifying user interests and query recommendations. Dissertation.
Arzamasova, N.
2020, November 26. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126161 -
Assessing Hypotheses in Multi-Agent Systems for Natural Language Processing. Masterarbeit.
Fuchß, D.
2020, Oktober 29. doi:10.5445/IR/1000126806 -
Linking Software Architecture Documentation and Models. Masterarbeit.
Schulz, S.
2020, Oktober 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126194 -
Timing Sensitive Dependency Analysis and its Application to Software Security. Dissertation.
Hecker, M.
2020, September 21. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123689 -
Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs. Masterarbeit.
Hahner, S.
2020, August 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123271 -
Calibration and Evaluation of Outlier Detection with Generated Data. Dissertation.
Steinbuß, G.
2020, Juli 3. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000120534 -
A Reference Structure for Modular Metamodels of Quality-Describing Domain-Specific Modeling Languages. Dissertation.
Strittmatter, M.
2020, Juni 30. KIT Scientific Publishing. doi:10.5445/KSP/1000098906 -
Modeling and Simulation of Message-Driven Self-Adaptive Systems. Masterarbeit.
Schmid, L.
2020, Mai 25. doi:10.5445/IR/1000121131 -
Autotuning for Automatic Parallelization on Heterogeneous Systems. Dissertation.
Pfaffe, P.
2020, Mai 25. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000119646 -
A Case Study for Networks of Bidirectional Transformations. Masterarbeit.
Sağlam, T.
2020, April 3. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000120806 -
User-Centric Active Learning for Outlier Detection. Dissertation.
Trittenbach, H.
2020, März 2. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000117443 -
Verfahren zur Reduktion von neuronalen Netzen - Analyse und Automatisierung. Masterarbeit.
Viehmann, T.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123706 -
Worteinbettungen für die Anforderungsdomäne. Bachelorarbeit.
Telge, T.
2020. Karlsruher Institut für Technologie (KIT) -
Time-Efficient Analysis of Complex Dependencies. Dissertation.
Vollmer, M.
2020. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105784
2019
-
Zielsystemunabhängige Quelltextsynthese aus natürlicher Sprache. Masterarbeit.
Kiesel, V.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000123702 -
Aufbau und Konsolidierung einer Konzepthierarchie für Anforderungsbeschreibungen aus unterschiedlichen Wissensquellen = [Design and Consolidation of a Concept Hierarchy for Requirements from Multiple Knowledge Bases]. Bachelorarbeit.
Wessendorf, M.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000117909 -
Verknüpfung von Text- und Modellentitäten von Softwarearchitektur-Modellen mithilfe von Wortvektoren. Bachelorarbeit.
Schulz, R. R.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105870 -
Verknüpfung von Textelementen zu Softwarearchitektur-Modellen mit Hilfe von Synsets. Bachelorarbeit.
Heine, T.
2019. doi:10.5445/IR/1000105437 -
Eine Schnittstelle zur Vorhersage von Nutzeranfragen auf Datensätzen. Bachelorarbeit.
Maisch, R. M.
2019. doi:10.5445/IR/1000100678 -
Bestimmung der semantischen Funktion von Sätzen in Anforderungsbeschreibungen. Bachelorarbeit.
Tomova, D.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100540 -
Erkennung von semantisch zusammenhängenden Quelltextabschnitten anhand von Komponententests. Bachelorarbeit.
Wittlinger, M.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100422 -
Konzept eines Dokumentationsassistenten zur Erzeugung strukturierter Anforderungen basierend auf Satzschablonen. Bachelorarbeit.
Arbai, R. C.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100411 -
Decomposition of Relations for Multi-model Consistency Preservation. Masterarbeit.
Pepin, A.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000100374 -
Angreifer-Modellierung für Intelligente Stromnetze. Bachelorarbeit.
Weber, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000099848 -
Context-based confidentiality analysis in dynamic Industry 4.0 scenarios. Bachelorarbeit.
Schenkenberger, J.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000099690 -
Semantic Exploration of Text Documents with Multi-Faceted Metadata Employing Word Embeddings: The Patent Landscaping Use Case. Masterarbeit.
Skripnikova, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000098959 -
Synthese von Methodendefinitionen aus natürlichsprachlichen Äußerungen. Masterarbeit.
Steurer, V.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000098346 -
Quality-driven Reuse of Model-based Software Architecture Elements. Dissertation.
Busch, A.
2019. KIT Scientific Publishing. doi:10.5445/KSP/1000097163 -
Quality-driven Reuse of Model-based Software Architecture Elements. Dissertation.
Busch, A.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096543 -
Abbildung von UMLSec-Vertraulichkeitsanalysen auf Data-Centric Palladio. Masterarbeit.
Müller, P.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096291 -
Modellierung und Export von Multicore-Eigenschaften für Simulationen während der Steuergeräteentwicklung für Fahrzeuge. Masterarbeit.
Spasov, T.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000095264 -
NALIS: ein mehrmandantenfähiges natürlichsprachliches Dialogsystem für die Kundenbetreuung. Bachelorarbeit.
Wieland, C. L. R.
2019. Karlsruher Institut für Technologie (KIT) -
Adaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems. Dissertation.
Stier, C.
2019. KIT Scientific Publishing. doi:10.5445/KSP/1000086089 -
Automated Coevolution of Source Code and Software Architecture Models. Dissertation.
Langhammer, M.
2019. KIT Scientific Publishing. doi:10.5445/KSP/1000081447 -
Specification Languages for Preserving Consistency between Models of Different Languages. Dissertation.
Kramer, M. E.
2019. KIT Scientific Publishing. doi:10.5445/KSP/1000081446
2018
-
Efficient Data Flow Constraint Analysis. Masterarbeit.
Kunz, J.
2018, November 6. doi:10.5445/IR/1000122485 -
Komplexe Abbildungen von Formularelementen zur Generierung von aktiven Ontologien. Bachelorarbeit.
Weigelt, D.
2018, Januar 22. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080545 -
Modularization Approaches in the Context of Monolithic Simulations. Masterarbeit.
Reiche, F.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000131811 -
Multi-model Consistency through Transitive Combination of Binary Transformations. Masterarbeit.
Syma, T.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000104128 -
Eine Sprache für die Spezifikation disziplinübergreifender Änderungsausbreitungsregeln. Bachelorarbeit.
Löper, M.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000098203 -
Vollständigkeits- und Semantikprüfung für gesprochene Aussagen. Bachelorarbeit.
Hamann, D.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000096120 -
Adaptives Online-Tuning für kontinuerliche Zustandsräume. Masterarbeit.
Kopf, T.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000091040 -
Performanzabschätzung von parallelen Programmen durch symbolische Ausführung. Masterarbeit.
Estelmann, J.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000090692 -
Ontologie-unterstützte Klassifikation von Software-Anforderungen. Masterarbeit.
Chaiko, V.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000090597 -
Semi-automatische Generierung von Aktiven Ontologien aus Datenbankschemata. Masterarbeit.
Angele, K.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000089247 -
Analyse und Korrektur von Disfluenzen in gesprochener Sprache. Bachelorarbeit.
Hochweiß, R.
2018. doi:10.5445/IR/1000086950 -
Themenextraktion zur Domänenauswahl für Programmierung in natürlicher Sprache. Masterarbeit.
Keim, J.
2018. doi:10.5445/IR/1000086946 -
Entwurfsoptimierung von selbst-adaptiven Wartungsmechanismen für software-intensive technische Systeme. Dissertation.
Märtin, L.
2018. KIT Scientific Publishing. doi:10.5445/KSP/1000086097 -
Implicit Incremental Model Analyses and Transformations. Dissertation.
Hinkel, G.
2018. Karlsruher Institut für Technologie (KIT). 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. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000083526 -
Adaptation-Aware Architecture Modeling and Analysis of Energy Efficiency for Software Systems. Dissertation.
Stier, C.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000083402 -
Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge. Dissertation.
Lehrig, S. M.
2018. KIT Scientific Publishing. doi:10.5445/KSP/1000079766 -
An Approach for Guiding Developers to Performance and Scalability Solutions. Dissertation.
Heger, C.
2018. KIT Scientific Publishing. doi:10.5445/KSP/1000072059 -
Performance Problem Diagnostics by Systematic Experimentation. Dissertation.
Wert, A.
2018. KIT Scientific Publishing. 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. doi:10.5445/KSP/1000051517
2017
-
A Declarative Language for Preserving Consistency of Multiple Models. Bachelorarbeit.
Gleitze, J.
2017, Oktober 19. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000076905 -
Wissensbasierte Identifikation von Wertebereichen einer aktiven Ontologie. Bachelorarbeit.
Makhotsin, Y.
2017, September 8. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080546 -
Automated Cloud-to-Cloud Migration of Distributed Software Systems for Privacy Compliance. Masterarbeit.
Weimann, P.
2017, Juli 7. doi:10.5445/IR/1000122484 -
A Graphical Approach to Modularization and Layering of Metamodels. Bachelorarbeit.
Kechaou, A.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000078437 -
Predicting Errors in Concurrent Systems. Dissertation.
Carril Rodríguez, L. M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070459 -
Automatic Integration of Ecore Functionality into Java Code. Bachelorarbeit.
Sağlam, T.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070341 -
Automated Coevolution of Source Code and Software Architecture Models. Dissertation.
Langhammer, M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000069366 -
Specification Languages for Preserving Consistency between Models of Different Languages. Dissertation.
Kramer, M. E.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000069284 -
Architekturbasierte Bewertung und Planung von Änderungsanfragen. Dissertation.
Stammel, J. J.
2017. KIT Scientific Publishing. doi:10.5445/KSP/1000054452 -
Modeling and Prediction of I/O Performance in Virtualized Environments. Dissertation.
Noorshams, O.-Q.
2017. KIT Scientific Publishing. doi:10.5445/KSP/1000046300
2016
-
Designing a Change-Driven Language for Model Consistency Repair Routines. Masterarbeit.
Klare, H.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000080138 -
Argument-Based and Multi-faceted Rating to Support Large-Scale Deliberation. Dissertation.
Tanasijevic, S.
2016. Karlsruher Institut für Technologie (KIT). 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. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000068211 -
Flexible Graphical Editors for Extensible Modular Meta Models. Masterarbeit.
Junker, M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000066927 -
Lossy Time-Series Transformation Techniques in the Context of the Smart Grid. Dissertation.
Efros, P.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000063749 -
Musterbasierte Parallelisierung sequenzieller Anwendungen$dKonzept und Implementierung eines Verfahrens zur Softwaretransformation. Dissertation.
Molitorisz, K.
2016. Vieweg Verlag -
Automatic Synthesis and Verification of Industrial Commissioning Processes. Dissertation.
Mrasek, R.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056860 -
Eine Architektur für Programmsynthese aus natürlicher Sprache. Dissertation.
Landhäußer, M.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000056776 -
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Dissertation.
Breitner, J.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000056002 -
Eine Architektur für Programmsynthese aus natürlicher Sprache. Dissertation.
Landhäußer, M.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000055916 -
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation. Dissertation.
Breitner, J.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000054251 -
Incentive Mechanisms and Quality Assurance for Peer Production. Dissertation.
Kühne, C.
2016. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052545 -
Consolidation of Customized Product Copies into Software Product Lines. Dissertation.
Klatt, B.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000046821 -
Architectural Design Decision Documentation through Reuse of Design Patterns. Dissertation.
Durdik, Z.
2016. KIT Scientific Publishing. doi:10.5445/KSP/1000043807
2015
-
Architekturbasierte Bewertung und Planung von Änderungsanfragen. Dissertation.
Stammel, J. J.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000053953 -
Privacy-Enhancing Methods for Time Series and their Impact on Electronic Markets. Dissertation.
Kessler, S.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000052458 -
Security Mechanisms for Workflows in Service-Oriented Architectures. Dissertation.
Müller, J.
2015. Karlsruher Institut für Technologie (KIT). 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. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000050941 -
Non-parametric Methods for Correlation Analysis in Multivariate Data with Applications in Data Mining. Dissertation.
Nguyen, H. V.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000049548 -
Performance Isolation in Multi-Tenant Applications. Dissertation.
Krebs, R.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000049479 -
Attribute Relationship Analysis in Outlier Mining and Stream Processing. Dissertation.
Keller, F.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048790 -
Agentenbasierter Handel auf Spotmärkten am Beispiel eines Energiemarktszenarios. Dissertation.
Dietrich, A.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048737 -
An Approach for Guiding Developers to Performance and Scalability Solutions. Dissertation.
Heger, C.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048535 -
Performance Problem Diagnostics by Systematic Experimentation. Dissertation.
Wert, A.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048516 -
Context Selection on Attributed Graphs for Outlier and Community Detection. Dissertation.
Iglesias Sánchez, P.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000048502 -
Modeling and Prediction of I/O Performance in Virtualized Environments. Dissertation.
Noorshams, O.-Q.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000046750 -
Model Transformation Languages with Modular Information Hiding. Dissertation.
Rentschler, A.
2015. KIT Scientific Publishing. doi:10.5445/KSP/1000045910
2014
-
Architectural Design Decision Documentation through Reuse of Design Patterns. Dissertation.
Durdik, Z.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000047427 -
Consolidation of Customized Product Copies into Software Product Lines. Dissertation.
Klatt, B.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000043687 -
Architecture-Level Software Performance Models for Online Performance Prediction. Dissertation.
Brosig, F. M. K.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000043537 -
Flexible Views for View-based Model-driven Development. Dissertation.
Burger, E.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000043437 -
Autonomic Performance-Aware Resource Management in Dynamic IT Service Infrastructures. Dissertation.
Huber, N. M.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000043246 -
RECAA - Werkzeugunterstützung in der Anforderungserhebung. Dissertation.
Körner, S. J.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000039460 -
RECAA - Werkzeugunterstützung in der Anforderungserhebung. Dissertation.
Körner, S. J.
2014. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000039087 -
Deriving Goal-oriented Performance Models by Systematic Experimentation. Dissertation.
Westermann, D.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000037926 -
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments. Dissertation.
Hauck, M.
2014. KIT Scientific Publishing. doi:10.5445/KSP/1000037233
2013
-
Deriving Goal-oriented Performance Models by Systematic Experimentation. Dissertation.
Westermann, D. J.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000037985 -
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments. Dissertation.
Hauck, M. A.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000037767 -
Certifying Software Component Performance Specifications. Dissertation.
Groenda, H.
2013. KIT Scientific Publishing. doi:10.5445/KSP/1000036063 -
Objektorientierte Stromprogrammierung. Dissertation.
Otto, F.
2013. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000035818 -
Configurable Software Performance Completions through Higher-Order Model Transformations. Dissertation.
Happe, L.
2013. KIT Scientific Publishing. doi:10.5445/KSP/1000033385 -
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes. Dissertation.
Koziolek, A.
2013. KIT Scientific Publishing. doi:10.5445/KSP/1000032342 -
Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation. Dissertation.
Rathfelder, C.
2013. KIT Scientific Publishing. doi:10.5445/KSP/1000032232
2012
-
Clustering-Initialized Adaptive Histograms and Probabilistic Cost Estimation for Query Optimization. Dissertation.
Khachatryan, A.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000030422 -
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler. Dissertation.
Lochbihler, A.
2012. KIT Scientific Publishing. doi:10.5445/KSP/1000028867 -
Integrated Software Architecture-Based Reliability Prediction for IT Systems. Dissertation.
Brosch, F.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000028816 -
Slicing of Concurrent Programs and its Application to Information Flow Control. Dissertation.
Giffhorn, D.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000028814 -
Integrated Software Architecture-Based Reliability Prediction for IT Systems. Dissertation.
Brosch, F.
2012. KIT Scientific Publishing. doi:10.5445/KSP/1000028288 -
Evolutionäre Analyse von strategischem Verhalten in Sozialen Netzwerken. Dissertation.
Hütter, C.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000026886 -
Advances in Parallel Software Development Methodology for Multicore Systems. Habilitation.
Pankratius, V.
2012. Karlsruher Institut für Technologie (KIT) -
Agentengestützte Verkehrssteuerung an Straßenkreuzungen unter Berücksichtigung der Wertschätzung der Fahrer. Dissertation.
Schepperle, H.
2012. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000025843 -
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis. Dissertation.
Krogmann, K.
2012. KIT Scientific Publishing. doi:10.5445/KSP/1000025617
2011
-
Configurable Software Performance Completions through Higher-Order Model Transformations. Dissertation.
Happe, L.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000031034 -
Empirische Untersuchung der agilen Softwareentwicklung. Dissertation.
Höfer, A.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000029875 -
Efficient Conversion of Scientific Legacy Documents into Semantic Web Resources using biosystematics as a working example. Dissertation.
Sautter, G.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000025378 -
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes. Dissertation.
Koziolek, A.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000024955 -
Data-Mining Techniques for Call-Graph-Based Software-Defect Localisation. Dissertation.
Eichinger, F.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023361 -
Strategisches Verhalten in Systemen mit Interaktions- und Kontaktwahl. Dissertation.
Hartmann, B.-O.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022866 -
View-based textual modelling. Dissertation.
Goldschmidt, T.
2011. KIT Scientific Publishing. doi:10.5445/KSP/1000022234 -
Evaluation of Spatio-Temporal Queries in Sensor Networks. Dissertation.
Bestehorn, M.
2011. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021692 -
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security. Dissertation.
Wasserrab, D.
2011. KIT Scientific Publishing. 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. doi:10.5445/KSP/1000024301 -
Quantifying and Predicting the Influence of Execution Platform on Software Component Performance. Dissertation.
Kuperberg, M.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000023351 -
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis. Dissertation.
Krogmann, K.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022278 -
Automatische Performanzoptimierung paralleler Architekturen. Dissertation.
Schaefer, C. A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000022219 -
Dynamic Race Detection in Parallel Programs. Dissertation.
Jannesari Ladani, A.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021292 -
Kollaborative Identifikation von Datenschutzverstößen. Dissertation.
Burghardt, T.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000021291 -
Modellextraktion aus natürlichen Sprachen : eine Methode zur systematischen Erstellung von Domänenmodellen. Dissertation.
Gelhausen, T.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000019366 -
Zuverlässige und effiziente Überwachung von Warenflüssen durch Analyse von RFID-Massendaten. Dissertation.
Weiss Ferreira Chaves, L.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000018376 -
Tool-supported identification of functional concerns in object-oriented code. Dissertation.
Trifu, M.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000016551 -
Realisierung von Softwareproduktlinien durch Komposition von Belangimplementierungen. Dissertation.
Kuttruff, V.
2010. KIT Scientific Publishing. doi:10.5445/KSP/1000015695 -
Efficiently Processing Complex Queries in Sensor Networks. Dissertation.
Stern, M.
2010. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000015693
2009
-
Zhi# - Programming Language Inherent Support for Ontologies. Dissertation.
Paar, A.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000019039 -
Individuelle datenbankgestützte Reputationsberechnung in virtuellen Gemeinschaften. Dissertation.
Weth, C. von der.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000014912 -
Situationsbewusste Informationsdienste für das arbeitsbegleitende Lernen. Dissertation.
Schmidt, A.
2009. Universität Karlsruhe (TH). doi:10.5445/IR/1000012939 -
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs. Dissertation.
Hammer, C.
2009. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000012049 -
Predicting software performance in symmetric multi-core and multiprocessor Environments. Dissertation.
Happe, J.
2009. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000011806
2008
-
Befehlsauswahl auf expliziten Abhängigkeitsgraphen. Masterarbeit.
Buchwald, S.; Zwinkau, A.
2008. Karlsruher Institut für Technologie (KIT) -
Methodik zur durchgängigen Entwicklung verteilter Systeme mit Echtzeitbedingungen für Rundrufnetze. Dissertation.
Schanne, M.
2008. Universität Karlsruhe (TH). doi:10.5445/IR/1000009735 -
Towards automated restructuring of object oriented systems. Dissertation.
Trifu, A. I. A.
2008. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000009204 -
Parameter dependencies for reusable performance specifications of software components. Dissertation.
Koziolek, H.
2008. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000009096 -
Coupled model transformations for QoS enabled component-based software design. Dissertation.
Becker, S.
2008. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000009095 -
Strategische Analyse von Anreizmechanismen in strukturierten Peer-to-Peer Systemen. Dissertation.
Schosser, S.
2008. Universität Karlsruhe (TH). doi:10.5445/IR/1000007997
2007
-
Graphersetzung mit Anwendungen im Übersetzerbau. Dissertation.
Geiß, R. R.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000009876 -
Cacheoptimierung für Vererbungshierarchien. Dissertation.
Lindenmaier, G.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007842 -
Skalierbarkeit von Cluster-Dateisystemen durch Verteilung der Metadaten. Dissertation.
Malpohl, G.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007761 -
Suchbasierte Strukturverbesserung objektorientierter Systeme. Dissertation.
Seng, O.
2007. Universität Karlsruhe (TH). doi:10.5445/IR/1000007748 -
Possibly imperfect ontologies for effective information retrieval. Dissertation.
Nagypál, G.
2007. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000007206 -
Register allocation for programs in SSA Form. Dissertation.
Hack, S.
2007. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000007166 -
Werkzeuggestützte Identifikation von Strukturproblemen bei modellgetriebener Softwareentwicklung. Dissertation.
Andriessens, C.
2007. Monsenstein und Vannerdat
2006
-
Informationserhaltende Sichten und ihre Änderungsoperationen. Dissertation.
Bender, P.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000004577 -
Automatisierung dienstorientierten Rechnens durch semantische Dienstbeschreibungen. Dissertation.
Klein, M.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000004386 -
Kooperationsanreize in selbstorganisierenden Informationssystemen. Soziale Kontrolle zwischen autonomen Computereinheiten. Dissertation.
Obreiter, P.
2006. Universitätsverlag Karlsruhe. doi:10.5445/KSP/1000004300
2005
-
Interaktive Wissensgewinnung in parallelen Datenbanksystemen. Dissertation.
Gimbel, M.
2005. Logos Verlag 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., Universität Karlsruhe (TH) -
Single system image servers on top of clusters of PCs. Dissertation.
Olaru, V.
2004. Universität Karlsruhe (TH). doi:10.5445/IR/1000003271 -
Clusterfile: a parallel file system for clusters. Dissertation.
Isaila, F. D.
2004. Universität Karlsruhe (TH). doi:10.5445/IR/1000001377 -
Opitimierung der Verarbeitung von Dokumenten. Dissertation.
Noga, M. L.
2004. Monsenstein u. Vannerdat
2003
-
Entscheidungsfindung mit unscharfen Mengen. Dissertation.
Wagner, U.
2003. Aachen 2003. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 8.5.2003., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH). doi:10.5445/IR/4562003 -
Benutzerprofile für die Anfrageverarbeitung in verteilten Digitalen Bibliotheken [online]. Dissertation.
Schmitt, B.
2003. Fak. f. Informatik, Diss. v. 9.7.2003., Universität Karlsruhe (TH). doi:10.5445/IR/4552003
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Ein iteratives Information Retrieval Verfahren mit automatischer Suchmechanismenauswahl. Dissertation.
Rolker, C.
2002. Berlin 2002. Fak. f. Informatik, Diss. v. 23.10.2001., Universität Karlsruhe (TH) -
Automatische Transformation großer Softwaresysteme. Dissertation.
Ludwig, A.
2002. Aachen 2002. (Berichte aus der Softwaretechnik.) Fak. f. Informatik, Diss. v. 28.11.2002., Universität Karlsruhe (TH) -
Revisionsmodell und erweitertes Demarkationsprotokoll für die arbeitsteilige Produktentwicklung [online]. Dissertation.
Posselt, D.
2002. Fak. f. Informatik, Diss. v. 19.12.2002., Universität Karlsruhe (TH). doi:10.5445/IR/9632002 -
Architektur von Fuzzy-Informationssystemen zur Repräsentation und Verarbeitung unscharfer Daten [online]. Dissertation.
Witte, R.
2002. Fak. f. Informatik, Diss. v. 15.7.2002., Universität Karlsruhe (TH). doi:10.5445/IR/3222002
2001
-
Experimentelle Bewertung der Auswirkungen von Entwurfsmustern. Dissertation.
Unger-Lamprecht, B.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 16.11.2000., Universität Karlsruhe (TH) -
Optimierung objektorientierter Programme. Übersetzungstechniken, Analysen und Transformationen. Dissertation.
Trapp, M.
2001. Berlin 2001. (Xpert.press.) Fak. f. Informatik, Diss. v. 22.12.1999., Universität Karlsruhe (TH) -
Konfliktvermeidende Speicherabbildung durch zyklische Graphfärbung. Dissertation.
Genius, D.
2001. Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 17.1.2000., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Vermeidung spezialisierungsbedingter Probleme in objektorientierten Systemen. Dissertation.
Neumann, R.
2001. Aachen 2001. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 17.11.2000., Universität Karlsruhe (TH) -
Vorhersage des Cache-Verhaltens für optimierende Übersetzer. Dissertation.
Hopp, H.
2001. Münster 2001. Fak. f. Informatik, Diss. v. 9.2.2001., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Schlieáen mit unscharfen Begriffen [online]. Dissertation.
Spott, M.
2001. Fak. f. Informatik, Diss. v. 23.11.2000., Universität Karlsruhe (TH). doi:10.5445/IR/4352001
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., Universität Karlsruhe (TH) -
Korrekte Transformationsphase - der Kern korrekter Übersetzer [online]. Dissertation.
Heberle, A.
2000. Fak. f. Informatik, Diss. v. 4.2.2000., Universität Karlsruhe (TH). doi:10.5445/IR/2182000 -
Latenzzeitverbergung in datenparallelen Sprachen = [Latency Hiding in Dataparallel Languages]. Dissertation.
Müller, M. M.
2000. Universität Karlsruhe (TH). doi:10.5445/IR/1182000
1999
-
Temporale Realzeitverifikation. Dissertation.
Loetzbeyer, A.
1999. Berlin 1999. Fak. f. Informatik, Diss. v. 11.2.1999., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Effiziente Anfragebearbeitung im Wissensgewinnungsprozeß. Dissertation.
Schloesser, J. A.
1999. Aachen 1999. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 20.4.1999., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Optimierung von SIMD-Programmen auf verteilten Systemen. Dissertation.
Eisenbiegler, J.
1999. Berlin 1999. Fak. f. Informatik, Diss. v. 9.12.1998., Universität Karlsruhe (TH) -
Aspektorientierte Komponentensysteme zur Unterstützung weitreichender Geschäftsprozesse [online]. Dissertation.
Schmidt, R.
1999. Fak. f. Informatik, Diss. v. 16.12.1999., Universität Karlsruhe (TH). doi:10.5445/IR/91999 -
Automatische Einstellung des Parallelitätsgrades von Programmen = [Automatic Tuning of the Degree of Parallelism of Programs]. Dissertation.
Werner-Kytölä, O.
1999. Universität Karlsruhe (TH). doi:10.5445/IR/56099 -
Opto-elektronische Prozessor-Speicher Koppelung in Multiprozessoren = [Opto-Electronic Processor-Memory Interconnects in Multiprocessors] / Paul Lukowicz. Dissertation.
Lukowicz, P.
1999. Universität Karlsruhe (TH). doi:10.5445/IR/41699 -
Ereignisgetriebene CORBA-Dienste für heterogene, verteilte Informationssysteme [online]. Dissertation.
Koschel, A.
1999. Fak. f. Informatik, Diss. v. 1.7.1999., Universität Karlsruhe (TH). doi:10.5445/IR/41399
1998
-
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Effiziente parallele Ausführung irregulärer rekursiver Programme = [Parallelizing Recursive Programs]. Dissertation.
Hänßgen, S. U.
1998. Universität Karlsruhe (TH). doi:10.5445/IR/59198
1997
-
Übersetzungsmethoden für strukturprogrammierbare Rechner. Dissertation.
Weinhardt, M.
1997. Berlin 1997. Fak. f. Informatik, Diss. v. 1.7.1997., Universität Karlsruhe (TH) -
Optimierung paralleler Programme. Dissertation.
Loewe, W.
1997. Aachen 1997. (Berichte aus der Informatik.) Fak. f. Informatik, Diss. v. 29.5.1996., Universität Karlsruhe (TH) -
Überladung in Typsystemen. Dissertation.
Wehr, M.
1997. Fak. f. Informatik, Diss. v. 31.10.1997., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Comparing reduction strategies in resource-conscious lambda calculi. Dissertation.
Maraist, J.
1997. Fak. f. Informatik, Diss. v. 24.10.1996., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Typsichere Objektbankmigration. Dissertation.
Zachmann, A.
1997. Sankt Augustin 1997. (Dissertationen zu Datenbanken und Informationssystemen. 26.) Fak. f. Informatik, Diss. v. 13.2.1997., Universität Karlsruhe (TH) -
Analyse und Transformation kontrollfluáparalleler Programme. Dissertation.
Vollmer, J.
1997. Fak. f. Informatik, Diss. v. 7.5.1996., Universität Karlsruhe (TH). doi:10.5445/IR/66997
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., Universität Karlsruhe (TH) -
Generierung von Programmoptimierungen mit Graphersetzungssystemen. Dissertation.
Assmann, U.
1996. München 1996. (GMD-Bericht. 262.) Fak. f. Informatik, Diss. v. 17.7.1995., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Akzeptanz von Netzdiensten und Netzanwendungen. Entwicklung eines Instruments zur permanenten Akzeptanzkontrolle. Dissertation.
Filipp, H.
1996. Fak. f. Informatik, Diss. v. 14.2.1996., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH)
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., Universität Karlsruhe (TH) -
Effiziente Verfahren zur Befehlsanordnung. Dissertation.
Mueller, T.
1995. Fak. f. Informatik, Diss. v. 13.6.1995., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH)
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., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Entwicklung ingenieurwissenschaftlicher Datenbankanwendungen. Ein objektorientiertes Datenmodell. Dissertation.
Wallrath, M.
1994. Berlin 1994. (FZI-Berichte Informatik.) Fak. f. Informatik, Diss. v. 18.12.1991., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Codeselektion mit regulär gesteuerter Termersetzung. Dissertation.
Emmelmann, H.
1994. München 1994. (GMD-Bericht. 241.) Fak. f. Informatik, Diss. v. 6.7.1994., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH)
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., Universität Karlsruhe (TH) -
Ein Konzept zur Unterstuetzung der Wartung von Expertensystemen. Dissertation.
Eckert, H.
1993. Fak. f. Informatik, Diss. v. 18.6.1993., Universität Karlsruhe (TH) -
Komplexe Objekte und Anfragen in der Programmierung. Dissertation.
Rehm, S.
1993. Wiesbaden 1993. (DUV: Informatik.) Fak. f. Informatik, Diss. v. 1.7.1992., Universität Karlsruhe (TH)
1992
-
Wissensrepraesentation und -akquisition in einem natuerlichsprachlichen Software-Informationssystem. Dissertation.
Adams, R.
1992. Fak. f. Informatik, Diss. v. 29.10.1992., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Steuerung der Anfragebearbeitung in parallelen Datenbanksystemen. Dissertation.
Kramer, R.
1992. Karlsruhe: FZI 1992. Fak. f. Informatik, Diss. v. 21.12.1992., Universität Karlsruhe (TH)
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], Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH) -
Graphikunterstuetzung fuer den Datenbankentwurf mit freidefinierten Modellierungskonzepten. Dissertation.
Radermacher, K.
1991. Fak. f. Informatik, Diss. v. 9.7.1991., Universität Karlsruhe (TH) -
A meta-calculus for formal system development. Dissertation.
Weber, M.
1991. Muenchen 1991. (GMD-Bericht. 195.) Fak. f. Informatik, Diss. v. 19.12.1990., Universität Karlsruhe (TH)
1990
-
Automatische Komplexitaetsanalyse funktionaler Programme. Dissertation.
Zimmermann, W.
1990. Berlin 1990. (Informatik-Fachberichte. 261.) Fak. f. Informatik, Diss. v. 27.6.1990., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH)
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., Universität Karlsruhe (TH) -
Database recovery in the design environment: requirements analysis and performance evaluation. Dissertation.
Iochpe, C.
1989. Fak. f. Informatik, Diss. v. 12.12.1989., Universität Karlsruhe (TH) -
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., Universität Karlsruhe (TH)
1986
| Bearbeiter | Titel | Typ |
|---|---|---|
| Sven Scheu | Aufbereitung von Spracherkennerausgaben | Masterarbeit |
| Christopher Kaag | Statische Extraktion von Laufzeit-Indikatoren | Masterarbeit |
| Bearbeiter | Titel | Typ |
|---|---|---|
| Chris Hiatt | Dynamisches Autotuning mehrerer nominaler Parameter | Masterarbeit |
| Yauhen Makhotsin | Wissensbasierte Identifikation von Wertebereichen einer aktiven Ontologie | Bachelorarbeit |
| Thomas Mayer | Extraktion und Konsolidierung von Webformularen zur Erzeugung von aktiven Ontologien | Bachelorarbeit |
| Kay Schmitteckert | Semi-automatische Generierung von aktiven Ontologien aus Webformularen | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Martin Rombach | Ausführungsplanung von Tasks auf GPUs | Masterarbeit |
| Kaspar Wulf | Benchmarksuite für APHES | Bachelorarbeit |
| Christopher Guckes | Autotuning und Heterogenisierung der parallelen GNU C++ Standardbibliothek | Masterarbeit |
| Sigmar Walter | Intelligente Algorithmenwahl durch Optimierung nomineller Parameter | Bachelorarbeit |
| Wasim Said | Abbildung von Webformularen auf aktive Ontologien | Masterarbeit |
| Tizian Hoffmann | Disambiguierung gesprochener Sprache | Bachelorarbeit |
| Viktor Kiesel | Optimieren von POS-Tagger-Ergebnissen | Studienarbeit, Bachelorarbeit |
| Vanessa Steurer | Strukturerkennung von Bedingungen in gesprochener Sprache | Bachelorarbeit |
| Alexander Baier | Automatic Loop Partitioning for Heterogeneous Systems | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Philipp Lingel | Clustering von Internetdiensten für aktive Ontologien | Masterarbeit |
| Artem Titarenko | Programmieren in natürlicher Sprache - Erzeugen von Alice-Code | Bachelorarbeit |
| Zyenep Günes | Aufbau eines Sprachkorpus zur Programmierung autonomer Roboter mittels natürlicher Sprache | Bachelorarbeit |
| Michael Jakob | Aufruf externer Dienste mit Hilfe von aktiven Ontologien | Bachelorarbeit |
| Michael Schneider | Entwurf einer Handlungsrepräsentation für gesprochene Sprachen | Bachelorarbeit |
| Dinesh Paskaran | Evaluation unterschiedlicher Spracherkennungssysteme in der Domäne Humanoide Robotik | Bachelorarbeit |
| Jan Keim | Identifikation problematischer Substantivierungen in natürlichsprachigen Anforderungsdokumenten | Bachelorarbeit |
| Markus Kocybik | Projektion von gesprochener Sprache auf eine Handlungsrepräsentation | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Michael Mirold (Universität des Saarlandes) | An Experimentation Laboratory for the Automatic Parallelization of Programs written in the R Language (ALCHEMY) | Masterarbeit |
| Andreas Johannes Wilhelm (Universität Passau) | Analyse des Parallelisierungspotentials sequenzieller Programme durch Kombination von statischer und dynamischer Analyse | Bachelorarbeit |
| Oliver Nalbach (Universität des Saarlandes) | Parallelisierung von Reinforcement Learning zur optimalen Steuerung von Softwareprojekten | Bachelorarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Mathias Landhäußer | Automatische Auszeichnung von semantischer Information in textuellen Spezifikationen | Diplomarbeit |
| Florian Salah El Din | Bewertung und Optimierung von Anforderungsprozessen und Neueinführung eines Anforderungsverwaltungssystems | Studienarbeit |
| Emin Bugra Derre | Rückkopplung von Softwaremodelländerungen in textuelle Spezifikationen | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Torben Brumm | Rechnergestützte Verbesserung von textbasierten Softwarespezikationen mit Hilfe von Ontologien | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| David Meder | OpenProposal: Bewerten und Diskutieren von Benutzer-Anforderungen in Softwareprojekten | Diplomarbeit |
| Korbinian Molitorisz | Rollenmodelle für die Zugriffskontrolle in Unternehmen | Diplomarbeit |
| Mathias Landhäußer | Automatische Erzeugung von Prüflisten zur spezifikationsbezogenen Beurteilung der Vollständigkeit von UML-Modellen | Studienarbeit |
| Torben Brumm | Erstellung eines Systems thematischer Rollen mit Hilfe einer multiplen Fallstudie | Studienarbeit |
| Emin Bugra Derre | Graphenersetzungssysteme als Werkzeuge für UML Modelltransformationen | Studienarbeit |
| Jochen Schimmel | Parallelisierung von Graphenersetzungs-Systemen | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Frank Otto | Analyse von Java-Programmen auf Synchronisierungsfehler | Diplomarbeit |
| Oliver Denninger | Erweiterung des Kantenkonzepts dekorativer Graphensetzungssysteme von Einfachkanten über Hyperkanten zu "Superkanten" | Diplomarbeit |
| Wolfgang Schnerring | Testen von verteilten Systemen in heterogenen Netzwerken mit virtuellen Maschinen am Beispiel von MPI | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Christoph A. Schaefer | Entwurf und Bewertung einer Information-Retrieval-Erweiterung für Problem-Lösungs-Datenbanken | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Ali Jannesari | Analysis of Agile Software Development Methods for Embedded Systems | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Florian Hecht | Eine Formularerweiterung für XSL-FO | Studienarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Tom Gelhausen | X2S - XPath query processing for relational databases | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Tom Gelhausen | Topic Maps und ihre Anwendbarkeit im webbasierten Lern- und Autorensystem Companion | Studienarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Jürgen Reuter | Bewertung zweier Ansätze zur verteilten Revisionskontrolle über das Internet | Diplomarbeit |
| Autor | Titel | Typ |
|---|---|---|
| Jürgen Reuter | Verteilte Revisionskontrolle über das World Wide Web | Studienarbeit |