Concepedia

Pierre Kelsen

PK

12

Publications

212

Citations

10

H-Index

1992

Active since

Affiliations

University of Luxembourg(Current)

Max Planck Society

The University of Texas at Austin

Pierre Kelsen is an author at University of Luxembourg specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSoftware DesignSystems EngineeringFormal MethodsSoftware AnalysisSoftware EngineeringComputational ComplexityFormal VerificationCombinatorial Optimization

Publications per year

1992–2017

12

Publications

12

On the parallel complexity of computing a maximal independent set in a hypergraph

Pierre Kelsen · 1992 · 33 citations

Mathematical Programming, Engineering, Time O +19

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management

Marwane El Kharbili, Qin Ma, Pierre Kelsen et al. · 2011 · 25 citations · Full text

Engineering, Law, Software Engineering +21

Business Process Regulatory Compliance is Hard

Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen · IEEE Transactions on Services Computing · 2014 · 24 citations · Full text

Engineering, Verification, Law +20

An efficient parallel algorithm for computing a maximal independent set in a hypergraph of dimension 3

Elias Dahlhaus, Marek Karpiński, Pierre Kelsen · Information Processing Letters · 1992 · 21 citations

Engineering, Graph Theory, Extremal Graph Theory +12

An optimal parallel algorithm for maximal matching

Pierre Kelsen · Information Processing Letters · 1994 · 17 citations

Mathematical Programming, Engineering, Maximal Matching +9

Rows per page

1–5 of 12