UCC Research Profiles: b.osullivan@cs.ucc.ie, Computer Science

Contact Details

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

Biography

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

Project	Funding Body	Start Date	End Date	Award
SFI 12/RC/2289 Insight Centre for Data Analytics	Science Foundation Ireland	01-JUL-13	30-JUN-19	€44,500,000.00
SFI "Employing Artificial Intelligence to Make Constraint Programming Easier to Use for Decision.."	Science Foundation of Ireland	01-NOV-06	30-APR-11	€4,325,432.00
Centre for Telecommunications Value-chain Researach Second Term Funding CTVR-II	Science Foundation of Ireland	01-JUN-11	31-MAY-16	€2,274,323.00
Centre for Telecommunications Value Chain-Driven Research	Science Foundation of Ireland	14-JUL-04	30-SEP-09	€1,933,367.00
Operations Budget.	Science Foundation of Ireland	01-JUL-13	30-JUN-15	€1,871,669.00
New Paradigms in Constraint Programming - Applications in Data	Science Foundation of Ireland	01-APR-11	31-MAR-15	€1,058,356.00
SFI 12/RC/2289 INSIGHT PL – RNWP1- Barry O'Sullivan	Science Foundation of Ireland	01-JUL-13	30-JUN-19	€805,623.00
The DIStributed Core for unlimited bandwidth supply for all Users and Services.	European Union	01-NOV-12	31-OCT-15	€569,892.00
Inter Instituional Agreement relating to projects funded under the Data Analytics Technology Centre.	Enterprise Irl	01-DEC-13	30-NOV-18	€519,649.00
Globally optimized ENergy efficient data Centres.	European Union	01-OCT-13	30-SEP-16	€500,500.00
Inductive Constraint Programming	European Union	01-JAN-12	30-JUN-15	€493,500.00
SFI 12/RC/2289 INSIGHT TP UNALLOCATED SFI - RNWP1 - Barry O'Sullivan	Science Foundation of Ireland	01-JUL-13	30-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'Sullivan	Science Foundation of Ireland	01-MAR-14	28-FEB-19	€437,154.00
EI "Robust Expressive Combinatorial Auctions for Procurement"	Enterprise Irl	01-JAN-07	31-AUG-10	€429,934.00
INSIGHT Strategic Fund and CEO Costs	Miscellaneous	01-JUL-13	30-JUN-19	€394,420.00
SFI 12/RC/2289 INSIGHT IP Manager - Barry O'Sullivan	Science Foundation of Ireland	01-JUL-13	30-JUN-19	€369,765.00
SFI 12/RC/2289 INSIGHT PL – DAWP2- Nic Wilson	Science Foundation of Ireland	01-JUL-13	30-JUN-19	€361,205.00
Engineering the POlicy-making LIfe CYcle.	European Union	01-OCT-11	31-DEC-14	€359,000.00
AUTonomic HomE area NeTwork InfratruCture.	Enterprise Irl	01-SEP-12	30-JUN-15	€305,420.00
Timetabling for the Health Service Executive	Science Foundation of Ireland	01-JAN-11	30-JUN-14	€189,310.00
Education & Outreach.	Science Foundation of Ireland	01-JUL-13	30-JUN-19	€264,000.00
Technology Centre for Data Analytics.	Enterprise Irl	26-NOV-12	28-FEB-14	€240,418.00
IRCSET & BT "Constraint Programming Technology.." (CP for Telcoms Personalisation)	Irish Research Council for Science, Engineering & Technology (IRCSET)	08-JAN-07	07-JAN-10	€186,782.00
[SC/02/ 289] {Barry O' Sullivan} N	Enterprise Irl	01-OCT-02	30-SEP-05	€150,000.00
Interoperable monitoring, Diagnosis and Maintenance Strategies for Axle Bearings.	European Union	01-NOV-12	31-OCT-15	€147,606.00
Guided Selling Prototype.	Industry	01-NOV-11	31-OCT-12	€135,200.00
SFI OIP 2011 Staff Support	Science Foundation of Ireland	01-JAN-11	31-DEC-11	€132,277.00
Centre for Telecommunications Value-Chain Research - Internim	Science Foundation Ireland	01-OCT-09	31-MAR-11	€126,820.00
President's Strategic Fund "A Pilot for UCC Outreach TV"	Foundation Funded Research	01-NOV-05	31-OCT-06	€124,300.00
Development of a mathematical framework for synthesis, verification, deployment and management of access control policies.	Industry	01-JAN-12	31-JUL-13	€121,211.00
SFI High Performance Computing Cluster	Science Foundation of Ireland	01-DEC-07	30-MAY-08	€120,000.00
Constraint-based Cloud Mobility	Industry Sponsor	01-JUL-11	30-JUN-12	€105,875.00
IRCSET Automated Constraint Acquisition	Irish Research Council for Science, Engineering & Technology (IRCSET)	01-JAN-05	31-MAR-09	€110,000.00
Decision Analytics for Dynamic Ride-Sharing - SFI - 12/RC/2289 - INSIGHT TP2 Avego - Barry O'Sullivan	SFI Industry	01-APR-14	31-MAR-16	€100,000.00
Decision Analytics for Sustainable Forrest Harvesting	SFI Industry	01-MAR-14	29-FEB-16	€100,000.00
[E.I. IF/2001/317] {O'Sullivan Dr B} N	Enterprise Irl	01-APR-02	01-JUN-04	€97,000.00
IRCSET "A Taxonomy of Global Constraints"	Irish Research Council for Science, Engineering & Technology (IRCSET)	01-OCT-06	30-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-07	30-NOV-09	€96,300.00
Statement of Work	Industry	01-JUL-11	30-APR-13	€87,500.00
EI "Risk Management for Combinatorial Auctions"	Enterprise Irl	01-OCT-05	30-SEP-06	€83,400.00
Informative and Efficient explanations for interactive problem solving.	Irish Research Council for Science, Engineering & Technology (IRCSET)	01-FEB-11	31-JAN-13	€79,280.00
SFI 12/RC/2289 INSIGHT TP2 AVEGO SFI - RNWP1 - Barry O'Sullivan	Science Foundation of Ireland	01-APR-14	31-MAR-16	€75,996.00
SFI 12/RC/2289 INSIGHT TP9 TREEMETRICS SFI – RNWP1 – Barry O'Sullivan	Science Foundation of Ireland	01-APR-14	31-MAR-16	€75,091.00
SFI"12/RC/2289 INSIGHT Industry O/H"Prof B O' Sullivan[X]	Science Foundation of Ireland	01-JUL-13	30-JUN-15	€74,500.00
IRCSET PG Learning to Detect & Exploit Structure in Real-World Problems Student David Devlin	Irish Research Council for Science, Engineering & Technology (IRCSET)	01-OCT-08	30-SEP-12	€72,009.00
UCC Foundation ECLiPSe Learning & Development Environment Silicon Valley Community Foundation/ The Cisco University Research Programme Fund	Miscellaneous	13-JUN-08	31-DEC-14	€67,197.00
[XEROX PROJ] {O'Sullivan,B/Freuder,E} N	Industry	01-JUL-02	28-FEB-15	€64,698.00
SFI 12/RC/2289 INSIGHT TP1 Abtran (IND) - Barry O'Sullivan. Predictive Analytics & Optimisation.	Science Foundation of Ireland	01-JUL-14	30-JUN-16	€60,000.00
SFI 12/RC/2289 INSIGHT TP1 ABTRAN SFI - RNWP1 - Barry O'Sullivan	Science Foundation of Ireland	01-JUL-14	30-JUN-16	€57,529.00
SFI "Creating Safe, Mobile & Scalable Embedded and Robotic Networks through Model-based . . ."	Science Foundation of Ireland	01-JUN-07	30-AUG-07	€46,727.00
SFI"12/RC/2289 INSIGHT Equipment"Prof B O' Sullivan[X] Irelands Big Data and Analytics	Science Foundation of Ireland	01-JUL-13	30-JUN-15	€30,000.00
Study the Convergence and Co-existence of Energy Information Networks.	Tyndall National Institute	01-FEB-11	31-MAY-11	€25,108.00
UNAM Guided Selling	Miscellaneous	29-NOV-10	28-FEB-11	€10,400.00
Conference Grant for CP-AI-OR 2006	Science Foundation of Ireland	01-FEB-06	31-JUL-06	€9,000.00
IERC SC0010 (CC-2010-4001) Area D HAN Energy Management System.	Tyndall National Institute	01-FEB-11	30-APR-11	€7,577.00
Optimisation of Commercial Buildings	Tyndall National Institute	01-FEB-11	30-APR-11	€6,906.00
An analysis of an anonymised sample of purchase history data.	Enterprise Irl	07-NOV-11	06-NOV-12	€5,000.00
SFI OIP 2011 - Staff Costs	Science Foundation of Ireland	01-JAN-11	31-DEC-11	€4,691.00
SFI "High Performance Constraint-based Placement & Routing - Student Benjamin Jakobus	Science Foundation of Ireland	01-JUN-08	24-AUG-08	€4,680.00
Travel Support	Enterprise Irl	22-MAY-12	30-JUL-13	€2,900.00
Travel Support.	Enterprise Irl	04-OCT-11	31-DEC-11	€2,900.00
IRCSET Approximate Compilation of Flexible Constraints: Algorithms, Experiments & Application	Irish Research Council for Science, Engineering & Technology (IRCSET)	01-MAR-08	31-MAR-10	€2,500.00

Publications

Books

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

Edited Books

	Year	Publication
	(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

	Year	Publication
	(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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [Details]

Book Chapters

	Year	Publication
	(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

	Year	Publication
	(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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [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 [Details]
	(2005)	Search heuristics and heavy-tailed behaviour Hulubei, T., O'Sullivan, B. (2005) Search heuristics and heavy-tailed behaviour , pp.328-342 [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 [Details]
	(2005)	Super solutions for combinatorial auctions Holland, A., O'Sullivan, B. (2005) Super solutions for combinatorial auctions , pp.187-200 [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 [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 [Details]
	(2003)	Algorithmic mechanism design and constraints Holland, A., O'Sullivan, B. (2003) Algorithmic mechanism design and constraints [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 [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 [Details]
	(2003)	Interactive tradeoff generation Duggan, M., O'Sullivan, B., Freuder, E.C. (2003) Interactive tradeoff generation [Details]
	(2003)	Useful explanations O'Callaghan, B., Freuder, E.C., O'Sullivan, B. (2003) Useful explanations [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 [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

	Year	Publication
	(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

	Year	Publication
	(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

	Year	Publication
	(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

	Year	Publication
	(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 [Details]

Professional Activities

Honours and Awards

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

Professional Associations

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

Patents

Patent Number	Title	Inventor	Granted
EP 2255521 A1	Feature-based service configuration	David Lesaint, Deepak Anil Mehta, Ramirez Luis Omar Quesada, Barry Alan O'Sullivan, and Peter Nicholas Wilson	01-DEC-10
WO 2009118522 A	Feature-based service configuration	David Lesaint, Deepak Anil Mehta, Ramirez Luis Omar Quesada, Barry Alan O'Sullivan, and Peter Nicholas Wilson	01-OCT-09
EP 2106112 A1	Feature-based service configuration	David Lesaint, Deepak Anil Mehta, Ramirez Luis Omar Quesada, Barry Alan O'Sullivan, and Peter Nicholas Wilson	30-SEP-09
US 20110019594	Feature-based service configuration	David Lesaint, Deepak Anil Mehta, Ramirez Luis Omar Quesada, Barry Alan O'Sullivan, and Peter Nicholas Wilson	27-JAN-11

Conference Contributions

	Year	Publication
	(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

Committee	Function	From / To
Insight Centre for Data Analytics Executive Committee	Member	2013 /
Association for Constraint Programming	Executive Committee Member	2005 / 2014
European Coordinating Committee for Artificial Intelligence	Board Member	2014 /
it@Cork, European Tech Cluster	Board Member	2014 /
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

Employer	Position	From / To
University College Cork	Senior Lecturer	01-OCT-04 / 30-NOV-10
University College Cork	Director, Cork Constraint Computation Centre	01-JUN-11 / 30-JUN-13
University College Cork	Full Professor	01-DEC-10 /
University College Cork	Director, Insight Centre for Data Analytics	01-JUL-13 / 30-JUN-19
University College Cork	Head of Department, Computer Science	01-SEP-12 / 31-AUG-15
University College Cork	College Lecturer	01-OCT-01 / 30-SEP-03

Education

	Year	Institution	Qualification	Subject
	1999	University College Cork	PHD	Computer Science

Journal Activities

Journal	Role	To / 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 Year	Student Name	Institution	Degree Type	Thesis Title
2014	Conor O'Mahony	University College Cork	PHD	Reasoning with Sorted-Pareto Dominance and other Qualitative and Partially Ordered Preferences in Soft Constraints
2011	Alexandre Papadopoulos	University College Cork	PHD	“Computing Explanations for Interactive Constraint-based Systems
2007	Tudor Hulubei	University College Cork	PHD	Optimal Refutations for Constraint Satisfaction Problems.
2006	Jerome Kelleher	University College Cork	PHD	Encoding Partitions As Ascending Compositions
2005	Alan Holland	University College Cork	PHD	Risk Management for Combinatorial Auctions

Current Postgraduate Students

	Student	Degree 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))	Title	Link	Subject
2015	Web Systems Project	CS4502	Web Systems Project
2015	Software System Engineering	CS4508	Software System Engineering
2015	Web Development 2	CS5018	Web Development 2
2015	Data Science and Analytics Research Project	CS6500	Data Science and Analytics Research Project
2015	Introduction to Relational Databases	CS6503	Introduction to Relational Databases
2015	Systems Organisation II	CS5020	Systems Organisation II
2015	Large-Scale Application Development and Integration 2	CS6407	Large-Scale Application Development and Integration 2
2015	Foundations of Computer Science II	CS1113	Foundations of Computer Science II
2015	Computer Science Project	CS4501	Computer Science Project
2015	Database Design and Administration	CS6505	Database Design and Administration
2015	Information Storage and Retrieval	CS6409	Information Storage and Retrieval
2015	Web Development 2	CS1116	Web Development 2
2015	Software Enterprise Project	CS4503	Software Enterprise Project
2015	Programming in Python	CS6506	Programming in Python
2015	Systems Organisation II	CS1111	Systems Organisation II
2015	Programming in Python with Data Science Applications	CS6507	Programming in Python with Data Science Applications
2015	Internet Computing for Data Science	CS6509	Internet Computing for Data Science
2015	Database Design and Administration	CS5022	Database Design and Administration
2015	Introduction to Programming	CS1117	Introduction to Programming