| 2025 | ER | Towards Human-in-the-Loop LLM-Enabled Domain Modeling. | Jonathan Silva Mercado, Qin Ma, Jordi Cabot, Pierre Kelsen, Henderik A. Proper |
| 2024 | ER | Application of the Tree-of-Thoughts Framework to LLM-Enabled Domain Modeling. | Jonathan Silva Mercado, Qin Ma, Jordi Cabot, Pierre Kelsen, Henderik A. Proper |
| 2021 | ER | Towards AI Assisted Domain Modeling. | Christophe Feltus, Qin Ma, Henderik A. Proper, Pierre Kelsen |
| 2018 | TASE | Decomposing Models Through Dependency Graphs. | Qin Ma, Pierre Kelsen |
| 2016 | TASE | Agile Validation of Higher Order Transformations Using F-Alloy. | Loc Gammaitoni, Pierre Kelsen, Qin Ma |
| 2015 | SLE | Designing languages using lightning. | Loc Gammaitoni, Pierre Kelsen, Christian Glodt |
| 2014 | ICGSE | Combining Models with Code: A Tale of Two Languages. | Qin Ma, Sam Schmit, Christian Glodt, Pierre Kelsen |
| 2014 | MODELS | Verifying Modelling Languages using Lightning: a Case Study. | Loc Gammaitoni, Pierre Kelsen, Fabien Mathey |
| 2013 | EDOC | Towards an Abstract Framework for Compliance. | Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen |
| 2013 | ICST | Algorithms for Basic Compliance Problems. | Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre |
| 2011 | EDOC | CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. | Marwane El Kharbili, Qin Ma, Pierre Kelsen, Elke Pulvermller |
| 2011 | FASE | Models within Models: Taming Model Complexity Using the Sub-model Lattice. | Pierre Kelsen, Qin Ma, Christian Glodt |
| 2011 | FM | Building VCL Models and Automatically Generating Z Specifications from Them. | Nuno Amlio, Christian Glodt, Pierre Kelsen |
| 2010 | CaiSE | Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. | Nuno Amlio, Pierre Kelsen, Qin Ma |
| 2010 | DIAGRAMS | VCL, a Visual Language for Modelling Software Systems Formally. | Nuno Amlio, Pierre Kelsen |
| 2010 | FASE | A Modular Model Composition Technique. | Pierre Kelsen, Qin Ma |
| 2009 | OOPSLA | From platform-independent to platform-specific models using democles. | Christian Glodt, Pierre Kelsen, Nuno Amlio, Qin Ma |
| 2009 | SEW | Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. | Barbara Gallina, Nicolas Guelfi, Pierre Kelsen |
| 2009 | TASE | Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. | Pierre Kelsen, Qin Ma |
| 2008 | MODELS | A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. | Pierre Kelsen, Qin Ma |
| 2007 | OOPSLA | DEMOCLES: a tool for executable modeling of platform-independent systems. | Christian Glodt, Pierre Kelsen, Elke Pulvermller |
| 2006 | ICSoft | A declarative executable model for object-based systems based on functional decomposition. | Pierre Kelsen |
| 2006 | OOPSLA | DEMOS: a tool for declarative executable modeling of object-based systems. | Christian Glodt, Pierre Kelsen |
| 2003 | FASE | An Information-Based View of Representational Coupling in Object-Oriented Systems. | Pierre Kelsen |
| 1996 | STACS | Ranking and Unranking Trees Using Regular Reductions. | Pierre Kelsen |
| 1993 | SPAA | Fast Parallel Matching in Expander Graphs. | Pierre Kelsen |
| 1992 | SODA | Computing Minimal Spanning Subgraphs in Linear Time. | Xiaofeng Han, Pierre Kelsen, Vijaya Ramachandran, Robert Endre Tarjan |
| 1992 | STOC | On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph | Pierre Kelsen |
| 1991 | SODA | On Finding Minimal 2-Connected Subgraphs. | Pierre Kelsen, Vijaya Ramachandran |