A Relational Constraint Solver for Model-Based Engineering. - Jakob Mauss; Frank Seelisch; Mugur M. Tatar (CP, 2002)

Computing Minimal Conflicts for Rich Constraint Languages. - Jakob Mauss; Mugur M. Tatar (ECAI, 2002)

A constraint solver for model-based engineering. - Jakob Mauss; Frank Seelisch; Mugur M. Tatar (AI Commun., 2004)

Full Virtualization of Renault's Engine Management Software and Application to System Development. - Yohan Jordan; Dirk von Wissel; Adrian Dolha; Jakob Mauss (CoRR, 2018)