| 2025 | ICTAI | Counterfactual Explanations for Unsatisfiable Producer/Consumer Problems. | Sharmi Dev Gupta, Helmut Simonis, Luis Quesada, Barry O'Sullivan |
| 2022 | CPAIOR | A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times. | Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis |
| 2021 | CP | The Hybrid Flexible Flowshop with Transportation Times. | Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis |
| 2020 | CPAIOR | Parameterised Bounds on the Sum of Variables in Time-Series Constraints. | Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis |
| 2019 | WSC | Simulation-Based Optimization Tool for Field Service Planning. | Gabriel G. Casta, Helmut Simonis, Kenneth N. Brown, Yiqing Lin, Cemalettin Ozturk, Michele Garraffa, Mark Antunes |
| 2018 | ICTAI | Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. | Mark Antunes, Vincent Armant, Kenneth N. Brown, Daniel A. Desmond, Guillaume Escamocher, Anne-Marie George, Diarmuid Grimes, Mike O'Keeffe, Yiqing Lin, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Mohamed Siala, Helmut Simonis, Nic Wilson |
| 2017 | CP | Generating Linear Invariants for a Conjunction of Automata Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
| 2017 | CP | among Implied Constraints for Two Families of Time-Series Constraints. | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
| 2016 | AAAI | Optimizing Energy Costs in a Zinc and Lead Mine. | Alan Kinsella, Alan F. Smeaton, Barry Hurley, Barry O'Sullivan, Helmut Simonis |
| 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 | CPAIOR | Time-Series Constraints: Improvements and Application in CP and MIP Contexts. | Ekaterina Arafailova, Nicolas Beldiceanu, Rmi Douence, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2014 | CCGRID | Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon. | Milan De Cauwer, Deepak Mehta, Barry O'Sullivan, Helmut Simonis, Hadrien Cambazard |
| 2014 | ICTAI | Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation. | Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Helmut Simonis |
| 2013 | CP | Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. | Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis |
| 2013 | CP | Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres. | Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis |
| 2013 | CPAIOR | Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. | Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis |
| 2013 | IAAI | The Deployment of a Constraint-Based Dental School Timetabling System. | Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis |
| 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 |
| 2013 | UCC | Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices. | Deepak Mehta, Barry O'Sullivan, Helmut Simonis |
| 2012 | CP | A Model Seeker: Extracting Global Constraint Models from Positive Examples. | Nicolas Beldiceanu, Helmut Simonis |
| 2012 | CP | Properties of Energy-Price Forecasts for Scheduling. | Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis |
| 2012 | CP | Comparing Solution Methods for the Machine Reassignment Problem. | Deepak Mehta, Barry O'Sullivan, Helmut Simonis |
| 2011 | CP | A Constraint Seeker: Finding and Ranking Global Constraints from Examples. | Nicolas Beldiceanu, Helmut Simonis |
| 2011 | CPAIOR | Almost Square Packing. | Helmut Simonis, Barry O'Sullivan |
| 2010 | CP | A Generic Visualization Platform for CP. | Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson |
| 2010 | ICTAI | Multicriteria Reasoning Considering Reliability or Availability. | Tarik Hadzic, Helmut Simonis |
| 2009 | CP | A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem. | Helmut Simonis |
| 2009 | CPAIOR | Progress on the Progressive Party Problem. | Helmut Simonis |
| 2008 | CP | Search Strategies for Rectangle Packing. | Helmut Simonis, Barry O'Sullivan |
| 2006 | CP | Constraint Based Resilience Analysis. | Helmut Simonis |
| 2004 | CP | Challenges for Constraint Programming in Networking. | Helmut Simonis |
| 1995 | CP | The CHIP System and Its Applications. | Helmut Simonis |
| 1995 | CP | Modelling Producer/Consumer Constraints. | Helmut Simonis, Trijntje Cornelissens |
| 1995 | ICLP | Applications of Constraint Logic Programming. | Helmut Simonis |
| 1989 | ICLP | Test Generation using the Constraint Logic Programming Language CHIP. | Helmut Simonis |
| 1988 | CADE | The CHIP System: Constraint Handling In Prolog. | Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold |
| 1988 | ECAI | Solving the Car-Sequencing Problem in Constraint Logic Programming. | Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck |
| 1988 | ICLP | Solving a Cutting-Stock Problem in Constraint Logic Programming. | Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck |
| 1987 | KI | Using Logic Programming for Fault Diagnosis in Digital Circuits. | Helmut Simonis, Mehmet Dincbas |