Professor/Head of Department
Computer Science
University College Cork
Cork
Ireland

T: +353-21-490-3000
F: +353 21 490 3000
E: b.osullivan@cs.ucc.ie
W: http://www.cs.ucc.ie/~osullb
Director
Computer Science
Insight Centre For Data Analytics
Western Gateway Building
University College Cork
Western Road, Cork, Ireland

T: +353 21 420 5954
F: +353 21 420 5369
E: barry.osullivan@insight-centre.org
W: https://www.insight-centre.org/users/barry-osullivan

Professor Barry O'Sullivan is a Full Professor (Chair of Constraint Programming) in the Department of Computer Science atUniversity College Cork. He became Head of Department, Computer Science, in September 2012. He was the Associate Director of the Cork Constraint Computation Centre from 2005 and assumed the directorship of the Centre in June 2011. He is currently Director of Insight at University College Cork and leads Insight's research programme on optimisation and decision analytics. 

Professor O'Sullivan has been a Science Foundation Ireland (SFI) Principal Investigator since 2006. He was listed amongst the “10 Rising Stars” of Irish Science by Science Foundation Ireland in their 2010 anniversary publication entitled “Celebrating 10 Years of Discovery”; he was the only computer scientist so recognized. He was elected a Fellow of ECCAI, the European Coordinating Committee for Artificial Intelligence, and a Senior Member of AAAI, the Association for the Advancement of Artificial Intelligence, in 2012. He is first Irish person to receive the latter recognition, and only the second European. Professor O’Sullivan was President of the International Association for Constraint Programming from 2007-2012; he is the current Chair of the Artificial Intelligence Association of Ireland; coordinator of the European Research Consortium for Informatics and Mathematics (ERCIM) Working Group on Constraints; and Council Member of the Analytics Society of Ireland, which is a member of the International Federation Of Operational Research Societies (IFORS). In 2010 he was honoured by being the first Irish scientist to give an Invited Talk atAAAI, the conference of the Association for the Advancement of Artificial Intelligence. In 2013 he received a UCC Leadership Award.

 

Professor O’Sullivan has been involved in winning €140 million in research funding, of which approximately €25 million has been directly his. He is currently the UCC PI on the following FP7-funded research projects: DISCUS (Grant Agreement 318137), ePolicy(Grant Agreement 288147), GENiC (Grant Agreement 608826), ICON (Grant Agreement 284715), and MAXBE (Grant Agreement 314408). He has worked extensively with industry, from startup companies to multi-national organisations. He will serve as Program Chair of the 2014 International Conference on the Principles and Practice of Constraint Programming, and co-Program Chair of the Prestigious Application of Intelligent Systems Track at the 2014 European Conference on Artificial Intelligence. He serves on the editorial boards of Constraints: An International Journal and the Journal of Artificial Intelligence Research (JAIR).


 

Professor O’Sullivan is the author of approximately 250 peer-reviewed publications, and has chaired over two dozen international research meetings. His research focuses on artificial intelligence, constraint programming, optimisation, and decision analytics, as well as the applications of these areas.

Selected Leadership Achievements:

Head of Department, Computer Science, University College Cork (2012–2015).

Winner, 2014 Association for Constraint Programming Distinguished Service Award and 2013 University College Cork Leadership Award.

Elected to the Board of the European Coordinating Committee for Artificial Intelligence (ECCAI) in 2014. ECCAI has a membership of more than 4,500 members across 27 European States.

Founding Director of the Science Foundation Ireland-funded Insight Centre for Data Analytics – launched in July 2013 (approx. €88 million budget over six years). Insight was established with the largest grant ever awarded by the Irish State. Professor O’Sullivan is directly responsible for €16.5 million of the Insight budget.

Insight’s Horizon 2020 Scientific Lead with responsibility to influent European policy and Insight’s strategy to win €50 million from Europe’s Horizon 2020 programme by 2019.

Director, Cork Constraint Computation Centre (4C), a leading laboratory focused on constraint pro- gramming and its applications, with around 60 members, an annual budget of around €2.5 million, both figures scheduled to increase, and with total funding awards of approximately e 50 million since 2001. New awards in 2011, when Professor O’Sullivan became Director, reached €5.4 million.

Professor O’Sullivan has been involved in winning around €140 million in research funding, of which approximately €25 million has been directly his.

Past President, Association of Constraint Programming (ACP); Chairman, Artificial Intelligence Asso- ciation of Ireland, which represents the Irish AI community at ECCAI; Coordinator, ERCIM Working Group on Constraints.

Founding co-PI on the Enterprise Ireland Technology Centre for Data Analytics – CeADAR, the Centre for Applied Data Analytics Research (launched 2013).

Assisted in the establishment of EMC Research Europe.

Program Chair of the 2014 International Conference on the Principles and Practice of Constraint Programming.

SICSA Distinguished Visiting Fellow at St. Andrews University, Edinburgh University, University of Glasgow, and Dundee University. 

 

Research Interests

My main area of research interest is data analytics, artificial intelligence, constraint programming, operations research, combinatorial optimisation, and applications to real world problems. I am also interested in theoretical computer science, in particular parameterised complexity and its applications.

While, most of my work is in the area of constraint programming, I also like to combine techniques from the field of machine learning and formal methods with constraint and satisfiability solving techniques. Specific application domains I am interested in include: cancer care, health, transportation, environmental sustainability, computer/network security, configuration, design, telecommunications, combinatorial auctions and electronic commerce.


Research Grants

 ProjectFunding
Body
Start DateEnd DateAward
SFI 12/RC/2289 Insight Centre for Data AnalyticsScience Foundation Ireland01-JUL-1330-JUN-19€44,500,000.00
SFI "Employing Artificial Intelligence to Make Constraint Programming Easier to Use for Decision.."Science Foundation of Ireland01-NOV-0630-APR-11€4,325,432.00
Centre for Telecommunications Value-chain Researach Second Term Funding CTVR-IIScience Foundation of Ireland01-JUN-1131-MAY-16€2,274,323.00
Centre for Telecommunications Value Chain-Driven ResearchScience Foundation of Ireland14-JUL-0430-SEP-09€1,933,367.00
Operations Budget.Science Foundation of Ireland01-JUL-1330-JUN-15€1,871,669.00
New Paradigms in Constraint Programming - Applications in DataScience Foundation of Ireland01-APR-1131-MAR-15€1,058,356.00
SFI 12/RC/2289 INSIGHT PL – RNWP1- Barry O'SullivanScience Foundation of Ireland01-JUL-1330-JUN-19€805,623.00
The DIStributed Core for unlimited bandwidth supply for all Users and Services.European Union01-NOV-1231-OCT-15€569,892.00
Inter Instituional Agreement relating to projects funded under the Data Analytics Technology Centre.Enterprise Irl01-DEC-1330-NOV-18€519,649.00
Globally optimized ENergy efficient data Centres.European Union01-OCT-1330-SEP-16€500,500.00
Inductive Constraint ProgrammingEuropean Union01-JAN-1230-JUN-15€493,500.00
SFI 12/RC/2289 INSIGHT TP UNALLOCATED SFI - RNWP1 - Barry O'SullivanScience Foundation of Ireland01-JUL-1330-JUN-19€441,313.00
EU Grant Managers/INSIGHT - Ireland's Big Data and Analytics Research Centre. 12/RC/2289s - INSIGHT EU Grant Manager - Barry O'SullivanScience Foundation of Ireland01-MAR-1428-FEB-19€437,154.00
EI "Robust Expressive Combinatorial Auctions for Procurement"Enterprise Irl01-JAN-0731-AUG-10€429,934.00
INSIGHT Strategic Fund and CEO CostsMiscellaneous01-JUL-1330-JUN-19€394,420.00
SFI 12/RC/2289 INSIGHT IP Manager - Barry O'SullivanScience Foundation of Ireland01-JUL-1330-JUN-19€369,765.00
SFI 12/RC/2289 INSIGHT PL – DAWP2- Nic WilsonScience Foundation of Ireland01-JUL-1330-JUN-19€361,205.00
Engineering the POlicy-making LIfe CYcle.European Union01-OCT-1131-DEC-14€359,000.00
AUTonomic HomE area NeTwork InfratruCture.Enterprise Irl01-SEP-1230-JUN-15€305,420.00
Timetabling for the Health Service ExecutiveScience Foundation of Ireland01-JAN-1130-JUN-14€189,310.00
Education & Outreach.Science Foundation of Ireland01-JUL-1330-JUN-19€264,000.00
Technology Centre for Data Analytics.Enterprise Irl26-NOV-1228-FEB-14€240,418.00
IRCSET & BT "Constraint Programming Technology.." (CP for Telcoms Personalisation)Irish Research Council for Science, Engineering & Technology (IRCSET)08-JAN-0707-JAN-10€186,782.00
[SC/02/ 289] {Barry O' Sullivan} NEnterprise Irl01-OCT-0230-SEP-05€150,000.00
Interoperable monitoring, Diagnosis and Maintenance Strategies for Axle Bearings.European Union01-NOV-1231-OCT-15€147,606.00
Guided Selling Prototype.Industry01-NOV-1131-OCT-12€135,200.00
SFI OIP 2011 Staff SupportScience Foundation of Ireland01-JAN-1131-DEC-11€132,277.00
Centre for Telecommunications Value-Chain Research - InternimScience Foundation Ireland01-OCT-0931-MAR-11€126,820.00
President's Strategic Fund "A Pilot for UCC Outreach TV"Foundation Funded Research01-NOV-0531-OCT-06€124,300.00
Development of a mathematical framework for synthesis, verification, deployment and management of access control policies.Industry01-JAN-1231-JUL-13€121,211.00
SFI High Performance Computing ClusterScience Foundation of Ireland01-DEC-0730-MAY-08€120,000.00
Constraint-based Cloud MobilityIndustry Sponsor01-JUL-1130-JUN-12€105,875.00
IRCSET Automated Constraint AcquisitionIrish Research Council for Science, Engineering & Technology (IRCSET)01-JAN-0531-MAR-09€110,000.00
Decision Analytics for Dynamic Ride-Sharing - SFI - 12/RC/2289 - INSIGHT TP2 Avego - Barry O'SullivanSFI Industry01-APR-1431-MAR-16€100,000.00
Decision Analytics for Sustainable Forrest HarvestingSFI Industry01-MAR-1429-FEB-16€100,000.00
[E.I. IF/2001/317] {O'Sullivan Dr B} NEnterprise Irl01-APR-0201-JUN-04€97,000.00
IRCSET "A Taxonomy of Global Constraints"Irish Research Council for Science, Engineering & Technology (IRCSET)01-OCT-0630-SEP-08€96,300.00
IRCSET Postdoc 'Visual Techniques for the Analysis of Constraint Programming Models'Irish Research Council for Science, Engineering & Technology (IRCSET)01-DEC-0730-NOV-09€96,300.00
Statement of WorkIndustry01-JUL-1130-APR-13€87,500.00
EI "Risk Management for Combinatorial Auctions"Enterprise Irl01-OCT-0530-SEP-06€83,400.00
Informative and Efficient explanations for interactive problem solving.Irish Research Council for Science, Engineering & Technology (IRCSET)01-FEB-1131-JAN-13€79,280.00
SFI 12/RC/2289 INSIGHT TP2 AVEGO SFI - RNWP1 - Barry O'SullivanScience Foundation of Ireland01-APR-1431-MAR-16€75,996.00
SFI 12/RC/2289 INSIGHT TP9 TREEMETRICS SFI – RNWP1 – Barry O'SullivanScience Foundation of Ireland01-APR-1431-MAR-16€75,091.00
SFI"12/RC/2289 INSIGHT Industry O/H"Prof B O' Sullivan[X]Science Foundation of Ireland01-JUL-1330-JUN-15€74,500.00
IRCSET PG Learning to Detect & Exploit Structure in Real-World Problems Student David DevlinIrish Research Council for Science, Engineering & Technology (IRCSET)01-OCT-0830-SEP-12€72,009.00
UCC Foundation ECLiPSe Learning & Development Environment Silicon Valley Community Foundation/ The Cisco University Research Programme FundMiscellaneous13-JUN-0831-DEC-14€67,197.00
[XEROX PROJ] {O'Sullivan,B/Freuder,E} NIndustry01-JUL-0228-FEB-15€64,698.00
SFI 12/RC/2289 INSIGHT TP1 Abtran (IND) - Barry O'Sullivan. Predictive Analytics & Optimisation.Science Foundation of Ireland01-JUL-1430-JUN-16€60,000.00
SFI 12/RC/2289 INSIGHT TP1 ABTRAN SFI - RNWP1 - Barry O'SullivanScience Foundation of Ireland01-JUL-1430-JUN-16€57,529.00
SFI "Creating Safe, Mobile & Scalable Embedded and Robotic Networks through Model-based . . ."Science Foundation of Ireland01-JUN-0730-AUG-07€46,727.00
SFI"12/RC/2289 INSIGHT Equipment"Prof B O' Sullivan[X] Irelands Big Data and AnalyticsScience Foundation of Ireland01-JUL-1330-JUN-15€30,000.00
Study the Convergence and Co-existence of Energy Information Networks.Tyndall National Institute01-FEB-1131-MAY-11€25,108.00
UNAM Guided SellingMiscellaneous29-NOV-1028-FEB-11€10,400.00
Conference Grant for CP-AI-OR 2006Science Foundation of Ireland01-FEB-0631-JUL-06€9,000.00
IERC SC0010 (CC-2010-4001) Area D HAN Energy Management System.Tyndall National Institute01-FEB-1130-APR-11€7,577.00
Optimisation of Commercial BuildingsTyndall National Institute01-FEB-1130-APR-11€6,906.00
An analysis of an anonymised sample of purchase history data.Enterprise Irl07-NOV-1106-NOV-12€5,000.00
SFI OIP 2011 - Staff CostsScience Foundation of Ireland01-JAN-1131-DEC-11€4,691.00
SFI "High Performance Constraint-based Placement & Routing - Student Benjamin JakobusScience Foundation of Ireland01-JUN-0824-AUG-08€4,680.00
Travel SupportEnterprise Irl22-MAY-1230-JUL-13€2,900.00
Travel Support.Enterprise Irl04-OCT-1131-DEC-11€2,900.00
IRCSET Approximate Compilation of Flexible Constraints: Algorithms, Experiments & ApplicationIrish Research Council for Science, Engineering & Technology (IRCSET)01-MAR-0831-MAR-10€2,500.00

Books

YearPublication
(2001)Constraint Aided Conceptual Design.
O'Sullivan, B.; (2001) Constraint Aided Conceptual Design. UK: Wiley. [Details]

Edited Books

YearPublication
(2014)
Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan (Ed.). (2014) ECAI 2014 - 21st European Conference on Artificial Intelligence. Amsterdam: IOS Press. [Details]
(2014)
Barry O'Sullivan (Ed.). (2014) Principles and Practice of Constraint Programming - 20th International Conference, CP 2014. Germany: Springer. [Details]
(2011)
Javier Larrosa and Barry O'Sullivan (Ed.). (2011) Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers. Germany: Springer. [DOI] [Details]
(2007)
Frédéric Benhamou, Narendra Jussien, Barry A. O'Sullivan (Ed.). (2007) Trends in Constraint Programming. France: Wiley-ISTE. [Details]
(2002)
Barry O'Sullivan (Ed.). (2002) Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Germany: Springer. [Details]

Peer Reviewed Journals

YearPublication
(2014)'A Constraint-Based Dental School Timetabling System'
Hadrien Cambazard and Barry O'Sullivan and Helmut Simonis (2014) 'A Constraint-Based Dental School Timetabling System'. Ai Magazine, 35 (1):53-63 [Details]
(2014)'Computational protein design as an optimization problem'
David Allouche and Isabelle André and Sophie Barbe and Jessica Davies and Simon de Givry and George Katsirelos and Barry O'Sullivan and Steven David Prestwich and Thomas Schiex and Seydou Traoré (2014) 'Computational protein design as an optimization problem'. Artificial Intelligence, 212 :59-79 [DOI] [Details]
(2014)'DISCUS: an end-to-end solution for ubiquitous broadband optical'
Marco Ruffini and Lena Wosinska and Mohand Achouche and Jiajia Chen and N. J. Doran and Farsheed Farjady and J. Montalvo and Peter Ossieur and Barry O'Sullivan and N. Parsons and T. Pfeiffer and Xing-Zhi Qiu and Christian Raack and H. Rohde and M. Schiano and Paul D. Townsend and Roland Wessaly and Xin Yin and David B. Payne (2014) 'DISCUS: an end-to-end solution for ubiquitous broadband optical'. Ieee Communications Magazine, 52 (2):24-56 [DOI] [Details]
(2014)'Grand challenges for constraint programming'
Freuder, Eugene C,O’Sullivan, Barry (2014) 'Grand challenges for constraint programming'. Constraints, 19 (2):150-162 [DOI] [Details]
(2014)'Grand challenges for constraint programming'
Freuder, Eugene C,O’Sullivan, Barry (2014) 'Grand challenges for constraint programming'. Constraints, 19 (2):150-162 [DOI] [Details]
(2014)'Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence'
Michela Milano and Barry O'Sullivan and Marco Gavanelli (2014) 'Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence'. Ai Magazine, 35 (3):22-35 [Details]
(2014)'Analyzing the impact of electricity price forecasting on energy cost-aware scheduling'
Diarmuid Grimes, Georgiana Ifrim, Barry O’Sullivan, Helmut Simonis (2014) 'Analyzing the impact of electricity price forecasting on energy cost-aware scheduling'. Sustainable Computing: Informatics & Systems, 4 (4):276-291 [DOI] [Details]
(2014)'Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development'
Michela Milano and Barry O'Sullivan and Martin Sachenbacher (2014) 'Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development'. IEEE Transactions on Computers, 63 (1):88-89 [DOI] [Details]
(2013)'The AAAI-13 Conference Workshops'
Vikas Agrawal, Christopher Archibald, Mehul Bhatt, Hung Hai Bui, Diane J. Cook, Juan Cortés, Christopher W. Geib, Vibhav Gogate, Hans W. Guesgen, Dietmar Jannach, Michael Johanson, Kristian Kersting, George Konidaris, Lars Kotthoff, Martin Michalowski, Sriraam Natarajan, Barry O'Sullivan, Marc Pickett, Vedran Podobnik, David Poole, Lokendra Shastri, Amarda Shehu, Gita Sukthankar (2013) 'The AAAI-13 Conference Workshops'. Ai Magazine, 34 (4):9-9 [DOI] [Details]
(2013)'Finding small separators in linear time via treewidth reduction'
Daniel Marx and Barry O'Sullivan and Igor Razgon (2013) 'Finding small separators in linear time via treewidth reduction'. Acm Transactions On Algorithms, 9 (4) [DOI] [Details]
(2013)'Finding small separators in linear time via treewidth reduction'
Dániel Marx, Barry O'Sullivan, Igor Razgon (2013) 'Finding small separators in linear time via treewidth reduction'. Acm Transactions On Algorithms, 9 (4) [DOI] [Details]
(2012)'A shortest path-based approach to the multileaf collimator sequencing problem'
Hadrien Cambazard and Eoin O'Mahony and Barry O'Sullivan (2012) 'A shortest path-based approach to the multileaf collimator sequencing problem'. Discrete Applied Mathematics, 160 (1-2):81-99 [DOI] [Details]
(2012)'Deployment Strategies for Protected Long-Reach PON'
Marco Ruffini, Deepak Mehta, Barry O’Sullivan, Luis Quesada, Linda Doyle, and David B. Payne (2012) 'Deployment Strategies for Protected Long-Reach PON'. Journal Of Optical Communications And Networking, 4 (2):118-129 [Details]
(2012)'Local search and constraint programming for the post enrolment-based course timetabling problem'
Hadrien Cambazard, Emmanuel Hebrard, Barry O'Sullivan, Alexandre Papadopoulos (2012) 'Local search and constraint programming for the post enrolment-based course timetabling problem'. Annals of Operations Research, 194 (1):111-135 [DOI] [Details]
(2011)'Soft Constraints of Difference and Equality'
Hebrard, Emmanuel and Marx, Daniel and O'Sullivan, Barry and Razgon, Igor (2011) 'Soft Constraints of Difference and Equality'. Journal of Artificial Intelligence Research, 41 :97-130 [DOI] [Details]
(2011)'Reasoning about conditional constraint specification problems and feature models'
Finkel, Raphael and O'Sullivan, Barry (2011) 'Reasoning about conditional constraint specification problems and feature models'. Ai Edam (Artificial Intelligence For Engineering Design, Analysis and Manufacturing), 25 (2):163-174 [DOI] [Details]
(2011)'Domino portrait generation: A fast and scalable approach'
Cambazard, H., Horan, J., O'Mahony, E., O'Sullivan, B. (2011) 'Domino portrait generation: A fast and scalable approach'. Annals of Operations Research, 184 (1):79-95 Globe icon [DOI] [Details]
(2010)'Erratum: Reformulating table constraints using functional dependencies-an application to explanation generation (Constraints (2008) 13: 3 (385-406))'
Cambazard, H., O'Sullivan, B. (2010) 'Erratum: Reformulating table constraints using functional dependencies-an application to explanation generation (Constraints (2008) 13: 3 (385-406))'. Constraints, 15 (1):145-147 Globe icon [Details]
(2010)'Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria'
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini (2010) 'Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria'. Security and Communication Networks, 3 (6):595-610 [DOI] [Details]
(2010)'Local search and constraint programming for the post enrolment-based course timetabling problem'
Cambazard, H., Hebrard, E., O'Sullivan, B., Papadopoulos, A. (2010) 'Local search and constraint programming for the post enrolment-based course timetabling problem'. Annals of Operations Research, :1-25 Globe icon [Details]
(2010)'Developing Approaches for Solving a Telecommunications Feature Subscription Problem'
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, and Nic Wilson (2010) 'Developing Approaches for Solving a Telecommunications Feature Subscription Problem'. Journal of Artificial Intelligence Research, 38 :271-305 [DOI] [CORA Link] [Details]
(2009)'A unifying framework for generalized constraint acquisition'
Vu, X.-H., O'Sullivan, B. (2009) 'A unifying framework for generalized constraint acquisition'. International Journal On Artificial Intelligence Tools, 17 (5):803-833 Globe icon [DOI] [Details]
(2009)'Almost 2-SAT is fixed-parameter tractable'
Igor Razgon and Barry O'Sullivan (2009) 'Almost 2-SAT is fixed-parameter tractable'. Journal of Computer and System Sciences, 75 (8):435-450 [DOI] [Details]
(2009)'A constraint-based approach to Enigma 1225'
Cambazard, Hadrien; O'Sullivan, Barry; Smith, Barbara M; (2009) 'A constraint-based approach to Enigma 1225'. Computer and Mathematics with Applications, 58 (8):1487-1497 [DOI] [Details]
(2008)'Reformulating table constraints using functional dependencies-an application to explanation generation'
Cambazard, H., O'Sullivan, B. (2008) 'Reformulating table constraints using functional dependencies-an application to explanation generation'. Constraints, 13 (3):385-406 Globe icon [DOI] [Details]
(2008)'A Fixed-Parameter Algorithm for the Directed Feedback Vertex Set Problem'
Chen, Jianer and Liu, Yang and Lu, Songjian and O'Sullivan, Barry and Razgon, Igor (2008) 'A Fixed-Parameter Algorithm for the Directed Feedback Vertex Set Problem'. Journal of The ACM, 55 (5) [DOI] [Details]
(2007)'Explanation in product configuration'
Haag, Albert and Junker, Ulrich and O'Sullivan, Barry (2007) 'Explanation in product configuration'. Ieee Intelligent Systems, 22 (1):83-85 [Details]
(2006)'Introduction to the special issue on principles and practice of Constraint Programming (CP 2005)'
O'Sullivan, B.a , Van Beek, P.b (2006) 'Introduction to the special issue on principles and practice of Constraint Programming (CP 2005)'. Constraints, 11 (2-3):83-84 Globe icon [Details]
(2006)'Special issue: Constraints and design'
O'Sullivan, Barry (2006) 'Special issue: Constraints and design'. Ai Edam-Artificial Intelligence for Engineering Design Analysis and Manufacturing, 20 (4):295-295 [Details]
(2006)'The impact of search heuristics on heavy-tailed behaviour'
Hulubei, Tudor and O'Sullivan, Barry (2006) 'The impact of search heuristics on heavy-tailed behaviour'. Constraints, 11 (2-3):159-178 [Details]
(2005)'A soft constraint-based approach to the cascade vulnerability problem'
Bistarelli, S.a b , Foley, S.N.c , O'Sullivan, B.d (2005) 'A soft constraint-based approach to the cascade vulnerability problem'. Journal of Computer Security, 13 (5):699-720 Globe icon [Details]
(2004)'Introduction to the special issue on user-interaction in constraint satisfaction'
O'Sullivan, B. (2004) 'Introduction to the special issue on user-interaction in constraint satisfaction'. Constraints, 9 (4):239-240 Globe icon [Details]
(2004)'Towards fast Vickrey pricing using constraint programming'
Holland, A., O'Sullivan, B. (2004) 'Towards fast Vickrey pricing using constraint programming'. Artificial Intelligence Review, 21 (3):335-352 Globe icon [Details]
(2002)'Interactive constraint-aided conceptual design'
O'Sullivan, B. (2002) 'Interactive constraint-aided conceptual design'. Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 16 (4):303-328 Globe icon [Details]

Book Chapters

YearPublication
(2011)'CaseBased Reasoning for Autonomous Constraint Solving'
Derek Bridge, Eoin O'Mahony and Barry O'Sullivan (2011) 'CaseBased Reasoning for Autonomous Constraint Solving' In: Y. Hamadi et al (eds). Autonomous Search. Berlin Heidelberg: Springer-Verlag. [DOI] [Details]
(2007)'The Next 10 Years of Constraint Programming'
Lucas Bordeaux, Barry O'Sullivan and Pascal Van Hentenryck (2007) 'The Next 10 Years of Constraint Programming' In: Frédéric Benhamou, Narendra Jussien, Barry A. O'Sullivan (eds). Trends in Contraint Programming. France: Hermes Science Publications. [Details]

Conference Publications

YearPublication
(2014)26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014
David Lesaint and Deepak Mehta and Barry O'Sullivan and Vincent Vigneron (2014) A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 Cyprus, , 10-NOV-14 - 12-NOV-14 , pp.544-551 [DOI] [Details]
(2014)Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014
Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O’Sullivan (2014) Proteus: A Hierarchical Portfolio of Solvers and Transformations Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014 Cork, , 19-MAY-14 - 23-MAY-14 , pp.301-317 [DOI] [Details]
(2014)ECAI 2014 - 21st European Conference on Artificial Interlligence
Gilles Simonin and Barry O'Sullivan (2014) Optimisation for the Ride-Sharing Problem: a Complexity-based Approach . In: Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan eds. ECAI 2014 - 21st European Conference on Artificial Interlligence Prague, , 18-AUG-14 - 22-AUG-14 , pp.831-836 [DOI] [Details]
(2014)26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014
Laura Climent and Richard J. Wallace and Barry O'Sullivan and Eugene C. Freuder (2014) Extrapolating from Limited Uncertain Information to Obtain Robust Solutions for Large-Scale Optimization Problems 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 Cyprus, , 10-NOV-14 - 12-NOV-14 , pp.898-905 [DOI] [Details]
(2014)2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing
Milan de Cauwer and Deepak Mehta and Barry O'Sullivan and Helmut Simonis and Hadrien Cambazard (2014) Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing Chicago, , 26-MAY-14 - 29-JAN-15 , pp.558-561 [DOI] [Details]
(2014)7th IEEE/ACM International Conference on Utility and Cloud Computing
Jesus Omana Iglesias, Milan De Cauwer, Deepak Mehta, Liam Murphy, Barry O’Sullivan (2014) A Methodology for Online Consolidation of Tasks Through More Accurate Resource Estimations 7th IEEE/ACM International Conference on Utility and Cloud Computing United Kingdom, , 08-DEC-14 - 11-DEC-14 [Details]
(2014)Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence 2014
Tadhg Fitzgerald and Barry O'Sullivan and Yuri Malitsky and Kevin Tierney (2014) Online Search Algorithm Configuration . In: Carla E. Brodley and Peter Stone eds. Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence 2014 Quebec, , 27-JUL-14 - 31-JAN-15 , pp.3104-3105 [Details]
(2014)26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014
Alejandro Arbelaez and Deepak Mehta and Barry O'Sullivan and Luis Quesada (2014) Constraint-Based Local Search for the Distance- and Capacity-Bounded Network Design Problem 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014 Cyprus, , 10-NOV-14 - 12-NOV-14 , pp.178-185 [DOI] [Details]
(2014)18th International Conference on Optical Network Design and Modeling, ONDM 2014
Deepak Mehta and Barry O'Sullivan and Luis Quesada and Marco Rufini and David B. Payne and Linda Doyle (2014) A scalable optimisation approach to minimising IP protection capacity for Long-Reach PON 18th International Conference on Optical Network Design and Modeling, ONDM 2014 Stockholm, , 19-MAY-14 - 22-MAY-14 , pp.31-36 [Details]
(2014)IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada and Helmut Simonis. (2014) Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation IEEE International Conference on Tools with Artificial Intelligence (ICTAI) Cyprus, , 10-NOV-14 - 12-NOV-14 , pp.560-567 [DOI] [Details]
(2014)ECAI 2014 - 21st European Conference on Artificial Intelligence
Yuri Malitsky and Barry O'Sullivan and Alessandro Previti and Joao Marques-Silva (2014) Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems . In: Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan eds. ECAI 2014 - 21st European Conference on Artificial Intelligence Prague, , 18-AUG-14 - 22-AUG-14 , pp.1065-1066 [DOI] [Details]
(2014)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Yuri Malitsky, Barry O’Sullivan, Alessandro Previti, Joao Marques-Silva (2014) A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems . In: Helmut Simonis eds. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Cork, , 19-MAY-14 - 23-MAY-14 , pp.368-376 [DOI] [Details]
(2014)Proceedings of the Seventh Annual Symposium on Combinatorial Search SoCS 2014
Yuri Malitsky and Barry O'Sullivan (2014) Latent Features for Algorithm Selection . In: Stefan Edelkamp and Roman Bartak eds. Proceedings of the Seventh Annual Symposium on Combinatorial Search SoCS 2014 Prague, , 15-AUG-14 - 17-AUG-14 [Details]
(2014)ECAI 2014 - 21st European Conference on Artificial Intelligence
David Lesaint and Deepak Mehta and Barry O'Sullivan and Vincent Vigneron (2014) A Decomposition Approach for Discovering Discriminative Motifs in a Sequence Database . In: Torten Schaub and Gerhard Friedrich and Barry O'Sullivan eds. ECAI 2014 - 21st European Conference on Artificial Intelligence Prague, , 18-AUG-14 - 22-AUG-14 , pp.1057-1058 [DOI] [Details]
(2014)Proceedings of the Seventh Annual Symposium on Combinatorial Search, SoCS 2014
Tadhg Fitzgerald and Yuri Malitsky and Barry O'Sullivan and Kevin Tierney (2014) ReACT: Real-Time Algorithm Configuration through Tournaments . In: Stefan Edelkamp and Roman Bartak eds. Proceedings of the Seventh Annual Symposium on Combinatorial Search, SoCS 2014 Prague, , 15-AUG-14 - 17-AUG-14 [Details]
(2013)Principles and Practice of Constraint Programming - 19th International Conference, CP 2013
Simon de Givry and Steven David Prestwich and Barry O'Sullivan (2013) Dead-End Elimination for Weighted CSP . In: Christian Schulte eds. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013 Uppsala, , 16-SEP-13 - 20-SEP-13 , pp.263-272 [DOI] [Details]
(2013)Economics of Grids, Clouds, Systems, and Services - 10th International Conference, GECON 2013
Hadrien Cambazard and Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres . In: Jorn Altmann and Kurt Vanmechelen and Omer F. Rana eds. Economics of Grids, Clouds, Systems, and Services - 10th International Conference, GECON 2013 Zaragoza, , 18-SEP-13 - 20-SEP-13 , pp.44-59 [DOI] [Details]
(2013)Principles and Practice of Constraint Programming - 19th International Conference, CP 2013
Hadrien Cambazard and Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres . In: Christian Schulte eds. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013 Uppsala, , 16-SEP-13 - 20-SEP-13 , pp.47-62 [DOI] [Details]
(2013)Proceedings of the Twenty-Fifth Innovative Applications of Artificial Intelligence Conference, IAAI 2013
Hadrien Cambazard and Barry O'Sullivan and Helmut Simonis (2013) The Deployment of a Constraint-Based Dental School Timetabling System . In: Hector Munoz-Avila and David J. Stracuzzi eds. Proceedings of the Twenty-Fifth Innovative Applications of Artificial Intelligence Conference, IAAI 2013 Washington, , 14-JUL-13 - 18-JUL-13 [Details]
(2013)2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
Deepak Mehta, Barry O’Sullivan, Lars Kotthoff, Yuri Malitsky (2013) Lazy Branching for Constraint Satisfaction 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013 VA, , 04-NOV-13 - 06-NOV-13 , pp.1012-1019 [DOI] [Details]
(2013)2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
Luis Qusada and Kenneth N. Brown and Barry O'Sullivan and Lannay Sitanayah and and Cormac J. Sreenan (2013) A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013 VA, , 04-NOV-13 - 06-NOV-13 , pp.1052-1059 [DOI] [Details]
(2013)Transparent Optical Networks (ICTON), 2013 15th International Conference on
Ruffini, Marco and Doran, Nick and Achouche, Mohand and Parsons, Nick and Pfeiffer, Thomas and Yin, Xin and Rohde, Harald and Schiano, Marco and Ossieur, Peter and O'Sullivan, Barry and others (2013) DISCUS: End-to-end network design for ubiquitous high speed broadband services Transparent Optical Networks (ICTON), 2013 15th International Conference on , pp.1-5 [Details]
(2013)2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
Fatih Turkmen, Simon N. Foley, Barry O'Sullivan, William M. Fitzgerald, Tarik Hadzic, Stylianos Basagiannis, Menouer Boubekeur (2013) Explanations and Relaxations for Policy Conflicts in Physical Access Control 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013 VA, , 04-NOV-13 - 06-NOV-13 , pp.330-336 [DOI] [Details]
(2013)IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence
Barry Hurley and Barry O'Sullivan (2013) Problem Transformations and Algorithm Selection for CSPs . In: Francesca Rossi eds. IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence Beijing, , 03-AUG-13 - 09-AUG-13 [Details]
(2013)IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013
Deepak Mehta and Barry O'Sullivan and Helmut Simonis (2013) Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013 Dresden, , 09-DEC-13 - 12-DEC-13 , pp.26-33 [DOI] [Details]
(2013)European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013
Marco Collautti, Yuri Malitsky, Deepak Mehta, Barry O’Sullivan (2013) SNNAP: Solver-based Nearest Neighbor for Algorithm Portfolios . In: Hendrik Blockeel and Kristian Kersting and Siegfried Nijssen and Filip Zelezny eds. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 Prague, , 23-SEP-13 - 27-SEP-13 , pp.435-450 [DOI] [Details]
(2013)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013
Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis (2013) Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem . In: Carla P. Gomes and Meinholf Sellman eds. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013 NY, , 18-MAY-13 - 22-MAY-13 , pp.176-192 [DOI] [Details]
(2013)Economics of Grids, Clouds, Systems, and Services - 10th International Conference, GECON 2013
Milan de Cauwer and Barry O'Sullivan (2013) A Study of Electricity Price Features on Distributed Internet Data Centers . In: Jorn Altmann and Kurt Vanmechelen and Omer F. Rana eds. Economics of Grids, Clouds, Systems, and Services - 10th International Conference, GECON 2013 Zaragoza, , 18-SEP-13 - 20-SEP-13 , pp.60-73 [DOI] [Details]
(2013)Proceedings of the Sixth Annual Symposium on Combinatorial Search, SoCS 2013
Yuri Malitsky, Deepak Mehta, Barry O’Sullivan (2013) Evolving Instance Specific Algorithm Configuration . In: Malte Helmert and Gabriele Roger eds. Proceedings of the Sixth Annual Symposium on Combinatorial Search, SoCS 2013 Washington, , 11-JUL-13 - 13-JUL-13 [Details]
(2012)WAITS 2012: Proceedings of the First International Workshop on AI in Telecommunications and Sensor Networks, in conjunction with ECAI 2012, Montpelier, France. 
Kenneth N Brown and Barry O'Sullivan and Cormac J. Sreenan  (2012) WAITS 2012: Proceedings of the First International Workshop on AI in Telecommunications and Sensor Networks, in conjunction with ECAI 2012, Montpelier, France WAITS 2012: Proceedings of the First International Workshop on AI in Telecommunications and Sensor Networks, in conjunction with ECAI 2012, Montpelier, France.  Montpellier, , 28-AUG-12 - 28-AUG-12 [Details]
(2012)Principles and Practice of Constraint Programming - 18th International Conference, CP 2012
Deepak Mehta, Barry O'Sullivan, Helmut Simonis (2012) Comparing Solution Methods for the Machine Reassignment Problem Conference, CP 2012 . In: Michela Milano eds. Principles and Practice of Constraint Programming - 18th International Conference, CP 2012 Quebec City, , 08-OCT-12 - 12-OCT-12 , pp.782-797 [DOI] [Details]
(2012)16th International Conference on Optical Network Design and Modelling, ONDM 2012
Marco Ruffini, Linda Doyle, David B. Payne, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2012) Deployment case studies of an energy efficient protected LR-PON architecture . In: Dimitra Simeonidou eds. 16th International Conference on Optical Network Design and Modelling, ONDM 2012 Colchester, , 17-APR-12 - 20-APR-12 , pp.1-6 [DOI] [Details]
(2012)26th European Conference on Modelling and Simulation, ECMS 2012
Marco Gavanelli, Michela Milano, Alan Holland, Barry O'Sullivan (2012) What-If Analysis Through Simulation-Optimization Hybrids 26th European Conference on Modelling and Simulation, ECMS 2012 Koblenz, , 29-MAY-12 - 01-JUN-12 , pp.624-630 [DOI] [Details]
(2012)Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2012) A Computational Geometry-Based Local Search Algorithm for Planar Location Problems . In: Nicolas Beldiceanu and Narendra Jussien and Eric Pinson eds. Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings Nantes, , 28-MAY-12 - 01-JUN-12 , pp.97-112 [DOI] [Details]
(2012)Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
Barry O'Sullivan (2012) Opportunities and Challenges for Constraint Programming . In: Jorg Hoffmann and Bart Selman eds. Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence Toronto, , 22-JUL-12 - 26-JUL-12 [Details]
(2012)Principles and Practice of Constraint Programming - 18th International Conference, CP 2012
Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis (2012) Properties of Energy-Price Forecasts for Scheduling . In: Michela Milano eds. Principles and Practice of Constraint Programming - 18th International Conference, CP 2012 Quebec City, , 08-OCT-12 - 12-OCT-12 , pp.957-972 [DOI] [Details]
(2012)7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012
William M. Fitzgerald, Fatih Turkmen, Simon N. Foley, Barry O'Sullivan (2012) Anomaly analysis for Physical Access Control security configuration 7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012 Cork, , 10-OCT-12 - 12-OCT-12 , pp.1-8 [DOI] [Details]
(2012)Case-Based Reasoning Research and Development - 20th International Conference, ICCBR 2012
Barry Hurley, Barry O'Sullivan (2012) Adaptation in a CBR-Based Solver Portfolio for the Satisfiability Problem Case-Based Reasoning Research and Development - 20th International Conference, ICCBR 2012 Lyon, , 03-SEP-12 - 06-SEP-12 , pp.152-166 [DOI] [Details]
(2012)Principles and Practice of Constraint Programming - 18th International Conference, CP 2012
Ignacio Castiñeiras, Milan De Cauwer, Barry O'Sullivan (2012) Weibull-Based Benchmarks for Bin Packing . In: Michela Milano eds. Principles and Practice of Constraint Programming - 18th International Conference, CP 2012 Quebec City, , 08-OCT-12 - 12-OCT-12 , pp.207-222 [DOI] [Details]
(2011)AICS 2011
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David Payne, Linda Doyle (2011) A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks AICS 2011 [Details]
(2011)CP 2011 - 8th Workshop on Local Search Techniques in Constraint Satisfaction
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada (2011) A Computational Geometry-based Local Search Algorithm for Planar Location Problems CP 2011 - 8th Workshop on Local Search Techniques in Constraint Satisfaction [Details]
(2011)EPSRC photonic communications workshop
Marco Ruffini, Barry O’Sullivan, Deepak Mehta, Luis Quesada, F. Farjady, N. Doran, David Payne (2011) A protected LR-PON deployment for the UK EPSRC photonic communications workshop [Details]
(2011)Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence
Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle (2011) Designing Resilient Long-Reach Passive Optical Networks Proceedings of the Twenty-Third Conference on Innovative Applications of Artificial Intelligence San Francisco, , 09-AUG-11 - 11-AUG-11 [Details]
(2011)Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011
Barry O'Sullivan (2011) An Introduction to Constraint Programming and Combinatorial Optimisation Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011 Galway, , 23-AUG-11 - 27-AUG-11 [DOI] [Details]
(2011)IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Marco Ruffini, David B. Payne, Linda Doyle (2011) A Combinatorial Optimisation Approach to the Design of Dual Parented Long-Reach Passive Optical Networks IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011 FL, , 07-NOV-11 - 09-NOV-11 , pp.785-792 [DOI] [Details]
(2011)Proceedings of the 2011 ACM Symposium on Applied Computing (SAC)
Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan (2011) Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences . In: William C. Chu and W. Eric Wong and Mathew J. Palakal and Chi-Cheng Hung eds. Proceedings of the 2011 ACM Symposium on Applied Computing (SAC) Taiwan, , 21-MAR-11 - 24-MAR-11 , pp.901-906 [DOI] [Details]
(2011)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011
Helmut Simonis, Barry O'Sullivan (2011) Almost Square Packing Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, CPAIOR 2011 Berlin, , 23-MAY-11 - 27-MAY-11 , pp.196-209 [DOI] [Details]
(2011)Principles and Practice of Constraint Programming - 17th International Conference, CP 2011
Deepak Mehta, Barry O'Sullivan, Luis Quesada (2011) Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering Principles and Practice of Constraint Programming - 17th International Conference, CP 2011 Perugia, , 12-SEP-11 - 16-SEP-11 , pp.606-620 [DOI] [Details]
(2010)Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010
O'Sullivan, B.A , Keady, S.B , Keane, E.C , Irwin, S.B , O'Halloran, J.B (2010) Data Mining for Biodiversity Prediction in Forests Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010 Lisbon, , 16-AUG-10 - 20-AUG-10 , pp.289-294 Globe icon [Details]
(2010)Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010
Cambazard, H; Hadzic, T; O'Sullivan, B.; (2010) Knowledge Compilation for Itemset Mining Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010 Lisbon, , pp.1109-1110 [DOI] [Details]
(2010)Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming
Lesaint, D; Mehta, Deepak; O'Sullivan, B; Quesada, Luis; Wilson, Nic; (2010) Context-Sensitive Call Control using Constraints and Rules . In: David Cohen eds. Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming St Andrews, , 06-SEP-10 - 10-SEP-10 , pp.583-597 [DOI] [Details]
(2010)In Proceedings of the 22nd IEEE International Conference on on Tools with Artificial Intelligence (ICTAI 2010)
Mehta, Deepak; O'Sullivan, Barry; Quesada, Luis; (2010) Preferred Explanations for Quantified Constraint Satisfaction Problems In Proceedings of the 22nd IEEE International Conference on on Tools with Artificial Intelligence (ICTAI 2010) Arras, , pp.275-278 [DOI] [Details]
(2010)Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010
Lesaint, D; Mehta, Deepak; O'Sullivan, B; Quesada, Luis; Wilson, Nic; (2010) Improving the Global Constraint SoftPrec Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010 Lisbon, [DOI] [Details]
(2010)Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010
Cambazard, H., O'Mahony, E., O'Sullivan, B. (2010) Hybrid Methods for the Multileaf Collimator Sequencing Problem . In: Andrea Lodi and Michela Milano and Paolo Toth eds. Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010 Bologna, , 14-JUN-10 - 18-JUN-10 , pp.56-70 Globe icon [DOI] [Details]
(2010)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010
Hebrard, E.A B , O'Mahony, E.A , O'Sullivan, B.A (2010) Constraint Programming and Combinatorial Optimisation in Numberjack . In: Andrea Lodi, Michela Milano, Paolo Toth eds. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010 Bologna, , 14-JUN-10 - 18-JUN-10 , pp.181-185 Globe icon [DOI] [Details]
(2010)Security and Trust Management - 6th International Workshop, STM 2010
Simon N. Foley, Wayne Mac Adams, Barry O'Sullivan (2010) Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System Security and Trust Management - 6th International Workshop, STM 2010 Athens, , pp.100-115 [DOI] [Details]
(2010)27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010
Dániel Marx, Barry O'Sullivan, Igor Razgon (2010) Treewidth Reduction for Constrained Separation and Bipartization Problems 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010 Nancy, , pp.561-572 [DOI] [Details]
(2010)Principles and Practice of Constraint Programming - 16th International Conference, CP 2010
Hadrien Cambazard and Barry O'Sullivan (2010) Propagating the Bin Packing Constraint Using Linear Programming . In: David Cohen eds. Principles and Practice of Constraint Programming - 16th International Conference, CP 2010 St. Andrews, , 06-SEP-10 - 10-SEP-10 , pp.129-136 [DOI] [Details]
(2010)Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010
Barry O'Sullivan (2010) Automated Modelling and Solving in Constraint Programming . In: Maria Fox and David Poole eds. Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010 Georgia, , 11-JUL-10 - 15-JUL-11 [Details]
(2009)The 15th International Conference on Principles and Practice of Constraint Programming
Hadzic, T. and Holland, A. and O'Sullivan, B. (2009) Reasoning about Optimal Collections of Solutions The 15th International Conference on Principles and Practice of Constraint Programming Lisbon, , 21-SEP-09 - 24-SEP-09 [Details]
(2009)Proceedings of the ACM Conference on Recommender Systems, RecSys 2009
Hadzic, T; O'Sullivan, B; (2009) Uncovering functional dependencies in MDD-compiled product catalogues Proceedings of the ACM Conference on Recommender Systems, RecSys 2009 New York, , pp.377-380 [DOI] [Details]
(2009)ICTAI 2009 21st IEEE International Conference on Tools with Artificial Intelligence
Hadzic, T; O'Mahony, E; O'Sullivan, B; Sellmann, M; (2009) Enhanced Inference for the Market Split Problem ICTAI 2009 21st IEEE International Conference on Tools with Artificial Intelligence Newark, , 02-NOV-09 - 05-NOV-09 [DOI] [Details]
(2009)Principles and Practice of Constraint Programming - 15th International Conference, CP 2009
Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson; (2009) Search Space Extraction . In: Ian P. Gent eds. Principles and Practice of Constraint Programming - 15th International Conference, CP 2009 Lisbon, , pp.608-622 [DOI] [Details]
(2009)Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson (2009) A Soft Global Precedence Constraint Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09) Pasadena, , pp.566-571 [Details]
(2009)Principles and Practice of Constraint Programming - 15th International Conference, CP2009
Papadopoulos, A., O'Sullivan, B. (2009) Compiling All Possible Conflicts of a CSP . In: Ian P. Gent eds. Principles and Practice of Constraint Programming - 15th International Conference, CP2009 , pp.639-653 Globe icon [DOI] [Details]
(2009)ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence
John Horan, Barry O'Sullivan (2009) Towards Diverse Relaxations of Over-Constrained Models ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence Newark, , pp.198-205 [DOI] [Details]
(2009)Principles and Practice of Constraint Programming - 15th International Conference, CP 2009
Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon (2009) Constraints of Difference and Equality: A Complete Taxonomic Characterisation . In: Ian P. Gent eds. Principles and Practice of Constraint Programming - 15th International Conference, CP 2009 Lisbon, , pp.424-438 Globe icon [DOI] [Details]
(2009)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009
Cambazard, H., O'Mahony, E., O'Sullivan, B. (2009) A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009 , pp.41-55 Globe icon [DOI] [Details]
(2009)Proceedings of the 7th Workshop on Intelligent Techniques for Web Personalization & Recommender Systems (ITWP'09), in conjunction with the 21st InternationalJoint Conference on Artificial Intelligence - IJCAI 2009
Tarik Hadzic, Barry O'Sullivan (2009) Functional Dependencies in MDD-Compiled Product Catalogues Proceedings of the 7th Workshop on Intelligent Techniques for Web Personalization & Recommender Systems (ITWP'09), in conjunction with the 21st InternationalJoint Conference on Artificial Intelligence - IJCAI 2009 [Details]
(2009)Advances in Artificial Life. Darwin Meets von Neumann - 10th European Conference, ECAL 2009, Revised Selected Papers Part II
Dara Curran, Barry O'Sullivan (2009) An Analysis of Lamarckian Learning in Changing Environments Advances in Artificial Life. Darwin Meets von Neumann - 10th European Conference, ECAL 2009, Revised Selected Papers Part II Budapest, , pp.142-149 [DOI] [Details]
(2009)ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence
Raphael A. Finkel, Barry O'Sullivan (2009) Reasoning about Conditional Constraint Specifications ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence Newark, , pp.349-353 [DOI] [Details]
(2009)ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence
David Devlin, Barry O'Sullivan (2009) Preferential Attachment in Constraint Networks ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence Newark, , pp.708-715 [DOI] [Details]
(2009)Principles and Practice of Constraint Programming - 15th International Conference, CP 2009
Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan (2009) Minimising Decision Tree Size as Combinatorial Optimisation . In: Ian P. Gent eds. Principles and Practice of Constraint Programming - 15th International Conference, CP 2009 Lisbon, , pp.173-187 Globe icon [DOI] [Details]
(2008)Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008
Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan (2008) A Hybrid Approach to Domino Portrait Generation Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008 Chicago, , pp.1874-1875 [Details]
(2008)Proceedings of the European Conference on Optical Communications (ECOC) 2008
Alex Ferguson, Barry O'Sullivan, Daniel C. Kilper (2008) Impact ofWavelength Route Correlation on the Optimal Placement of Optical Monitors in Transparent Mesh Networks Proceedings of the European Conference on Optical Communications (ECOC) 2008 Brussels, , pp.1-2 [DOI] [Details]
(2008)Proceedings of the 19th Conference on Artificial Intelligence and Cognitive Science
Chenjie Zhu, Alan Holland, and Barry O’Sullivan (2008) Towards Category Management for Combinatorial Auctions Proceedings of the 19th Conference on Artificial Intelligence and Cognitive Science [Details]
(2008)Transforming Healthcare through Research, Education & Technology 9th Annual Interdisciplinary Research Conference Proceedings
O'Sullivan, Brid,O'Connell, R; (2008) Secondary Prevention in Heart Disease: Learning Needs of Angioplasty Patients Transforming Healthcare through Research, Education & Technology 9th Annual Interdisciplinary Research Conference Proceedings School of Nursing and Midwifery Trinity College Dublin, [Details]
(2008)Proc. 14th International Conference on Principles and Practice of Constraint Programming, CP 2008
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis O. Quesada, Nic Wilson; (2008) Solving a Telecommunications Feature Subscription Configuration Problem . In: Peter J. Stuckey eds. Proc. 14th International Conference on Principles and Practice of Constraint Programming, CP 2008 Sydney, , pp.67-81 [DOI] [Details]
(2008)Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis O. Quesada, Nic Wilson; (2008) Personalisation of Telecommunications Services as Combinatorial Optimisation Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008 Chicago, , pp.1693-1698 [Details]
(2008)Automata, Languages and Programming, 35th International Colloquium, ICALP (1) 2008
Igor Razgon, Barry O'Sullivan; (2008) Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) Automata, Languages and Programming, 35th International Colloquium, ICALP (1) 2008 Reykjavik, , pp.551-562 [DOI] [Details]
(2008)Proceedings of the 40th Annual ACM Symposium on Theory of ComputingTOC 2008
Jianer Chen, Yang Liu, Songjian Lu, Barry O'Sullivan, Igor Razgon; (2008) A fixed-parameter algorithm for the directed feedback vertex set problem Proceedings of the 40th Annual ACM Symposium on Theory of ComputingTOC 2008 British Columbia, , pp.177-186 [DOI] [Details]
(2008)ECAI 2008 System Demonstrations
David Lesaint, John Ly, Deepak Mehta, Barry O'Sullivan, Luis Quesada and Nic Wilson; (2008) A Personalisable Internet Telephony Service ECAI 2008 System Demonstrations [Details]
(2008)Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, and Nic Wilson (2008) Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence Dayton, , pp.283-290 [DOI] [Details]
(2008)Artificial Intelligence and Cognitive Science (AICS'08)
Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent and Barry O'Sullivan; (2008) Using Case-based Reasoning in an Algorithm Portfolio for Constraint Solving Artificial Intelligence and Cognitive Science (AICS'08) Cork, Ireland, [Details]
(2008)Artificial Intelligence and Cognitive Science (AICS'08)
Chenjie Zhu, Alan Holland and Barry O'Sullivan; (2008) Towards Category Management for Combinatorial Auctions Artificial Intelligence and Cognitive Science (AICS'08) Cork, Ireland, [Details]
(2008)ECAI 2008 - 18th European Conference on Artificial Intelligence
Hadzic T, Lesaint D, Mehta D, O'Sullivan B, Quesada L, Wilson N.; (2008) A BDD Approach to the Feature Subscription Problem ECAI 2008 - 18th European Conference on Artificial Intelligence Patras, , pp.698-702 [DOI] [Details]
(2008)Proceedings of Principles and Practice of Constraint Programming, CP 2008
Hadzic T, Hooker JN, O'Sullivan B, Tiedemann P.; (2008) Approximate Compilation of Constraints into Multivalued Decision Diagrams . In: Peter J. Stuckey eds. Proceedings of Principles and Practice of Constraint Programming, CP 2008 Sydney, , pp.448-462 [DOI] [Details]
(2008)2nd ACM Conference on Recommender Systems, Recsys 2008
Hadzic, T, O'Sullivan, B; (2008) Critique graphs for catalogue navigation 2nd ACM Conference on Recommender Systems, Recsys 2008 Lausanne, , pp.115-122 [DOI] [Details]
(2008)20th IEEE International Conference on Tools with Artificial Intelligence
Hadzic, T, Hansen, ER, O'Sullivan, B; (2008) Layer Compression In Decision Diagrams 20th IEEE International Conference on Tools with Artificial Intelligence Dayton, , pp.19-26 [DOI] [Details]
(2008)Transparent Path Length Optimized Optical Monitor Placement In Transparent Mesh Networks
Ferguson, A, O'Sullivan, B, Kilper, DC; (2008) 2008 Conference On Optical Fiber Communication/National Fiber Optic Engineers Conference, Vols 1-8 Transparent Path Length Optimized Optical Monitor Placement In Transparent Mesh Networks , pp.1832-1834 [Details]
(2008)Integration of AI and OR Techniques In Constraint Programming For Combinatorial Optimization Problems, 5th International Conference, CPAIOR2008
Cambazard, H, Horan, J, O'Mahony, E, O'Sullivan, B; (2008) Fast and Scalable Domino Portrait Generation Integration of AI and OR Techniques In Constraint Programming For Combinatorial Optimization Problems, 5th International Conference, CPAIOR2008 Paris, , pp.51-65 [DOI] [Details]
(2008)Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini (2008) From Marriages to Coalitions: A Soft CSP Approach Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008 Rome, , pp.1-15 Globe icon [DOI] [Details]
(2008)Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Hebrard, E., O'Sullivan, B., Razgon, I. (2008) A Soft Constraint of Equality: Complexity and Approximability . In: Peter J. Stukey eds. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Sydney, , pp.358-371 Globe icon [DOI] [Details]
(2008)Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Cambazard, H., O'Sullivan, B. (2008) Reformulating Positive Table Constraints Using Functional Dependencies . In: Peter J. Stuckey eds. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Sydney, , pp.418-432 Globe icon [DOI] [Details]
(2008)Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Papadopoulos, A., O'Sullivan, B. (2008) Relaxations for Compiled Over-Constrained Problems . In: Peter J. Stukey eds. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Sydney, , pp.433-447 Globe icon [DOI] [Details]
(2008)Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
Helmut Simonis and Barry O'Sullivan (2008) Search Strategies for Rectangle Packing . In: Peter J. Stuckey eds. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008 Sydney, , pp.52-66 [DOI] [Details]
(2008)Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science 2008
Devlin, David, and Barry O’Sullivan (2008) Satisfiability as a Classification Problem Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science 2008 [Details]
(2008)Proceedings of PATAT 2008
Hadrien Cambazard, Emmanuel Hebrard, Barry O’Sullivan and Alexandre Papadopoulos (2008) Local Search and Constraint Programming for the Post-Enrolment-based Course Timetabling Problem Proceedings of PATAT 2008 [Details]
(2008)Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science
Eoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent and Barry O'Sullivan (2008) Using Case-based Reasoning in an Algorithm Portfolio for Constraint Solving Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science [Details]
(2007)Generalized Constraint Acquisition
Vu, XH, O'Sullivan, B; (2007) Abstraction, Reformulation, and Approximation, Proceedings Generalized Constraint Acquisition , pp.411-412 [Details]
(2007)International Joint Conference on Artificial Intelligence (IJCAI-07)
Holland Alan, O'Sullivan Barry; (2007) Truthful Risk-Managed Combinatorial Auctions . In: * eds. International Joint Conference on Artificial Intelligence (IJCAI-07) Hyderabad, India, , 06-JAN-07 - 12-JAN-07 , pp.*-* [Details]
(2007)Generalizing Global Constraints Based On Network Flows
Razgon, I, O'Sullivan, B, Provan, G; (2007) Recent Advances In Constraints, 12th Annual ERCIM International Workshop Generalizing Global Constraints Based On Network Flows , pp.127-141 [Details]
(2007)Efficient recognition of acyclic clustered constraint satisfaction problems
Razgon, I., O'Sullivan, B. (2007) Efficient recognition of acyclic clustered constraint satisfaction problems , pp.154-168 Globe icon [Details]
(2007)Constraint symmetry for the soft CSP
Smith, B.M.a , Bistarelli, S.b c , O'Sullivan, B.d (2007) Constraint symmetry for the soft CSP , pp.872-879 Globe icon [Details]
(2007)Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP
Razgon, I., O'Sullivan, B. , Provan, G. (2007) Generalizing Global Constraints Based on Network Flows Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP Rocquencourt, , pp.127-141 Globe icon [DOI] [Details]
(2007)A Reformulation-Based Approach to Explanation In Constraint Satisfaction
Cambazard, H, O'Sullivan, B; (2007) Abstraction, Reformulation, and Approximation, Proceedings A Reformulation-Based Approach to Explanation In Constraint Satisfaction , pp.395-396 [Details]
(2007)Semiring-Based Constraint Acquisition
Vu, XH, O'Sullivan, B; (2007) 19th Ieee International Conference On Tools With Artificial Intelligence, Vol I, Proceedings Semiring-Based Constraint Acquisition , pp.251-258 [Details]
(2006)CSCLP 2006
Igor Razgon, Barry O'Sullivan; (2006) Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems CSCLP 2006 [Details]
(2006)Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations
Hulubei, T, O'Sullivan, B; (2006) Principles and Practice of Constraint Programming - Cp 2006 Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations , pp.736-740 [Details]
(2006)Principles of Secure Network Configuration: Towards A Formal Basis For Self-Configuration
Foley, SN, Fitzgerald, W, Bistarelli, S, O'Sullivan, B, Foghlu, MO; (2006) Autonomic Principles of Ip Operations and Management, Proceedings Principles of Secure Network Configuration: Towards A Formal Basis For Self-Configuration , pp.168-180 [Details]
(2006)Relaxations and Explanations For Quantified Constraint Satisfaction Problems
Ferguson, A, O'Sullivan, B; (2006) Principles and Practice of Constraint Programming - Cp 2006 Relaxations and Explanations For Quantified Constraint Satisfaction Problems , pp.690-694 [Details]
(2006)Failure Analysis In Backtrack Search For Constraint Satisfaction
Hulubei, T, O'Sullivan, B; (2006) Principles and Practice of Constraint Programming - Cp 2006 Failure Analysis In Backtrack Search For Constraint Satisfaction , pp.731-735 [Details]
(2006)Proc. Conference of American Association of AI (AAAI)
Barry O¿Sullivan and Gregory Provan; (2006) Approximate Compilation for Embedded Model-based Reasoning Proc. Conference of American Association of AI (AAAI) [Details]
(2006)Principles of secure network configuration: Towards a formal basis for self-configuration
Foley, S.N.a , Fitzgerald, W.b , Bistarelli, S.d e , O'Sullivan, B.a c , Foghlú, M.Ó.b (2006) Principles of secure network configuration: Towards a formal basis for self-configuration , pp.168-180 Globe icon [Details]
(2006)Heavy-tailed runtime distributions: Heuristics, models and optimal refutations
Hulubei, T., O'Sullivan, B. (2006) Heavy-tailed runtime distributions: Heuristics, models and optimal refutations , pp.736-740 Globe icon [Details]
(2006)Failure analysis in backtrack search for constraint satisfaction
Hulubei, T., O'Sullivan, B. (2006) Failure analysis in backtrack search for constraint satisfaction , pp.731-735 Globe icon [Details]
(2006)Proceedings of 6th IEEE International Workshop on IP Operations and Management
Foley S. N., Fitzgerald W., Bistarelli S., O'Sullivan B., O Foghlu M.; (2006) Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration Proceedings of 6th IEEE International Workshop on IP Operations and Management *, , 01-OCT-06 - 30-DEC-99 [Details]
(2006)Proceedings of CP-2006, Short Paper
Ferguson A., O'Sullivan B.; (2006) Relaxations and Explanations for Quantified Constraint Satisfaction Problems . In: * eds. Proceedings of CP-2006, Short Paper *, , 01-SEP-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of CP-2006, Short Paper
Hulubei T., O'Sullivan B.; (2006) Failure Analysis in Backtrack Search for Constraint Satisfaction . In: * eds. Proceedings of CP-2006, Short Paper *, , 01-SEP-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of CP-2006, Short Paper
Hulubei T., O'Sullivan B.; (2006) Heavy-tailed Runtime Distributions: Heuristics, Models and Optimal Refutations . In: * eds. Proceedings of CP-2006, Short Paper *, , 01-SEP-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of CSCLP 2006
Razgon I., O'Sullivan B., and Provan G.; (2006) Tree-structured Constraint Satisfaction Problems Revisited . In: * eds. Proceedings of CSCLP 2006 *, , 01-JUN-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of AAAI-2006 (Nectar Track)
Bessiere C., Coletta R., Koriche F. and O'Sullivan B.; (2006) Acquiring Constraint Networks using a SAT-based Version Space Algorithm . In: * eds. Proceedings of AAAI-2006 (Nectar Track) *, , 01-JUL-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Relaxations and explanations for quantified constraint satisfaction problems
Ferguson, A.a , O'Sullivan, B.b (2006) Relaxations and explanations for quantified constraint satisfaction problems , pp.690-694 Globe icon [Details]
(2006)Proceedings of ECAI-2006
Szymanek R., O'Sullivan B.; (2006) Guiding Search using Constraint-level Advice . In: * eds. Proceedings of ECAI-2006 *, , 01-AUG-06 - 30-DEC-99 , pp.*-* [Details]
(2006)Proceedings of AAAI-2006
O'Sullivan B. and Provan G. M.; (2006) Approximate Compilation for Embedded Model-based Reasoning . In: * eds. Proceedings of AAAI-2006 *, , 01-JUL-06 - 30-DEC-99 , pp.*-* [Details]
(2005)Corrective Explanation for Interactive Constraint Satisfaction
O'Sullivan B., O'Callaghan B. and Freuder E. C.; (2005) Corrective Explanation for Interactive Constraint Satisfaction Corrective Explanation for Interactive Constraint Satisfaction [Details]
(2005)Proceedings of Workshop on Supply Chain Management and ICT
O'Sullivan B., Brown K., Ferguson A., Freuder E. C. and Schabel M.; (2005) Automated Requirements Elicitation for Supply Chain Management Proceedings of Workshop on Supply Chain Management and ICT Groningen, Netherlands, , 01-NOV-05 - 01-NOV-05 [Details]
(2005)Proceedings of Quality of Protection, Springer Advances in Information Security Series
Foley S., Bistarelli S., O'Sullivan B., Herbert J. and Swart G. ; (2005) Multilevel Security and Quality of Protection . In: * eds. Proceedings of Quality of Protection, Springer Advances in Information Security Series *, , 01-SEP-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of IJCAI-2005
Hulubei T. and O'Sullivan B.; (2005) Optimal Refutations for Constraint Satisfaction Problems . In: * eds. Proceedings of IJCAI-2005 *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of IJCAI-2005 Workshop on Configuration
O'Sullivan B., Ferguson A. and Freuder E. C.; (2005) A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving . In: * eds. Proceedings of IJCAI-2005 Workshop on Configuration *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of ECML-2005, Springer LNCS
Bessiere C., Coletta R., Koriche F. and O'Sullivan B.; (2005) A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems . In: * eds. Proceedings of ECML-2005, Springer LNCS *, , 01-OCT-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of AAAI-2005
Holland A. and O'Sullivan B.; (2005) Weighted Super Solutions for Constraint Programs . In: * eds. Proceedings of AAAI-2005 *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of AAAI-2005
Hebrard E., Hnich B., O'Sullivan B., Walsh T.; (2005) Finding Diverse and Similar Solutions in Constraint Programming . In: * eds. Proceedings of AAAI-2005 *, , 01-JUL-05 - 30-DEC-99 , pp.*-* [Details]
(2005)ACM Conference on Electronic Commerce
Holland Alan, O'Sullivan Barry; (2005) Robust Solutions for Combinatorial Auctions . In: * eds. ACM Conference on Electronic Commerce Vancouver, CA, , 02-JUN-05 - 07-JUN-05 , pp.183-192 [Details]
(2005)In proceedings of First Workshop on Quality of Protection, Springer LNCS
Foley S.N., Bistaelli S., O'Sullivan B., Herbert J. and Swart G.; (2005) Multilevel Security and Quality of Protection In proceedings of First Workshop on Quality of Protection, Springer LNCS Como, Italy, , 01-SEP-05 - 30-DEC-99 [Details]
(2005)Proceedings of CP-2005, Springer LNCS
Hulubei T. and O'Sullivan B.; (2005) Search Heuristics and Heavy-Tailed Behaviour . In: * eds. Proceedings of CP-2005, Springer LNCS *, , 01-OCT-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of CP-2005, Springer LNCS
O'Callaghan B., O'Sullivan B. and Freuder E. C.; (2005) Generating Corrective Explanations for Interactive Constraint Satisfaction . In: * eds. Proceedings of CP-2005, Springer LNCS *, , 01-OCT-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of ACM EC-2005
Holland A. and O'Sullivan B.; (2005) Robust Solutions for Combinatorial Auctions . In: * eds. Proceedings of ACM EC-2005 *, , 01-JUN-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of IEEE Computational Intelligence in Games, IEEE Press
Blackburn P. and O'Sullivan B.; (2005) Building Reactive Characters for Dynamic Gaming Environments . In: * eds. Proceedings of IEEE Computational Intelligence in Games, IEEE Press *, , 01-APR-05 - 30-DEC-99 , pp.*-* [Details]
(2005)Proceedings of ACM SAC-2005
Sarah O'Connell, Barry O'Sullivan and Eugene C. Freuder; (2005) Timid Acquisition of Constraint Satisfaction Problems . In: * eds. Proceedings of ACM SAC-2005 *, , 01-MAR-05 - 30-DEC-99 , pp.*-* [Details]
(2005)American Association of AI National Conference 2005 (AAAI-05)
Holland Alan, O'Sullivan Barry; (2005) Weighted Super Solutions for Constraint Programs . In: * eds. American Association of AI National Conference 2005 (AAAI-05) Pittsburgh, PA, , 28-JUN-05 - 03-JUL-05 , pp.*-* [Details]
(2005)IBPSA05 International Conference. ISBN: 2-55-01152-0
O' Sullivan, B., Keane, M.M.; (2005) Specification of an IFC based intelligent graphical user interface to support building energy simulation . In: * eds. IBPSA05 International Conference. ISBN: 2-55-01152-0 Monotreal, Canada, , 15-AUG-05 - 18-MAY-05 , pp.*-* [Details]
(2005)Generating corrective explanations for interactive constraint satisfaction
O'Callaghan, B., O'Sullivan, B., Freuder, E.C. (2005) Generating corrective explanations for interactive constraint satisfaction , pp.445-459 Globe icon [Details]
(2005)Search heuristics and heavy-tailed behaviour
Hulubei, T., O'Sullivan, B. (2005) Search heuristics and heavy-tailed behaviour , pp.328-342 Globe icon [Details]
(2005)A SAT-based version space algorithm for acquiring constraint satisfaction problems
Bessiere, C.a , Coletta, R.a , Koriche, F.a , O'Sullivan, B.b (2005) A SAT-based version space algorithm for acquiring constraint satisfaction problems , pp.23-34 Globe icon [Details]
(2005)Super solutions for combinatorial auctions
Holland, A., O'Sullivan, B. (2005) Super solutions for combinatorial auctions , pp.187-200 Globe icon [Details]
(2005)CP 2005
O’Callaghan, Barry, O’Sullivan, Barry, Freuder, Eugene C (2005) Generating Corrective Explanations for Interactive Constraint Satisfaction. Principles and Practice of Constraint Programming-CP 2005 . In: Peter van Beek eds. CP 2005 , pp.445-459 [DOI] [Details]
(2005)Corrective explanation for interactive constraint satisfaction
O'Sullivan, Barry,O'Callaghan, Barry,Freuder, Eugene C (2005) Corrective explanation for interactive constraint satisfaction [Details]
(2005)A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving¿
O’Sullivan, Barry,Ferguson, Alex,Freuder, Eugene C (2005) A Decision Tree Learning and Constraint Satisfaction Hybrid for Interactive Problem Solving¿ , pp.1-6 [Details]
(2004)Principles and Practice of Constraint Programming - CP 2004
Bessiere, Christian,Coletta, Remi,Freuder, Eugene C,O’Sullivan, Barry (2004) Leveraging the Learning Power of Examples in Automated Constraint Acquisition . In: Mark Wallace eds. Principles and Practice of Constraint Programming - CP 2004 Toronto, , 27-SEP-04 - 01-OCT-04 , pp.123-137 [DOI] [Details]
(2004)Proceedings of MICAI
Kelleher J., O'Sullivan B.; (2004) Evaluation-Based Semiring Meta-Constraints . In: Springer, LNCA 2972 eds. Proceedings of MICAI Mexico, , 01-APR-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Constraint Programming
Holland Alan, O'Callaghan Barry, O'Sullivan Barry , in Proceedings of CP-2003 , 2003.; (2004) A Constraint-Aided Conceptual Design Environment for Autodesk Inventor . In: * eds. Constraint Programming Kinsale, , 01-SEP-04 - 06-SEP-04 , pp.520-532 [Details]
(2004)A study of query generation strategies for interactive constraint acquisition. Applications and Science in Soft Computing
O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2004) A study of query generation strategies for interactive constraint acquisition. Applications and Science in Soft Computing , pp.225-232 [Details]
(2004)Proceedings of IEA/AIE
Holland A., O'Callaghan B., O'Sullivan B.; (2004) Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor . In: Springer, LNCS 3029 eds. Proceedings of IEA/AIE Canada, , 01-MAY-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference)
Bistarelli S., Foley S. and O'Sullivan B.; (2004) Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints . In: * eds. Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference) San Jose, USA, , 01-JUL-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of IEEE ICTAI-2004, IEEE Press
Bistarelli S., Freuder E. C. and O'Sullivan B.; (2004) Encoding Partial Constraint Satisfaction in the Semiring-based Framework for Soft Constraints . In: * eds. Proceedings of IEEE ICTAI-2004, IEEE Press *, , 01-NOV-04 - 30-DEC-99 , pp.*-* [Details]
(2004)IEA/AIE
Holland Alan, O'Callaghan Barry, O'Sullivan Barry ; (2004) Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor . In: * eds. IEA/AIE Canada, , 01-MAY-04 - 06-MAY-04 , pp.100-112 [Details]
(2004)Proceedings of CP-2004
Bessiere C., Coletta R., Freuder E. C. and O'Sullivan B.; (2004) Leveraging the Learning Power of Examples in Automated Constraint Acquisition . In: Springer, LNCS 3258 eds. Proceedings of CP-2004 Toronto, , 01-SEP-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of FAST-2004 - Formal Aspects of Security and Trust, Kluwer Academic Publishers
Bistarelli S., Foley S. and O'Sullivan B.; (2004) Reasoning about Secure Interoperation using Soft Constraints . In: * eds. Proceedings of FAST-2004 - Formal Aspects of Security and Trust, Kluwer Academic Publishers Toulouse, , 01-AUG-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference)
Bistarelli S., Foley S., O'Sullivan B.; (2004) Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints . In: *AAI Press eds. Proceedings of AAAI/IAAI-2004 (16th Innovative Applications of AI Conference) San Jose, USA, , 01-JUL-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of FAST-2004 Workshop on Formal Aspects of Security and Trust
Bistarelli S., Foley S.N. and O'Sullivan B.; (2004) Reasoning about Secure Interoperation using Soft Constraints Proceedings of FAST-2004 Workshop on Formal Aspects of Security and Trust Toulouse, , 01-AUG-04 - 30-DEC-99 [Details]
(2004)Proceedings of ACM Symposium on Applied Computing (SAC-2004), ACM Press
Bistarelli S., Foley S.N., O'Sullivan B.; (2004) Modelling and Detecting the Cascade Vulnerability Problem using Soft Constraints Proceedings of ACM Symposium on Applied Computing (SAC-2004), ACM Press Nicosia, Cyprus, , 01-MAR-04 - 30-DEC-99 [Details]
(2004)Leveraging the learning power of examples in automated constraint acquisition
Bessiere, C.a , Coletta, R.a , Freuder, E.C.b , O'Sullivan, B.b (2004) Leveraging the learning power of examples in automated constraint acquisition , pp.123-137 Globe icon [Details]
(2004)Proceedings of the CP-2004 Workshop on CSP Techniques with Immediate Application
O'Sullivan B., Ferguson A. and Freuder E. C.; (2004) Boosting Constraint Satisfaction using Decision Trees . In: * eds. Proceedings of the CP-2004 Workshop on CSP Techniques with Immediate Application *, , 01-SEP-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Proceedings of ACM Symposium on Applied Computing (SAC-2004)
Bistarelli S., Foley S., O'Sullivan B.; (2004) Modelling and Detecting the Cascade Vulnerability Problem using Soft Constraints . In: ACM Press eds. Proceedings of ACM Symposium on Applied Computing (SAC-2004) Nicosia, Cyprus, , 01-MAR-04 - 30-DEC-99 , pp.*-* [Details]
(2004)Constraint acquisition as semi-automatic modeling
Coletta, Remi,Bessiere, Christian,O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah,Quinqueton, Joel (2004) Constraint acquisition as semi-automatic modeling , pp.111-124 [Details]
(2003)Principles and Practice of Constraint Programming – CP 2003, 9th International Conference
O’Callaghan, Barry,Freuder, Eugene C,O’Sullivan, Barry (2003) Useful Explanations . In: Francesa Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.988-988 [DOI] [Details]
(2003)Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, CP 2003
Coletta, Remi,Bessiere, Christian,O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah,Quinqueton, Joel (2003) Semi-automatic Modeling by Constraint Acquisition . In: Francesca Rossi eds. Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.812-816 [DOI] [Details]
(2003)Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003
O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2003) Teacher and Learner Profiles for Constraint Acquisition . In: Francesca Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.989-989 [DOI] [Details]
(2003)Interactive constraint acquisition for concurrent engineering
O’Sullivan, Barry,O’Connell, Sarah,Freuder, Eugene C (2003) Interactive constraint acquisition for concurrent engineering [Details]
(2003)Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003
Duggan, Moyra,O’Sullivan, Barry,Freuder, Eugene C (2003) Interactive Tradeoff Generation . In: Francesca Rossi eds. Principles and Practice of Constraint Programming – CP 2003, 9th International Conference, CP 2003 Kinsale, , 29-SEP-03 - 03-OCT-03 , pp.970-970 [DOI] [Details]
(2003)Recent Advances in Constraints, 2003
Bistarelli S., Kelleher J. and O'Sullivan B.; (2003) Tradeoff Generation using Soft Constraints . In: Springer, LNAI 3010, 2004 eds. Recent Advances in Constraints, 2003 *, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of AI-2003
Bistarelli S., O'Sullivan B.; (2003) A Theoretical Framework for Tradeoff Generation using Soft Constraints . In: Springer eds. Proceedings of AI-2003 Cambridge, UK, , 01-DEC-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of AI-2003
Coletta R., Bessiere C., O'Sullivan B., Freuder E.C., O'Connell S., Quinqeton J.; (2003) Constraint Acquisition as Semi-Automatic Modeling . In: Springer eds. Proceedings of AI-2003 Cambridge, UK, , 01-DEC-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of the ACM Symposium on Document Engineering
Purvis L., Harrington S., O'Sullivan B., Freuder E.C.; (2003) Creating Personalized Documents: An Optimization Approach . In: * eds. Proceedings of the ACM Symposium on Document Engineering Grenoble, France, , 01-NOV-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of CP-2003
Holland A., O'Callaghan B., O'Sullivan B.; (2003) A Constraint-Aided Conceptual Design Environment for Autodesk Inventor . In: Springer LNCS 2833 eds. Proceedings of CP-2003 Kinsale, Co. Cork, Ireland, , 02-SEP-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of CP-2003
Coletta R., Bessiere C., O'Sullivan B., Freuder E.C., O'Connell S., Quinqueton J.; (2003) Semi-Automatic Modeling by Constraint Acquisition (Short Paper) . In: Springer LNCS 2833 eds. Proceedings of CP-2003 Kinsale, Co. Cork, Ireland, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of AICS-2003
Holland A., O'Sullivan B.; (2003) Computational Efficient Pricing for Resource Providers in a Grid Environment . In: * eds. Proceedings of AICS-2003 Dublin, Ireland, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of AICS-2003
Kelleher J., O'Sullivan B.; (2003) Evaluation-Based Semiring Meta-Constraints . In: * eds. Proceedings of AICS-2003 Dublin, Ireland, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of the 9th International Conference on Concurrent Enterprising
O'Sullivan B., O'Connell S., Freuder E.C.; (2003) Interactive Constraint Acquisition for Concurrent Engineering . In: * eds. Proceedings of the 9th International Conference on Concurrent Enterprising *, , 01-MAY-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Proceedings of the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems
Coletta R., Bessiere C., O'Sullivan B., Freuder E. C., O'Connell S., Quinqueton J.; (2003) Semi-Automatic Modeling by Constraint Acquisition . In: * eds. Proceedings of the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems Kinsale, Co. Cork, Ireland, , 01-SEP-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Recent Advances in Constraints, 2003
Kelleher J., O'Sullivan B.; (2003) Trade-off Generation Using Soft Constraints 2004 . In: *Springer, LNAI 3010 eds. Recent Advances in Constraints, 2003 *, , 01-JAN-03 - 30-DEC-99 , pp.*-* [Details]
(2003)Teacher and learner profiles for constraint acquisition
O'Connell, S., O'Sullivan, B., Freuder, E.C. (2003) Teacher and learner profiles for constraint acquisition Globe icon [Details]
(2003)Algorithmic mechanism design and constraints
Holland, A., O'Sullivan, B. (2003) Algorithmic mechanism design and constraints Globe icon [Details]
(2003)Semi-automatic modeling by constraint acquisition
Coletta, R.a , Bessière, C.a , O'Sullivan, B.b , Freuder, E.C.b , O'Connell, S.b , Quinqueton, J.a (2003) Semi-automatic modeling by constraint acquisition , pp.812-816 Globe icon [Details]
(2003)A constraint-aided conceptual design environment for autodesk inventor
Holland, A., O'Callaghan, B., O'Sullivan, B. (2003) A constraint-aided conceptual design environment for autodesk inventor , pp.422-436 Globe icon [Details]
(2003)Interactive tradeoff generation
Duggan, M., O'Sullivan, B., Freuder, E.C. (2003) Interactive tradeoff generation Globe icon [Details]
(2003)Useful explanations
O'Callaghan, B., Freuder, E.C., O'Sullivan, B. (2003) Useful explanations Globe icon [Details]
(2003)Optimising the representation and evaluation of semiring combination constraints
Kelleher, J., O'Sullivan, B. (2003) Optimising the representation and evaluation of semiring combination constraints Globe icon [Details]
(2003)Workshop on Constraint and Logic Programming in Security Workshop held alongside ICLP-2003, Electronic Notes in Theoretical Computer Science
Bistarelli S., Foley S.N., O'Sullivan B.; (2003) A Constraint Based Framework for Modelling the Cascade Vulnerability Problem Workshop on Constraint and Logic Programming in Security Workshop held alongside ICLP-2003, Electronic Notes in Theoretical Computer Science Mumbai, India, , 01-DEC-03 - 30-DEC-99 [Details]
(2002)CP-02 Workshop on User-Interaction in Constraint Satisfaction Eighth International Conference on Principles and Practice of Constraint Programming - CP 2002
O'Connell S., O'Sullivan B., Freuder E.C.; (2002) Strategies for Interactive Constraint Acquisition . In: * eds. CP-02 Workshop on User-Interaction in Constraint Satisfaction Eighth International Conference on Principles and Practice of Constraint Programming - CP 2002 Ithaca, New York, , 01-SEP-02 - 30-DEC-99 , pp.*-* [Details]
(2002)Proceedings of the 4th International Conference on Recent Advances in Soft Computing - RASC-2002
O'Connell S., O'Sullivan B., Freuder E.C.; (2002) Query Generation for Interactive Constraint Acquisition . In: ISBN:1-84233-0764 eds. Proceedings of the 4th International Conference on Recent Advances in Soft Computing - RASC-2002 *, , 01-DEC-02 - 30-DEC-99 , pp.295-300 [Details]
(2002)Query generation for interactive constraint acquisition
O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2002) Query generation for interactive constraint acquisition , pp.295-300 [Details]
(2002)Strategies for interactive constraint acquisition
O’Connell, Sarah,O’Sullivan, Barry,Freuder, Eugene C (2002) Strategies for interactive constraint acquisition , pp.62-76 [Details]
(2001)CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001
Freuder E.C., O'Sullivan B.; (2001) Modeling and Generating Tradeoffs for Constraint-Based Configuration . In: * eds. CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-DEC-01 - 30-DEC-99 , pp.*-* [Details]
(2001)IJCAI-01 Workshop on Configuration, Seventeenth International Joint Conference on Artificial Intelligence
Freuder E.C., O'Sullivan, B.; (2001) Modeling and Generating Tradeoffs for Constraint-Based Configuration . In: * eds. IJCAI-01 Workshop on Configuration, Seventeenth International Joint Conference on Artificial Intelligence Seattle, Washington, USA, , 01-AUG-01 - 30-DEC-99 , pp.*-* [Details]
(2001)Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001
Freuder E.C., O'Sullivan B.; (2001) Generating Tradeoffs for Interactive Constraint-Based configuration (Short paper) . In: * eds. Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-NOV-01 - 30-DEC-99 , pp.590-594 [Details]
(2001)CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001
O'Sullivan B., Freuder E.C., O'Connell S.; (2001) Interactive Constraint Acquisition . In: * eds. CP-01 Workshop on User-Interaction in Constraint Satisfaction, Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001 Paphos, Cyprus, , 01-DEC-01 - 30-DEC-99 , pp.*-* [Details]
(2001)Modeling and generating tradeoffs for constraintbased configuration
Freuder, E,O’Sullivan, Barry (2001) Modeling and generating tradeoffs for constraintbased configuration , pp.38-44 [Details]
(2001)Interactive constraint acquisition
O’Sullivan, Barry,Freuder, Eugene C,O’Connell, Sarah (2001) Interactive constraint acquisition [Details]
(2001)Principles and Practice of Constraint Programming—CP 2001
Freuder, Eugene C,O’Sullivan, Barry (2001) Generating Tradeoffs for Interactive Constraint-Based Configuration . In: Toby Walsh eds. Principles and Practice of Constraint Programming—CP 2001 Cyprus, , 26-NOV-01 - 01-DEC-01 , pp.590-594 [DOI] [Details]
(1999)Integration of Process Knowledge into Design Support Systems
Tichem M., Barry O'Sullivan B.; (1999) Knowledge Processing for Timely Decision Making in Design For X . In: * eds. Integration of Process Knowledge into Design Support Systems Enschede, The Netherlands, , 01-MAR-99 - 30-DEC-99 , pp.219-228 [Details]
(1998)Computer Aided Conceptual Design '98
O'Sullivan B.; (1998) The Paradox of using Constraints to Support Creativity in Conceptual Design . In: * eds. Computer Aided Conceptual Design '98 Lancaster University, , 01-MAY-98 - 30-DEC-99 , pp.99-121 [Details]
(1998)Changing the ways we work: Shaping the ICT-solutions for the Next Century Advances in Design and Manufacturing Series
O'Sullivan B.; (1998) Conflict Management and Negotiation for Concurrent Engineering using Pareto Optimality . In: * eds. Changing the ways we work: Shaping the ICT-solutions for the Next Century Advances in Design and Manufacturing Series Göteborg, Sweden, , 01-OCT-98 - 30-DEC-99 , pp.359-368 [Details]
(1998)Artificial Intelligence in Design '98
O'Sullivan B., James Bowen J.; (1998) A Constraint-Based Approach to Supporting Conceptual Design . In: * eds. Artificial Intelligence in Design '98 Instituto Superior T¨¦cnico, Lisbon, , 01-JUL-98 - 30-DEC-99 , pp.291-308 [Details]
(1997)Proceedings of the 4th International Conference on Concurrent Enterprising
Dongen M. v., O'Sullivan B., Bowen J., Ferguson A. and Baggaley M. ; (1997) Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines . In: * eds. Proceedings of the 4th International Conference on Concurrent Enterprising University of Nottingham, , 01-OCT-97 - 30-DEC-99 , pp.129-138 [Details]
(1997)Proceedings of the First International Conference on Concurrent Enterprising
Van Dongen, M. R. C.; O'Sullivan, B.; Bowen, J. A.; Ferguson, A.; Baggaley, M.; (1997) Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines . In: * eds. Proceedings of the First International Conference on Concurrent Enterprising *, , 10-JAN-97 - 30-DEC-99 , pp.129-138 [Details]
(1997)Proceedings of the 4th International Conference on Concurrent Enterprising (October)
O'Sullivan B.; (1997) A Constraint-Based Support Tool for Early-Stage Design Within a Concurrent Engineering Environment . In: * eds. Proceedings of the 4th International Conference on Concurrent Enterprising (October) University of Nottingham, , 01-OCT-97 - 30-DEC-99 , pp.119-128 [Details]
(1996)Proceedings of the 13th Conference of the Irish Manufacturing Committee (September)
O'Sullivan B. and Lewis H. J.; (1996) A Genetic Algorithm for Flowshop Scheduling . In: * eds. Proceedings of the 13th Conference of the Irish Manufacturing Committee (September) University of Limerick, , 01-SEP-96 - 30-DEC-99 , pp.195-203 [Details]
(1996)Proceedings of the International Conference on Flexible Automation and Integrated Manufacturing (May)
O'Sullivan B. and Lewis H. J.; (1996) The Role of Genetic Algorithms in Production Scheduling . In: * eds. Proceedings of the International Conference on Flexible Automation and Integrated Manufacturing (May) Georgia Institute of Technology, Atlanta, , 01-MAY-96 - 30-DEC-99 , pp.790-799 [Details]

Other

YearPublication
(2008)Almost 2-Sat Is Fixed-Parameter Tractable (Extended Abstract).
Razgon, I, O'Sullivan, B; (2008) Almost 2-Sat Is Fixed-Parameter Tractable (Extended Abstract). Other [Details]
(2007)Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.
Razgon, I, O'Sullivan, B; (2007) Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems. Other [Details]
(2004)Boosting Constraint Satisfaction using Decision Trees .
O'Sullivan B., Ferguson A. and Freuder E. C.; (2004) Boosting Constraint Satisfaction using Decision Trees . Other [Details]

Unpublished Reports

YearPublication
(1998)Using Pareto Optimality to Solve Constraint Satisfaction Optimisation Problems with Multiple Conflicting Objectives.
O'Sullivan B.; (1998) Using Pareto Optimality to Solve Constraint Satisfaction Optimisation Problems with Multiple Conflicting Objectives. Unpublished Reports [Details]
(1997)The CEDAS Galileo6 System.
Ferguson, A.B. and van Dongen, M.R.C. and O'Sullivan, B.A. and Bowen, J.A.; (1997) The CEDAS Galileo6 System. Unpublished Reports [Details]
(1996)Using the Expressive Power of Constraint Programming to Simplify the Task of Expressing DFX Guidelines.
van Dongen, M.R.C. and O'Sullivan, B.A. and Bowen, J.A.; (1996) Using the Expressive Power of Constraint Programming to Simplify the Task of Expressing DFX Guidelines. Unpublished Reports [Details]
(1996)Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines .
Dongen M. v., O'Sullivan B., Bowen J., Ferguson A.; (1996) Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines . Unpublished Reports [Details]

Thesis/Dissertation

YearPublication
(1999)Constraint-Aided Conceptual Design .
O'Sullivan B.; (1999) Constraint-Aided Conceptual Design . Thesis/Dissertation [Details]
(2005)Corrective Explanation for Interactive Constraint Satisfaction.
O'Callaghan, Barry,O’Sullivan, Barry,Freuder, Eugene C (2005) Corrective Explanation for Interactive Constraint Satisfaction. Thesis/Dissertation [Details]

Technical Publication

YearPublication
(2014)Transformation-based Feature Computation for Algorithm Portfolios.
Barry Hurley, Serdar Kadioglu, Yuri Malitsky, and Barry O’Sullivan (2014) Transformation-based Feature Computation for Algorithm Portfolios. Technical Publication Globe icon [Details]

Honours and Awards

 YearTitleAwarding Body
2014Distinguished Service Award Association for Constraint Programming
2013UCC Leadership Award (University Staff Recognition Awards) University College Cork
2013Best Application Paper Award Principles and Practice of Constraint Programming
2012Fellow of ECCAI European Coordinating Committee for Artificial Intelligence
2012Senior Member of AAAI Association for the Advancement of Artificial Intelligence
2012SICSA Distinguished Visiting Fellow SICSA - Scottish Informatics and Computer Science Alliance
2007President Association for Constraint Programming
2007Chairman Artificial Intelligence Association of Ireland
2010Finalists EDF-ROADEF/EURO Challenge
2007Winner (Post-Enrollement Category) International Timetabling Competition
2012Finalists Google-ROADEF/EURO Challenge
2007IEEE Ramamoorthy Award IEEE ICTAI Conference
2008Winner International CSP Solver Competition

Professional Associations

 AssociationFunctionFrom / To
International Association for Constraint Programming (ACP) Member01-JAN-05 /
AAAI - American Association of Artificial Intelligence Member01-JAN-01 /
ACM - Association of Computing Machinery Member01-JAN-01 /
IEEE - Institute of Electrical and Electronics Engineers Member01-JAN-01 /
IEEE Computer Society Member01-JAN-01 /
AIAI - Artificial Intelligence Association of Ireland Member01-JAN-96 /
ECCAI - European Coordinating Committee for Artificial Intelligence Member01-JAN-96 /

Patents

 Patent NumberTitleInventorGranted
EP 2255521 A1Feature-based service configuration David Lesaint, Deepak Anil Mehta, Ramirez Luis Omar Quesada, Barry Alan O'Sullivan, and Peter Nicholas Wilson01-DEC-10
WO 2009118522 AFeature-based service configuration David Lesaint, Deepak Anil Mehta, Ramirez Luis Omar Quesada, Barry Alan O'Sullivan, and Peter Nicholas Wilson01-OCT-09
EP 2106112 A1Feature-based service configuration David Lesaint, Deepak Anil Mehta, Ramirez Luis Omar Quesada, Barry Alan O'Sullivan, and Peter Nicholas Wilson30-SEP-09
US 20110019594Feature-based service configuration David Lesaint, Deepak Anil Mehta, Ramirez Luis Omar Quesada, Barry Alan O'Sullivan, and Peter Nicholas Wilson27-JAN-11

Conference Contributions

YearPublication
(2014)IEEE International Conference on Tools with Artificial Intelligence (ICTAI),
Barry O'Sullivan (2014) Energy Management and Data Centres: Where Optimisation and Learning Meet. [Keynote Speaker], IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Limassol, Cyprus . [Details]
(2014)Sino-Foreign-Interchange Conference on Intelligence Science & Intelligent Data Engineering (IScIDE),
Barry O'Sullivan (2014) Challenges in Data-Driven Optimisation. [Keynote Speaker], Sino-Foreign-Interchange Conference on Intelligence Science & Intelligent Data Engineering (IScIDE), Beijing, China . [Details]
(2012)Principles and Practice of Constraint Programming,
Barry O'Sullivan (2012) Where are the Interesting Problems?. [Keynote Speaker], Principles and Practice of Constraint Programming, Quebec City, Canada . [Details]
(2010)Association for the Advancement of AI Conference,
Barry O'Sullivan (2010) Constraint Programming and AI: Challenges, Applications and Opportunities. [Keynote Speaker], Association for the Advancement of AI Conference, Atlanta, Georgia . [Details]
(2010)Association for the Advancement of Artificial Intelligence,
Emanuel Hebrard, Eoin O'Mahony, and Barry O'Sullivan (2010) Tutorial: An Introduction to Constraint Programming & Combinatorial Optimisation through Numberjack. [Invited Seminars/Guest Lectures], Association for the Advancement of Artificial Intelligence, Atlanta, Georgia, USA . [Details]
(2009)Principle and Practice of Constraint Programming,
Barry O'Sullivan and Igor Razgon (2009) Tutorial: Exploiting Fixed-Parameter Tractability in Satisfiability and Constraint Satisfaction. [Invited Seminars/Guest Lectures], Principle and Practice of Constraint Programming, Lisbon, Portugal . [Details]
(2009)International Joint Conference on Artificial Intelligence,
Barry O'Sullivan and Ulrich Junker (2009) Tutorial: Computing Explanations in Problem Solving. [Invited Seminars/Guest Lectures], International Joint Conference on Artificial Intelligence, Pasadena, California, USA . [Details]
(2006)Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming,
Barry O'Sullivan (2006) Constraints and Learning. [Keynote Speaker], Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, Lisbon, Portugal . [Details]

Committees

 CommitteeFunctionFrom / To
Insight Centre for Data Analytics Executive Committee Member2013 /
Association for Constraint Programming Executive Committee Member2005 / 2014
European Coordinating Committee for Artificial Intelligence Board Member2014 /
it@Cork, European Tech Cluster Board Member2014 /
NASA (USA) Scientific Reviewer/
National Science Foundation (USA) Scientific Reviewer/
Suomen Akatemia - Academy of Science (Finland) Scientific Reviewer/
FNSNF - Swiss National Science Foundation (Switzerland) Scientific Reviewer/
EPSRC Scientific Reviewer/
Oxford University, PhD Defence Committee External Examiner/
Kings College London PhD Defence Committee External Examiner/
Cambridge University PhD Defence Committee External Examiner/
St. Andrews University PhD Defence Committee External Examiner/
University of Melbourne PhD Defence Committee External Examiner/
KU Leuven PhD Defence Committee External Examiner/
University of Paris PhD Defence Committee External Examiner/
University of Montpellier PhD Defence Committee External Examiner/
University of Strathcylde PhD Defence Committee External Examiner/
UPC PhD Defence Committee External Examiner/
UPC PhD Defence Committee External ExaminerC/
UCC Governing Body Strategy Committee Elected representative of Academic Council/
UCC Academic Council Research and Innovaton Committee Elected representative of Academic Council/
UCC College of Science, Engineering, and Food Science Management Team Member (as Head of Department)2012 / 2015

Employment

 EmployerPositionFrom / To
University College Cork Senior Lecturer01-OCT-04 / 30-NOV-10
University College Cork Director, Cork Constraint Computation Centre01-JUN-11 / 30-JUN-13
University College Cork Full Professor01-DEC-10 /
University College Cork Director, Insight Centre for Data Analytics01-JUL-13 / 30-JUN-19
University College Cork Head of Department, Computer Science01-SEP-12 / 31-AUG-15
University College Cork College Lecturer01-OCT-01 / 30-SEP-03

Education

 YearInstitutionQualificationSubject
1999University College Cork PHDComputer Science

Journal Activities

 JournalRoleTo / From
Journal Of Artificial Intelligence Research (Jair Member of Editorial Board-
Artificial Intelligence Review Member of Editorial Board-
The Open Applied Informatics Journal Member of Editorial Board-
Constraints Member of Editorial Board-

Teaching Interests

Recent Postgraduates

 Graduation YearStudent NameInstitutionDegree TypeThesis Title
2014Conor O'Mahony University College CorkPHDReasoning with Sorted-Pareto Dominance and other Qualitative and Partially Ordered Preferences in Soft Constraints
2011Alexandre Papadopoulos University College CorkPHD“Computing Explanations for Interactive Constraint-based Systems
2007Tudor Hulubei University College CorkPHDOptimal Refutations for Constraint Satisfaction Problems.
2006Jerome Kelleher University College CorkPHDEncoding Partitions As Ascending Compositions
2005Alan Holland University College CorkPHDRisk Management for Combinatorial Auctions

Current Postgraduate Students

 StudentDegree Type
Desmond Daniel Anthony Doctoral Degree
Qiao Cheng Doctoral Degree
De Cauwer Milan Geert Monique Doctoral Degree
Huang Wei Peng Doctoral Degree
Naeem Ali Azzam Doctoral Degree
Sasmaz Ata Masters Degree by Research
Manzano Torre Oscar Masters Degree by Research
Fitzgerald Tadhg Bartholomew Doctoral Degree
Genc Begum Doctoral Degree
George Anne-Marie Doctoral Degree
Ryan Conor Neil Oisin Doctoral Degree
Hurley Barry John Doctoral Degree

Modules Taught

 Term (ID))TitleLinkSubject
2015Web Systems Project CS4502Web Systems Project
2015Software System Engineering CS4508Software System Engineering
2015Web Development 2 CS5018Web Development 2
2015Data Science and Analytics Research Project CS6500Data Science and Analytics Research Project
2015Introduction to Relational Databases CS6503Introduction to Relational Databases
2015Systems Organisation II CS5020Systems Organisation II
2015Large-Scale Application Development and Integration 2 CS6407Large-Scale Application Development and Integration 2
2015Foundations of Computer Science II CS1113Foundations of Computer Science II
2015Computer Science Project CS4501Computer Science Project
2015Database Design and Administration CS6505Database Design and Administration
2015Information Storage and Retrieval CS6409Information Storage and Retrieval
2015Web Development 2 CS1116Web Development 2
2015Software Enterprise Project CS4503Software Enterprise Project
2015Programming in Python CS6506Programming in Python
2015Systems Organisation II CS1111Systems Organisation II
2015Programming in Python with Data Science Applications CS6507Programming in Python with Data Science Applications
2015Internet Computing for Data Science CS6509Internet Computing for Data Science
2015Database Design and Administration CS5022Database Design and Administration
2015Introduction to Programming CS1117Introduction to Programming