Contact  People Projects Teaching Papers  Intranet 

STS-Papers

Books, Articles and Conference papers

The list of publications is also available as Postscript document.


2013

Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, and Dmitriy Zheleznyakov. Optique: OBDA Solution for Big Data. In Proc. ESWC (Satellite Events), pages 293–295, 2013.
Bibtex entry  Paper (PDF)

Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Oezguer Oezcep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, and Dmitriy Zheleznyakov. The Optique Project: Towards OBDA Systems for Industry (Short Paper). In Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013.
Bibtex entry  Paper (PDF)

Robert J. Hendley, Russell Beale, Chris P. Bowers, Christos Georgousopoulos, Charalampos Vassiliou, Petridis Sergios, Ralf Moeller, Eric Karstens, and Dimitris Spiliotopoulos. CASAM: collaborative human-machine annotation of multimedia. Multimedia Tools and Applications Journal (MTAP), March 2013.
Bibtex entry  Paper (PDF)

Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Manolis Koubarakis, Ralf Möller, Konstantina Bereta, Christian Neuenstadt, Özgür L. Özçep, Mikhail Roshchin, Panayiotis Smeros, and Dmitriy Zheleznyakov. Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach. In Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data, pages 33–40, 2013.
Bibtex entry  Paper (PDF)

Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, and Sebastian Wandelt. Advances in Accessing Big Data with Expressive Ontologies. In KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, pages 118–129, 2013.
Bibtex entry  Paper (PDF)

Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, and Sebastian Wandelt. Advances in Accessing Big Data with Expressive Ontologies. In Proc. 26th International Workshop on Description Logics, 2013.
Bibtex entry  Paper (PDF)

Özgür L. Özçep and Ralf Möller. Spatial Semantics for Concepts. In Intern. Workshop on Description Logics, 2013.
Bibtex entry

Georgios Petasis, Ralf Möller, and Vangelis Karkaletsis. BOEMIE: Reasoning-based Information Extraction. In Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), pages 60–75, 2013.
Bibtex entry  Paper (PDF)


2012

Volker Haarslev, Kay Hidde, Ralf Möller, and Michael Wessel. The RacerPro knowledge representation and reasoning system. Semantic Web Journal, 3(3):267–277, 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep, Rolf Grütter, and Ralf Möller. Dynamics of a Nearness Relation—First Results. In Mehul Bhatt, Hans W. Guesgen, and Ernest Davis, editors, Proceedings of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012), 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep, Rolf Grütter, and Ralf Möller. Nearness Rules and Scaled Proximity. In Proc. ECAI 2012, 20th European Conference on Artificial Intelligence, pages 636–641, 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep, Rolf Grütter, and Ralf Möller. Nearness Rules and Scaled Proximity. Technical report (extended version of a paper accepted for publication at ECAI 2012), Institute for Softwaresysteme (STS), Hamburg University of Technology, 2012. Available online at http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep and Ralf Möller. Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 25th Iternational Workshop on Description Logics (DL 2012), volume 846, 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür Lütfü Özçep and Ralf Möller. Computationally Feasible Query Answering over Spatio-thematic Ontologies. In Prof. The Fourth International Conference on Advanced Geographic Information Systems, Applications, and Services, GEOProcessing 2012, 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür Lütfü Özçep and Ralf Möller. Scalable Geo-thematic Query Answering. In Proc. International Semantic Web Conference (ISWC 2012), pages 658–673, 2012.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Towards ABox Modularization of Semi-expressive Description Logics. Journal of Applied Ontology, 7(2):133–167, 2012.
Bibtex entry  Abstract  Paper (PDF)


2011

Sofia Espinosa, Atila Kaya, and Ralf Möller. Knowledge-Driven Multimedia Information Extraction and Ontology Evolution, volume 6050 of LNCS, chapter Logical Formalization of Multimedia Interpretation, pages 110–133. Springer, 2011.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Sebastian Wandelt. Dealing Efficiently with Ontology-Enhanced Linked Data for Multimedia. Technical report, Hamburg University of Technology, 2011.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. Media Interpretation and Companion Feedback for Multimedia Annotation. Technical report, Hamburg University of Technology, 2011.
Bibtex entry  Abstract  Paper (PDF)

Ralf Möller. Zur Rolle der Logik bei der Entwicklung Intelligenter Systeme. KI-Zeitschrift, 25(4):309–311, 2011.
Bibtex entry  Paper (PDF)

H. Neemann, M. Schultjan, O.J.L. Riemann, A. Wichmann, C. Neuenstadt, B. Katzmarski, A. Galkin, and F.H. Wenk. Software-Analyse und Transformation. In Software-Analyse und Transformation (Tagungsband des gemeinsamen NASA Seminars der Softwaretechnik-Abteilungen der Universitäten Bremen, Hamburg-Harburg und Oldenburg). OLNSE, 2010.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep and Ralf Möller. Combining Lightweight Description Logics with the Region Connection Calculus. Technical report, Institute for Softwaresystems (STS), Hamburg University of Technology, 2011. Available online at http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry  Paper (PDF)

Didier Verna and Ralf Möller, editors. Proc. European Lisp Symposium. Hamburg University of Technology, 2011.
Bibtex entry  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Islands and Query Answering for ALCHI-Ontologies. In Proc. Third International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, Heidelberg, Germany, volume 128 of CCIS, pages 224–236. Springer, 2011.
Bibtex entry  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Sound and Complete SHI Instance Retreival for 1 Billion ABox Assertions. In A. Fokuoe, Th. Liebig, and Y. Guo, editors, Workshop on Scalable Semantic Web Systems, pages 75–89, 2011.
Bibtex entry  Abstract  Paper (PDF)


2010

Carola Eschenbach and Özgür L. Özçep. Ontology revision based on reinterpretation. Logic Journal of the IGPL, 18(4):579–616, 2010. first published online August 12, 2009;.
Bibtex entry

O. Gries and R. Möller. Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies. In Thomas Lukasiewicz, Rafael Penaloza, and Anni-Yasmin Turhan, editors, Proc. International Workshop on Uncertainty in Description Logics (UnIDL-2010), 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Sebastian Wandelt. Dealing Efficiently with Ontology-Enhanced Linked Data for Multimedia. In The 5th International Conference on Semantic and Digital Media Technologies (SAMT 2010), Lecture Notes in Computer Science. Springer, 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. Media Interpretation and Companion Feedback for Multimedia Annotation. In The 5th International Conference on Semantic and Digital Media Technologies (SAMT 2010), Lecture Notes in Computer Science. Springer, 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. Meta-level reasoning engine, Report on meta-level reasoning for disambiguation and preference elicitation. Technical report, CASAM Project Deliverable D3.4, 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. A Probabilistic Abduction Engine for Media Interpretation. In Thomas Lukasiewicz, Rafael Penaloza, and Anni-Yasmin Turhan, editors, Proc. International Workshop on Uncertainty in Description Logics (UnIDL-2010), 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. A Probabilistic Abduction Engine for Media Interpretation based on Ontologies. In J. Alferes, P. Hitzler, and Th. Lukasiewicz, editors, Proc. International Conference on Web Reasoning and Rule Systems (RR-2010), 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. A Probabilistic Abduction Engine for Media Interpretation (Extended Version). Technical report, Hamburg University of Technology, 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. Probabilistic abduction engine: Report on algorithms and the optimization techniques used in the implementation. Technical report, CASAM Project Deliverable D3.3, 2010.
Bibtex entry  Abstract  Paper (PDF)

Alissa Kaplunova, Ralf Moeller, Sebastian Wandelt, and Michael Wessel. Towards Scalable Instance Retrieval over Ontologies. In Bi Yaxin and Williams Mary-Anne, editors, Knowledge Science, Engineering and Management, Fourth International Conference, KSEM 2010, Proceedings, volume 6291 of Lecture Notes in Computer Science. Springer, 2010.
Bibtex entry  Abstract  Paper (PDF)

Giorgos Kinoktimon, Dimitris Spiliotopoulos, Christos Georgousopoulos, and Ralf Möller et al. CASAM: A prototype system for computer-aided semantic annotation of multimedia. In The 5th International Conference on Semantic and Digital Media Technologies (SAMT 2010), Lecture Notes in Computer Science. Springer, 2010.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Distributed Island-based Query Answering for Expressive Ontologies. In Volker Haarslev, David Toman, and Grant Weddell, editors, Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, pages 185–196, 2010.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Sound Summarizations for Alchi Ontologies - How to Speedup Instance Checking and Instance Retrieval. In Second International Conference on Agents and Artificial Intelligence (ICAART). INSTICC Press, 2010.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Distributed Island-Based Query Answering for Expressive Ontologies. In Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, and Peter M. A. Sloot, editors, Advances in Grid and Pervasive Computing, 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings, volume 6104 of Lecture Notes in Computer Science, pages 461–470. Springer, 2010.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Distributed Island-based Query Answering for Semi-Expressive Ontologies (Extended Version). Technical report, Hamburg University of Technology, 2010.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Wandelt, Ralf Möller, and Michael Wessel. Towards Scalable Instance Retrieval over Ontologies (Extended Version). Journal of Software and Informatics, 2010.
Bibtex entry  Abstract  Paper (PDF)


2009

S. Espinosa, A. Kaya, and R. Möller. The BOEMIE Semantic Browser: A Semantic Application Exploiting Rich Semantic Metadata. In Proceedings of the Applications of Semantic Technologies Workshop (AST-2009), Lübeck, Germany, 2009.
Bibtex entry  Abstract  Paper (PDF)

S. Espinosa, A. Kaya, and R. Möller. Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes. In Proc. of the 2009 International Workshop on Description Logics DL- 2009, 27 to 30 July 2009, Oxford, United Kingdom, 2009. CEUR Workshop Proceedings (Vol. 477).
Bibtex entry  Abstract  Paper (PDF)

J. Faddoul, V. Haarslev, and R. Möller. Algebraic Tableau Algorithm for ALCOQ. In Proc. of the 2009 International Workshop on Description Logics DL- 2009, 27 to 30 July 2009, Oxford, United Kingdom, 2009. CEUR Workshop Proceedings (Vol. 477).
Bibtex entry  Paper (PDF)

Miguel Garcia. Compiler plugins can handle nested languages: AST-level expansion of LINQ queries for Java. In Moira C. Norris and Michael Grossniklaus, editors, Proceedings of the 2nd Intnl Conf ICOODB 2009, pages 41–58, July 2009. ISBN 978-3-909386-95-6, http://www.sts.tu-harburg.de/people/mi.garcia/pubs/2009/icoodb/compplugin.pdf.
Bibtex entry  Paper (PDF)

O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld. Basic reasoning engine: Report on optimization techniques for first-order probabilistic reasoning. Technical report, Hamburg University of Technology, 2009.
Bibtex entry  Abstract  Paper (PDF)

O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld. CASAM Domain Ontology. Technical report, Hamburg University of Technology, 2009.
Bibtex entry  Abstract  Paper (PDF)

O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld. Formalisms Supporting First-order Probabilistic Structures. Technical report, Hamburg University of Technology, 2009.
Bibtex entry  Abstract  Paper (PDF)

Volker Menrad, Miguel Garcia, and Sibylle Schupp. Improving TinyOS Developer Productivity with Statecharts.
Bibtex entry  Abstract  Paper (PDF)

R. Möller and V. Haarslev. Tableaux-based Reasoning. In S. Staab and R. Studer, editors, Handbook of Ontologies, pages 509–528. Springer, 2009.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Updatable Island Reasoning over ALCHI Ontologies. In Conference on Knowledge Engineering and Ontology Development (KEOD), 2009. CEUR Workshop Proceedings (Vol. 477).
Bibtex entry  Abstract  Paper (PDF)

M. Wessel, M. Luther, and R. Möller. What Happened to Bob? Semantic Data Mining of Context Histories. In Proc. of the 2009 International Workshop on Description Logics DL- 2009, 27 to 30 July 2009, Oxford, United Kingdom, 2009. CEUR Workshop Proceedings (Vol. 477).
Bibtex entry  Paper (PDF)


2008

S. Castano, S. Espinosa, A. Ferrara, V. Karkaletsis, A. Kaya, R. Möller, S. Montanelli, G. Petasis, and M. Wessel. Multimedia Interpretation for Dynamic Ontology Evolution. In Journal of Logic and Computation, volume 19, pages 859–897. Oxford University Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

S. Castano, A. Ferrara, D. Lorusso, T. H. Näth, and R. Möller. Mapping Validation by Probabilistic Reasoning. In Proc. 5th European Semantic Web Conference (ESWC 2008).
Bibtex entry  Abstract  Paper (PDF)

A. G. Cohn, D. C. Hogg, R. Möller, and B. Neumann, editors. Logic and Probability for Scene Interpretation. Dagstuhl Seminar Proceedings, 2008.
Bibtex entry

J. Faddoul, N. Farsinia, V. Haarslev, and R. Möller. A Hybrid Tableau Algorithm for ALCQ. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, July 21-25, pages 725–726, 2008.
Bibtex entry  Abstract  Paper (PDF)

J. Faddoul, N. Farsinia, V. Haarslev, and R. Möller. A Hybrid Tableau Algorithm for ALCQ. In Proceedings of the 2008 International Workshop on Description Logics (DL-2008), Dresden, Germany, May 13-16, 2008.
Bibtex entry  Abstract  Paper (PDF)

Jocelyne Faddoul, Volker Haarslev, and Ralf Möller. Hybrid Reasoning for Description Logics with Nominals and Qualified Number Restrictions. Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany, 2008. See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry  Paper (PDF)

Miguel Garcia. Automating the embedding of Domain Specific Languages in Eclipse JDT, Eclipse Technical Article, 2008. http://www.eclipse.org/articles/Article-AutomatingDSLEmbeddings/index.html.
Bibtex entry  Paper (PDF)

Miguel Garcia. Bidirectional Synchronization of Multiple Views of Software Models. In Dirk Fahland, Daniel A. Sadilek, Markus Scheidgen, and Stephan Weißleder, editors, Proceedings of the Workshop on Domain-Specific Modeling Languages (DSML-2008), volume 324 of CEUR-WS, pages 7–19, 2008. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-324/paper1.pdf.
Bibtex entry  Abstract  Paper (PDF)

Miguel Garcia. Efficient Integrity Checking for Essential MOF + OCL in Software Repositories. Journal of Object Technology, 7(6):101?–119, July-August 2008. http://www.jot.fm/issues/issue_2008_07/article3.pdf.
Bibtex entry  Paper (PDF)

Miguel Garcia. Formalization of QVT-Relations: OCL-based Static Semantics and Alloy-based Validation. In Peter Friese, Simon Zambrovski, and Frank Zimmermann, editors, Proceedings of the Second Workshop on MDSD Today, pages 21–30. Shaker Verlag, October 2008. ISBN 978-3-8322-7627-0, http://www.sts.tu-harburg.de/ mi.garcia/pubs/2008/qvtr/QVTRelationsFormalization.pdf.
Bibtex entry  Paper (PDF)

Miguel Garcia and Ralf Möller. Incremental evaluation of OCL invariants in the Essential MOF object model. In Thomas Kühne, Wolfgang Reisig, and Friedrich Steimann, editors, Modellierung 2008, volume 127 of GI-Edition Lecture Notes in Informatics, pages 11–26, 2008.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. On the Scalability of Description Logic Instance Retrieval. Journal of Automated Reasoning, 41(2):99–142, 2008.
Bibtex entry  Abstract

V. Haarslev and R. Möller. The revival of structural subsumption in tableau-based description logic reasoners. In Proceedings of the 2008 International Workshop on Description Logics (DL-2008), 2008.
Bibtex entry  Abstract  Paper (PDF)

R. Möller and B. Neumann. Ontology-based Reasoning Techniques for Multimedia Interpretation and Retrieval. In Semantic Multimedia and Ontologies : Theory and Applications, pages 55–98. 2008.
Bibtex entry  Abstract  Paper (PDF)

T. Näth and R. Möller. ContraBovemRufum: A System for Probabilistic Lexicographic Entailment. In Proc. 21st International Workshop on Description Logics (DL2008), 2008.
Bibtex entry

S. Espinosa Peraldi, A. Kaya, S. Melzer, and R. Möller. On Ontology Based Abduction for Text Interpretation. In A. Gelbukh, editor, Proc. of 9th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing-2008), number 4919 in LNCS, pages 194–205. Springer, 2008.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Island Reasoning for ALCHI Ontologies. In C. Eschenbach and M. Gr"uninger, editors, Proceedings of the Fifth International Conference on Formal Ontology in Information Systems (FOIS'08), pages 164–177. IOS Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. Software Abstractions for Description Logic Systems. In Proceedings of the 5th European Lisp Workshop (ELW'08), 2008.
Bibtex entry  Abstract  Paper (PDF)


2007

T. Berger, A. Kaplunova, A. Kaya, and R. Möller. Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services. In International Workshop on OWL: Experiences and Directions (OWLED 2007), 2007.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Bossung, Hans-Werner Sehring, Henner Carl, and Joachim W. Schmidt. An Agile Process for the Creation of Conceptual Models from Content Descriptions. In Yannis Ioannidis, Boris Novikov, and Boris Rachev, editors, Proceedings of the 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, volume 4690 of Lecture Notes in Computer Science, pages 114–129. Springer-Verlag, 2007.
Bibtex entry  Paper (PDF)

S. Castano, S. Espinosa, A. Ferrara, V. Karkaletsis, A. Kaya, S. Melzer, R. Möller, and G. Petasis. Ontology Dynamics with Multimedia Information: The BOEMIE Evolution Methodology. In International Workshop on Ontology Dynamics, 2007.
Bibtex entry  Abstract  Paper (PDF)

M. Garcia and R. Möller. Certification of Transformations Algorithms in Model-Driven Software Development. In W.-G. Bleek, J. Räsch, and H. Züllighoven, editors, Software Engineering 2007, volume 105 of GI-Edition Lecture Notes in Informatics, pages 107–118, 2007.
Bibtex entry  Abstract  Paper (PDF)

Miguel Garcia. How to process OCL Abstract Syntax Trees, Eclipse Technical Article, 2007. http://www.eclipse.org/articles/article.php?file=Article-HowToProcessOCLAbstractSyntaxTrees/index.html.
Bibtex entry  Paper (PDF)

Miguel Garcia. Rules for Type-checking of Parametric Polymorphism in EMF Generics, 2007.
Bibtex entry  Paper (PDF)

A. Kaplunova, R. Möller, and M. Wessel. Leveraging the Expressivity of Grounded Conjunctive Query Languages. In Proc. International Workshop on Scalable Semantic Web Systems, 2007.
Bibtex entry  Paper (PDF)

B. Neumann and R. Möller. On Scene Interpretation with Description Logics. Image and Vision Computing, Special Issue on Cognitive Vision, 2007. to appear.
Bibtex entry  Abstract  Paper (PDF)

S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel. Multimedia Interpretation as Abduction. In Proc. DL-2007: International Workshop on Description Logics, 2007.
Bibtex entry  Abstract  Paper (PDF)

S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel. Towards a Media Interpretation Framework for the Semantic Web. The 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI`07), 2007. To appear.
Bibtex entry  Abstract  Paper (PDF)

C. Schultz and R. Möller. Quantifier Elimination of Real Closed Fields in the Context of Applied Description Logic. Verlag Dr. Müller, 2007.
Bibtex entry  Abstract  Paper (PDF)

Hans-Werner Sehring, Sebastian Bossung, Patrick Hupe, Michael Skusa, and Joachim W. Schmidt. Conceptual Content Management for Pattern-based Software Design: An E-Learning Experience. In Proceedings of the Workshop Information Technologies for Business, International Baltic Conference on Databases and Information Systems, Baltic DB&IS 2006, Vilnius, Lithuania, pages 39–51. IEEE, 2006.
Bibtex entry  Paper (PDF)

Hans-Werner Sehring, Sebastian Bossung, Patrick Hupe, Michael Skusa, and Joachim W. Schmidt. Pattern Repositories for Software Engineering Education. In Olegas Vasilecas, Johann Eder, and Albertas Caplinskas, editors, Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006, pages 40–54. IOS Press, 2007.
Bibtex entry  Paper (PDF)

S. Wandelt and R. Möller. Scalability of OWL Reasoning: Role condensates. In Proc. International Workshop on Scalable Semantic Web Systems, 2007.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools. In International Workshop on OWL: Experiences and Directions (OWLED 2007), 2007.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. Flexible Software Architectures for Ontology-Based Information Systems. Journal of Applied Logic, Special Issue on Emperically Sucessful Systems (2007), 2007. to appear.
Bibtex entry  Abstract  Paper (PDF)


2006


Sebastian Bossung, Hans-Werner Sehring, Patrick Hupe, and Joachim W. Schmidt. Open and Dynamic Schema Evolution in Content-intensive Web Applications. In Jose Cordeiro, Vitor Pedrosa, Bruno Encarnacao, and Joaquim Filipe, editors, Proceedings of the Second International Conference on  Web Information Systems and Technologies, pages 109–116. INSTICC, INSTICC Press, April 2006.
Bibtex entry  Abstract  Paper (PDF)

Sofia Espinosa and Ralf Möller. Cost-efficient web service composition for processes with distributed retrieval queries: Position paper. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.
Bibtex entry  Paper (PDF)

Miguel Garcia. Formalizing the well-formedness rules of EJB3QL in UML + OCL. In T. Kühne, editor, Reports and Revised Selected Papers, Workshops and Symposia at MoDELS 2006, Genoa, Italy, LNCS 4364, pages 66––75. Springer-Verlag, 2006.
Bibtex entry  Paper (PDF)

Alissa Kaplunova, Atila Kaya, and Ralf Möller. Experiences with Load Balancing and Caching for Semantic Web Applications. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.
Bibtex entry  Paper (PDF)

C. Lutz, F. Baader, E. Franconi, D. Lembo, R. Möller, R. Rosati, U. Sattler, B. Suntisrivaraporn, and S. Tessaris. Reasoning Support for Ontology Design. In B. Cuenca Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006. To appear.
Bibtex entry  Abstract  Paper (PDF)

Sylvia Melzer and Ralf Möller. How sensor data interpretation could benefit from description logics: Position paper. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.
Bibtex entry  Paper (PDF)

Ralf Möller, Volker Haarslev, and Michael Wessel. On the Scalability of Description Logic Instance Retrieval. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.
Bibtex entry  Paper (PDF)

Ralf Möller, Volker Haarslev, and Michael Wessel. On the Scalability of Description Logic Instance Retrieval. In Chr. Freksa and M. Kohlhase, editors, 29. Deutsche Jahrestagung für Künstliche Intelligenz, Lecture Notes in Artificial Intelligence. Springer Verlag, 2006.
Bibtex entry  Abstract  Paper (PDF)

B. Neumann and R. Möller. On Scene Interpretation with Description Logics. In H.I. Christensen and H.-H. Nagel, editors, Cognitive Vision Systems: Samping the Spectrum of Approaches, number 3948 in LNCS, pages 247–278. Springer, 2006.
Bibtex entry  Paper (PDF)

Hans-Werner Sehring, Sebastian Bossung, and Joachim W. Schmidt. Content is Capricious: A Case for Dynamic System Generation. In Yannis Manolopoulos, Jaroslav Pokorný, and Timos K. Sellis, editors, Proceedings of the 10th East European Conference, ADBIS 2006, Thessaloniki, Greece, volume 4152 of Lecture Notes in Computer Science, pages 430–445. Springer-Verlag, September 3-7 2006.
Bibtex entry  Paper (PDF)

Michael Skusa. Semantic Coherence in Software Engineering. In George Angelos Papadopoulos and Joaquim Filipe, editors, Proceedings of the 4th ICEIS Doctoral Consortium - DCEIS 2006 in conjunction with ICEIS 2006, pages 118 – 129, Paphos, Cyprus, 5 2006. INSTICC Press, Portugal.
Bibtex entry  Abstract  Paper (PDF)

A.-Y. Turhan, S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. Patel-Schneider, B. Suntisrivaraporn, and T. Weithöner. DIG 2.0 Towards a Flexible Interface for Description Logic Reasoners. In B. Cuenca Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006. To appear.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. A Flexible DL-based Architecture for Deductive Information Systems. In G. Sutcliffe, R. Schmidt, and S. Schulz, editors, Proc. IJCAR-06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), pages 92–111, 2006.
Bibtex entry  Paper (PDF)


2005

Sebastian Bossung, Hans-Werner Sehring, and Joachim W. Schmidt. Conceptual Content Management for Enterprise Web Services. In Jacky Akoka, Stephen W. Liddle, Il-Yeol Songand Michela Bertolottoand Isabelle Comyn-Wattiau, Willem-Jan vanden Heuvel, Manuel Kolp, Juan Trujillo, Christian Kop, and Heinrich C. Mayr, editors, Perspectives in Conceptual Modeling: ER 2005 Workshops CAOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, volume 3770 / 2005 of Lecture Notes in Computer Science, pages 343 – 353. Springer-Verlag, 2005.
Bibtex entry  Paper (PDF)

Sebastian Bossung, Hans-Werner Sehring, Michael Skusa, and Joachim W. Schmidt. Conceptual Content Management for Software Engineering Processes. In Johann Eder, Hele-Mai Haav, Ahto Kalja, and Jaan Penjam, editors, Advances in Databases and Information Systems: 9th East European Conference, ADBIS 2005, volume 3631 / 2005 of Lecture Notes in Computer Science, page 309. Springer-Verlag, 2005.
Bibtex entry  Paper (PDF)

J. Galinski, A. Kaya, and R. Möller. Development of a server to support the formal semantic web query language OWL-QL. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry  Paper (PDF)

V. Haarslev, R. Möller, and M. Wessel. Description Logic Inference Technology: Lessions Learned in the Trenches. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry  Abstract  Paper (PDF)

H.W. Sehring, S. Bossung, and J.W. Schmidt. Active Learning By Personalization - Lessons Learnt from Research in Conceptual Content Management. In Bruno Encarnaca Jose Cordeiro, Vitor Pedrosa and Joaquim Filipe, editors, Proceedings of the 1st International Conference on Web Information Systems and Technologies, pages 496–503. INSTICC Press Miami, May 2005.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. A High Performance Semantic Web Query Answering Engine. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry  Abstract  Paper (PDF)


2004

S. Bechhofer, V. Haarslev, C. Lutz, and R. Möller, editors. KI-2004 Workshop on Applications of Description Logics (ADL'04), 2004. Available at CEUR Workshop Proceedings.
Bibtex entry

Sebastian Bossung, Hermann Stoeckle, John Grundy, Robert Amor, and John Hosking. Automated Data Mapping Specification via Schema Heuristics and User Interaction. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2004.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller, editors. International Workshop on Description Logics (DL2004), 2004. Available as CEUR Workshop Proceedings.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. In Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004, Whistler, BC, Canada, June 2-5, pages 163–173, 2004.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, R. Möller, R. van der Straeten, and M. Wessel. Extended Query Facilities for Racer and an Application to Software-Engineering Problems. In Proceedings of the 2004 International Workshop on Description Logics (DL-2004), Whistler, BC, Canada, June 6-8, pages 148–157, 2004.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, R. Möller, and M. Wessel. Querying the Semantic Web with Racer + nRQL. In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004.
Bibtex entry  Abstract  Paper (PDF)

Atila Kaya and Keno Selzer. Design and Implementation of a Benchmark Testing Infrastructure for the DL System Racer. In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004.
Bibtex entry  Abstract  Paper (PDF)

R. Möller, V. Haarslev, and B. Neumann. Expressive Description Logics for Agent-Based Information Retrieval. In Y J. Cuena, Demazeau, A. Garcia, and J. Treur, editors, Knowledge Engineering and Agent Technology, Volume 52, Frontiers in Artificial Intelligence and Applications. IOS Press, 2004.
Bibtex entry  Abstract  Paper (PDF)


2003

Sean Bechhofer, R. Möller, and Peter Crowther. The DIG Description Logic Interface. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, 2003.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Description Logic Systems with Concrete Domains: Applications for the Semantic Web. In Proceedings of the International Workshop on Knowledge Representation meets Databases (KRDB-2003), Hamburg, Germany, September 15-1, 2003.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Incremental Query Answering for Implementing Document Retrieval Services. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, pages 85–94, 2003.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Racer: A Core Inference Engine for the Semantic Web. In Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located at the 2nd International Semantic Web Conference ISWC 2003, Sanibel Island, Florida, USA, October 20, pages 27–36, 2003.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Racer: An OWL Reasoning Agent for the Semantic Web. In Proceedings of the International Workshop on Applications, Products and Services of Web-based Support Systems, in conjunction with the 2003 IEEE/WIC International Conference on Web Intelligence,Ê Halifax, Canada, October 13, pages 91–95, 2003.
Bibtex entry  Paper (PDF)

R. Möller and V. Haarslev. Description Logic Systems. In F. Baader and D. Nardi P. Patel-Schneider D. Calvanese, D. McGuinness, editors, The Description Logic Handbook, chapter 8, pages 282–305. Cambridge University Press, 2003.
Bibtex entry

R. Möller and V. Haarslev. Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. Künstliche Intelligenz, pages 10–15, 2003.
Bibtex entry  Paper (PDF)

Monika Renz, Florian Matthes, Ulrike Steffens, and Joachim W. Schmidt. Erschließung heterogener Wissensquellen durch eine digitale Bibliothek für die öffentliche Verwaltung. In Ralph Schmidt, editor, Tagungsband 25. DGI Online Tagung Competence in Content, Frankfurt, Main, June 2003. Deutsche Gesellschaft für Informationswissenschaft und Informationspraxis.
Bibtex entry


2002

Claudia Niederée, Ulrike Steffens, and Matthias Hemmje. Towards Digital Library Mediation for Web Services. In EurAsian Workshop on Knowledge Foraging for Dynamic Networking of Communities and Economies 2002, Shiraz, October 2002.
Bibtex entry

Axel Wienberg, Matthias Ernst, Andreas Gawecki, Olaf Kummer, Frank Wienberg, and Joachim W. Schmidt. Content Schema Evolution in the CoreMedia Content Application Platform CAP. In Proceedings of the 8th International Conference on Extending Database Technology (EDBT 2002), volume 2287 of Lecture Notes in Computer Science, pages 712–721, March 2002.
Bibtex entry  Paper (PDF)


2001

V. Haarslev, R. Möller, and M. Wessel. The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 29–44. Springer-Verlag, 2001.
Bibtex entry  ©Springer-Verlag

Florian Matthes, Claudia Niederée, and Ulrike Steffens. C-Merge: A Tool for Policy-Based Merging of Resource Classifications. In Research and Advanced Technology for Digital Libraries, Proceedings of the 5th European Conference, ECDL2001, Darmstadt, Germany, September 2001.
Bibtex entry  Abstract  Paper (PDF)

Martin Raulf, Rainer Müller, Ulrike Steffens, Florian Matthes, Klaus J. Scheunert, and Joachim W. Schmidt. Begriffsorientierte Dokumentenverwaltung für das internetgestützte Projektmanagement - Der FHH InfoBroker für das Projekt ''sap für hamburg'' -. In Tagungsband 4. GI-Fachgruppentagung ''Management und Controlling von IT-Projekten'', Glashütten (Taunus). dpunkt.verlag, March 2001.
Bibtex entry  Abstract  Paper (PDF)

Joachim W. Schmidt, Hans-Werner Sehring, Michael Skusa, and Axel Wienberg. Subject-Oriented Work: Lessons Learned from an Interdisciplinary Content Management Project. In Proceedings of the Fifth East-European Conference on Advances in Databases and Information Systems, volume 2151 of Lecture Notes in Computer Science. Springer, 2001.
Bibtex entry  Abstract  Paper (PDF)

Joachim W. Schmidt, Hans-Werner Sehring, and Martin Warnke. Der Bildindex zur Politischen Ikonographie in der Warburg Electronic Library - Einsichten eines interdisziplinären Projektes. In Archivprozesse, 2001.
Bibtex entry  Abstract


2000

A. Gawecki and F. Matthes. Integrating Query and Program Optimization Using Persistent CPS Representations. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 496–501. 2000.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes. Bulk Types and Iterators: Introduction and State of the Art. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 241–244. 2000.
Bibtex entry  Paper (PDF)

F. Matthes. Higher-Order Persistent Polymorphic Programming in Tycoon. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 13–59. 2000.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes. Interoperability: Introduction and State of the Art. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 599–601. 2000.
Bibtex entry  Paper (PDF)

F. Matthes. Persistent Support Systems: Introduction and Overview. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 297–302. 2000.
Bibtex entry

F. Matthes, J.W.Schmidt, and U. Steffens. Kolibri - Entwicklung von Modellen und Werkzeugen für kooperative digitale Handbibliotheken. Informationstechnik und Technische Informatik, 42(6), December 2000.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, R. Müller, and J.W. Schmidt. Towards a Unified Model of Untyped Object Stores: Experience with the Tycoon Store Protocol. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 431–433. 2000.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. Bulk Types: Built-In or Add-On?. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 257–261. 2000. (Synopsis of [MaSc91b]).
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. Persistent Threads. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 290–295. 2000. (Synopsis of [MaSc94]).
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, J.W. Schmidt, and J. Wahlen. Using Extensible Grammars to Support Data Modeling. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 584–598. 2000.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, G. Schröder, and J.W. Schmidt. Tycoon: A Scalable and Interoperable Persistent System Environment. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 365–381. 2000.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and U. Steffens. Establishing a Cooperative Digital Library for Teaching Materials - A Case Study. Technical report, August 2000.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. The DBPL Project: Advances in Modular Database Programming. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 341–345. 2000. (Synopsis of [ScMa94]).
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. Lean Languages and Models: Towards an Interoperable Kernel for Persistent Object Systems. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 623–627. 2000. (Synopsis of [ScMa93]).
Bibtex entry  Abstract  Paper (PDF)

Holm Wegner, Patrick Hupe, and Florian Matthes. A Process-Oriented and Content-Based Perspective on Software Components. Information Systems, 25(2):135–156, 2000.
Bibtex entry  Abstract  Paper (PDF)

I. Wetzel, F. Matthes, and J.W. Schmidt. The STYLE Workbench: Systematics of Typed Language Environments. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 570–583. 2000. TR FIDE/95/139.
Bibtex entry  Paper (PDF)


1999

Manfred Broy and Joachim W. Schmidt. Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin?. Informatik-Spektrum, 22(3):206–209, June 1999.
Bibtex entry  Abstract  Paper (PDF)

Florian Matthes, Claudia Niederée, Joachim W. Schmidt, and Ulrike Steffens. Das Internet als Wissensmarkt. Möglichkeiten und Grenzen. Technical report, July 1999.
Bibtex entry  Abstract  Paper (PDF)

Florian Matthes and Ulrike Steffens. PIA - A Generic Model and System for Interactive Product and Service Catalogs. In Serge Abiteboul and Anne-Marie Vercoustre, editors, Research and Advanced Technology for Digital Libraries, Proceedings of the 3rd European Conference, ECDL'99, Paris, France, volume 1696, pages 403–422, September 1999.
Bibtex entry  Abstract  Paper (PDF)

Florian Matthes, Holm Wegner, and Patrick Hupe. A Process-Oriented Approach to Software Component Definition. In M. Jarke and A. Oberweis, editors, Advanced Information Systems Engineering. Proceedings of the 11th International Conference, CAiSE'99, Heidelberg, Germany, June 14-18, 1999, volume 1626, pages 26–40, June 1999.
Bibtex entry  Abstract  Paper (PDF)

Joachim W. Schmidt and Hans-Werner Sehring. Dockets: A Model for Adding Value to Content. In Jacky Akoka, Mokrane Bouzeghoub, Isabelle Comyn-Wattiau, and Elisabeth Métais, editors, Proceedings of the 18th International Conference on Conceptual Modeling, November 15-18, Paris, France, volume 1728, pages 248–262, November 1999.
Bibtex entry  Abstract  Paper (PDF)

Axel Wienberg, Florian Matthes, and Marko Boger. Modeling Dynamic Software Components in UML. In Robert France and Bernhard Rumpe, editors, UML'99 - The Unified Modeling Language. Proceedings of the Second International Conference. Fort Collins, Colorado, USA, volume 1723, pages 204–219, October 1999.
Bibtex entry  Abstract  Paper (PDF)


1998

Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Joachim W. Schmidt, Carson Woo, and Eric Yu. A Three-Faceted View of Information Systems. Communications of the ACM, 41(12):64–70, December 1998.
Bibtex entry  Abstract  Paper (PDF)

Andreas Gawecki and Axel Wienberg. Report on the Tycoon-2 Programming Language. Version 1.0 (Draft). Technical report, , and, February 1998.
Bibtex entry  Paper (PDF)

Patrick Hupe, Florian Matthes, and Holm Wegner. Ein bruchloser Übergang von der Prozeßmodellierung zu kooperativen Software-Architekturen. Technical report, November 1998.
Bibtex entry  Abstract  Paper (PDF)

Florian Matthes and Stephan Ziemer. Understanding SAP R/3:A Tutorial for Computer Scientists. Technical report, March 1998.
Bibtex entry  Abstract  Paper (PDF)

C. Niederée, U. Steffens, H-W. Sehring, F. Matthes, and J.W. Schmidt. On Indexing in Digital Libraries: Cooperation, Personalization, and Evolution. Technical report, 1998.
Bibtex entry  Abstract  Paper (PDF)


1997

Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Mike Papazoglou, Klaus Pohl, Joachim Schmidt, Carson Woo, and Eric Yu. Cooperative Information Systems: A Manifesto. In Mike P. Papazoglou and Gunther Schlageter, editors, Cooperative Information System: Trends and Directions. Academic Press, 1997.
Bibtex entry  Abstract  Paper (PDF)

A. Gawecki, F. Matthes, J.W. Schmidt, and S. Stamer. Persistent Object Systems: From Technology to Market. In M. Jarke, editor, 27. Jahrestagung der Gesellschaft für Informatik. September 1997.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes. Business Conversations: A High-Level System Model for Agent Coordination. In Sophie Cluet and Rick Hull, editors, Database Programming Languages: Proceeding of the 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 1997, volume 1369, pages 355–372, 1998.
Bibtex entry  Abstract  Paper (PDF)

Florian Matthes. Mobile Processes in Cooperative Information Systems. In Proceedings of STJA'97 (Smalltalk und Java in Industrie und Ausbildung), pages 23–28, Erfurt, Germany, September 1997. TU Ilmenau, Institut für Biomedizinische Technik und Informatik, Ilmenau, Germany.
Bibtex entry  Abstract  Paper (PDF)


1996

C. Beeri and J.W. Schmidt. Bulk Data Classification: Formal Foundation and Enabling Technology. Final Report to German-Israeli Foundation for Scientific Research and Development Contract No.: I-183-060.6, January 1, 1993 to December 31, 1995, Hebrew University and Hamburg University, April 1996.
Bibtex entry  Paper (PDF)

A. Gawecki and F. Matthes. Exploiting Persistent Intermediate Code Representations in Open Database Environments. In Proceedings of the 5th Conference on Extending Database Technology, EDBT'96, pages 403–423, Avignon, France, March 1996.
Bibtex entry  Abstract  Paper (PDF)

A. Gawecki and F. Matthes. Integrating Subtyping, Matching and Type Quantification: A Practical Perspective. In Proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP'96, pages 26–47, Linz, Austria, July 1996.
Bibtex entry  Abstract  Paper (PDF)

B. Mathiske, F. Matthes, and J.W. Schmidt. On Migrating Threads. Journal of Intelligent Information Systems, 8(2):167–191, 1997.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, R. Müller, and J.W. Schmidt. Towards a Unified Model of Untyped Object Stores: Experience with the Tycoon Store Protocol. In Advances in Databases and Information Systems (ADBIS'96), Proceedings of the Third International Workshop of the Moscow ACM SIGMOD Chapter, 1996.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt, G. Schröder, C. Niederée, and F. Matthes. Linguistic and Architectural Requirements for Personalized Digital Libraries. Informatik Berichte FBI-HH-B-xxx/96, September 1996. (Reprint of [SSNM96a]).
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt, G. Schröder, C. Niederée, and F. Matthes. Linguistic and Architectural Requirements for Personalized Digital Libraries. International Journal of Digital Libraries, 1(1), 1997.
Bibtex entry  Abstract  Paper (PDF)

Ulrike Steffens. Integration von Information Retrieval Funktionalität in eine offene, persistente Programmierumgebung. Informatik Mitteilung FBI-HH-M-257/96, April 1996. (Master's Thesis).
Bibtex entry  Abstract  Paper (PDF)


1995

A. Gawecki and F. Matthes. TooL: A Persistent Language Integrating Subtyping, Matching and Type Quantification. Technical Report FIDE/95/135, 1995.
Bibtex entry  Abstract  Paper (PDF)

K. Geihs, H. Gründer, W. Lamersdorf, M. Merz, K. Müller, and A. Puder. Systemunterstützung für offene verteilte Dienstemärkte. In Kommunikation in Verteilten Systemen: Neue Länder – Neue Netze – Neue Dienste, Informatik-Aktuell, pages 445–459. 1995.
Bibtex entry  Abstract  Paper (PDF)

B. Mathiske, F. Matthes, and J.W. Schmidt. On Migrating Threads. In Proceedings of the Second International Workshop on Next Generation Information Technologies and Systems, Naharia, Israel, June 1995. TR FIDE/95/136.
Bibtex entry  Abstract  Paper (PDF)

B. Mathiske, F. Matthes, and J.W. Schmidt. Scaling Database Languages to Higher-Order Distributed Programming. In Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Italy, September 1995. TR FIDE/95/137.
Bibtex entry  Abstract  Paper (PDF)

K. Müller-Jones, M. Merz, and W. Lamersdorf. Kooperationsanwendungen: Integrierte Vorgangskontrolle und Dienstvermittlung in offenen verteilten Systemen. (Beitrag zur GI/SI-Jahrestagung in Zürich), September 1995.
Bibtex entry  Abstract  Paper (PDF)

K. Müller-Jones, M. Merz, and W. Lamersdorf. The TRADEr: Integrating Trading into DCE. In K. Raymond and L. Amstrong, editors, Proceedings of the Third International Conference on Open Distributed Processing (ICODP '95), Brisbane, Australia, February 1995.
Bibtex entry  Abstract  Paper (PDF)

A. Rudloff, F. Matthes, and J.W. Schmidt. Security as an Add-On Quality in Persistent Object Systems. In Second International East/West Database Workshop, Klagenfurt, Austria, Workshops in Computing, pages 90–108, 1995. TR FIDE/95/138.
Bibtex entry  Abstract  Paper (PDF)

K. Subieta, C. Beeri, F. Matthes, and J.W. Schmidt. A Stack-Based Approach to Query Languages. In Second International East/West Database Workshop, Klagenfurt, Austria, Workshops in Computing, 1995. TR FIDE/95/134.
Bibtex entry  Abstract  Paper (PDF)


1994

L. Cardelli, F. Matthes, and M. Abadi. Extensible Grammars for Language Specialization. In C. Beeri, A. Ohori, and D.E. Shasha, editors, Database Programming Languages (DBPL-4), Workshops in Computing, February 1994.
Bibtex entry  Abstract  Paper (PDF)

L. Cardelli, F. Matthes, and M. Abadi. Extensible Syntax with Lexical Scoping. Technical Report 121, Digital Equipment Corporation, Systems Research Center, Palo-Alto, California, February 1994.
Bibtex entry  Abstract  Paper (PDF)

A. Gawecki and F. Matthes. The Tycoon Machine Language TML: An Optimizable Persistent Program Representation. Technical Report FIDE/94/100, August 1994.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, S. Müßig, and J.W Schmidt. Persistent Polymorphic Programming in Tycoon: An Introduction. Technical Report FIDE/94/106, August 1994.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, A. Rudloff, J.W. Schmidt, and K. Subieta. A Gateway from DBPL to Ingres. In W. Litwin and T. Risch, editors, Applications of Databases, First International Conference, ADB-94, volume 819, pages 365–380, Vadstena, Sweden, June 1994.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. Persistent Threads. Technical Report FIDE/94/88, August 1994. (A shorter version of this text appeared as MaSc94.).
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. Persistent Threads. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 290–295. 2000. (Synopsis of [MaSc94]).
Bibtex entry  Abstract  Paper (PDF)

M. Merz, K. Müller, and W. Lamersdorf. Service Trading and Mediation in Distributed Computing Environments. In L. Svobodova, editor, Proceedings of the 14th International Conference on Distributed Computing Systems (ICDCS '94), pages 440–457, Poznan, Poland, 1994. IEEE Computer Society Press.
Bibtex entry  Abstract  Paper (PDF)

K. Müller, K. Jones, and M. Merz. Vermittlung und Verwaltung von Diensten in offenen verteilten Systemen. In B. Wolfinger, editor, Innovationen bei Rechen- und Kommunikationssystemen: Eine Herausforderung für die Informatik, Informatik aktuell, pages 219–226, Hamburg, Germany, August 1994.
Bibtex entry  Abstract  Paper (PDF)

K. Müller, M. Merz, and W. Lamersdorf. Der TRADE-Trader: Ein Basisdienst offener verteilter Systeme. In C. Popien and B. Meyer, editors, Neue Konzepte für die Offene Verteilte Verarbeitung, volume 7 of Aachener Beiträge zur Informatik, pages 35–44. Verlag der Augustinus Buchhandlung, September 1994.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. The DBPL Project: Advances in Modular Database Programming. Information Systems, 19(2):121–140, 1994.
Bibtex entry  Abstract  Paper (PDF)


1993

T. Günther, K.-D. Schewe, and I. Wetzel. On the Derivation of Executable Database Programs from Formal Specifications. In Proceedings of the of Formal Methods Europe '93 Symposium - Industrial-Strength Formal Methods, Odense Teknikum, Denmark, April 1993.
Bibtex entry  Abstract  Paper (PDF)

B. Mathiske, F. Matthes, and S. Müßig. The Tycoon System and Library Manual. DBIS Tycoon Report 212-93, December 1993. (Revised 19-jan-1996).
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. DBPL: The System and its Environment. In M. Jarke, editor, Database Application Engineering with DAIDA, volume 1 of Research Reports ESPRIT, pages 319–348. 1993.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. System Construction in the Tycoon Environment: Architectures, Interfaces and Gateways. In Proceedings of Euro-Arch'93 Congress, October 1993.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. Datenbankprogrammiersprachen. (Unpublished article, available through DBIS, Fachbereich Informatik, Universität Hamburg), 1994.
Bibtex entry  Abstract  Paper (PDF)

M. Merz and W. Lamersdorf. Cooperation Support for an Open Service Market. In J. de Meer, B. Mahr, and S. Storp, editors, Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing. North–Holland, Elsevier Science Publishers B.V., December 1993.
Bibtex entry  Abstract  Paper (PDF)

M. Merz and W. Lamersdorf. Generic Interfaces to Remote Applications in Open Systems. In Proceedings of the International IFIP Workshop on Interfaces in Industrial Production and Engineering Systems, pages 267–281. North–Holland, Elsevier Science Publishers B.V., March 1993.
Bibtex entry  Abstract  Paper (PDF)

M. Merz and W. Lamersdorf. Schnittstellenspezifikation in offenen Systemen. In Proceedings of GI/ITG Arbeitstreffen: Entwicklung und Management verteilter Anwendungssysteme, Frankfurt/Main, Germany, October 1993.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. Lean Languages and Models: Towards an Interoperable Kernel for Persistent Object Systems. In Proceedings of the IEEE International Workshop on Research Issues in Data Engineering RIDE '93 Vienna, Austria, pages 2–17, April 1993. TR FIDE/93/59.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. Modular and Rule-Based Database Programming in DBPL. In M. Jarke, editor, Database Application Engineering with DAIDA, volume 1 of Research Reports ESPRIT, pages 85–122. 1993. TR FIDE/91/15.
Bibtex entry  Abstract

J.W. Schmidt, F. Matthes, and P. Valduriez. Building Persistent Application Systems in Fully Integrated Data Environments: Modularization, Abstraction and Interoperability. In Proceedings of Euro-Arch'93 Congress, October 1993.
Bibtex entry  Abstract  Paper (PDF)

K. Subieta, F. Matthes, A. Rudloff, J.W. Schmidt, and I. Wetzel. Viewers: A Data-World Analogue of Procedure Calls. In Proceedings of 19th Intl. Conf. on Very Large Data Bases VLDB '93, Dublin, Ireland, August 1993.
Bibtex entry  Abstract  Paper (PDF)

I. Wetzel, K.-D. Schewe, and J.W. Schmidt. Specification and Refinement of Databases. In M. Jarke, editor, Database Application Engineering with DAIDA, volume 1 of Research Reports ESPRIT, pages 283–318. 1993.
Bibtex entry  Abstract  Paper (PDF)


1992

F. Matthes, R. Müller, and J.W. Schmidt. Object Stores as Servers in Persistent Programming Environments - The P-Quest Experience. Technical Report FIDE/92/48, July 1992.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, A. Rudloff, J.W. Schmidt, and K. Subieta. The Database Programming Language DBPL - User and System Manual. Technical Report FIDE/92/47, July 1992. (Also appeared as Informatik Fachbericht FBI-HH-B-159/92).
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, A. Rudloff, J.W. Schmidt, and K. Subieta. A Gateway from a DBPL to Ingres: Modula-2, DBPL, SQL+C, Ingres. Technical Report FIDE/92/54, August 1992.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. Definition of the Tycoon Language - A Preliminary Report. Informatik Fachbericht FBI-HH-B-160/92, October 1992. (Revised 17-aug-1995).
Bibtex entry  Abstract  Paper (PDF)

C. Niederée, S. Müßig, and F. Matthes. P-Quest User Manual. DBIS Tycoon Report 102-92, February 1992. (In German).
Bibtex entry  Abstract  Paper (PDF)

B. Piza, K.-D. Schewe, and J.W. Schmidt. Term Subsumption with Type Constructors. In Proceedings of the 1st Int. Conf. on Data and Knowledge Management, Baltimore, May 1992.
Bibtex entry  Abstract  Paper (PDF)

K.-D. Schewe, J.W. Schmidt, and I. Wetzel. Identification, Genericity and Consistency in Object-Oriented Databases. In J. Biskup and R. Hull, editors, Database Theory – ICDT '92, volume 646, pages 341–356, October 1992.
Bibtex entry  Abstract  Paper (PDF)

K.-D. Schewe, B. Thalheim, J.W. Schmidt, and I. Wetzel. Integrity Enforcement in Object-Oriented Databases. In U. Lipeck, editor, Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany, October 19–22, 1992.
Bibtex entry  Paper (PDF)

K.-D. Schewe, B. Thalheim, and I. Wetzel. Foundations of Object-Oriented Database Concepts. Informatik Fachbericht FBI-HH-B-157/92, November 1992.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. The Database Programming Language DBPL - Rationale and Report. Technical Report FIDE/92/46, July 1992. (Also appeared as Informatik Fachbericht FBI-HH-B-158/92).
Bibtex entry  Abstract  Paper (PDF)

G. Schröder and F. Matthes. Using the Tycoon Compiler Toolkit. DBIS Tycoon Report 061-92, May 1992.
Bibtex entry  Abstract  Paper (PDF)


1991

J. Eder, A. Rudloff, F. Matthes, and J.W. Schmidt. Data Construction with Recursive Set Expressions. In Proceedings of the Kiev East/West Workshop on Next Generation Database Technology, volume 504, April 1991. TR FIDE/91/13.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes. P-Quest: Installation and User Manual. DBIS Tycoon Report 101-91, October 1991.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, A. Ohori, and J.W. Schmidt. Typing Schemes for Objects with Locality. In Proceedings of the Kiev East/West Workshop on Next Generation Database Technology, volume 504, April 1991. TR FIDE/91/12.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. Bulk Types: Built-In or Add-On?. In Proceedings of the Third International Workshop on Database Programming Languages, Nafplion, Greece. Morgan Kaufmann Publishers, September 1991. TR FIDE/91/27.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes and J.W. Schmidt. Towards Database Application Systems: Types, Kinds and Other Open Invitations. In Proceedings of the Kiev East/West Workshop on Next Generation Database Technology, volume 504, April 1991. TR FIDE/91/14.
Bibtex entry  Abstract  Paper (PDF)

F. Matthes, G. Schröder, and J.W. Schmidt. VAX Modula-2 User's Guide; VAX DBPL User's Guide. DBPL Memo 121-91, December 1991.
Bibtex entry  Abstract  Paper (PDF)

K.-D. Schewe, J.W. Schmidt, and I. Wetzel. Specification and Refinement in an Integrated Database Application Environment. In Proc. VDM Conference 1991, Noordwijkerhout, volume 551, October 1991.
Bibtex entry  Abstract  Paper (PDF)

K.-D. Schewe, B. Thalheim, I. Wetzel, and J.W. Schmidt. Extensible Safe Object-Oriented Design of Database Applications. Technical report, Universität Rostock, November 1991.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. The Rationale behind DBPL. In 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, volume 495, May 1991.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. Relational Database Programming: Naming, Typing and Binding. In Proceedings of the Programming School'91, Bulgaria, February 1991.
Bibtex entry  Abstract  Paper (PDF)


1990

J.W. Schmidt and F. Matthes. DBPL Language and System Manual. Esprit Project 892 MAP 2.3, April 1990.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. Language Technology for Post-Relational Data Systems. In Database Systems of the 90s, volume 466, Berlin, Germany, November 1990.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. Naming Schemes and Name Space Management in the DBPL Persistent Storage System. In Persistent Object Systems, Martha's Vineyard, Massachusetts, USA, September 1990. Morgan Kaufmann Publishers, Inc.
Bibtex entry  Abstract  Paper (PDF)


1989 and older

F. Matthes and J.W. Schmidt. The Type System of DBPL. In Proc. of the 2nd Workshop on Database Programming Languages, Salishan Lodge, Oregon, pages 255–260, June 1989.
Bibtex entry  Abstract  Paper (PDF)

J.W Schmidt, L. Ge, V. Linnemann, and M. Jarke. Integrated Fact and Rule Management Based on Database Technology. In J.W. Schmidt and C. Thanos, editors, Foundations of Knowledge Base Management. 1989.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt and F. Matthes. Advances in Database Programming: On Concepts, Languages and Methodologies. In Proc. 16th SOFSEM'89, Zdiar, High Tatra, CSSR, December 1989. Available through Hamburg University.
Bibtex entry  Abstract  Paper (PDF)

J.W. Schmidt, I. Wetzel, A. Borgida, and J. Mylopoulos. Database Programming by Formal Refinement of Conceptual Designs. IEEE – Data Engineering, September 1989.
Bibtex entry  Abstract  Paper (PDF)


Acknowledgments

Software Systems Institute







Generated at Mo 3. Feb 13:01:41 CET 2014.