| 2016 | KSEM | A Subset Space Perspective on Agents Cooperating for Knowledge. | Bernhard Heinemann |
| 2016 | LFCS | Augmenting Subset Spaces to Cope with Multi-agent Knowledge. | Bernhard Heinemann |
| 2015 | KSEM | Subset Spaces Modeling Knowledge-Competitive Agents. | Bernhard Heinemann |
| 2015 | WoLLIC | On Topologically Relevant Fragments of the Logic of Linear Flows of Time. | Bernhard Heinemann |
| 2014 | ISAAC | Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay. | Andre Droschinsky, Bernhard Heinemann, Nils M. Kriege, Petra Mutzel |
| 2014 | KSEM | Coming Upon the Classic Notion of Implicit Knowledge Again. | Bernhard Heinemann |
| 2013 | LFCS | Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference. | Bernhard Heinemann |
| 2013 | LPAR | Characterizing Subset Spaces as Bi-topological Structures. | Bernhard Heinemann |
| 2012 | CSR | Characterizing Certain Topological Specifications. | Bernhard Heinemann |
| 2010 | CSR | The Cantor Space as a Generic Model of Topologically Presented Knowledge. | Bernhard Heinemann |
| 2010 | ECAI | Refining the Notion of Effort. | Bernhard Heinemann |
| 2009 | WoLLIC | Observational Effort and Formally Open Mappings. | Bernhard Heinemann |
| 2008 | FlAIRS | Modelling Uniformity and Control during Knowledge Acquisition. | Bernhard Heinemann |
| 2008 | TIME | Regarding Overlapping as a Basic Concept of Subset Spaces. | Bernhard Heinemann |
| 2007 | AI | Reasoning About Operations on Sets. | Bernhard Heinemann |
| 2007 | CSR | A PDL-Like Logic of Knowledge Acquisition. | Bernhard Heinemann |
| 2007 | FlAIRS | Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge. | Bernhard Heinemann |
| 2007 | LFCS | Including the Past in 'Topologic'. | Bernhard Heinemann |
| 2006 | AiML | Regarding Overlaps in 'Topologic'. | Bernhard Heinemann |
| 2006 | FlAIRS | Reasoning about Knowledge and Continuity. | Bernhard Heinemann |
| 2005 | FlAIRS | A Spatio-Temporal View of Knowledge. | Bernhard Heinemann |
| 2005 | MFCS | Algebras as Knowledge Structures. | Bernhard Heinemann |
| 2004 | AiML | A Two sorted Hybrid Logic Including Guarded Jumps. | Bernhard Heinemann |
| 2003 | LPAR | Extended Canonicity of Certain Topological Properties of Set Spaces. | Bernhard Heinemann |
| 2003 | TIME | An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. | Bernhard Heinemann |
| 2002 | AiML | Towards Uniform Reasoning via Structured Subset Spaces. | Bernhard Heinemann |
| 2001 | FCT | Modelling Change with the Aid of Knowledge and Time. | Bernhard Heinemann |
| 2001 | TIME | About the Temporal Decrease of Sets. | Bernhard Heinemann |
| 2000 | TIME | Extending Topological Nexttime Logic. | Bernhard Heinemann |
| 1997 | ECSQARU | A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees. | Bernhard Heinemann |
| 1997 | LFCS | On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces. | Bernhard Heinemann |
| 1997 | MFCS | A Topological Generalization of Propositional Linear Time Temporal Logic. | Bernhard Heinemann |
| 1996 | AiML | Topological Nexttime Logic. | Bernhard Heinemann |
| 1994 | LFCS | On Expressive Completeness of Modal Logic. | Bernhard Heinemann |