.gif)
] Filters: Taxonomy Term is [Clear All Filters]
"Modelling of the Signaling Pathway of Arabidopsis thaliana",
In IADIS International Conference Applied Computing, vol. 2: IADIS Press, pp. 295-300, February 22- 25, 2005.
Abstract
"Discrete Modelling of the Ethylene-Pathway",
Proceeding of the International Workshop on Biomedical Data Engineering (BMDE 2005): IEEE, pp. 7-13, April 03-04, 2005.
Abstract
"Analysing layout information: searching PDF documents for pictures",
LWA 2005 Lernen - Wissen - Adaptivität, pp. 190-195, 2005.
Abstract
"CaptionSearch: Mining Images from Publications",
Mining Complex Data Proceedings of 2005 IEEE ICDM Workshop: Math. Dept., Saint Mary's Univ., Nova Scotia, Canada, 2005.
Abstract
"Coevolution of Database Schemas and Associated Ontologies in Biological Context",
22nd British National Conference on Databases: Workshops and Posters, vol. 2: University of Sunderland Press, pp. 45-50, 2005.
Abstract
"Mining PDF documents for pictures",
European Web Mining Forum (EWMF 2005), pp. 52-63, 2005.
Abstract
Automatische Lernverfahren zur Analyse von biomedizinischer Literatur,
, no. 2004-2: Technische Universität Braunschweig, 2004.
Abstract
"Conceptual Modeling XML-Schemata Using UML",
Proc. CAiSE'04 Forum, 15th Int. Conf. on Advanced Information Systems Engineering, pp. 122 - 131, 2004.
Abstract
"Five steps to text mining in biomedical literature",
WS on Data Mining and Text Mining for Bioinformatics at PKDD/ECML 2004. Proc. 15th European Conf. on Machine Learning and the 8th European Conf. on Principles and Practice of Knowledge Discovery in Databases, pp. 43-47, 2004.
Abstract
Impact of Mobility on Information Systems and Information System Design,
: Technical University Braunschweig, 2004.
Abstract
"Modellierung und kartographische Visualisierung von Geodaten mit XML-basierten Sprachen",
Modellierung 2004, pp. 93-107, 2004.
Abstract
"Using XML Languages for Modeling and Web-Visualization of Geographical Legacy Data",
VI Brazilian Symposium on GeoInformatics: GeoInfo 2004: Instituto Nacional de Pesquisas Espaciais, pp. 265-280, 2004.
Abstract
"Visualization of Landscape Data in Digital Maps by Exclusive Use of XML-Based Languages",
Proc. 12th Int. Conf. on Geoinformatics, pp. 370 - 374, 2004.
Abstract
On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study,
: Technical University Braunschweig, Germany, January, 2003.
Abstract
"Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems",
COMPSAC'03. Proc. 27th Annual Int. Computer Software and Applications Conference., pp. 144-150, 2003.
Abstract
"Conceptual Modelling of Mobile Object Systems: Some Language Constructs",
Proc. Short Papers at 15th Conf. on Advanced Information Systems Engineering, pp. 89-92, 2003.
Abstract
"Language Constructs for Conceptual Modelling of Mobile Object System s",
Proc. 4th Int. Symp. on Collaborative Technologies and Systems, pp. 121-126, 2003.
Abstract
Modellierung des Ethylen-Pathways mit UML-Statecharts,
, no. 2003-2: TU Braunschweig, 2003.
Abstract
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking,
: Technical University Braunschweig, Germany, February, 2002.
Abstract
"Datenabgleich durch mobile Agenten: Spezifikation und Implementierung",
Tagungsband zum 14. GI-Workshop ``Grundlagen von Datenbanken``, pp. 1-5, 2002.
Abstract
"Specification and Implementation of Mobile-Agent-Based Data Integration",
Databases and Information Systems II: Kluwer Academic Publisher, pp. 269-283, 2002.
Abstract
"Specification and Implementation of Mobile-Agent-Based Data Integration",
Databases and Information Systems. Proc. 5th Int. Baltic Conf., BalticDB&IS 2002, pp. 117-131, 2002.
Abstract
Computer-Aided Validation of Formal Conceptual Models,
: Technical University Braunschweig, Germany, March, 2001.
Abstract
"Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems",
Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001.
Abstract
"Increasing Reusability in Information Systems Development by Applying Generic Methods",
Proc. 13th Int. Conf. on Advanced Information Systems Engineering (CAiSE'01), Interlaken: Springer, pp. 251-266, 2001.
Abstract
Module für verteilte Objektsysteme -- Konzepte zur Strukturierung und Wiederverwendung objektorientierter Spezifikationen,
, vol. 77: infix-Verlag, 2001.
Abstract
"Techniques and Language Constructs for Developing Generic Information Systems: A Case Study",
Int. Symp. on Software Reusability (SSR'01), Toronto: ACM, pp. 145-154, 2001.
Abstract
Foundations of a Module Concept for Distributed Object Systems,
: PhD Thesis, Technical University Braunschweig, September, 2000.
Abstract
"Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen",
Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme: Bericht 24/00 - I, Universität Münster, pp. 70-77, November, 2000.
Abstract
"Fundamentals of a Module Logic for Distributed Object Systems",
Journal of Functional and Logic Programming, vol. 2000, no. 3: The MIT Press, March, 2000.
Abstract
"Algebraic specification of abstract data types",
Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000.
Abstract
"Einführung in die Unified Modeling Language am Beispiel von ATKIS",
Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 17, pp. 81-88, 2000.
Abstract
"Formal Specification of Catalysis Frameworks",
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000.
Abstract
"Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues",
Databases and Information Systems: Proceedings of the 4th IEEE International Baltic Workshop, Volume 2, Vilnius, Lithuania, May 1-5, 2000: Vilnius Gediminas Technical University, Lithuanian Computer Society, pp. 63-77, 2000.
Abstract
"Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues",
Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000.
Abstract