If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2019

Compiling CP subproblems to MDDs and d-DNNFs

de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., Jan 2019, In : Constraints. 24, 1, p. 56-93 38 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)
2018

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
4 Citations (Scopus)

Reference abstract domains and applications to string analysis

Amadini, R., Gauthier, F., Schachte, P., Stuckey, P. J., Gange, G., Jordan, A., Søndergaard, H. & Zhang, C., 9 Feb 2018, In : Fundamenta Informaticae. 158, 4, p. 297-326 30 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

SLA-based profit optimization resource scheduling for big data analytics-as-a-service platforms in cloud computing environments

Zhao, Y., Calheiros, R., Gange, G., Bailey, J. & Sinnott, R., 27 Dec 2018, (Accepted/In press) In : IEEE Transactions on Cloud Computing. 16 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)
2016

A complete refinement procedure for regular separability of context-free languages

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 25 Apr 2016, In : Theoretical Computer Science. 625, p. 1-24 24 p.

Research output: Contribution to journalArticleResearchpeer-review

High-Quality Ultra-Compact Grid Layout of Grouped Networks

Yoghourdjian, V., Dwyer, T., Gange, G., Kieffer, S., Klein, K. & Marriott, K. G., Jan 2016, In : IEEE Transactions on Visualization and Computer Graphics. 22, 1, p. 339 - 348 10 p.

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)
2015

Automatic minimal-height table layout

Bilauca, M., Gange, G., Healy, P., Marriott, K. G., Moulder, P. & Stuckey, P. J., 2015, In : INFORMS Journal on Computing. 27, 3, p. 449 - 461 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Horn clauses as an intermediate representation for program analysis and transformation

Gange, G., Navas, J. A., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2015, In : Theory and Practice of Logic Programming. 15, 4-5, p. 526-542 17 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
11 Citations (Scopus)

Interval analysis and machine arithmetic: why signedness ignorance is bliss

Gange, G., Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., Jan 2015, In : ACM Transactions on Programming Languages and Systems. 37, 1, 35 p., 1.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
4 Citations (Scopus)
2014

Four-valued reasoning and cyclic circuits

Gange, G., Horsfall, B., Naish, L. & Søndergaard, H., 1 Jan 2014, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 33, 7, p. 1003-1016 14 p., 6835151.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

Synthesizing optimal switching lattices

Gange, G., Søndergaard, H. & Stuckey, P. J., Nov 2014, In : ACM Transactions on Design Automation of Electronic Systems. 20, 1, 14 p., 6.

Research output: Contribution to journalArticleResearchpeer-review

17 Citations (Scopus)
2013

Failure tabled constraint logic programming by interpolation

Gange, G., Navas, J. A., Schachte, P., Sondergaard, H. & Stuckey, P. J., 1 Jul 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 593-607 15 p.

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)
2012

BetaSearch: a new method for querying β-residue motifs

Ho, H. K., Gange, G., Kuiper, M. J. & Ramamohanarao, K., 30 Jul 2012, In : BMC Research Notes. 5, 14 p., 391.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
1 Citation (Scopus)
2011

MDD propagators with explanation

Gange, G., Stuckey, P. J. & Szymanek, R., 1 Oct 2011, In : Constraints. 16, 4, p. 407-429 23 p.

Research output: Contribution to journalArticleResearchpeer-review

15 Citations (Scopus)
2010

Fast set bounds propagation using a BDD-SAT hybrid

Gange, G., Stuckey, P. J. & Lagoon, V., 1 May 2010, In : Journal of Artificial Intelligence Research. 38, p. 307-338 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
11 Citations (Scopus)