| 2020 | CP | RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. | Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige |
| 2020 | CPAIOR | Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. | Johan Wessn, Mats Carlsson, Christian Schulte |
| 2018 | SEFM | Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. | Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson |
| 2017 | CP | Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. | Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson |
| 2017 | CPAIOR | Range-Consistent Forbidden Regions of Allen's Relations. | Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey |
| 2017 | QRS | Modelling and Verification of User Interactions Using Constraint Programming. | Mats Carlsson, Olga Grinchtein, Justin Pearson |
| 2016 | AAAI | Automated Regression Testing Using Constraint Programming. | Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon |
| 2016 | CC | Register allocation and instruction scheduling in Unison. | Roberto Castaeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte |
| 2016 | CP | Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2016 | ICSoft | Software Product Line Test Suite Reduction with Constraint Optimization. | Mats Carlsson, Arnaud Gotlieb, Dusica Marijan |
| 2016 | ICSoft | A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing. | Arnaud Gotlieb, Mats Carlsson, Dusica Marijan, Alexandre Petillon |
| 2015 | CP | Modeling Universal Instruction Selection. | Gabriel Hjort Blindell, Roberto Castaeda Lozano, Mats Carlsson, Christian Schulte |
| 2015 | CP | Erratum to: Modeling Universal Instruction Selection. | Gabriel Hjort Blindell, Roberto Castaeda Lozano, Mats Carlsson, Christian Schulte |
| 2015 | ICST | Testing of a telecommunication protocol using constraint programming. | Olga Grinchtein, Mats Carlsson, Justin Pearson |
| 2015 | SENSYS | Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks. | Ambuj Varshney, Luca Mottola, Mats Carlsson, Thiemo Voigt |
| 2015 | TAP | A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. | Olga Grinchtein, Mats Carlsson, Justin Pearson |
| 2014 | CP | Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson |
| 2014 | CPAIOR | An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments. | Jeffrey Larson, Mikael Johansson, Mats Carlsson |
| 2013 | CPAIOR | A Synchronized Sweep Algorithm for the | Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu |
| 2013 | SCOPES | Constraint-based code generation. | Roberto Castaeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte |
| 2013 | SoCS | GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. | Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis |
| 2012 | CP | A Scalable Sweep Algorithm for the cumulative Constraint. | Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson |
| 2012 | CP | Constraint-Based Register Allocation and Instruction Scheduling. | Roberto Castaeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte |
| 2012 | ECAI | An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. | Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Rgin |
| 2010 | CP | A Generic Visualization Platform for CP. | Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson |
| 2010 | CPAIOR | On Matrices, Automata, and Double Counting. | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson |
| 2009 | CPAIOR | Six Ways of Integrating Symmetries within Non-overlapping Constraints. | Magnus gren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stphane Zampelli |
| 2008 | CP | A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. | Mats Carlsson, Nicolas Beldiceanu, Julien Martin |
| 2008 | CPAIOR | New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. | Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder |
| 2007 | CP | A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic | Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet |
| 2006 | CP | Graph Properties Based Filtering. | Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit |
| 2005 | CP | Graph Invariants as Necessary Conditions for Global Constraints. | Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet |
| 2004 | APBC | Dispensation Order Generation for Pyrosequencing. | Mats Carlsson, Nicolas Beldiceanu |
| 2004 | CP | Deriving Filtering Algorithms from Constraint Checkers. | Nicolas Beldiceanu, Mats Carlsson, Thierry Petit |
| 2004 | ESOP | From Constraints to Finite Automata to Filtering Algorithms. | Mats Carlsson, Nicolas Beldiceanu |
| 2002 | CP | A New Multi-resource cumulatives Constraint with Negative Heights. | Nicolas Beldiceanu, Mats Carlsson |
| 2001 | CP | Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. | Nicolas Beldiceanu, Mats Carlsson |
| 2001 | ICLP | Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. | Nicolas Beldiceanu, Mats Carlsson |
| 2001 | PPDP | Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. | Henrik Nssn, Mats Carlsson, Konstantinos Sagonas |
| 1999 | AMIA | Aggregation and reclassification-assessment of GALEN methods in the domain of thoracic surgery. | Mats Carlsson, Jeremy Rogers, Hans hlfeldt |
| 1999 | PADL | Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. | Mats Carlsson, Per Kreuger, Emil strm |
| 1998 | ICLP | SICStus MT - Multithreaded Execution Environment for SICStus Prolog. | Jesper Eskilson, Mats Carlsson |
| 1996 | CP | Towards an Open Finite Domain Constraint Solver. | Mats Carlsson, Bjrn Carlson, Greger Ottosson |
| 1995 | ICLP | Compiling and Executing Disjunctions of Finite Domain Constraints. | Bjrn Carlson, Mats Carlsson |
| 1994 | ICLP | Entailment of Finite Domain Constraints. | Bjrn Carlson, Mats Carlsson, Daniel Diaz |
| 1993 | ICLP | Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. | Mats Carlsson, Mats Grindal |
| 1989 | ICLP | On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. | Mats Carlsson |
| 1988 | ICLP | A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. | Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek |
| 1987 | ICLP | Freeze, Indexing, and Other Implementation Issues in the WAM. | Mats Carlsson |