inT-Integration of Logics. - Bernd Mahr; Sebastian Bab (Formal Methods in Software and Systems Modeling, 2005)

One query reducibilities between partial information classes. - Sebastian Bab; Arfst Nickelsen (Theor. Comput. Sci., 2005)

ε-μ-Logik: eine Theorie propositionaler Logiken. - Sebastian Bab (2007)

€μ-Logics - Propositional Logics with Self-Reference and Modalities. - Sebastian Bab (SJTU-TUB Joint Workshop, 2008)

Formale Modellierung von Access-Control-Policies in Dynamischen Koalitionen. - Sebastian Bab; Nadim Sarrouh (GI-Jahrestagung, 2011)

On the Integration of Knowledge in a Propositional Logical Layer. - Sebastian Bab (KEOD, 2011)

Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions - Sebastian Bab; Nadim Sarrouh (FAVO, 2011)

Propositional Logics for the Reasoning about Knowledge Integrations. - Sebastian Bab (ICAART (1), 2012)

On Self-adapting Recommendations of Curricula for an Individual Learning Experience. - Sebastian Bab; Luise Kranich (EC-TEL, 2013)