Concepedia

Özgür Akgün

ÖA

7

Publications

158

Citations

7

H-Index

2011

Active since

Affiliations

University of St Andrews(Current)

University of York

Özgür Akgün is an author at University of St Andrews specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningSystems EngineeringData ModelingFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

2011–2022

7

Publications

7

Automatically improving constraint models in Savile Row

Peter Nightingale, Özgür Akgün, Ian P. Gent et al. · Artificial Intelligence · 2017 · 50 citations

Constraint Models, Constraint Solving, Engineering +6

Extensible Automated Constraint Modelling

Özgür Akgün, Ian Miguel, Christopher Jefferson et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2011 · 29 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +17

Cloud Benchmarking for Performance

Blesson Varghese, Özgür Akgün, Ian Miguel et al. · 2014 · 28 citations · Full text

Enumeration of set-theoretic solutions to the Yang–Baxter equation

Özgür Akgün, Martı́n Mereb, Leandro Vendramin · Mathematics of Computation · 2021 · 17 citations · Full text

Conjure: Automatic Generation of Constraint Models from Problem Specifications

Özgür Akgün, Alan M. Frisch, Ian P. Gent et al. · Artificial Intelligence · 2022 · 13 citations · Full text

Rows per page

1–5 of 7