Examplepictures of DNA-Structures

Content

Publications of the Bioinformatics Group, TU Dresden, Germany

(Chronological order)

    2012

  1. Evaluating Coverage and Accuracy of Protein Interaction Datasets with Network Compression.
    Loic Royer, A Francis Stewart, and Michael Schroeder.
    PLoS One, 2012, Impact factor 2008: 4.4
  2. Protein interactions in 3D: From interface evolution to drug repositioning.
    Christof Winter, Andreas Henschel, Anne Tuukkanen, and Michael Schroeder.
    Journal of Structural Biology, 2012, Impact factor 2009: 3.5
  3. Extending ontologies by finding siblings using set expansion techniques.
    Götz Fabian, Thomas Wächter, and Michael Schroeder.
    Bioinformatics, 2012, Impact factor 2010: 4.9
  4. Drug Repositioning through Incomplete Bi-cliques in an Integrated Drug-Target-Disease Network.
    Simone Daminelli, V Joachim Haupt, Matthias Reimann, and Michael Schroeder.
    Integrative Biology, 2012, Impact factor 2010: 4.4
  5. Prediction of Survival and Response to Adjuvant Therapy in Pancreatic Cancer.
    Christof Winter, Janine Roy, Glen Kristiansen, Stephan Kersting, Daniela Aust, Thomas Knösel, Petra Rümmele, Beatrix Jahnke, Vera Hentrich, Felix Rückert, Marco Niedergethmann, Wilko Weichert, Marcus Bahra, Hans J. Schlitt, Utz Settmacher, Helmut Friess, Markus Büchler, Hans-Detlev Saeger, Michael Schroeder, Robert Grützmann, and Christian Pilarsky.
    PLoS Computational Biology, 2012, Impact factor 2010: 5.5
  6. A Maximum Entropy Approach for Accurate Document Annotation.
    George Tsatsaronis, Natalia Macari, Sunna Torge, Heiko Dietze, and Michael Schroeder.
    Journal of Biomedical Semantics, 2012
  7. LipidXplorer: A Software for Consensual Cross-Platform Lipidomics.
    Ronny Herzog, Kai Schuhman, Dominik Schwudke, Julio Sampaio, Stefan Bornstein, Michael Schroeder, and Andrej Shevchenko.
    Plos One, 7(1), 2012, Impact factor 2008: 4.4

    2011

  8. MetaDBSite: a meta approach to improve protein DNA-binding sites prediction.
    Si J, Zengming Zhang, Biaoyang Lin, Michael Schroeder, and Bingding Huang.
    BMC Systems Biology, 5(Suppl 1):S7, 2011, Impact factor 2010: 3.6
  9. The GNAT library for online and offline gene mention normalization.
    Jörg Hakenberg, Martin Gerner, Maximilian Haeussler, Conrad Plake, Michael Schroeder, Graciela Gonzalez, Goran Nenadic, and Casey M. Bergman.
    Bioinformatics, 27(19):2769--71, 2011, Impact factor 2010: 4.9
  10. hPrint: Large-scale de novo prediction of physical protein-protein association.
    Antigoni Elefsinioti, Omer Sinan Sarac, Anna Hegele, Conrad Plake, Nina C. Hubner, Ina Poser, Mihail Sarov, Anthony Hyman, Matthias Mann, Michael Schroeder, Ulrich Stelzl, and Andreas Beyer.
    Molecular and Cellular Proteomics, 10(11):M111.010629, 2011, Impact factor 2009: 8.8
  11. RP101 (Brivudine) binds to heat shock protein HSP27 (HSPB1) and enhances survival in animals and pancreatic cancer patients.
    Jörg-Christian Heinrich, Anne Tuukkanen, Michael Schroeder, Torsten Fahrig, and Rudolf Fahrig.
    Journal of Cancer Research and Clinical Oncology, 137(9):1349--61, 2011, Impact factor 2009: 2.3
  12. Identification of cavities on protein surface using multiple computational approaches for drug binding site prediction.
    Zengming Zhang, Yu Li, Biaoyang Lin, Michael Schroeder, and Bingding Huang.
    Bioinformatics, 27(15):2083--8, 2011, Impact factor 2009: 4.9
  13. Whole blood genome-wide expression profiling and network analysis suggest MELAS master regulators.
    Susanne Mende, Loic Royer, Alexander Herr, Janet Schmiedel, Marcus Deschauer, Thomas Klopstock, Vladimir S. Kostic, Michael Schroeder, Heinz Reichmann, and Alexander Storch.
    Accepted for Neurological Research, 33(6):638--55, 2011, Impact factor 2009: 1.8
  14. Old Friends in new Guise: Repositioning of known Drugs with Structural Bioinformatics.
    Joachim Haupt and Michael Schroeder.
    Briefings in Bioinformatics, 12(4):312--26, 2011, Impact factor 2010: 9.3
  15. Molecular Fragmentation Query Language: a Novel Informatics Concept for High-Throughput Shotgun Lipidomics.
    Ronny Herzog, Dominik Schwudke, Kai Schuhman, Stefan Bornstein, Michael Schroeder, and Andrej Shevchenko.
    Genome Biology, 12(1), 2011, Impact factor 2008: 6.2
  16. Computational Polypharmacology with Text Mining and Ontologies.
    Conrad Plake and Michael Schroeder.
    Current Pharmaceutical Biotechnology, 12(3):449--57, 2011, Impact factor 2009: 2.3
  17. How to Become a Group Leader? or Modelling Author Types based on Graph Mining.
    George Tsatsaronis, Iraklis Varlamis, Sunna Torge, Matthias Reimann, Kjetil Norva, Michael Schroeder, and Matthias Zschunke.
    In Proc. of International Conference on Theory and Practice of Digital Libraries, Berlin, Germany, 2011

    2010

  18. A knowledge-based search engine to navigate the information thicket of nanotoxicology.
    Ursula Sauer, Carsten Kneuer, Jutta Tentschert, Thomas Wächter, Michael Schroeder, Andreas Luch, Manfred Liebsch, Barbara Grune, and Mario E Götz.
    Regulatory Toxicology and Pharmacology, 59(1):47--52, 2010, Impact factor 2009: 1.8
  19. Examination of Apoptosis Signaling in Pancreatic Cancer by Computational Signal Transduction Analysis.
    Felix Rückert, Gihan Dawelbait, Christof Winter, Arndt Hartmann, Axel Denz, Ole Ammerpohl, Michael Schroeder, Hans Konrad Schackert, Bence Sipos, Günter Klöppel, Holger Kalthoff, Hans-Detlev Saeger, Christian Pilarsky, and Robert Grützmann.
    PLoS One, 5(8):e12243, 2010, Impact factor 2009: 4.4
  20. Structural Modeling of histone methyltransferase complex Set1C from Saccharomyces cerevisiae using constraint-based docking.
    Anne Tuukkanen, Andreas Henschel, Bingding Huang, A Francis Stewart, and Michael Schroeder.
    Proteomics, 10(23):4186--95, 2010, Impact factor 2009: 4.4
  21. Genome-wide expression profiling and functional network analysis upon neuroectodermal conversion of human mesenchymal stem cells suggest HIF-1 and miR-124a as important regulators.
    Martina Maisel, Hans-Jörg Habisch, Loic Royer, Alexander Herr, Javorina Milosevic, Stefan Liebau, Rolf Brenner, Johannes Schwarz, Michael Schroeder, and Alexander Storch.
    Experimental Cell Research, 316(17):2760--78, 2010, Impact factor 2009: 3.6
  22. Semi-automated ontology generation within OBO-Edit.
    Thomas Wächter and Michael Schroeder.
    Bioinformatics, 26(12):i88--i96, 2010, Impact factor 2009: 4.9, [paper]
  23. Structural fragment clustering reveals novel structural and functional motifs in alpha-helical transmembrane proteins.
    Annalisa Marsico, Andreas Henschel, Christof Winter, Anne Tuukkanen, Boris Vassilev, Kerstin Scheubert, and Michael Schroeder.
    BMC Bioinformatics, 11(204), 2010, Impact factor 2009: 3.8, [paper]
  24. Xenopus meiotic microtubule-associated protein interaction network.
    Vincent Gache, Patrice Waridel, Christof Winter, Aurelie Juhem, Michael Schroeder, Andrej Shevchenko, and Andrei V. Popov.
    PLoS One, 5(2):e9248, 2010, Impact factor 2009: 4.4, [paper]
  25. SuperCYP: a comprehensive database on Cytochrome P450 enzymes including a tool for analysis of CYP-drug interactions..
    Saskia Preissner, Katharina Kroll, Mathias Dunkel, Christian Senger, Gady Goldsobel, Daniel Kuzman, Stefan Guenther, Rainer Winnenburg, Michael Schroeder, and Robert Preissner.
    Nucleic Acids Research, 38(Database issue):D237--D243, 2010, Impact factor 2009: 6.9, [paper]
  26. MeMotif: Structural fragment clustering reveals novel structural and functional motifs in alpha-helical transmembrane proteins.
    Annalisa Marsico, Kerstin Scheubert, Andreas Henschel, Christof Winter, Rainer Winnenburg, Anne Tuukkanen, Boris Vassilev, and Michael Schroeder.
    Nucleic Acids Research, 38(Database issue):D181--D189, 2010, Impact factor 2009: 6.9, [paper]
  27. Robert Grützmann, Glen Kristiansen, Christian Pilarsky, Hans Detlev Saeger, Michael Schroeder, and Christof Winter.
    Verfahren und Mittel zur Vorhersage der Überlebensdauer beim Pankreaskarzinom durch Analyse von Biomarkern.
    German Patent DE 10 2010 043 541, 2010

    2009

  28. Triangle network motifs predict complexes by complementing high-error interactomes with structural information.
    Bill Andreopoulos, Christof Winter, Dirk Labudde, and Michael Schroeder.
    BMC Bioinformatics, 10(196), 2009, Impact factor 2008: 3.8, [paper]
  29. GoGene: gene annotation on the fast lane.
    Conrad Plake, Loic Royer, Rainer Winnenburg, Jörg Hakenberg, and Michael Schroeder.
    Nucleic Acid Research, 37(2):W300--4, 2009, Impact factor 2008: 6.9, [paper]
  30. GoWeb: A semantic search engine for the life science web.
    Heiko Dietze and Michael Schroeder.
    BMC Bioinformatics, 10(Suppl 10), 2009, Accepted. Impact factor 2008: 3.8, Cited by 10, [paper]
  31. A User-Centered Evaluation Framework for the Sealife Semantic Web Browsers.
    Helen Oliver, Gayo Diallo, Ed de Quincey, Patty Kostkova, Gawesh Jawaheer, Dimitra Alexopoulou, Bianca Habermann, Robert Stevens, Simon Jupp, Khaled Khelif, Michael Schroeder, and Gemma Madle.
    BMC Bioinformatics, 10(Suppl 10), 2009, Impact factor 2008: 3.8, [paper]
  32. Improved mutation tagging with gene identifiers applied to membrane protein stability prediction.
    Rainer Winnenburg, Conrad Plake, and Michael Schroeder.
    BMC Bioinformatics, 10(Suppl 8), 2009, Impact factor 2008: 3.8, Cited by 7, [paper]
  33. Go3R - Semantic Internet Search Engine for Alternative Methods to Animal Testing.
    Ursula G. Sauer, Thomas Wächter, Barbara Grune, Andreas Doms, Michael R. Alvers, Horst Spielmann, and Michael Schroeder.
    ALTEX, 26(1):17--31, 2009, [paper]
  34. Rapid changes of mRNA binding protein levels following glucose and IBMX stimulation of insulinoma INS-1 cells.
    Christin Süss, Cornelia Czupalla, Christof Winter, Theresia Pursche, Klaus Knoch, Michael Schroeder, Bernard Hoflack, and Michele Solimena.
    Molecular and Cellular Proteomics, 8(3):393--408, 2009, Impact factor 2008: 8.8, [paper]
  35. Identifying hot cancer and novel novel cell-cycle genes from literature.
    Loic Royer, Conrad Plake, and Michael Schroeder.
    In Peter Stadler and Stefan Posch, editors, Proceedings of the German Conference on Bioinformatics. Gesellschaft für Informatik, 2009
  36. GoPubMed: Exploring PubMed with Ontological Background Knowledge.
    Heiko Dietze, Dimitra Alexopoulou, Michael R. Alvers, Liliana Barrio-Alvers, Bill Andreopoulos, Andreas Doms, Jörg Hakenberg, Jan Mönnich, Conrad Plake, Andreas Reischuck, Loic Royer, Thomas Wächter, Matthias Zschunke, and Michael Schroeder.
    In Stephen A. Krawetz, editor, Bioinformatics for Systems Biology. Humana Press, 2009, Cited by 13
  37. Nanometis GmbH and TU Dresden.
    Automatic analysis of bio-molecules.
    Filed Patent (European Patent Application Number EPO 9180269.4), 2009
  38. TU Dresden.
    Datenverarbeitungssystem.
    Filed Patent (German Patent Application Number DE 10 2009 043 708.8), 2009

    2008

  39. Biomedical word sense disambiguation with ontologies and meta-data: automation meets accuracy.
    Dimitra Alexopoulou, Bill Andreopoulos, Heiko Dietze, Andreas Doms, Fabien Gandon, Jörg Hakenberg, Khaled Khelif, Michael Schroeder, and Thomas Wächter.
    BMC Bioinformatics, 10(28), 2008, Impact factor 2008: 3.8, Cited by 8, [paper]
  40. Co-expression of KLK6 and KLK10 as prognostic factor for survival in pancreatic ductal adenocarcinoma.
    Felix Rückert, Mario Hennig, Constantina D. Petraki, Diana Wehrum, Marius Distler, Axel Denz, Michael Schroeder, Gihan Dawelbait, Holger Kalthoff, Hans-Detlev Saeger, Eleftherios P. Diamandis, Christian Pilarsky, and Robert Grützmann.
    British Journal of Cancer, 99(9):1484--92, 2008, Impact factor 2008: 4.8, Cited by 14, [paper]
  41. Facts from text: Can text mining help to scale-up high-quality manual curation of gene products with ontologies?.
    Rainer Winnenburg, Thomas Wächter, Conrad Plake, Andreas Doms, and Michael Schroeder.
    Briefings in Bioinformatics, 9(6):466--78, 2008, Impact factor 2008: 4.6, Cited by 23, [paper]
  42. A Roadmap of Clustering Algorithms: Finding the Best Match for a Biomedical Application.
    Bill Andreopoulos, Aijun An, Xiaogang Wang, and Michael Schroeder.
    Briefings in Bioinformatics, 10(3):297--314, 2008, Impact factor 2008: 4.6, Cited by 23, [paper]
  43. Gene mention normalization and interaction extraction with context models and sentence motifs.
    Jörg Hakenberg, Conrad Plake, Loic Royer, Hendrik Strobelt, Ulf Leser, and Michael Schroeder.
    Genome Biology, 9(2):S14, 2008, Impact factor 2008: 6.2, Cited by 36, [paper]
  44. Inter-species normalization of gene mentions.
    Jörg Hakenberg, Conrad Plake, Robert Leaman, Michael Schroeder, and Graciela Gonzalez.
    Bioinformatics, 24(16):126--32, 2008, Impact factor 2007: 5.0, Cited by 43, [paper]
  45. Using protein binding site prediction to improve protein docking.
    Bingding Huang and Michael Schroeder.
    Gene, 422(1-2):14--21, 2008, Impact factor 2007: 2.9, Cited by 17, [paper]
  46. Unraveling Protein Networks with Power Graph Analysis.
    Loic Royer, Matthias Reimann, William Andreopoulos, and Michael Schroeder.
    Plos Computational Biology, 4(7):e1000108, 2008, The paper was selected for the Highlight track of ISMB 2008. According to the ISCB summer newsletter 2009 it was among the journal's most downloaded papers. Impact factor 2007: 6.2, Cited by 26, [paper]
  47. Terminologies for text-mining: an experiment in the lipoprotein metabolism domain.
    Dimitra Alexopoulou, Thomas Wächter, Laura Pickersgill, Cecilia Eyre, and Michael Schroeder.
    BMC Bioinformatics, 9(Suppl4):S2, 2008, Impact factor 2007: 3.5, Cited by 15, [paper]
  48. Word Sense Disambiguation in Biomedical Ontologies with Term Co-occurrence Analysis and Document Clustering.
    Bill Andreopoulos, Dimitra Alexopoulou, and Michael Schroeder.
    International Journal of Datamining and Bioinformatics, 2(3):193--215, 2008, Cited by 11
  49. Searching Biomedical Literature with Anatomy Ontologies.
    Thomas Wächter, Dimitra Alexopoulou, Heiko Dietze, Jörg Hakenberg, and Michael Schroeder.
    In Albert Burger, Richard A Baldock, and Duncan R Davidson, editors, Anatomy Ontologies for Bioinformatics: Principles and Practice. Springer, 2008
  50. Proceedings of the German Conference on Bioinformatics 2008.
    Andreas Beyer and Michael Schroeder, editors.
    Dresden, Germany, 2008. GI

    2007

  51. Using multiple motif descriptors for sequence based binding site prediction.
    Andreas Henschel, Christof Winter, Wan Kyu Kim, and Michael Schroeder.
    BMC Bioinformatics, 8(Suppl 4):S5, 2007, Impact factor 2007: 3.5, Cited by 9, [paper]
  52. Structural templates predict novel protein interactions and targets from pancreas tumour gene expression data.
    Gihan Dawelbait, Christof Winter, Yanju Zhang, Chrisitian Pilarky, Robert Grützmann, Jörg-Chrisitan Heinrich, and Michael Schroeder.
    Bioinformatics, 23:i115--24, 2007, Impact factor 2007: 5.0, Cited by 8, [paper]
  53. Clustering by Common Friends Finds Locally Significant Proteins Mediating Modules.
    Bill Andreopoulos, Aijun An, Xiaogang Wang, Michalis Faloutsos, and Michael Schroeder.
    Bioinformatics, 23(9):1124--1131, 2007, 5th most often accessed 05/2007. Impact factor 2007: 5.0, Cited by 24, [paper]
  54. A novel pattern recognition algorithm to classify membrane protein unfolding pathways with high-throughput single molecule force spectroscopy.
    Annalisa Marsico, Dirk Labudde, Tanuj Sapra, Daniel J. Muller, and Michael Schroeder.
    Bioinformatics, 23(2), 2007, Impact factor 2007: 5.0, Cited by 13, [paper]
  55. Understanding of SMFS barriers by means of energy profiles.
    Frank Dressel, Annalisa Marsico, Anne Tuukkanen, Michael Schroeder, and Dirk Labudde.
    In Claudia Falter, Alexander Schliep, Joachim Selbig, Martin Vingron, and Dirk Walther, editors, Proceedings of German Bioinformatics Conference GCB2007. 2007
  56. Conserved hydrogen bond patterns reveal structural and functional motifs in transmembrane protein regions.
    Annalisa Marsico, Andreas Henschel, Gihan Dawelbait, Christof Winter, Anne Tuukkanen, and Michael Schroeder.
    In Proceedings of Automated Function Prediction 2007. 2007

    2006

  57. Agents in bioinformatics, computational and systems biology.
    Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andrea Doms, Phil Lord, Andrew Martin, Luciano Milanesi, Steffen Moeller, Michael Schroeder, and Michael Luck.
    Briefings in Bioinformatics, 8(1):45--59, 2006, Impact factor 2006: 24, Cited by 35, [paper]
  58. LIGSITE CSC: Predicting ligand binding sites using the Connolly surface and degree of conservation.
    Bingding Huang and Michael Schroeder.
    BMC Structural Biology, 6(1), 2006, 2nd most highly accessed 10/2006. Impact factor 2006: 2.0, Cited by 104, [paper]
  59. The Many Faces of Protein-protein Interactions: A Compendium of Interface Geometry.
    Wan Kyu Kim, Andreas Henschel, Christof Winter, and Michael Schroeder.
    PLoS Computational Biology, 2:e124, 2006, Editor's highlight 10/2006. Impact factor 2006: 4.9, Cited by 57, [paper]
  60. Sealife: A Semantic Grid Browser for the Life Sciences Applied to the Study of Infectious Diseases.
    Michael Schroeder, Albert Burger, Patty Kostkova, Robert Stevens, Bianca Habermann, and Rose Dieng-Kuntz.
    Stud Health Technol Inform, 120:167--78, 2006, Cited by 14, [paper]
  61. SCOWLP: A web-based database for detailed characterization and visualization of protein interfaces.
    Joan Teyra, Andreas Doms, Michael Schroeder, and M. Teresa Pisabarro.
    BMC Bioinformatics, 7(1):104, 2006, Impact factor 2006: 3.6, Cited by 29, [paper]
  62. Equivalent binding sites reveal convergently evolved interaction motifs.
    Andreas Henschel, Wan Kyu Kim, and Michael Schroeder.
    Bioinformatics, 22(5):550--5, 2006, Impact factor 2006: 4.9, Cited by 7, [paper]
  63. SCOPPI: A Structural Classification of Protein-Protein Interfaces.
    Christof Winter, Andreas Henschel, Wan Kyu Kim, and Michael Schroeder.
    Nucleic Acid Research, 34(Database Issue):D310--4, 2006, Impact factor 2006: 6.3, Cited by 86, [paper]
  64. Querying the semantic web: A case study.
    Loic Royer, Benedikt Linse, Thomas Wächter, Francois Bry, and Michael Schroeder.
    In Christopher Baker and Kei-Hoi Cheung, editors, Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences. Springer, 2006
  65. Ontologies and Text Mining as a Basis for a Semantic Web for the Life Sciences.
    Andreas Doms, Vaida Jakonien, Patrick Lambrix, Michael Schroeder, and Thomas Wächter.
    In REWERSE Summerschool 2006, LNCS 4126. Springer, 2006, [paper]
  66. Prova: Rule-based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics.
    Alex Kozlenkov, Rafael Penaloza, Vivek, Nigam, Loic Royer, Gihan Dawelbait, and Michael Schroeder.
    In Sebastian Schaffert, editor, Proceedings of Workshop on Reactivity on the Web at the International Conference on Extending Database Technology (EDBT 2006). Springer, 2006, [paper]
  67. A novel, comprehensive method to detect and predict protein-protein interactions applied to the study of vesicular trafficking.
    Christof Winter, Thorsten Baust, Bernard Hoflack, and Michael Schroeder.
    In Oliver Kohlbacher and Andrei Lupas, editors, Proceedings of German Bioinformatics Conference GCB2006, 2006, Cited by 8
  68. Classifying permanent and transient protein interactions.
    Samatha Kottha and Michael Schroeder.
    In Oliver Kohlbacher and Andrei Lupas, editors, Proceedings of German Bioinformatics Conference GCB2006, 2006
  69. A structure-based analysis of Single Molecular Force Spectroscopy (SMFS) data for bacteriorhodopsin and four mutants.
    Annalisa Marsico, Tanuj Sapra, Daniel J. Muller, Michael Schroeder, and Dirk Labudde.
    In Michael Berthold and Robert Glen, editors, Proceedings of the 2nd International Symposium on Computational Life Science. Springer, 2006
  70. A corpus-driven approach for the design, evolution, and alignment of ontologies.
    Thomas Wächter, He Tan, Andre Wobst, Patrick Lambrix, and Michael Schroeder.
    In Adelinde M. Uhrmacher, editor, Proceedings of the Winter Simulation Conference (Computational Systems Biology), 2006, Cited by 10
  71. Improving text mining with controlled natural language: A case study for protein interactions.
    Tobias Kuhn, Loic Royer, Norbert E. Fuchs, and Michael Schroeder.
    In Ulf Leser, Barbara Eckman, and Felix Naumann, editors, Proc. of 3rd International Workshop on Data Integration in the Life Sciences 2006 (DILS'06), volume LNBI. Springer, 2006, Cited by 14, [paper]
  72. Special issue on life science of Journal on Web Semantics.
    Michael Schroeder and Eric Neumann, editors.
    Elsevier, 2006

    2005

  73. GoPubMed: Exploring PubMed with the Gene Ontology.
    Andreas Doms and Michael Schroeder.
    Nucleic Acid Research, 33(Web Server Issue):W783--W786, 2005, Impact factor 2005: 7.6, Cited by 216, [paper]
  74. Comparative interactomics analysis of protein family interaction networks using PSIMAP (protein structural interactome map).
    Daeui Park, Semin Lee, Dan Bolser, Michael Schroeder, Michael Lappe, Donghoon Oh, and Jonghwa Bhak.
    Bioinformatics, 21(15):3234--3240, 2005, Impact factor 2005: 6.0, Cited by 29, [paper]
  75. PSIbase: a Database of Protein Structural Interactome MAP (PSIMAP).
    Sungsam Gong, Giseok Yoon, Jang Insoo, Dan Bolser, Panos Dafas, Michael Schroeder, Hansol Choi, Yoobok Cho, Kyungsook Han, Sunghoon Lee, Hwanho Choi, Donghoon Oh, Michael Lappe, Liisa Holm, Sangsoo Kim, and Jonghwa Bhak.
    Bioinformatics, 21(10):2541--2543, 2005, Impact factor 2005: 6.0, Cited by 51, [paper]
  76. A parameterised Hierarachy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics.
    Ralf Schweimeier and Michael Schroeder.
    Journal of Theory and Practice of Logic Programming, 5(1,2):207--242, 2005, Impact factor 2005: 1.4, Cited by 10, [paper]
  77. Using residue propensities and tightness of fit to improve rigid-body protein-protein docking.
    Bingding Huang and Michael Schroeder.
    In Matthias Rarey, Andrew Torda, Stefan Kurtz, and Ute Willhöft, editors, Proceedings of German Bioinformatics Conference. GI LNI71, 2005, [paper]
  78. How to query the GeneOntology.
    Andreas Doms, Tim Furche, Albert Burger, and Michael Schroeder.
    In Catherine Bounsaythip, editor, Proc. of KRBIO'05: Symposium on Knowledge Representation in Bioinformatics, 2005, [paper]
  79. Structural protein interactions predict kinase-inhibitor interactions in upregulated pancreas tumour genes expression data.
    Gihan Dawelbait, Christian Pilarsky, Yanju Zhang, Robert Grützmann, and Michael Schroeder.
    In Kay Diederichs, Robert Glen, and Oliver Kohlbacher, editors, Proceedings of the 1st International Symposium on Computational Life Science. Springer LNBI, 2005, [paper]

    2004

  80. Using convex hulls to extract interaction interfaces from known structures.
    Panos Dafas, Dan Bolser, Jacek Gomoluch, Jong Park, and Michael Schroeder.
    Bioinformatics, 20(10), 2004, Impact factor 2004: 5.7, Cited by 16, [paper]
  81. Performance Evalutation of Market-based Resource Allocation for Grid Computing.
    Jacek Gomoluch and Michael Schroeder.
    Concurrency and Computation: Practice and Experience, 16:469--75, 2004, Impact factor 2004: 0.58, [paper]
  82. Integrating gene expression data, protein interaction data, and ontology-based literature search.
    Panos Dafas, Alexander Kozlenkov, Alan Robinson, and Michael Schroeder.
    In Werner Dubitzky and Francisco Azuaje, editors, Artificial Intelligence and Systems Biology, pages 107--126. Springer, 2004, [paper]
  83. GoPubMed: ontology-based literature search applied to Gene Ontology and PubMed.
    Ralph Delfs, Andreas Doms, Alexander Kozlenkov, and Michael Schroeder.
    In Proc. of German Bioinformatics Conference, Bielefeld, Germany, 2004. LNBI Springer, Cited by 26, [paper]
  84. Fuzzy Unification and Argumentation for Well-founded Semantics.
    Michael Schroeder and Ralf Schweimeier.
    In Peter Van Emde Boas, Jaroslav Pokorny, Peter Sincak, and Julius Stuller, editors, Proceedings of the Conference on Current Trends in Theory and Practice of Informatics. Springer, 2004, Cited by 5, [paper]
  85. PROVA: Rule-based Java-Scripting for a Bioinformatics Semantic Web.
    Alexander Kozlenkov and Michael Schroeder.
    In E. Rahm, editor, International Workshop on Data Integration in the Life Sciences DILS, Leipzig, Germany, 2004. Springer, Cited by 19, [paper]

    2003

  86. Rule-Based Agents for the Semantic Web.
    Jens Dietrich, Alexander Kozlenkov, Michael Schroeder, and Gerd Wagner.
    Journal on Electronic Commerce Research Applications, 2(4):323--38, 2003, Cited by 31, [paper]
  87. Visualisation and Graph-theoretic Analysis of the Large-scale Protein Structural Interactome.
    Dan Bolser, Panos Dafas, Richard Harrington, Jong Park, and Michael Schroeder.
    BMC Bioinformatics, 4(45), 2003, Highly accessed. Impact factor 2004: 5.4, Cited by 27, [paper]
  88. Intelligent Information Integration: From information integration infrastructure through consistency management to information visualisation.
    Michael Schroeder.
    In Jason Dykes, Menno-Jan Kraak, and Alan McEachren, editors, Exploring geoVisualization. International Cartographic Association, 2003, [paper]
  89. Connecting people, data, and resources - Distributed GeoVisualization.
    Ken Brodlie, David Fairbairn, Zarine Kemp, and Michael Schroeder.
    In Jason Dykes, Menno-Jan Kraak, and Alan McEachren, editors, Exploring geoVisualization. International Cartographic Association, 2003
  90. Protein Structure Interactions: From Months to Minutes.
    Panos Dafas, Jacek Gomoluch, Alexander Kozlenkov, and Michael Schroeder.
    In Wolfgang Nagel, editor, Proceedings of the International Conference on Parallel Computing (Bioinformatics Minisymposium), 2003, [paper]
  91. Fast and Efficient Computation of Domain-Domain Interactions from known Protein Structures in the PDB.
    Panos Dafas, Dan Bolser, Jacek Gomoluch, Jong Park, and Michael Schroeder.
    In H.W. Frisch, D. Frishman, V. Heun, and S. Kramer, editors, Proceedings of German Conference on Bioinformatics, pages 27--32, 2003, Cited by 5
  92. Aspects of human centred design in the role of visualisation systems: signature exploration and the use of generic datasets.
    Penny Noy and Michael Schroeder.
    In Gustav Lundberg, editor, Proceedings of the Conference on Distributed Decision Making and Man-Machine Cooperation, HCP'03, 2003, [paper]
  93. Visualisation and Analysis of Bibliographic Networks in the Biomedical Literature: A Case Study.
    Michael Schroeder and Cecilia Eyre.
    In Proceedings of ECML/PKDD Workshop on Textmining for Bioinformatics, 2003, [paper]
  94. Interaction Monitoring and Termination Detection for Agent Societies: Preliminary Results.
    Tshiamo Motshegwa and Michael Schroeder.
    In Proceedings of International Workshop on Engineering Societies of Agents, ESAW03, 2003, [paper]
  95. Advancing Profile Use in Agent Societies.
    Penny Noy and Michael Schroeder.
    In Proceedings of International Workshop on Engineering Societies of Agents, ESAW03, 2003, [paper]
  96. Approximate Profile Utilization for Finding Like Minds and Personalization in Socio-Cognitive Grids.
    Penny Noy and Michael Schroeder.
    In 1st International Workshop on Socio-Cognitive Grids: The Net as a Universal Human Resource, in conjunction with Tales of the Disappearing Computer, Santorini, Greece, 2003. [paper]
  97. Market-based Resource Allocation for Grid Computing: A Model and Simulation.
    Jacek Gomoluch and Michael Schroeder.
    In 1st International Workshop on Middleware for Grid Computing, Rio de Janeiro, Brazil, 2003. Cited by 79, [paper]
  98. Proceedings of the 2nd International Workshop on Rule Mark-up Languages RuleML2003.
    Michael Schroeder and Gerd Wagner, editors.
    Florida, USA, 2003. Springer

    2002

  99. A Quantitative and Qualitative Comparison Of Distributed Information Processing Using Mobile Agents realised in RMI and Voyager.
    Patrick Cogan, Jacek Gomoluch, and Michael Schroeder.
    Journal of Software Engineering and Knowledge Engineering, 11(5):583--605, 2002, Impact factor 2002: 0.34, Cited by 6, [paper]
  100. Using Extended Logic Programming for Alarm-Correlation in Cellular Phone.
    Carlos Damasio, Peter Fröhlich, Wolfgang Nejdl, Luis Moniz Pereira, and Michael Schroeder.
    International Journal of Applied Intelligence, 17(2):187--202, 2002, [paper]
  101. Intelligent Traders for Co-operative Rooms.
    Reinhold Kloos, Rolf Reinema, and Michael Schroeder.
    International Journal of Information Technology and Decision Making (IJITDM), 1(3):401--22, 2002
  102. Notions of Attack and Justified Arguments for Extended Logic Programs.
    Ralf Schweimeier and Michael Schroeder.
    In F. van Harmelen, editor, Proceedings of the 15th European Conference on Artificial Intelligence, Lyon, France, July 2002. IOS Press, [paper]
  103. Defining Like-minded Agents with the Aid of Visualization.
    Penny Noy and Michael Schroeder.
    In S. J. Simoff, M. Noirhomme-Fraiture, and M. H. Böhlen, editors, Proceedings of the ECML/PKDD Workshop on Visual Datamining, Helsinki, Finland, 2002. Cited by 5, [paper]
  104. Can hierarchical clustering improve the efficiency of non-linear dimension reduction with spring embedding?.
    Michael Schroeder and George Katopodis.
    In S. J. Simoff, M. Noirhomme-Fraiture, and M. H. Böhlen, editors, Proceedings of the ECML/PKDD Workshop on Visual Datamining, Helsinki, Finland, 2002. [paper]
  105. Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents.
    Michael Schroeder and Ralf Schweimeier.
    In J. Dix, J. Leite, and K. Satoh, editors, Proceedings of the ICLP workshop CLIMA02, Copenhagen, Denmark, 2002. Elsevier, Cited by 16, [paper]
  106. Flexible Load Balancing in Distributed Information Agent Systems.
    Jacek Gomoluch and Michael Schroeder.
    In M. Luck, V. Marik, O. Stepankova, and R. Trappl, editors, Multi-Agent Systems and Application II (selected revised papers of 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001). LNAI 2322, Springer Verlag, 2002
  107. Well-founded argumentation semantics for extended logic programming.
    Ralf Schweimeier and Michael Schroeder.
    In R. Da Silva Neves and S. Benferhat, editors, Proceedings of International Workshop on Non-monotonic Reasoning, Toulouse, France, April 2002. Cited by 10, [paper]
  108. Proceedings of the 1st International Workshop on Rule Mark-up Languages RuleML2002.
    Michael Schroeder and Gerd Wagner, editors.
    Sardinia, Italy, 2002
  109. Proceedings of the AISB Symposium on AI and Grid computing.
    Omer Rana and Michael Schroeder, editors.
    London, UK, 2002

    2001

  110. Information Agents on the Move: A Survey on Load-balancing with Mobile Agents.
    Jacek Gomoluch and Michael Schroeder.
    Software Focus, 2(2):31--36, 2001, Cited by 33, [paper]
  111. Conflict-Resolution for the Automated Annotation of Transmembrane Proteins.
    Steffen Möller, Rolf Apweiler, and Michael Schroeder.
    Journal of Computing and Chemistry, 46(1):41--49, 2001, Impact factor 2001: 1.1, [paper]
  112. Approaches to Visualisation in Bioinformatics: from Dendrograms to Space Explorer.
    Michael Schroeder, David Gilbert, Jacques van Helden, and Penny Noy.
    Information Sciences: An International Journal, 139(1):19--57, 2001, Impact factor 2001: 0.79, Cited by 12, [paper]
  113. Multi-agent visualisation based on multivariate data.
    Michael Schroeder and Penny Noy.
    In E. Andre, S. Sen, C. Frasson, and J. Müller, editors, Proceedings of Autonomous Agents2001, Montreal, Canada, 2001. ACM Press, Cited by 32, [paper]
  114. Fuzzy argumentation and extended logic programming.
    Ralf Schweimeier and Michael Schroeder.
    In S. Parsons and T. Hunter, editors, Proceedings of ECSQARU Workshop Adventures in Argumentation, Toulouse, France, September 2001. Cited by 16, [paper]
  115. Introducing Signature Exploration: a means to aid the comprehension and choice of visualization algorithms.
    Penny Noy and Michael Schroeder.
    In S. J. Simoff, M. Noirhomme-Fraiture, and M. H. Böhlen, editors, Proceedings of the International Workshop on Visual Datamining, Freiburg, Germany, Sept 2001. [paper]
  116. Negotiation With Argumentation: How To Argue Efficiently.
    Tshiamo Motshegwa and Michael Schroeder.
    In Proceedings of the 3rd Agent Summerschool, Prague, Czech Republic, 2001
  117. An Adaptive Trading Framework based on Agents supporting a Geographically Distributed Team.
    Reinhold Kloos and Michael Schroeder.
    In Proceedings of the 3rd Agent Summerschool, Prague, Czech Republic, 2001
  118. Does the restart method work? Preliminary Results on Efficiency Improvements for Interactions of Web-Agents.
    Michael Schroeder and Luke Boro.
    In T. Wagner and O. Rana, editors, Proceedings of the Workshop on Infrastructure for Agents, MAS, and scalable MAS at the Conference Autonomous Agents 2001, Montreal, Canada, 2001. Springer-Verlag, Cited by 8, [paper]
  119. Proceedings of the AISB Symposium on Information Agents for E-commerce.
    Michael Schroeder and Kostas Stathis, editors.
    York, UK, 2001
  120. Journal of the Society for Artificial Intelligence and Social Behaviour, Special Issue on Agents, 1(1).
    Eduardo Alonso, Simon Colton, Daniel Kodenko, Luc Moreau, Michael Schroeder, and Kostas Stathis, editors.
    2001, Cited by 124

    2000

  121. Interactive Visualization of Relationships between Biological Objects.
    David Gilbert, Michael Schroeder, and Jacques van Helden.
    Trends in Biotechnology, 18(12):487--493, Dec 2000, Impact factor 2001: 5.0, Cited by 41
  122. Towards a Visualisation of Arguing Agents.
    Michael Schroeder.
    Future Generation Computing Systems, 17(1):15--26, September 2000, [paper]
  123. Vivid Agents: Theory, Architecture, and Applications.
    Michael Schroeder and Gerd Wagner.
    International Journal for Applied Artificial Intelligence, 14(7):645--76, August 2000, Impact factor 2001: 0.67, Cited by 15, [paper]
  124. FURY: Fuzzy unification and resolution based on edit distance.
    David Gilbert and Michael Schroeder.
    In Nikolaos Bourbakis, editor, Proceedings of BIBE2000 - IEEE International Symposium on Bio-Informatics and Biomedical Engineering, Washington, DC, USA, November 2000. IEEE Press, [paper]
  125. Consistent Integration of Non-reliable Heterogeneous Information Applied to the Annotation of Transmembrane Proteins.
    Steffen Möller and Michael Schroeder.
    In D. Corne and A. Martin, editors, Proceedings of AISB2000, Birmingham, UK, 2000. AISB Press, [paper]
  126. Interactive visualisation and exploration of biological data.
    David Gilbert, Jacques van Helden, and Michael Schroeder.
    In J. R. Gattiker and J. T. L. Wang, editors, Proceedings of 5th Conference on Information Sciences (Stream on Biomolecular Informatics), Atlantic City, USA, February 2000. Cited by 5, [paper]
  127. Mobile agents for distributed processing.
    Penny Noy and Michael Schroeder.
    In T. Wagner and O. Rana, editors, Proceedings of Workshop on Infrastructure for Scalable Multi-agent Systems at Autonomous Agents 2000, Barcelona, Spain, 2000. Springer-Verlag
  128. Application of Regulatory Sequence Analysis and Metabolic Network Analysis to the Interpretation of Gene Expression Data.
    Jacques van Helden, David Gilbert, Lorenz Wernisch, Michael Schroeder, and Shoshana Wodak.
    In O. Gascuel and M.-F. Sagot, editors, IM 2000 - Journees Ouvertes : Biologie, Informatique et Mathematiques, Montpellier, France, May 2000. Springer-Verlag, Cited by 29
  129. Trading without explicit onologies.
    Michael Schroeder, Julie McCann, and Daniel Haynes.
    In F. Dignum, U. Cortes, A. Moukas, P. Noriega, and J.A. Rodriguez-Aguilar, editors, Proceedings of Agent-mediated E-commercerce, Barcelona, Spain, 2000. Springer-Verlag, [paper]
  130. Intelligent Traders for Co-operative Rooms.
    Reinhold Kloos, Rolf Reinema, and Michael Schroeder.
    In M. Petsch and B. Lees, editors, Proceedings of Workshop on Intelligent Agents for Computer Supported Co-operative Work: Technology and Risks at Autonomous Agents, Barcelona, Spain, 2000. [paper]
  131. Are distributed objects agents?.
    Michael Schroeder.
    In Y. Lesprance, G. Wagner, and E. Yu, editors, Proceedings of the International Workshop on Agent-oriented Information Systems AOIS, Barcelona, Spain, 2000. Springer-Verlag, Cited by 7

    1999

  132. Negotiation in Multi-Agent Systems.
    Martin Beer, Mark D'Inverno, Michael Luck, Nick Jennings, Chris Preist, and Michael Schroeder.
    Knowledge Engineering Review, 14(3):285--289, 1999, Impact factor 2001: 0.71, Cited by 79
  133. How to tell a logical story.
    Michael Schroeder.
    In M. Mateas and P. Sengers, editors, Proceedings of the AAAI Fall Symposium 1999 (Stream on Narrative Intelligence), Cape Cod, USA, Nov 1999. Cited by 6, [paper]
  134. An In-Service Agent Monitoring and Analysis System.
    Zhan Cui, Brian Odgers, and Michael Schroeder.
    In F. Bastani and W. Meng, editors, Proceedings of the 11th International Conference on Tools with Artificial Intelligence ICTAI99, Chicago, USA, Nov 1999. IEEE Press, Cited by 17, [paper]
  135. A Knowledge-Based Real-Time Diagnostic System for PLC Controlled Manufacturing Systems.
    Wenbin Hu, Michael Schroeder, and Andrew Starr.
    In K. Ito, K. Tanie, W. Gruver, and P. Borne, editors, Proceedings of the IEEE Conference on Systems, Man, and Cybernetics, Tokyo, Japan, Oct 1999. IEEE Press, [paper]
  136. Ultima Ratio - A Visual Language for Argumentation.
    Michael Schroeder, Daniela Plewe, and Andreas Raab.
    In Proceedings of International Conference on Information Visualisation, London, UK, July 1999. IEEE Press, [paper]
  137. Verification of Business Processes for a Correspondence Handling Center using CCS.
    Michael Schroeder.
    In A. I. Vermesan and F. Coenen, editors, Proceedings of European Symposium on Validation and Verification of Knowledge Based Systems and Components, Oslo, Norway, June 1999. Kluwer Academic Press, [paper]
  138. Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks.
    Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder, Carlos Damasio, and Luis Moniz Pereira.
    In I. F. Imam, Y. Kodratoff, A. El-Dessouki, and M. Ali, editors, Proceedings of the Twelfth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 1999. LNAI 1611, Springer-Verlag, [paper]
  139. Using Singular Value Decomposition to Visualise Relations within Multi-Agent Systems.
    Michael Schroeder.
    In J. Bradshaw, O. Etzioni, and J. Müller, editors, Proceedings of the third International Conference on Autonomous Agents AA99, Seattle, USA, May 1999. ACM Press, Cited by 16, [paper]
  140. An efficient argumentation framework for negotiating autonomous agents.
    Michael Schroeder.
    In F. J. Garijo and M. Boman, editors, Proceedings of the workshop on Modelling Autonomous Agents in a Multi-Agent World MAAMAW99, Valencia, Spain, July 1999. LNAI 1647, Springer-Verlag, Cited by 32, [paper]
  141. Using VRML to visualise argumentation, agents, and arguing agents - A preliminary report.
    Michael Schroeder.
    In C. Bauer and S. Diehl, editors, Proceedings of the Workshop of Educational Applications of VRML at VRML99, Paderborn, Germany, February 1999. [paper]
  142. Diagnostic Agents for Distributed Systems.
    Peter Fröhlich, Iara de Almeida Mora, Wolfgang Nejdl, and Michael Schroeder.
    In J.-J. Ch. Meyer and P.Y. Schobbens, editors, Formal Models of Agents, Proceedings of ModelAge97, Sienna, Italy, 1999. LNAI 1760, Springer-Verlag, Cited by 37, [paper]

    1998

  143. Strategies in Model-based Diagnosis.
    Peter Fröhlich, Wolfgang Nejdl, and Michael Schroeder.
    Journal of Automated Reasoning, 20(1,2):81--105, 1998, Impact factor 2001: 0.49, [paper]
  144. Michael Schroeder.
    Autonomous, Model-based Diagnosis-Agents.
    Kluwer Academic Press, 1998, [Model-based Diagnosis]
  145. Ultima Ratio - Should Hamlet kill Claudius?.
    Michael Schroeder, Daniela Plewe, and Andreas Raab.
    In K. P. Sycara, T. Finin, and M. Wooldridge, editors, Proceedings of the second International Conference on Autonomous Agents AA98, Minneapolis, USA, May 1998. ACM Press, Cited by 24
  146. Vivid Agents arguing about Distributed Extended Logic Programs.
    Michael Schroeder, Iara Mora, and Jose Julio Alferes.
    In M. Fischer, editor, Proceedings of the Workshop of UK Special Interest Group on Multi-Agent Systems, Manchester, UK, December 1998. Cited by 12
  147. Argumentation and Cooperation for Distributed Extended Logic Programs.
    Iara Mora, Jose Julio Alferes, and Michael Schroeder.
    In J. Dix and J. Lobo, editors, Working notes of the workshop on Non-monotonic Reasoning, Trento, Italy, May 1998. Cited by 14, [paper]
  148. Towards Visualisation of Multi-Agent Systems.
    Michael Schroeder.
    In D. D'Aloisi, editor, Proceedings of the Workshop on Interaction Agents, Aquila, Italy, May 1998. [paper]

    1997

  149. A Brief History of the Notation of Boole's Algebra.
    Michael Schroeder.
    Nordic Journal of Philosophical Logic, 2(1):41--62, 1997, [paper]
  150. Methodological Foundations of Agent-based Systems.
    Michael Fischer, Jörg Möller, Michael Schroeder, Geof Staniford, and Gerd Wagner.
    Knowledge Engineering Review, 12(3):323--329, 1997, [paper]
  151. Distributed Diagnosis by Vivid Agents.
    Michael Schroeder and Gerd Wagner.
    In W. L. Johnson, N. Jennings, B. Hayes-Roth, and P. Maes, editors, Proceedings of the first International Conference on Autonomous Agents AA97, Marina del Rey, CA, February 1997. ACM Press, Cited by 25, [paper]
  152. CAP - Concurrent Action and Planning: Using PVM-Prolog to Implement Vivid Agents.
    Michael Schroeder, Rui Marques, Gerd Wagner, and Jose Cunha.
    In R. Drogemuller, editor, Proceedings of the fifth Conference on Practical Applications of Prolog, London, UK, April 1997. [paper]
  153. REVISE: Logic Programming and Diagnosis.
    Carlos Viegas Damasio, Luis Pereira, and Michael Schroeder.
    In J. Dix, U. Fuhrbach, and A. Nerode, editors, Proceedings of the Fourth International Conference on Logic Programming and Non-monotonic Reasoning LPNMR97, Bonn, Germany, July 1997. LNAI 1265, Springer-Verlag, [paper]
  154. Vivid Agents arguing about Distributed Extended Logic Programs.
    Michael Schroeder, Iara Mora, and Jose Julio Alferes.
    In E. Costa and A. Cardoso, editors, Proceedings of the Portuguese Conference on Artificial Intelligence EPIA97, Coimbra, Portugal, Oct 1997. LNAI 1323, Springer-Verlag, Cited by 12, [paper]
  155. Rapid Prototyping for Web-Mediators: Integrating Distributed Knowledge using Vivid Agents.
    Michael Schroeder and Wolfgang Nejdl.
    In R. Reddy and F. Pena-Mora, editors, Working Notes of the Sixth Workshop on Enabling Technologies: Infrastructure for Collabortive Enterprises, Boston, USA, June 1997. [paper]
  156. Argumentation for Distributed Extended Logic Programs.
    Iara Mora, Jose Julio Alferes, and Michael Schroeder.
    In Proceedings of the 1st International Workshop on Logic Programming and Multi-Agents, Leuven, Belgium, July 1997. [paper]
  157. Will Concurrency Theory help verifying Multi-Agent Systems? A Case Study.
    Michael Schroeder.
    In Proceedings of the EPIA Workshop on Multi-Agent Systems: Theory and Applications, MASTA97, Coimbra, Portugal, 1997. [paper]

    1996

  158. A Deliberative and Reactive Diagnosis Agent based on Logic Programming.
    Michael Schroeder, Iara de Almeida Mora, and Luis Pereira.
    In R. Brause, B. Manaris, and P. Marquis, editors, Proceedings of International Conference on Tools in Artificial Intelligence ICTAI96, Toulouse, France, November 1996. IEEE Press, Cited by 28
  159. Concurrent Action and Planning.
    Michael Schroeder and Gerd Wagner.
    In Proceedings of Workshop on Foundations of Multi-Agent Systems, Warwick, UK, October 1996. [paper]
  160. A Deliberative and Reactive Diagnosis Agent based on Logic Programming.
    Michael Schroeder, Iara de Almeida Mora, and Luis Pereira.
    In J. Müller, M. Wooldridge, and N. Jennings, editors, Intelligent Agents III, Proceedings of Agent Theories, Architectures and Language, ATAL96, Budapest, Hungary, August 1996. LNAI 1193, Springer-Verlag, Cited by 28, [paper]
  161. REVISE Report: An Architecture for a Diagnosis Agent.
    Michael Schroeder, Carlos Viegas Damasio, and Luis Pereira.
    In ECAI96-Workshop on Integrating Non-Monotonicity into Automated Reasoning, Budapest, Hungary, August 1996. [paper]
  162. Design and Implementation of Diagnostic Strategies using Modal Logic.
    Peter Fröhlich, Wolfgang Nejdl, and Michael Schroeder.
    In J. J. Alferes, L. M. Pereira, and E. Orlowska, editors, Proceedings of 5th European Workshop on Logics in Artificial Intelligence, JELIA96, Evora, Portugal, October 1996. LNAI 1126, Springer-Verlag, [paper]

    1995

  163. A final frontier: Preferences for Strategies.
    Michael Schroeder.
    In Proceedings of VI Conference of the Spanish Association for Artificial Intelligence, CAEPIA95, Alicante, Spain, November 1995. [paper]
  164. A formal framework for representing diagnosis strategies in model-based diagnosis systems.
    Peter Fröhlich, Wolfgang Nejdl, and Michael Schroeder.
    In R. Perrault and C.S. Mellish, editors, International Joint Conference on Artificial Intelligence IJCAI95, Montreal, Canada, August 1995. [paper]
  165. Model-based diagnosis preferences and strategies representation with logic meta-programming.
    Carlos Viegas Damasio, Wolfgang Nejdl, Luis Pereira, and Michael Schroeder.
    In K. Apt and F. Turini, editors, Meta-logics and Logic Programming, chapter 11, pages 269--311. MIT Press, 1995, [paper]

    1994

  166. A formal semantics for preferences and strategies in model-based diagnosis.
    Peter Fröhlich, Wolfgang Nejdl, and Michael Schroeder.
    In 5th International Workshop on Principles of Diagnosis DX94, pages 106--113, New Paltz, NY, October 1994. [paper]
  167. Zhan Cui, Brian Odgers, and Michael Schroeder.
    Distributed software system visualisation.
    Filed Patent (European Patent Application Number 99305279.4, UK Application Number 9907492.4, filed in US and Canada, United States Patent 7155715), Filed 2000, issued 2006, [Distributed Systems]

    To the top of this page.

    Our friends and partners: