| 2010 | ICSEA | Quality of Service Attributes in Web Services. | Ahmed Al-Moayed, Bernhard Hollunder |
| 2009 | ICWS | Domain-Specific Processing of Policies or: WS-Policy Intersection Revisited. | Bernhard Hollunder |
| 2009 | ICWS | WS-Policy: On Conditional and Custom Assertions. | Bernhard Hollunder |
| 1995 | KI | Task Acquisition with a Description Logic Reasoner. | Martin Buchheit, Hans-Jrgen Brckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wjcik |
| 1994 | ECAI | Concept Logics with Function Symbols. | Hans-Jrgen Brckert, Bernhard Hollunder, Armin Laux |
| 1994 | KI | Cardinality Restrictions on Concepts. | Franz Baader, Martin Buchheit, Bernhard Hollunder |
| 1994 | UAI | An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics. | Bernhard Hollunder |
| 1993 | IJCAI | How to Prefer More Specific Defaults in Terminological Default Logic. | Franz Baader, Bernhard Hollunder |
| 1992 | ECAI | Computing Extensions of Terminological Default Theories. | Franz Baader, Bernhard Hollunder |
| 1992 | KR | Embedding Defaults into Terminological Knowledge Representation Formalisms. | Franz Baader, Bernhard Hollunder |
| 1992 | KR | An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. | Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jrgen Profitlich, Enrico Franconi |
| 1991 | KR | Qualifying Number Restrictions in Concept Languages. | Bernhard Hollunder, Franz Baader |
| 1990 | ECAI | Subsumption Algorithms for Concept Description Languages. | Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schau |
| 1990 | KI | Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems. | Bernhard Hollunder |