Extensible Automated Constraint Modelling. - Ozgur Akgun; Ian Miguel; Christopher Jefferson; Alan M. Frisch; Brahim Hnich (AAAI, 2011)

Conjure Revisited: Towards Automated Constraint Modelling - Ozgur Akgun; Alan M. Frisch; Brahim Hnich; Christopher Jefferson; Ian Miguel (CoRR, 2011)

Automated Symmetry Breaking and Model Selection in Conjure. - Ozgur Akgun; Alan M. Frisch; Ian P. Gent; Bilal Syed Hussain; Christopher Jefferson; Lars Kotthoff; Ian Miguel; Peter Nightingale (CP, 2013)

Optimal Deployment of Geographically Distributed Workflow Engines on the Cloud. - Long Thai; Adam Barker; Blesson Varghese; Ozgur Akgun; Ian Miguel (CloudCom, 2014)

Cloud Benchmarking for Performance. - Blesson Varghese; Ozgur Akgun; Ian Miguel; Long Thai; Adam Barker (CloudCom, 2014)

Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel (CP, 2014)

Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. - Ozgur Akgun; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (ECAI, 2014)

Extensible automated constraint modelling via refinement of abstract problem specifications. - Özgür Akgün (2014)

Automatically Generating Streamlined Constraint Models with Essence and Conjure. - James Wetter; Özgür Akgün; Ian Miguel (CP, 2015)

Cloud-based E-Infrastructure for Scheduling Astronomical Observations. - James Wetter; Ozgur Akgun; Adam Barker; Martin Dominik; Ian Miguel; Blesson Varghese (e-Science, 2015)

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2016)

The BIN_COUNTS Constraint: Filtering and Applications. - Roberto Rossi 002; Özgür Akgün; Steven D. Prestwich; Armagan Tarim (CoRR, 2016)

Automatically improving constraint models in Savile Row. - Peter Nightingale; Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Patrick Spracklen (Artif. Intell., 2017)

Extensible automated constraint modelling via refinement of abstract problem specifications. - Özgür Akgün (Constraints An Int. J., 2017)

Declarative Statistics. - Roberto Rossi 002; Özgür Akgün; Steven D. Prestwich; S. Armagan Tarim (CoRR, 2017)

Metamorphic Testing of Constraint Solvers. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (CP, 2018)

Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CP, 2018)

Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. - Patrick Spracklen; Özgür Akgün; Ian Miguel (CP, 2018)

Closed Frequent Itemset Mining with Arbitrary Side Constraints. - Gokberk Kocak; Ozgur Akgun; Ian Miguel; Peter Nightingale (ICDM Workshops, 2018)

A Framework for Constraint Based Local Search using Essence. - Özgür Akgün; Saad Attieh; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon; Patrick Spracklen; James Wetter (IJCAI, 2018)

Using Metric Space Indexing for Complete and Efficient Record Linkage. - Özgür Akgün; Alan Dearle; Graham N. C. Kirby; Peter Christen (PAKDD (3), 2018)

Modelling Langford's Problem: A Viewpoint for Search. - Özgür Akgün; Ian Miguel (CoRR, 2018)

Memory Consistency Models using Constraints. - Ruth Hoffmann; Özgür Akgün; Susmit Sarkar (CoRR, 2018)

Instance Generation via Generator Instances. - Özgür Akgün; Nguyen Dang 001; Ian Miguel; András Z. Salamon; Christopher Stone 001 (CP, 2019)

Automatic Streamlining for Constrained Optimisation. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (CP, 2019)

Conjure Documentation, Release 2.3.0. - Özgür Akgün; András Z. Salamon (CoRR, 2019)

Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining. - Gökberk Koçak; Özgür Akgün; Tias Guns; Ian Miguel (CoRR, 2019)

Solving Computational Problems in the Theory of Word-Representable Graphs. - Özgür Akgün; Ian P. Gent; Sergey Kitaev; Hans Zantema (J. Integer Seq., 2019)

Cloud Benchmarking for Maximising Performance of Scientific Applications. - Blesson Varghese; Ozgur Akgun; Ian Miguel; Long Thai; Adam Barker (IEEE Trans. Cloud Comput., 2019)

Effective Encodings of Constraint Programming Models to SMT. - Ewan Davidson; Özgür Akgün; Joan Espasa; Peter Nightingale (CP, 2020)

Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. - Özgür Akgün; Nguyen Dang 001; Ian Miguel; András Z. Salamon; Patrick Spracklen; Christopher Stone 001 (CPAIOR, 2020)

Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining. - Gökberk Koçak; Özgür Akgün; Tias Guns; Ian Miguel (ECAI, 2020)

Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (CoRR, 2020)

Exploring Instance Generation for Automated Planning. - Özgür Akgün; Nguyen Dang 001; Joan Espasa; Ian Miguel; András Z. Salamon; Christopher Stone 001 (CoRR, 2020)

Efficient Incremental Modelling and Solving. - Gökberk Koçak; Özgür Akgün; Nguyen Dang 001; Ian Miguel (CoRR, 2020)

How People Visually Represent Discrete Constraint Problems. - Xu Zhu 005; Miguel A. Nacenta; Özgür Akgün; Peter Nightingale (IEEE Trans. Vis. Comput. Graph., 2020)

Finding Subgraphs with Side Constraints. - Özgür Akgün; Jessica A. Enright; Christopher Jefferson; Ciaran McCreesh; Patrick Prosser; Steffen Zschaler (CPAIOR, 2021)

Towards Reformulating Essence Specifications for Robustness. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale; András Z. Salamon (CoRR, 2021)

A Framework for Generating Informative Benchmark Instances. - Nguyen Dang 001; Özgür Akgün; Joan Espasa; Ian Miguel; Peter Nightingale (CP, 2022)

Understanding How People Approach Constraint Modelling and Solving. - Ruth Hoffmann; Xu Zhu 005; Özgür Akgün; Miguel A. Nacenta (CP, 2022)

Conjure: Automatic Generation of Constraint Models from Problem Specifications. - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (Artif. Intell., 2022)

Automatic Tabulation in Constraint Models. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; András Z. Salamon; Felix Ulrich-Oltean (CoRR, 2022)

Enumeration of set-theoretic solutions to the Yang-Baxter equation. - Özgür Akgün; Martín Mereb; Leandro Vendramin (Math. Comput., 2022)

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). - Özgür Akgün; Alan M. Frisch; Ian P. Gent; Christopher Jefferson; Ian Miguel; Peter Nightingale (IJCAI, 2023)

Learning When to Use Automatic Tabulation in Constraint Model Reformulation. - Carlo Cena; Özgür Akgün; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; Felix Ulrich-Oltean (IJCAI, 2023)

An Approach to Population Linkage using Graph Databases. - Alan Dearle; Graham N. C. Kirby; Özgür Akgün (SEBD, 2023)

Composable Constraint Models for Permutation Enumeration. - Ruth Hoffmann; Özgür Akgün; Christopher Jefferson (CoRR, 2023)

Automated streamliner portfolios for constraint satisfaction problems. - Patrick Spracklen; Nguyen Dang 001; Özgür Akgün; Ian Miguel (Artif. Intell., 2023)

Frugal Algorithm Selection (Short Paper). - Erdem Kus; Özgür Akgün; Nguyen Dang 001; Ian Miguel (CP, 2024)

Frugal Algorithm Selection. - Erdem Kus; Özgür Akgün; Nguyen Dang 001; Ian Miguel (CoRR, 2024)

Automatic Feature Learning for Essence: a Case Study on Car Sequencing. - Alessio Pellegrino; Özgür Akgün; Nguyen Dang 001; Zeynep Kiziltan; Ian Miguel (CoRR, 2024)

Solvi: A visual constraint modeling tool. - Xu Zhu 005; Miguel A. Nacenta; Özgür Akgün; Daniel Zenkovitch (J. Comput. Lang., 2024)

Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation. - Alessio Pellegrino; Özgür Akgün; Nguyen Dang 001; Zeynep Kiziltan; Ian Miguel (CP, 2025)

Breaking the Symmetries of Indistinguishable Objects. - Özgür Akgün; Mun See Chang; Ian P. Gent; Christopher Jefferson (CPAIOR (1), 2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; András Z. Salamon; Felix Ulrich-Oltean (J. Artif. Intell. Res., 2025)

Toward Cyclic A.I. Modelling of Self-Regulated Learning: A Case Study with E-Learning Trace Data. - Andrew Schwabe; Özgür Akgün; Ella Haig (CoRR, 2025)

Solver-Aided Expansion of Loops to Avoid Generate-and-Test. - Niklas Dewally; Özgür Akgün (CoRR, 2025)