Stefan Conrad

According to our database1, Stefan Conrad authored at least 178 papers between 1992 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
PyMatting: A Python Library for Alpha Matting.
J. Open Source Softw., 2020

Fast Multi-Level Foreground Estimation.
CoRR, 2020

A Method for Semantic Knee Bone and Cartilage Segmentation with Deep 3D Shape Fitting Using Data from the Osteoarthritis Initiative.
Proceedings of the Shape in Medical Imaging - International Workshop, 2020

Fuzzy Clustering Stability Evaluation of Time Series.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

Behave or Be Detected! Identifying Outlier Sequences by Their Group Cohesion.
Proceedings of the Big Data Analytics and Knowledge Discovery, 2020

Enhanced Localization and Classification of Coral Reef Structures and Compositions.
Proceedings of the Working Notes of CLEF 2020, 2020

2019
HHU at SemEval-2019 Task 6: Context Does Matter - Tackling Offensive Language Identification and Categorization with ELMo.
Proceedings of the 13th International Workshop on Semantic Evaluation, 2019

A Software Framework and Datasets for the Analysis of Graph Measures on RDF Graphs.
Proceedings of the Semantic Web - 16th International Conference, 2019

Predicting Student Dropout in Higher Education Based on Previous Exam Results.
Proceedings of the 12th International Conference on Educational Data Mining, 2019

A two-staged Approach for Localization and Classification of Coral Reef Structures and Compositions.
Proceedings of the Working Notes of CLEF 2019, 2019

Feature and Deep Learning Based Approaches for Automatic Report Generation and Severity Scoring of Lung Tuberculosis from CT Images.
Proceedings of the Working Notes of CLEF 2019, 2019

Show Me Your Friends and I'll Tell You Who You Are. Finding Anomalous Time Series by Conspicuous Cluster Transitions.
Proceedings of the Data Mining - 17th Australasian Conference, AusDM 2019, Adelaide, SA, 2019

2018
Respecting Data Privacy in Educational Data Mining: An Approach to the Transparent Handling of Student Data and Dealing with the Resulting Missing Value Problem.
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

HHU at SemEval-2018 Task 12: Analyzing an Ensemble-based Deep Learning Approach for the Argument Mining Task of Choosing the Correct Warrant.
Proceedings of The 12th International Workshop on Semantic Evaluation, 2018

Detection of Multidrug-resistant Tuberculosis using Convolutional Neural Networks and Decision Trees.
Proceedings of the Working Notes of CLEF 2018, 2018

Feature-Based Approach for Severity Scoring of Lung Tuberculosis from CT Images.
Proceedings of the Working Notes of CLEF 2018, 2018

2017
Text Mining für Online-Partizipationsverfahren: Die Notwendigkeit einer maschinell unterstützten Auswertung.
HMD Prax. Wirtsch., 2017

The First Data Science Challenge at BTW 2017.
Datenbank-Spektrum, 2017

On (Commercial) Benefits of Automatic Text Summarization Systems in the News Domain: A Case of Media Monitoring and Media Response Analysis.
CoRR, 2017

A Web Service Architecture for Tracking and Analyzing Data from Distributed E-Learning Environments.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Towards a Use Case Driven Evaluation of Database Systems for RDF Data Storage - A Case Study for Statistical Data.
Proceedings of the Joint Proceedings of BLINK2017: 2nd International Workshop on Benchmarking Linked Data and NLIWoD3: Natural Language Interfaces for the Web of Data co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21st - to, 2017

HHU at SemEval-2017 Task 5: Fine-Grained Sentiment Analysis on Financial Data using Machine Learning Methods.
Proceedings of the 11th International Workshop on Semantic Evaluation, 2017

Application of the Dynamic Time Warping Distance for the Student Drop-out Prediction on Time Series Data.
Proceedings of the 10th International Conference on Educational Data Mining, 2017

Convolutional Neural Networks for Multidrug-resistant and Drug-sensitive Tuberculosis Distinction.
Proceedings of the Working Notes of CLEF 2017, 2017

Detection and Implicit Classification of Outliers via Different Feature Sets in Polygonal Chains.
Proceedings of the Datenbanksysteme für Business, 2017

2016
A Possibilistic Multivariate Fuzzy c-Means Clustering Algorithm.
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

HHU at SemEval-2016 Task 1: Multiple Approaches to Measuring Semantic Textual Similarity.
Proceedings of the 10th International Workshop on Semantic Evaluation, 2016

AdaMS: Adaptive Mountain Silhouette Extraction from Images.
Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2016

Finding Trees in Mountains - Outlier Detection on Polygonal Chains.
Proceedings of the Conference "Lernen, 2016

Fuzzy c-Means Clustering of Incomplete Data Using Dimension-Wise Fuzzy Variances of Clusters.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

The Effect of Noise and Outliers on Fuzzy Clustering of High Dimensional Data.
Proceedings of the 8th International Joint Conference on Computational Intelligence, 2016

Neural Classification of Linguistic Coherence using Long Short-Term Memories.
Proceedings of the 8th annual meeting of the Forum on Information Retrieval Evaluation, 2016

Simurg: An Extendable Multilingual Corpus for Abstractive Single Document Summarization.
Proceedings of the 8th annual meeting of the Forum on Information Retrieval Evaluation, 2016

Pisco: A Computational Approach to Predict Personality Types from Java Source Code.
Proceedings of the Working notes of FIRE 2016, 2016

Exploring the Effects of Cross-Genre Machine Learning for Author Profiling in PAN 2016.
Proceedings of the Working Notes of CLEF 2016, 2016

Evaluating Safety, Soundness and Sensibleness of Obfuscation Systems.
Proceedings of the Working Notes of CLEF 2016, 2016

What to Do with an Airport? Mining Arguments in the German Online Participation Project Tempelhofer Feld.
Proceedings of the Third Workshop on Argument Mining, 2016

2015
Optimized Background Subtraction for Moving Camera Recordings.
Proceedings of the VISAPP 2015, 2015

Ontology Matching using Multiple Similarity Measures.
Proceedings of the KDIR 2015, 2015

Image Landmark Recognition with Hierarchical K-Means Tree.
Proceedings of the Datenbanksysteme für Business, 2015

IWNLP: Inverse Wiktionary for Natural Language Processing.
Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, 2015

Evaluating Web Image Context Extraction.
Proceedings of the Multimedia Data Mining and Analytics - Disruptive Innovation, 2015

2014
From Phrases to Keyphrases: An Unsupervised Fuzzy Set Approach to Summarize News Articles.
Proceedings of the 12th International Conference on Advances in Mobile Computing and Multimedia, 2014

Landmark Recognition: State-of-the-Art Methods in a Large-Scale Scenario.
Proceedings of the 16th LWA Workshops: KDML, 2014

An Improved String Similarity Measure Based on Combining Information-Theoretic and Edit Distance Methods.
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2014

Applying Information-theoretic and Edit Distance Approaches to Flexibly Measure Lexical Similarity.
Proceedings of the KDIR 2014 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Rome, Italy, 21, 2014

2013
Linguistic Sentiment Features for Newspaper Opinion Mining.
Proceedings of the Natural Language Processing and Information Systems, 2013

Extraction of Statements in News for a Media Response Analysis.
Proceedings of the Natural Language Processing and Information Systems, 2013

Classifier Comparison for Repeating Motion Based Video Classification.
Proceedings of the Advances in Visual Computing - 9th International Symposium, 2013

A Semantic Similarity Measure between Nouns based on the Structure of Wordnet.
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013

Opinion Mining in Newspaper Articles by Entropy-Based Word Connections.
Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing, 2013

Subspace Clustering with Distance-density Function and Entropy in High-dimensional Data.
Proceedings of the DATA 2013 - Proceedings of the 2nd International Conference on Data Technologies and Applications, Reykjavík, Iceland, 29, 2013

2012
Analysis and Identification of Malicious JavaScript Code.
Inf. Secur. J. A Glob. Perspect., 2012

Combining decision trees classifiers: a case study of automatic sleep stage scoring.
Int. J. Knowl. Eng. Data Min., 2012

An approach for automatic sleep stage scoring and apnea-hypopnea detection.
Frontiers Comput. Sci., 2012

Analyzing Invariance of Frequency Domain based Features from Videos with Repeating Motion.
Proceedings of the VISAPP 2012, 2012

Opinion Mining on a German Corpus of a Media Response Analysis.
Proceedings of the Text, Speech and Dialogue - 15th International Conference, 2012

On Cluster Validity for Fuzzy Clustering of Incomplete Data.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Hidden markov model-based time series prediction using motifs for detecting inter-time-serial correlations.
Proceedings of the ACM Symposium on Applied Computing, 2012

Comparing Different Methods for Opinion Mining in Newspaper Articles.
Proceedings of the Natural Language Processing and Information Systems, 2012

Integrating viewpoints into newspaper opinion mining for a media response analysis.
Proceedings of the 11th Conference on Natural Language Processing, 2012

A New Structure-based Similarity Measure for Automatic Ontology Matching.
Proceedings of the KDIR 2012 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Barcelona, Spain, 4, 2012

Combination of Lexical and Structure-Based Similarity Measures to Match Ontologies Automatically.
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2012

Automatic Subspace Clustering with Density Function.
Proceedings of the DATA 2012, 2012

DBRIS at ImageCLEF 2012 Photo Annotation Task.
Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

A Set-Based Approach to Plagiarism Detection.
Proceedings of the CLEF 2012 Evaluation Labs and Workshop, 2012

2011
Page segmentation by web content clustering.
Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011

Style Analysis of Academic Writing.
Proceedings of the Natural Language Processing and Information Systems, 2011

Cluster Tendency Assessment for Fuzzy Clustering of Incomplete Data.
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

About the analysis of time series with temporal association rule mining.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

2010
Fuzzy Clustering of Incomplete Data Based on Cluster Dispersion.
Proceedings of the Computational Intelligence for Knowledge-Based Systems Design, 2010

Clustering approaches for data with missing values: Comparison and evaluation.
Proceedings of the Fifth IEEE International Conference on Digital Information Management, 2010

Mining Several Kinds of Temporal Association Rules Enhanced by Tree Structures.
Proceedings of the Second International Conference on Information, 2010

A Benchmark for Testing Instance-based Ontology Matching Methods.
Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Supporting Complex Business Information Systems.
Proceedings of the Business Information Systems, 13th International Conference, 2010

Maintenance Scenarios for Distributed Application Infrastructures - Concepts with the Focus on Functional and Data Integrity.
Proceedings of the Perspectives in Business Informatics Research, 2010

2009
Classifying Structured Web Sources Using Support Vector Machine and Aggressive Feature Selection.
Proceedings of the Web Information Systems and Technologies - 5th International Conference, 2009

Classifying Structured Web Sources using Aggressive Feature Selection.
Proceedings of the WEBIST 2009, 2009

Partial Ontology Matching Using Instance Features.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

Activity Control in Application Landscapes A Further Approach to Improving Maintainability of Distributed Application Landscapes.
Proceedings of the Cloud Computing - First International Conference, 2009

2008
Management and Processing of Personalized Annotations in Image Retrieval Systems.
Proceedings of the Advances in Semantic Media Adaptation and Personalization, 2008

2-DOM: A 2-Dimensional Object Model towards Web Image Annotation.
Proceedings of the Third International Workshop on Semantic Media Adaptation and Personalization, 2008

Instance-Based Ontology Matching Using Regular Expressions.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Extracting contextual information from multiuser systems for improving annotation-based retrieval of image data.
Proceedings of the 1st ACM SIGMM International Conference on Multimedia Information Retrieval, 2008

Measuring text similarity with dynamic time warping.
Proceedings of the 12th International Database Engineering and Applications Symposium (IDEAS 2008), 2008

On Using Clustering and Classification during the Design Phase to Build Well-Structured Retail Websites.
Proceedings of the IADIS European Conference on Data Mining 2008, 2008

TARtool: A Temporal Dataset Generator for Market Basket Analysis.
Proceedings of the Advanced Data Mining and Applications, 4th International Conference, 2008

2007
COMICS: A Global Constraint Manager for Interactive Component Database Systems.
Proceedings of the Network-Based Information Systems, First International Conference, 2007

2006
Unifying Different Users' Interpretations and Levels of Abstraction for Improving Annotation-based Image Retrieval.
Proceedings of the First International Workshop on Semantic Media Adaptation and Personalization, 2006

Web Usage Mining for Adaptive and Personalized Websites.
Proceedings of the LWA 2006: Lernen - Wissensentdeckung - Adaptivität, Hildesheim, Deutschland, October 9th-11th 2006, joint workshop event of several interest groups of the German Society for Informatics (GI) - 14th Workshop on Adaptivity and User Modeling in Interactive Systems (ABIS 2006) - Workshop Information Retrieval 2006 of the Special Interest Group Information Retrieval (FGIR 2006) - Workshop on Knowledge and Experience Management (FGWM 2006), 2006

Bringing Relational Data into the SemanticWeb using SPARQL and Relational.OWL.
Proceedings of the 22nd International Conference on Data Engineering Workshops, 2006

Association Rule Mining and Website's Design Improvement.
Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006

Database to Semantic Web Mapping Using RDF Query Languages.
Proceedings of the Conceptual Modeling, 2006

A Time-Series Representation for Temporal Web Mining Using a Data Band Approach.
Proceedings of the Databases and Information Systems IV, 2006

On the Usage of Data Mining to Support Website Designers to Have Better DesignedWebsites.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005
Rule-based schema matching for ontology-based mediators.
J. Appl. Log., 2005

A semi-automated Framework for Supporting Semantic Image Annotation.
Proceedings of the 5th International Workshop on Knowledge Markup and Semantic Annotation ( SemAnnot 2005 ) located at the 4rd International Semantic Web Conference ISWC 2005, 2005

Maintaining Global Integrity in Federated Relational Databases Using Interactive Component Systems.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Evaluating and Improving Integration Quality for Heterogeneous Data Sources Using Statistical Analysis.
Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005

Tightly-Coupled Wrappers with Event Detection Subsystem for Heterogeneous Information Systems.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Dynamic Intra- and Inter-Enterprise Collaboration Using an Enhanced Multidatabase Architecture.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Querying Relational Databases with RDQL.
Proceedings of the Berliner XML Tage 2005, 2005

Relational.OWL - A Data and Schema Representation Format Based on OWL.
Proceedings of the Conceptual Modelling 2005, 2005

2004
Report on the Engineering Federated Information Systems 2003 workshop (EFIS 2003).
ACM SIGSOFT Softw. Eng. Notes, 2004

Link Patterns for Modeling Information Grids and P2P Networks.
Proceedings of the Conceptual Modeling, 2004

DÍGAME: A Vision of an Active Multidatabase with Push-based Schema and Data Propagation.
Proceedings of the Enterprise Application Integration 2004, 2004

2003
Interactive example-driven integration and reconciliation for accessing database federations.
Inf. Syst., 2003

Unsichere Informationen bei der Datenbankintegration und ihre Behandlung im Integrationsprozess.
Datenbank-Spektrum, 2003

A Semantic Web based Identification Mechanism for Databases.
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Statistical Analysis as Methodological Framework for Data(base) Integration.
Proceedings of the Conceptual Modeling, 2003

Analyzing Uncertainties in the Database Integration Process by Means of Latent Class Analysis.
Proceedings of the Engineering Federated Information Systems, 2003

Datenintegration und Mediatoren.
Proceedings of the Web & Datenbanken. Konzepte, Architekturen, Anwendungen, 2003

2002
Schemaintegration Integrationskonflikte, Lösungsansaätze, aktuelle Herausforderungen.
Inform. Forsch. Entwickl., 2002

Report on the EFIS 2001 Workshop.
Comput. J., 2002

2001
Bauer/Günzel: Data-Warehouse-Systeme - Buchbesprechung.
Datenbank Rundbr., 2001

View integration of behavior in object-oriented databases.
Data Knowl. Eng., 2001

Consistency management in object-oriented databases.
Concurr. Comput. Pract. Exp., 2001

The Problem of Uncertainty and Database Integration.
Proceedings of the Engineering Federated Information Systems, 2001

Limiting Result Cardinalities for Multidatabase Queries Using Histograms.
Proceedings of the Advances in Databases, 18th British National Conference on Databases, 2001

Temporal OCL Meeting Specification Demands for Business Components.
Proceedings of the Unified Modeling Language: Systems Analysis, 2001

2000
Aktivitäten des Arbeitskreies Grundlagen von Informationssystemen im Jahr 2000.
Datenbank Rundbr., 2000

Adding Conflict Resolution Features to a Query Language for Database Federations.
Australas. J. Inf. Syst., 2000

Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Evolving Objects: Conceptual Description of Adaptive Information Systems.
Proceedings of the Database Schema Evolution and Meta-Modeling, 2000

1999
Engineering Federated Information Systems: Report of EFIS '99 Workshop.
SIGMOD Rec., 1999

Restrukturierung objektorientierter Datenbankschemata mittels formaler Begriffsanalyse.
Inform. Forsch. Entwickl., 1999

Aktivitäten des Arbeitskreises "Grundlagen von Informationssytemen" im Jahr 1999.
Datenbank Rundbr., 1999

Editorial.
Australas. J. Inf. Syst., 1999

Konfliktbehandlung in einer Anfragesprache für Datenbankföderationen.
Proceedings of the 4. Workshop Föderierte Datenbanken, 1999

Design Support for Database Federations.
Proceedings of the Conceptual Modeling, 1999

View Integration of Object Life-Cycles in Object-Oriented Design.
Proceedings of the Conceptual Modeling, 1999

Database Design: Object-Oriented versus Relational.
Proceedings of the Entwicklungsmethoden für Informationssysteme und deren Anwendung, 1999

Objektorientierung für Informationssysteme: Eine kritsche Bestandsaufnahme.
Proceedings of the Entwicklungsmethoden für Informationssysteme und deren Anwendung, 1999

SIGMA<sub>FDB</sub>: Overview of the Magdeburg-Approach to Database Federations.
Proceedings of the Engineering Dederated Information Systems, 1999

Informationfusion - Herausforderung an die Datenbanktechnologie.
Proceedings of the Datenbanksysteme in Büro, 1999

Prototyping Object Specifications Using the CO-Nets Approach.
Proceedings of the 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11., 1999

1998
IHS'98: Integration Heterogener Systeme (Workshop-Bericht).
Datenbank Rundbr., 1998

Data-Mining Tasks in Federated Database Systems Design.
Proceedings of the Third International Conference on Integrated Design and Process Technology, IDPT, 1998

Minisymposium: Neue Entwicklungen in der Informatikausbildung.
Proceedings of the Informatik '98, 1998

Workshop: Integration Heterogener Softwaresysteme (IHS'98).
Proceedings of the Informatik '98, 1998

Restructuring Object-Oriented Database Schemata by Concept Analysis.
Proceedings of the Fundamentals of Information Systems, 1998

Evolving Logical Specification in Information Systems.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

A Logic Primer.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

Considering Integrity Constraints During Federated Database Design.
Proceedings of the Advances in Databases, 16th British National Conferenc on Databases, 1998

1997
Research Issues in Federated Database Systems: Report of EFDBS '97 Workshop.
SIGMOD Rec., 1997

The 9th Conference on Advanced Information Systems Engineering (CAiSE '97), Barcelona, 16-20 Juni 1997.
Datenbank Rundbr., 1997

Bericht von der GI-Fachtagung BTW '97 - Datenbanken in Büro, Technik und Wissenschaft, Ulm 5.-7. März 1997.
Datenbank Rundbr., 1997

Workshopbericht "Integrity in Databases" (FMLDO '96).
Datenbank Rundbr., 1997

Föderierte Datenbanksysteme: Konzepte der Integration (Zusammenfassung).
Datenbank Rundbr., 1997

Resümee vom Herbsttreffen der FG Datenbanken und des AK Grundlagen von Informationssystemen, Magdeburg, 1997.
Datenbank Rundbr., 1997

Towards an Agent-Oriented Framework for Specification of Information Systems.
Proceedings of the Formal Models of Agents, 1997

Extending Temporal Logic for Capturing Evolving Behaviour.
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Dealing with Integrity Constraints During Schema Integration.
Proceedings of the Engineering Federated Database Systems EFDBS'97, 1997

Restructuring Class Hierarchies for Schema Integration.
Proceedings of the Database Systems for Advanced Applications '97, 1997

Föderierung heterogener Datenbanksysteme DBS und lokaler Datenhaltungskomponenten zur systemübergreifenden Integritätssicherung.
Proceedings of the Datenbanksysteme in Büro, 1997

Behandlung von Integritätsbedingungen bei Schemarestrukturierung und Schemaintegration.
Proceedings of the Datenbanksysteme in Büro, 1997

Schema Integration with Integrity Constraints.
Proceedings of the Advances in Databases, 15th British National Conferenc on Databases, 1997

Towards Agent-Oriented Specification of Information Systems.
Proceedings of the First International Conference on Autonomous Agents, 1997

Föderierte Datenbanksysteme - Konzepte der Datenintegration.
Springer, ISBN: 978-3-540-63176-7, 1997

1996
DOOD'95 Post-Conference Workshop on Temporal Reasoning in Deductive and Object-Oriented Databases.
Knowl. Eng. Rev., 1996

A Basic Calculus for Verifying Properties of Interacting Objects.
Data Knowl. Eng., 1996

Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems.
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995
A Development Environment for an Object Specification Language.
IEEE Trans. Knowl. Data Eng., 1995

Entwicklung zuverlässiger Informationssysteme.
EMISA Forum, 1995

TROLL light - The Language and its Development Environment.
Proceedings of the KORSO, 1995

Aktive Mechanismen zur Konsistenzsicherung in föderierten Datenbanksystemen.
Proceedings of the Kurzfassungen 7. Workshop Grundlagen von Datenbanken, 1995

From Object Specification towards Agent Design.
Proceedings of the OOER'95: Object-Oriented and Entity-Relationship Modelling, 1995

Unterstützung eines korrektheitszentrierten Entwurfs in Informationssystemen.
Proceedings of the Datenbanksysteme in Büro, 1995

1994
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte.
PhD thesis, 1994

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte.
GI Datenbank Rundbrief, 1994

Safe Derivations in Object Hierarchies.
Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994

1993
Zur Verifikation von Objekteigenschaften.
Proceedings of the Tagung des Arbeitskreises der GI Datenbanken: Grundlagen von Informationssystemen, 1993

Zur Entwicklung zuverlässiger Informationssysteme in KorSo.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Integrating the ER Approach in an OO Environment.
Proceedings of the Entity-Relationship Approach, 1993

Sketching Concepts and Computational Model of TROLL <i>light</i>.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

Towards Reliable Information Systems: The KorSo Approach
Proceedings of the Advanced Information Systems Engineering, 1993

1992
An Annotated Bibliography on Object-Orientation and Deduction.
SIGMOD Rec., 1992

On Certification of Specifications for TROLL light Objects.
Proceedings of the Recent Trends in Data Type Specification, 1992


  Loading...