On Finding Minimal 2-Connected Subgraphs. - Pierre Kelsen; Vijaya Ramachandran (SODA, 1991)

On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph - Pierre Kelsen (STOC, 1992)

An Efficient Parallel Algorithm for Computing a Maximal Independent Set in a Hypergraph of Dimension 3. - Elias Dahlhaus; Marek Karpinski; Pierre Kelsen (Inf. Process. Lett., 1992)

Efficient Computation of Extremal Structures in Graphs and Hypergraphs - Pierre Kelsen (1992)

Fast Parallel Matching in Expander Graphs. - Pierre Kelsen (SPAA, 1993)

An Optimal Parallel Algorithm for Maximal Matching. - Pierre Kelsen (Inf. Process. Lett., 1994)

On Finding Minimal Two-Connected Subgraphs. - Pierre Kelsen; Vijaya Ramachandran (J. Algorithms, 1995)

Computing Minimal Spanning Subgraphs in Linear Time. - Xiaofeng Han; Pierre Kelsen; Vijaya Ramachandran; Robert Endre Tarjan (SIAM J. Comput., 1995)

Ranking and Unranking Trees Using Regular Reductions. - Pierre Kelsen (STACS, 1996)

Neighborhood Graphs and Distributed Delta+1-Coloring. - Pierre Kelsen (SWAT, 1996)

Approximate Hypergraph Coloring. - Pierre Kelsen; Sanjeev Mahajan; Ramesh Hariharan (SWAT, 1996)

A Simple NC-Algorithm for a Maximal Independent set in a Hypergraph of Poly-Log Arboricity. - Oscar Garrido; Pierre Kelsen; Andrzej Lingas (Inf. Process. Lett., 1996)

Approximate Hypergraph Coloring. - Noga Alon; Pierre Kelsen; Sanjeev Mahajan; Ramesh Hariharan (Nord. J. Comput., 1996)

An Information-Based View of Representational Coupling in Object-Oriented Systems. - Pierre Kelsen (FASE, 2003)

A Simple Static Model for Understanding the Dynamic Behavior of Programs. - Pierre Kelsen (IWPC, 2004)

A declarative executable model for object-based systems based on functional decomposition. - Pierre Kelsen (ICSOFT (1), 2006)

DEMOS: a tool for declarative executable modeling of object-based systems. - Christian Glodt; Pierre Kelsen (OOPSLA Companion, 2006)

DEMOCLES: a tool for executable modeling of platform-independent systems. - Christian Glodt; Pierre Kelsen; Elke Pulvermüller (OOPSLA Companion, 2007)

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. - Pierre Kelsen; Qin Ma 002 (MoDELS, 2008)

Specifying Executable Platform-Independent Models using OCL. - Pierre Kelsen; Elke Pulvermüller; Christian Glodt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

From platform-independent to platform-specific models using democles. - Christian Glodt; Pierre Kelsen; Nuno Amálio; Qin Ma 002 (OOPSLA Companion, 2009)

Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. - Barbara Gallina; Nicolas Guelfi; Pierre Kelsen (SEW, 2009)

Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. - Pierre Kelsen; Qin Ma 002 (TASE, 2009)

Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL. - Nuno Amálio; Pierre Kelsen; Qin Ma 002 (BMMDS/EMMSAD, 2010)

VCL, a Visual Language for Modelling Software Systems Formally. - Nuno Amálio; Pierre Kelsen (Diagrams, 2010)

A Modular Model Composition Technique. - Pierre Kelsen; Qin Ma 002 (FASE, 2010)

Modular Design by Contract Visually and Formally Using VCL. - Nuno Amálio; Pierre Kelsen (VL/HCC, 2010)

Using VCL as an Aspect-Oriented Approach to Requirements Modelling. - Nuno Amálio; Pierre Kelsen; Qin Ma 002; Christian Glodt (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management. - Marwane El Kharbili; Qin Ma 002; Pierre Kelsen; Elke Pulvermüller (EDOC, 2011)

Models within Models: Taming Model Complexity Using the Sub-model Lattice. - Pierre Kelsen; Qin Ma 002; Christian Glodt (FASE, 2011)

Building VCL Models and Automatically Generating Z Specifications from Them. - Nuno Amálio; Christian Glodt; Pierre Kelsen (FM, 2011)

Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example. - Marwane El Kharbili; Qin Ma 002; Pierre Kelsen; Elke Pulvermüller (CEC, 2011)

Platform-Variant Applications from Platform-Independent Models via Templates. - Nuno Amálio; Christian Glodt; Frederico Pinto; Pierre Kelsen (WGT@ETAPS, 2011)

Towards an Abstract Framework for Compliance. - Silvano Colombo Tosatto; Guido Governatori; Pierre Kelsen (EDOC Workshops, 2013)

Algorithms for Basic Compliance Problems. - Silvano Colombo Tosatto; Marwane El Kharbili; Guido Governatori; Pierre Kelsen; Qin Ma 002; Leendert W. N. van der Torre (ICST Workshops, 2013)

Domain-Specific Visualization of Alloy Instances. - Loïc Gammaitoni; Pierre Kelsen (ABZ, 2014)

Detecting Deontic Conflicts in Dynamic Settings. - Silvano Colombo Tosatto; Guido Governatori; Pierre Kelsen (DEON, 2014)

Combining Models with Code: A Tale of Two Languages. - Qin Ma 002; Sam Schmit; Christian Glodt; Pierre Kelsen (ICGSE Workshops, 2014)

Verifying Modelling Languages using Lightning: a Case Study. - Loïc Gammaitoni; Pierre Kelsen; Fabien Mathey (MoDeVVa@MoDELS, 2014)

F-Alloy: An Alloy Based Model Transformation Language. - Loïc Gammaitoni; Pierre Kelsen (ICMT, 2015)

Designing languages using lightning. - Loïc Gammaitoni; Pierre Kelsen; Christian Glodt (SLE, 2015)

Algorithms for tractable compliance problems. - Silvano Colombo Tosatto; Pierre Kelsen; Qin Ma 002; Marwane El Kharbili; Guido Governatori; Leendert W. N. van der Torre (Frontiers Comput. Sci., 2015)

A generic model decomposition technique and its application to the Eclipse modeling framework. - Qin Ma 002; Pierre Kelsen; Christian Glodt (Softw. Syst. Model., 2015)

Business Process Regulatory Compliance is Hard. - Silvano Colombo Tosatto; Guido Governatori; Pierre Kelsen (IEEE Trans. Serv. Comput., 2015)

Agile Validation of Higher Order Transformations Using F-Alloy. - Loïc Gammaitoni; Pierre Kelsen; Qin Ma 002 (TASE, 2016)

Decomposing Models Through Dependency Graphs. - Qin Ma 002; Pierre Kelsen (TASE, 2018)

Agile validation of model transformations using compound F-Alloy specifications. - Loïc Gammaitoni; Pierre Kelsen; Qin Ma 002 (Sci. Comput. Program., 2018)

F-Alloy: a relational model transformation language based on Alloy. - Loïc Gammaitoni; Pierre Kelsen (Softw. Syst. Model., 2019)

An experimental scrutiny of visual design modelling: VCL up against UML+OCL. - Nuno Amálio; Lionel C. Briand; Pierre Kelsen (Empir. Softw. Eng., 2020)

A Lightweight Modeling Approach Based on Functional Decomposition. - Pierre Kelsen; Qin Ma 002; Christian Glodt (J. Object Technol., 2020)

Towards AI Assisted Domain Modeling. - Christophe Feltus; Qin Ma 002; Henderik A. Proper; Pierre Kelsen (ER (Workshops), 2021)

Application of the Tree-of-Thoughts Framework to LLM-Enabled Domain Modeling. - Jonathan Silva; Qin Ma 002; Jordi Cabot; Pierre Kelsen; Henderik A. Proper (ER, 2024)