Michael Schroeder

发表

Rules and Rule Markup Languages for the Semantic Web

Gerd Wagner, Michael Schroeder, Gerd Wagner, 2003, Lecture Notes in Computer Science.

Model-based diagnosis preferences and strategies representation with logic meta-programming

Luís Moniz Pereira, Michael Schroeder, Wolfgang Nejdl, 1995 .

Rapid Prototyping for Web-Mediators: Integrating Distributed Knowledge using Vivid Agents

Michael Schroeder, Wolfgang Nejdl, W. Nejdl, 2007 .

HOW TO QUERY THE GENEONTOLOGY

Tim Furche, Michael Schroeder, Albert Burger, 2005 .

Model-Based Diagnosis

Michael Schroeder, 1998 .

Will Concurrency Theory help verifying Multi-Agent Systems? - A Case Study

Michael Schroeder, Michael Schroeder, 1997 .

Does the restart method work? Preliminary Results on Efficiency Improvements for Interactions of Web-agents

Michael Schroeder, Luke Boro, Michael Schroeder, 2007 .

Towards Interoperability of Biomedical Ontologies - Report Number 07132

Michael Schroeder, Barry S. Smith, Mark Musen, 2008 .

Foundations of multi-agent systems

Nicholas R. Jennings, Michael Luck, Michael Schroeder, 1999 .

Logic Programming and Diagnosis

Michael Schroeder, 1998 .

Unraveling the structure and evaluating the quality of protein networks with power graph analysis

Michael Schroeder, Loic Royer, M. Reimann, 2010 .

Strategies in Diagnosis

Michael Schroeder, 1998 .

Introducing Signature Exploration: a means to aid the comprehension and choice of visualization algorithms

Michael Schroeder, Penny Noy, Michael Schroeder, 2001 .

Number theory in science and communication : With applications in cryptog-raphy

Michael Schroeder, 1997 .

Towards Visualisation of Multi-Agent Systems

Michael Schroeder, 1998 .

Integrating Gene Expression Data, Protein Interaction Data, and Ontology-Based Literature Searches

Michael Schroeder, Panos Dafas, Alexander Kozlenkov, 2004, Artificial Intelligence Methods And Tools For Systems Biology.

Aspects of Human Centred Design in the Role of Visualization Systems: Signature Exploration and the Use of Generic Datasets

Michael Schroeder, Penny Noy, Michael Schroeder, 2003 .

State-of-the-art in Bioinformatics

Werner Nutt, Michael Schroeder, Rolf Backofen, 2004 .

Usage of DSC meta tags in a general automatic image enhancement system

Michael Schroeder, Stefan Moser, 2002, IS&T/SPIE Electronic Imaging.

A Formal Semantics for Preferences and Strategies in Model-Based Diagnosis

Peter Fröhlich, Michael Schroeder, Wolfgang Nejdl, 1994 .

REVISE Report : An Architecture for a Diagnosis Agent

Michael Schroeder, Carlos Viegas Damásio, Moniz Pereira, 1996 .

Using modal logic to define strategies in model-based diagnosis

Michael Schroeder, Wolfgang Nejdl, Peter Fröhlich, 1997 .