| 2026 | AAAI | Reasoning Transfer for an Extremely Low-Resource and Endangered Language: Bridging Languages Through Sample-Efficient Language Understanding. | Khanh-Tung Tran, Barry O'Sullivan, Hoang D. Nguyen |
| 2026 | ACL | Disentangling Continued Pre-Training: Attention-Driven Routing and Semantic Hub Preservation in Language Adaptation. | Khanh-Tung Tran, Vinh-Khanh Tran, Barry O'Sullivan, Hoang D. Nguyen |
| 2026 | EACL | LaCoMSA: Language-Consistency Multilingual Self-Alignment with Latent Representation Rewarding. | Khanh-Tung Tran, Barry O'Sullivan, Hoang D. Nguyen |
| 2026 | ICORES | Energy-Efficient Scheduling in Parallel Machines with Speed Scaling and Release Dates. | Ahmed Missaoui, Barry O'Sullivan |
| 2026 | KDD | IRLBench: A Multi-modal, Culturally Grounded, Parallel Irish-English Benchmark for Open-Ended LLM Reasoning Evaluation. | Khanh-Tung Tran, Duc-Hai Nguyen, Barry O'Sullivan, Hoang D. Nguyen |
| 2026 | LAK | Empowering Multimodal Learning Analytics using Agentic AI: A Comprehensive Platform for Simulation-based Clinical Training with Intelligent Assessment. | Duc-Hai Nguyen, Kinza Salim, David Power, Murray Connolly, Ahmed Hamdy, Maya Contreras, Tai Tan Mai, George Shorten, Barry O'Sullivan, Vijayakumar Nanjappan, Hoang D. Nguyen |
| 2026 | LREC | Irish-BLiMP: A Linguistic Benchmark for Evaluating Human and Language Model Performance in a Low-Resource Setting. | Josh McGiff, Khanh-Tung Tran, William Mulcahy, Dibhidh Luinn, Jake Dalzell, Risn N Bhroin, Adam Burke, Barry O'Sullivan, Hoang D. Nguyen, Nikola S. Nikolov |
| 2026 | LREC | Questionnaire Meets LLM: A Benchmark and Empirical Study of Structural Skills for Understanding Questions and Responses. | Duc-Hai Nguyen, Vijayakumar Nanjappan, Barry O'Sullivan, Hoang D. Nguyen |
| 2025 | CPAIOR | Determining the Most Promising Selective Backbone Size for Partial Knowledge Compilation. | Andrea Balogh, Guillaume Escamocher, Barry O'Sullivan |
| 2025 | EMNLP | Disentangling Language Understanding and Reasoning Structures in Cross-lingual Chain-of-Thought Prompting. | Khanh-Tung Tran, Nguyet-Hang Vu, Barry O'Sullivan, Hoang D. Nguyen |
| 2025 | GLOBECOM | Sum Rate Maximization in Downlink HAP-RSMA-based THz Systems: A Generative Diffusion Model enabled RL Approach. | Mai Le, Quoc-Viet Pham, Barry O'Sullivan, Hoang D. Nguyen |
| 2025 | ICCV | IRLTrees3D: A 3D Reconstruction Dataset of Trees. | Joseph Chai, Barry O'Sullivan, Hoang D. Nguyen |
| 2025 | ICTAI | Counterfactual Explanations for Unsatisfiable Producer/Consumer Problems. | Sharmi Dev Gupta, Helmut Simonis, Luis Quesada, Barry O'Sullivan |
| 2025 | SmartComp | Unsupervised Induction Motor Anomaly Detection Using a Deep Convolutional Autoencoder Based on Multi-Sensor Data Fusion. | Andrea Visentin, Marco Dalla, Benjamin Provan-Bessell, Barry O'Sullivan |
| 2024 | AAAI | Addressing Digital and AI Skills Gaps in European Living Areas: A Comparative Analysis of Small and Large Communities. | Long Pham, Barry O'Sullivan, Teresa Scantamburlo, Tai Tan Mai |
| 2024 | CP | An Investigation of Generic Approaches to Large Neighbourhood Search (Short Paper). | Filipe Souza, Diarmuid Grimes, Barry O'Sullivan |
| 2024 | ECAI | UCCIX: Irish-eXcellence Large Language Model. | Khanh-Tung Tran, Barry O'Sullivan, Hoang D. Nguyen |
| 2024 | ESANN | SAT Instances Generation Using Graph Variational Autoencoders. | Daniel Crowley, Marco Dalla, Barry O'Sullivan, Andrea Visentin |
| 2024 | ICTAI | A Machine Learning Approach to Model Counting. | Marco Dalla, Andrea Visentin, Barry O'Sullivan |
| 2024 | ICTAI | Counterfactual Explanation Through Constraint Relaxation. | Sharmi Dev Gupta, Barry O'Sullivan, Luis Quesada |
| 2023 | AICCSA | Iterated Greedy Algorithms for Combinatorial Optimization: A Systematic Literature Review. | Ahmed Missaoui, Cemalettin Ozturk, Barry O'Sullivan |
| 2023 | CoDIT | Energy-Efficient Multi-Objective Hybrid Flowshop Scheduling Problem with Blocking Constraints. | Ahmed Missaoui, Cemalettin Ozturk, Barry O'Sullivan |
| 2023 | ECAI | Partial Compilation of SAT Using Selective Backbones. | Andrea Balogh, Guillaume Escamocher, Barry O'Sullivan |
| 2023 | IJCAI | Assessing and Enforcing Fairness in the AI Lifecycle. | Roberta Calegari, Gabriel G. Casta, Michela Milano, Barry O'Sullivan |
| 2023 | SAC | Breaking Symmetry for Knowledge Compilation. | Andrea Balogh, Barry O'Sullivan |
| 2023 | SoCS | Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. | Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan |
| 2023 | SoCS | SAT Feature Analysis for Machine Learning Classification Tasks. | Marco Dalla, Benjamin Provan-Bessell, Andrea Visentin, 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 | AIES | Ethical Data Curation for AI: An Approach based on Feminist Epistemology and Critical Theories of Race. | Susan Leavy, Eugenia Siapera, Barry O'Sullivan |
| 2021 | CP | The Hybrid Flexible Flowshop with Transportation Times. | Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis |
| 2021 | IJCAI | Explanation in Constraint Satisfaction: A Survey. | Sharmi Dev Gupta, Begum Genc, Barry O'Sullivan |
| 2021 | ICTAI | Automated SAT Problem Feature Extraction using Convolutional Autoencoders. | Marco Dalla, Andrea Visentin, Barry O'Sullivan |
| 2021 | SIN | Privacy Interpretation of Behaviour-based Anomaly Detection Approaches. | Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan |
| 2020 | CP | A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork. | Begum Genc, Barry O'Sullivan |
| 2020 | FNC | Towards Privacy-anomaly Detection: Discovering Correlation between Privacy and Security-anomalies. | Muhammad Imran Khan, Simon N. Foley, Barry O'Sullivan |
| 2019 | CP | Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem. | Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan |
| 2019 | CPAIOR | A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem. | Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan |
| 2019 | CPAIOR | An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem. | Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan |
| 2019 | ICTAI | Predicting Judicial Decisions: A Statistically Rigorous Approach and a New Ensemble Classifier. | Andrea Visentin, Alessia Nardotto, Barry O'Sullivan |
| 2018 | CPAIOR | From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP. | Guillaume Escamocher, Mohamed Siala, Barry O'Sullivan |
| 2018 | CPAIOR | Three-Dimensional Matching Instances Are Rich in Stable Matchings. | Guillaume Escamocher, Barry O'Sullivan |
| 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 |
| 2018 | ICTAI | From Offline to Online Kidney Exchange Optimization. | Danuta Sorina Chisca, Michele Lombardi, Michela Milano, Barry O'Sullivan |
| 2018 | ICTAI | Constrainedness in Stable Matching. | Guillaume Escamocher, Barry O'Sullivan |
| 2017 | AAAI | Robust Stable Marriage. | Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin |
| 2017 | COCOA | On the Complexity of Robust Stable Marriage. | Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan |
| 2017 | CP | Rotation-Based Formulation for Stable Matching. | Mohamed Siala, Barry O'Sullivan |
| 2017 | CPAIOR | A Distributed Optimization Method for the Geographically Distributed Data Centres Problem. | Mohamed Wahbi, Diarmuid Grimes, Deepak Mehta, Kenneth N. Brown, Barry O'Sullivan |
| 2017 | CRiSIS | A Semantic Approach to Frequency Based Anomaly Detection of Insider Access in Database Management Systems. | Muhammad Imran Khan, Barry O'Sullivan, Simon N. Foley |
| 2017 | IJCAI | Finding Robust Solutions to Stable Marriage. | Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin |
| 2017 | ICTAI | New Models for Two Variants of Popular Matching. | Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry O'Sullivan |
| 2017 | ICTAI | Acquiring Local Preferences of Weighted Partial MaxSAT. | Hong Huang, Laura Climent, Barry O'Sullivan |
| 2017 | SAC | Analysing the effect of candidate selection and instance ordering in a realtime algorithm configuration system. | Tadhg Fitzgerald, Barry O'Sullivan |
| 2016 | AAAI | A CP-Based Approach for Popular Matching. | Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry O'Sullivan |
| 2016 | AAAI | Optimizing Energy Costs in a Zinc and Lead Mine. | Alan Kinsella, Alan F. Smeaton, Barry Hurley, Barry O'Sullivan, Helmut Simonis |
| 2016 | CPAIOR | Revisiting Two-Sided Stability Constraints. | Mohamed Siala, Barry O'Sullivan |
| 2016 | IJCAI | Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models. | Anne-Marie George, Nic Wilson, Barry O'Sullivan |
| 2016 | ICTAI | Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. | Alejandro Arbelaez, Charlotte Truchet, Barry O'Sullivan |
| 2016 | ICTAI | The Temporal Bin Packing Problem: An Application to Workload Management in Data Centres. | Milan De Cauwer, Deepak Mehta, Barry O'Sullivan |
| 2016 | ICTAI | Improving Navigation in Critique Graphs. | Begum Genc, Barry O'Sullivan |
| 2016 | ICTAI | Representative Itemset Mining. | Hong Huang, Barry O'Sullivan |
| 2016 | ICTAI | A Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip. | Maribell Sacanamboy, Luis Quesada, Freddy Bolanos, lvaro Bernal Norea, Barry O'Sullivan |
| 2016 | MASCOTS | Robust Server Consolidation: Coping with Peak Demand Underestimation. | Diarmuid Grimes, Deepak Mehta, Barry O'Sullivan, Robert Birke, Lydia Y. Chen, Thomas Scherer, Ignacio Castieiras |
| 2016 | SoCS | An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem. | Laura Climent, Barry O'Sullivan, Richard J. Wallace |
| 2015 | CCGRID | On Energy- and Cooling-Aware Data Centre Workload Management. | Danuta Sorina Chisca, Ignacio Castieiras, Deepak Mehta, Barry O'Sullivan |
| 2015 | COCOA | On the Minimal Constraint Satisfaction Problem: Complexity and Generation. | Guillaume Escamocher, Barry O'Sullivan |
| 2015 | CP | Constraint-Based Local Search for Finding Node-Disjoint Bounded-Paths in Optical Access Networks. | Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan |
| 2015 | CP | Find Your Way Back: Mobility Profile Mining with Constraints. | Lars Kotthoff, Mirco Nanni, Riccardo Guidotti, Barry O'Sullivan |
| 2015 | CPAIOR | A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem. | Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2015 | IJCAI | Statistical Regimes and Runtime Prediction. | Barry Hurley, Barry O'Sullivan |
| 2015 | IJCAI | ReACTR: Realtime Algorithm Configuration through Tournament Rankings. | Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan |
| 2015 | IJCAI | Computation and Complexity of Preference Inference Based on Hierarchical Models. | Nic Wilson, Anne-Marie George, Barry O'Sullivan |
| 2015 | ICTAC | Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2015 | ICTAI | Large Neighbourhood Search for Energy-Efficient Train Timetabling. | Diarmuid Grimes, Barry Hurley, Deepak Mehta, Barry O'Sullivan |
| 2015 | UCC | Trichotomic Search for Thermal-Aware Data Centre Workload Optimisation. | Ignacio Castieiras, Danuta Sorina Chisca, Deepak Mehta, Barry O'Sullivan |
| 2015 | UCC | The GENiC Architecture for Integrated Data Centre Energy Management. | Dirk Pesch, Alan McGibney, Piotr Sobonski, Susan Rea, Thomas Scherer, Lydia Yiyu Chen, Ton Engbersen, Deepak Mehta, Barry O'Sullivan, Enric Pages, Jacinta Townley, Dhanaraja Kasinathan, J. Ignacio Torrens, Vojtech Zavrel, J. L. M. Hensen |
| 2014 | AAAI | Online Search Algorithm Configuration. | Tadhg Fitzgerald, Barry O'Sullivan, Yuri Malitsky, Kevin Tierney |
| 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 | CPAIOR | Proteus: A Hierarchical Portfolio of Solvers and Transformations. | Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan |
| 2014 | CPAIOR | A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. | Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joo Marques-Silva |
| 2014 | ECAI | A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Vincent Vigneron |
| 2014 | ECAI | Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. | Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joo Marques-Silva |
| 2014 | ECAI | Optimisation for the Ride-Sharing Problem: a Complexity-based Approach. | Gilles Simonin, Barry O'Sullivan |
| 2014 | ICTAI | Constraint-Based Local Search for the Distance- and Capacity-Bounded Network Design Problem. | Alejandro Arbelaez, Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2014 | ICTAI | Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems. | Laura Climent, Richard J. Wallace, Barry O'Sullivan, Eugene C. Freuder |
| 2014 | ICTAI | A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Vincent Vigneron |
| 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 |
| 2014 | SoCS | ReACT: Real-Time Algorithm Configuration through Tournaments. | Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan, Kevin Tierney |
| 2014 | SoCS | Latent Features for Algorithm Selection. | Yuri Malitsky, Barry O'Sullivan |
| 2014 | UCC | A Methodology for Online Consolidation of Tasks through More Accurate Resource Estimations. | Jesus Omaa Iglesias, Liam Murphy, Milan De Cauwer, Deepak Mehta, Barry O'Sullivan |
| 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 | CP | Dead-End Elimination for Weighted CSP. | Simon de Givry, Steven D. Prestwich, Barry O'Sullivan |
| 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 | IJCAI | Problem Transformations and Algorithm Selection for CSPs. | Barry Hurley, Barry O'Sullivan |
| 2013 | ICTAI | Lazy Branching for Constraint Satisfaction. | Deepak Mehta, Barry O'Sullivan, Lars Kotthoff, Yuri Malitsky |
| 2013 | ICTAI | A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks. | Luis Quesada, Kenneth N. Brown, Barry O'Sullivan, Lanny Sitanayah, Cormac J. Sreenan |
| 2013 | ICTAI | Explanations and Relaxations for Policy Conflicts in Physical Access Control. | Fatih Turkmen, Simon N. Foley, Barry O'Sullivan, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis, Menouer Boubekeur |
| 2013 | SoCS | Evolving Instance Specific Algorithm Configuration. | Yuri Malitsky, Deepak Mehta, Barry O'Sullivan |
| 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 | AAAI | Opportunities and Challenges for Constraint Programming. | Barry O'Sullivan |
| 2012 | CP | Weibull-Based Benchmarks for Bin Packing. | Ignacio Castieiras, Milan De Cauwer, Barry O'Sullivan |
| 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 |
| 2012 | CP | Where Are the Interesting Problems? | Barry O'Sullivan |
| 2012 | CPAIOR | A Computational Geometry-Based Local Search Algorithm for Planar Location Problems. | Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2012 | CRiSIS | Anomaly analysis for Physical Access Control security configuration. | William M. Fitzgerald, Fatih Turkmen, Simon N. Foley, Barry O'Sullivan |
| 2012 | ECMS | What-If Analysis Through Simulation-Optimization Hybrids. | Marco Gavanelli, Michela Milano, Alan Holland, Barry O'Sullivan |
| 2012 | ICCBR | Adaptation in a CBR-Based Solver Portfolio for the Satisfiability Problem. | Barry Hurley, Barry O'Sullivan |
| 2012 | ICTAI | Compiling Domain Consequences. | Alexandre Papadopoulos, Barry O'Sullivan |
| 2011 | CP | Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2011 | CPAIOR | Almost Square Packing. | Helmut Simonis, Barry O'Sullivan |
| 2011 | IAAI | Designing Resilient Long-Reach Passive Optical Networks. | Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle |
| 2011 | ICTAI | A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks. | Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle |
| 2011 | SAC | Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. | Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan |
| 2010 | AAAI | Automated Modelling and Solving in Constraint Programming. | Barry O'Sullivan |
| 2010 | CP | Propagating the Bin Packing Constraint Using Linear Programming. | Hadrien Cambazard, Barry O'Sullivan |
| 2010 | CP | Context-Sensitive Call Control Using Constraints and Rules. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2010 | CPAIOR | Hybrid Methods for the Multileaf Collimator Sequencing Problem. | Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan |
| 2010 | CPAIOR | Constraint Programming and Combinatorial Optimisation in Numberjack. | Emmanuel Hebrard, Eoin O'Mahony, Barry O'Sullivan |
| 2010 | ECAI | Knowledge Compilation for Itemset Mining. | Hadrien Cambazard, Tarik Hadzic, Barry O'Sullivan |
| 2010 | ECAI | Improving the Global Constraint SoftPrec. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2010 | ECAI | Data Mining for Biodiversity Prediction in Forests. | Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, John O'Halloran |
| 2010 | ICTAI | Preferred Explanations for Quantified Constraint Satisfaction Problems. | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
| 2010 | STACS | Treewidth Reduction for Constrained Separation and Bipartization Problems. | Dniel Marx, Barry O'Sullivan, Igor Razgon |
| 2009 | CP | Minimising Decision Tree Size as Combinatorial Optimisation. | Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan |
| 2009 | CP | Reasoning about Optimal Collections of Solutions. | Tarik Hadzic, Alan Holland, Barry O'Sullivan |
| 2009 | CP | Constraints of Difference and Equality: A Complete Taxonomic Characterisation. | Emmanuel Hebrard, Dniel Marx, Barry O'Sullivan, Igor Razgon |
| 2009 | CP | Search Space Extraction. | Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2009 | CP | Compiling All Possible Conflicts of a CSP. | Alexandre Papadopoulos, Barry O'Sullivan |
| 2009 | CPAIOR | A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem. | Hadrien Cambazard, Eoin O'Mahony, Barry O'Sullivan |
| 2009 | IJCAI | Functional Dependencies in MDD-Compiled Product Catalogues. | Tarik Hadzic, Barry O'Sullivan |
| 2009 | IJCAI | A Soft Global Precedence Constraint. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2009 | ICTAI | Preferential Attachment in Constraint Networks. | David Devlin, Barry O'Sullivan |
| 2009 | ICTAI | Reasoning about Conditional Constraint Specifications. | Raphael A. Finkel, Barry O'Sullivan |
| 2009 | ICTAI | Enhanced Inference for the Market Split Problem. | Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan, Meinolf Sellmann |
| 2009 | ICTAI | Towards Diverse Relaxations of Over-Constrained Models. | John Horan, Barry O'Sullivan |
| 2009 | RecSys | Uncovering functional dependencies in MDD-compiled product catalogues. | Tarik Hadzic, Barry O'Sullivan |
| 2008 | AAAI | A Hybrid Approach to Domino Portrait Generation. | Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan |
| 2008 | AAAI | Personalisation of Telecommunications Services as Combinatorial Optimisation. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2008 | CP | Reformulating Positive Table Constraints Using Functional Dependencies. | Hadrien Cambazard, Barry O'Sullivan |
| 2008 | CP | Approximate Compilation of Constraints into Multivalued Decision Diagrams. | Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann |
| 2008 | CP | A Soft Constraint of Equality: Complexity and Approximability. | Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon |
| 2008 | CP | Solving a Telecommunications Feature Subscription Configuration Problem. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2008 | CP | Relaxations for Compiled Over-Constrained Problems. | Alexandre Papadopoulos, Barry O'Sullivan |
| 2008 | CP | Search Strategies for Rectangle Packing. | Helmut Simonis, Barry O'Sullivan |
| 2008 | CPAIOR | Fast and Scalable Domino Portrait Generation. | Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan |
| 2008 | ECAI | A BDD Approach to the Feature Subscription Problem. | Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2008 | ICALP | Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract). | Igor Razgon, Barry O'Sullivan |
| 2008 | ICTAI | Layer Compression in Decision Diagrams. | Tarik Hadzic, Esben Rune Hansen, Barry O'Sullivan |
| 2008 | ICTAI | Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription. | David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson |
| 2008 | RecSys | Critique graphs for catalogue navigation. | Tarik Hadzic, Barry O'Sullivan |
| 2008 | STOC | A fixed-parameter algorithm for the directed feedback vertex set problem. | Jianer Chen, Yang Liu, Songjian Lu, Barry O'Sullivan, Igor Razgon |
| 2007 | AAAI | Generating and Solving Logic Puzzles through Constraint Satisfaction. | Barry O'Sullivan, John Horan |
| 2007 | AAAI | Representative Explanations for Over-Constrained Problems. | Barry O'Sullivan, Alexandre Papadopoulos, Boi Faltings, Pearl Pu |
| 2007 | CP | Constraint Symmetry for the Soft CSP. | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
| 2007 | FlAIRS | Search Ordering Heuristics for Restarts-Based Constraint Solving. | Margarita Razgon, Barry O'Sullivan, Gregory M. Provan |
| 2007 | IJCAI | Query-Driven Constraint Acquisition. | Christian Bessiere, Remi Coletta, Barry O'Sullivan, Mathias Paulin |
| 2007 | IJCAI | Quantified Constraint Satisfaction Problems: From Relaxations to Explanations. | Alex Ferguson, Barry O'Sullivan |
| 2007 | IJCAI | Distance Constraints in Constraint Satisfaction. | Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh |
| 2007 | IJCAI | Truthful Risk-Managed Combinatorial Auctions. | Alan Holland, Barry O'Sullivan |
| 2007 | ICTAI | Semiring-Based Constraint Acquisition. | Xuan-Ha Vu, Barry O'Sullivan |
| 2006 | AAAI | Acquiring Constraint Networks Using a SAT-based Version Space Algorithm. | Christian Bessiere, Remi Coletta, Frdric Koriche, Barry O'Sullivan |
| 2006 | AAAI | Approximate Compilation for Embedded Model-based Reasoning. | Barry O'Sullivan, Gregory M. Provan |
| 2006 | CP | Relaxations and Explanations for Quantified Constraint Satisfaction Problems. | Alex Ferguson, Barry O'Sullivan |
| 2006 | CP | Failure Analysis in Backtrack Search for Constraint Satisfaction. | Tudor Hulubei, Barry O'Sullivan |
| 2006 | CP | Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations. | Tudor Hulubei, Barry O'Sullivan |
| 2006 | ECAI | Guiding Search Using Constraint-Level Advice. | Radoslaw Szymanek, Barry O'Sullivan |
| 2006 | SAC | Special track editorial: constraint solving and programming. | Stefano Bistarelli, ric Monfroy, Barry O'Sullivan |
| 2005 | AAAI | Finding Diverse and Similar Solutions in Constraint Programming. | Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, Toby Walsh |
| 2005 | AAAI | Weighted Super Solutions for Constraint Programs. | Alan Holland, Barry O'Sullivan |
| 2005 | CP | Search Heuristics and Heavy-Tailed Behaviour. | Tudor Hulubei, Barry O'Sullivan |
| 2005 | CP | Generating Corrective Explanations for Interactive Constraint Satisfaction. | Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder |
| 2005 | IJCAI | Optimal Refutations for Constraint Satisfaction Problems. | Tudor Hulubei, Barry O'Sullivan |
| 2005 | IJCAI | Corrective Explanation for Interactive Constraint Satisfaction. | Barry O'Sullivan, Barry O'Callaghan, Eugene C. Freuder |
| 2005 | SAC | Editorial: special track on constraint solving and programming. | Stefano Bistarelli, ric Monfroy, Barry O'Sullivan |
| 2005 | SAC | Timid acquisition of constraint satisfaction problems. | Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder |
| 2004 | AAAI | Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints. | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
| 2004 | CP | Leveraging the Learning Power of Examples in Automated Constraint Acquisition. | Christian Bessiere, Remi Coletta, Eugene C. Freuder, Barry O'Sullivan |
| 2004 | ICTAI | Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. | Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan |
| 2004 | ICTAI | Boosting Constraint Satisfaction Using Decision Trees. | Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder |
| 2004 | SAC | Modeling and detecting the cascade vulnerability problem using soft constraints. | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
| 2003 | CP | Semi-automatic Modeling by Constraint Acquisition. | Remi Coletta, Christian Bessire, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Jol Quinqueton |
| 2003 | CP | Interactive Tradeoff Generation. | Moyra Duggan, Barry O'Sullivan, Eugene C. Freuder |
| 2003 | CP | Algorithmic Mechanism Design and Constraints. | Alan Holland, Barry O'Sullivan |
| 2003 | CP | A Constraint-Aided Conceptual Design Environment for Autodesk Inventor. | Alan Holland, Barry O'Callaghan, Barry O'Sullivan |
| 2003 | CP | Optimising the Representation and Evaluation of Semiring Combination Constraints. | Jerome Kelleher, Barry O'Sullivan |
| 2003 | CP | Useful Explanations. | Barry O'Callaghan, Eugene C. Freuder, Barry O'Sullivan |
| 2003 | CP | Teacher and Learner Profiles for Constraint Acquisition. | Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder |
| 2003 | DocEng | Creating personalized documents: an optimization approach. | Lisa Purvis, Steven Harrington, Barry O'Sullivan, Eugene C. Freuder |
| 2003 | SGAI | Symmetry Breaking in Soft CSPs. | Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan |
| 2003 | SGAI | A Theoretical Framework for Tradeoff Generation using Soft Constraints. | Stefano Bistarelli, Barry O'Sullivan |
| 2003 | SGAI | Constraint Acquisition as Semi-Automatic Modeling. | Remi Coletta, Christian Bessiere, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Jol Quinqueton |
| 2001 | CP | Generating Tradeoffs for Interactive Constraint-Based Configuration. | Eugene C. Freuder, Barry O'Sullivan |