A lightweight approach for defining the formal semantics of a modeling language P Kelsen, Q Ma International Conference on Model Driven Engineering Languages and Systems …, 2008 | 44 | 2008 |

On the parallel complexity of computing a maximal independent set in a hypergraph P Kelsen Proceedings of the twenty-fourth annual ACM symposium on Theory of Computing …, 1992 | 42 | 1992 |

Corel: Policy-based and model-driven regulatory compliance management M El Kharbili, Q Ma, P Kelsen, E Pulvermueller 2011 IEEE 15th International Enterprise Distributed Object Computing …, 2011 | 41 | 2011 |

Business process regulatory compliance is hard SC Tosatto, G Governatori, P Kelsen IEEE Transactions on Services Computing 8 (6), 958-970, 2014 | 34 | 2014 |

Models within models: Taming model complexity using the sub-model lattice P Kelsen, Q Ma, C Glodt International Conference on Fundamental Approaches to Software Engineering …, 2011 | 33 | 2011 |

An efficient parallel algorithm for computing a maximal independent set in a hypergraph of dimension 3 E Dahlhaus, M Karpinski, P Kelsen Information Processing Letters 42 (6), 309-313, 1992 | 33 | 1992 |

Using VCL as an aspect-oriented approach to requirements modelling N Amálio, P Kelsen, Q Ma, C Glodt Transactions on aspect-oriented software development VII: a common case …, 2010 | 30 | 2010 |

Computing minimal spanning subgraphs in linear time X Han, P Kelsen, V Ramachandran, R Tarjan SIAM Journal on Computing 24 (6), 1332-1358, 1995 | 28 | 1995 |

An optimal parallel algorithm for maximal matching P Kelsen Information Processing Letters 52 (4), 223-228, 1994 | 26 | 1994 |

F-alloy: An alloy based model transformation language L Gammaitoni, P Kelsen Theory and Practice of Model Transformations: 8th International Conference …, 2015 | 25 | 2015 |

A modular model composition technique P Kelsen, Q Ma Fundamental Approaches to Software Engineering: 13th International …, 2010 | 25 | 2010 |

Modular design by contract visually and formally using VCL N Amálio, P Kelsen 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 227-234, 2010 | 24 | 2010 |

Domain-specific visualization of alloy instances L Gammaitoni, P Kelsen Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014 | 22 | 2014 |

A generic model decomposition technique and its application to the Eclipse modeling framework Q Ma, P Kelsen, C Glodt Software & Systems Modeling 14, 921-952, 2015 | 20 | 2015 |

Approximate hypergraph coloring P Kelsen, S Mahajan, H Ramesh Scandinavian Workshop on Algorithm Theory, 41-52, 1996 | 19 | 1996 |

On finding minimal 2-connected subgraphs P Kelsen, V Ramachandran Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms …, 1991 | 18* | 1991 |

Building VCL models and automatically generating Z specifications from them N Amálio, C Glodt, P Kelsen FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011 | 17 | 2011 |

Approximate Hypergraph Coloring. N Alon, P Kelsen, S Mahajan, R Hariharan Nord. J. Comput. 3 (4), 425-439, 1996 | 17 | 1996 |

Verifying modelling languages using lightning: a case study L Gammaitoni, P Kelsen, F Mathey 11th Workshop on Model Design, Verification and Validation Integrating …, 2014 | 16 | 2014 |

Coloring 2-colorable hypergraphs with a sublinear number of colors N Alon, P Kelsen, S Mahajan, H Ramesh Nordic Journal of Computing 3, 425-439, 1996 | 16 | 1996 |