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

Research Output 1986 2019

2019

An investigation into prediction + optimisation for the knapsack problem

Demirović, E., Stuckey, P. J., Bailey, J., Chan, J., Leckie, C., Ramamohanarao, K. & Guns, T., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 241-257 17 p. (Lecture Notes in Computer Science; vol. 11494 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

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

Constraint programming for dynamic symbolic execution of JavaScript

Amadini, R., Andrlon, M., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science ; vol. 11494 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Core-boosted linear search for incomplete MaxSAT

Berg, J., Demirović, E. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: and Operations Research 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 39-56 18 p. (Lecture Notes in Computer Science ; vol. 11494 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Information-theoretic inference of an optimal dictionary of protein supersecondary structures

Konagurthu, A. S., Subramanian, R., Allison, L., Abramson, D., de la Banda, M. G., Stuckey, P. J. & Lesk, A. M., 2019, Protein Supersecondary Structures: Methods and Protocols. E. Kister, A. (ed.). 2nd ed. New York NY USA: Springer, p. 123-131 9 p. (Methods in molecular biology (Clifton, N.J.); vol. 1958).

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

Local Rapid Learning for integer programs

Berthold, T., Stuckey, P. J. & Witzig, J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 67-83 17 p. (Lecture Notes in Computer Science ; vol. 11494).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Preface

Mesnard, F. & Stuckey, P. J., 2019, In : Lecture Notes in Computer Science. 11408 , p. V-VI 2 p.

Research output: Contribution to journalEditorialOtherpeer-review

Regarding Jump Point Search and Subgoal Graphs

Harabor, D. D., Uras, T., Stuckey, P. J. & Koenig, S., 2019, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2019. Kraus, S. (ed.). California USA: International Joint Conferences on Artificial Intelligence, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Semi-supervised blockmodelling with pairwise guidance

Ganji, M., Chan, J., Stuckey, P. J., Bailey, J., Leckie, C., Ramamohanarao, K. & Park, L., 2019, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2018 Dublin, Ireland, September 10–14, 2018 Proceedings, Part II. Berlingerio, M., Bonchi, F., Gärtner, T., Hurley, N. & Ifrim, G. (eds.). Cham Switzerland: Springer, p. 158-174 17 p. (Lecture Notes in Computer Science; vol. 11052).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Short-term planning for open pit mines: a review

Blom, M., Pearce, A. R. & Stuckey, P. J., 2019, In : International Journal of Mining, Reclamation and Environment. 33, 5, p. 318-339 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Time table edge finding with energy variables

Yang, M., Schutt, A. & Stuckey, P. J., 2019, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Rousseau, L-M. & Stergiou, K. (eds.). Cham Switzerland: Springer, p. 633-642 10 p. (Lecture Notes in Computer Science ; vol. 11494).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Wombit: a portfolio bit-vector solver using word-level propagation

Wang, W., Søndergaard, H. & Stuckey, P. J., 2019, (Accepted/In press) In : Journal of Automated Reasoning. 40 p.

Research output: Contribution to journalArticleResearchpeer-review

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

Ballot-polling risk limiting audits for IRV elections

Blom, M., Stuckey, P. J. & Teague, V. J., 2018, Electronic Voting : Third International Joint Conference, E-Vote-ID 2018 Bregenz, Austria, October 2–5, 2018 Proceedings. Krimmer, R., Volkamer, M., Cortier, V., Gore, R., Hapsara, M., Serdult, U. & Duenas-Cid, D. (eds.). Cham Switzerland: Springer, p. 17-34 18 p. (Lecture Notes in Computer Science ; vol. 11143 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Breaking symmetries with lex implications

Codish, M., Ehlers, T., Gange, G., Itzhakov, A. & Stuckey, P. J., 2018, Functional and Logic Programming: 14th International Symposium, FLOPS 2018 Nagoya, Japan, May 9–11, 2018 Proceedings. Gallagher, J. P. & Sulzmann, M. (eds.). Cham Switzerland: Springer, p. 182-197 16 p. (Lecture Notes in Computer Science ; vol. 10818 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Computing the margin of victory in preferential parliamentary elections

Blom, M., Stuckey, P. J. & Teague, V. J., 2018, Electronic Voting : Third International Joint Conference, E-Vote-ID 2018 Bregenz, Austria, October 2–5, 2018 Proceedings. Krimmer, R., Volkamer, M., Cortier, V., Gore, R., Hapsara, M., Serdult, U. & Duenas-Cid, D. (eds.). Cham Switzerland: Springer, p. 1-16 16 p. (Lecture Notes in Computer Science ; vol. 11143 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Constraint programming for high school timetabling: a scheduling-based model with hot starts

Demirović, E. & Stuckey, P. J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018 Delft, The Netherlands, June 26–29, 2018 Proceedings. van Hoeve, W-J. (ed.). Cham Switzerland: Springer, p. 135-152 18 p. (Lecture Notes in Computer Science ; vol. 10848 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Constraints for symmetry breaking in graph representation

Codish, M., Miller, A., Prosser, P. & Stuckey, P. J., 2018, In : Constraints. 24, 1, p. 1-24 24 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

Data instance generator and optimization models for evacuation planning in the event of wildfire

Artigues, C., Hébrard, E., Pencolé, Y., Schutt, A. & Stuckey, P. J., 2018, RSFF 2018, Robust Solutions for Fire Fighting: Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting, L'Aquila, Italy, July 19-20, 2018. Di Stefano, G. & Navarra, A. (eds.). Italy: CEUR Workshop Proceedings, Vol. 2146. p. 75-86 12 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Declarative local-search neighbourhoods in MiniZinc

Bjordal, G., Flener, P., Pearson, J., Stuckey, P. J. & Tack, G., 2018, Proceedings - 2018 IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018: 5–7 November 2018 Volos, Greece. Alamaniotis, M. (ed.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 98-105 8 p. 8576023

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Image constrained blockmodelling: a constraint programming approach

Ganji, M., Chan, J., Stuckey, P. J., Bailey, J., Leckie, C., Ramamohanarao, K. & Davidson, I., 2018, Proceedings of the 2018 SIAM International Conference on Data Mining (SDM18): San Diego, California, USA. Ester, M. & Pedreschi, D. (eds.). Philadelphia PA USA: Society for Industrial & Applied Mathematics (SIAM), p. 19-27 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Lagrangian constrained community detection

Ganj, M., Bailey, J. & Stuckey, P. J., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18 ): New Orleans, Louisiana USA — February 2–7, 2018. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 2983-2990 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Machine Learning and Constraint Programming for Relational-to-Ontology schema mapping

De Uña, D., Rümmele, N., Gange, G., Schachte, P. & Stuckey, P. J., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). California USA: International Joint Conferences on Artificial Intelligence, p. 1277-1283 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems

Kreter, S., Schutt, A., Stuckey, P. J. & Zimmermann, J., 16 Apr 2018, In : European Journal of Operational Research. 266, 2, p. 472-486 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Multi-objective short-term production scheduling for open-pit mines: a hierarchical decomposition-based algorithm

Blom, M., Pearce, A. R. & Stuckey, P. J., 12 Feb 2018, In : Engineering Optimization. 50, 12, p. 2143-2160 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Optimal Sankey Diagrams via Integer Programming

Zarate, D. C., Bodic, P. L., Dwyer, T., Gange, G. & Stuckey, P., 2018, Proceedings - 2018 IEEE Pacific Visualization Symposium, PacificVis 2018: 10–13 April 2018 Kobe, Japan. Bruckner, S., Koyamada, K. & Lee, B. (eds.). Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, p. 135-139 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Propagating lex, find and replace with dashed strings

Amadini, R., Gange, G. & Stuckey, P. J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018 Delft, The Netherlands, June 26–29, 2018 Proceedings. van Hoeve, W-J. (ed.). Cham Switzerland: Springer, p. 18-34 17 p. (Lecture Notes in Computer Science ; vol. 10848 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Propagating regular membership with dashed strings

Amadini, R., Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 13-29 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

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

Sequential precede chain for value symmetry elimination

Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 144-159 16 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Solution-based phase saving for CP: a value-selection heuristic to simulate local search behavior in complete solvers

Demirović, E., Chu, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 99-108 10 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Solver-independent large neighbourhood search

Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Solver independent rotating workforce scheduling

Musliu, N., Schutt, A. & Stuckey, P. J., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018 Delft, The Netherlands, June 26–29, 2018 Proceedings. van Hoeve, W-J. (ed.). Cham Switzerland: Springer, p. 429-445 17 p. (Lecture Notes in Computer Science; vol. 10848 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Sweep-based propagation for string constraint solving

Amadini, R., Gange, G. & Stuckey, P. J., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18 ): New Orleans, Louisiana USA — February 2–7, 2018. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 6557-6564 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File
2017

A benders decomposition approach to deciding modular linear integer arithmetic

Kafle, B., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., 2017, Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Gaspers, S. & Walsh, T. (eds.). Cham Switzerland: Springer, p. 380-397 18 p. (Lecture Notes in Computer Science ; vol. 10491 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A declarative approach to constrained community detection

Ganji, M., Bailey, J. & Stuckey, P. J., 2017, Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017 Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Beck, J. C. (ed.). Cham Switzerland: Springer, p. 477-494 18 p. (Lecture Notes in Computer Science ; vol. 10416 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

A novel approach to string constraint solving

Amadini, R., Gange, G., Stuckey, P. J. & Tack, G., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 . p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 10416).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Automatic logic-based benders decomposition with minizinc

Davies, T. O., Gange, G. & Stuckey, P. J., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17): San Francisco, California, USA — February 04 - 09, 2017. Singh, S. & Markovitch, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 787-793 7 p. 1642

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Combining string abstract domains for JavaScript analysis: an evaluation

Amadini, R., Jordan, A., Gange, G., Gauthier, F., Schachte, P., Søndergaard, H., Stuckey, P. J. & Zhang, C., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 Uppsala, Sweden, April 22–29, 2017 Proceedings, Part I. Legay, A. & Margaria, T. (eds.). Berlin Germany: Springer, p. 41-57 17 p. (Lecture Notes in Computer Science ; vol. 10205 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Context-sensitive dynamic partial order reduction

Albert, E., Arenas, P., De La Banda, M. G., Gómez-Zamalloa, M. & Stuckey, P. J., 2017, Computer Aided Verification : 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Berlin Germany: Springer, p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Fixing the state budget: approximation of regular languages with small DFAs

Gange, G., Ganty, P. & Stuckey, P. J., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017 Pune, India, October 3–6, 2017 Proceedings. D’Souza, D. & Narayan Kumar, K. (eds.). Cham Switzerland: Springer, p. 67-83 17 p. (Lecture Notes in Computer Science ; vol. 10482 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Minimizing landscape resistance for habitat conservation

de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2017, Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017 Padua, Italy, June 5–8, 2017 Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham Switzerland: Springer, p. 113-130 18 p. (Lecture Notes in Computer Science ; vol. 10335 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

MiniZinc with strings

Amadini, R., Flener, P., Pearson, J., Scott, J. D., Stuckey, P. J. & Tack, G., 2017, Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016,Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham, Switzerland: Springer, p. 59-75 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

Range-consistent forbidden regions of Allen’s relations

Beldiceanu, N., Carlsson, M., Derrien, A., Prud’homme, C., Schutt, A. & Stuckey, P. J., 2017, Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017 Padua, Italy, June 5–8, 2017 Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham Switzerland: Springer, p. 21-29 9 p. (Lecture Notes in Computer Science ; vol. 10335 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Short-term scheduling of an open-pit mine with multiple objectives

Blom, M., Pearce, A. R. & Stuckey, P. J., 2017, In : Engineering Optimization. 49, 5, p. 777-795 19 p.

Research output: Contribution to journalArticleResearchpeer-review

Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes

Subramanian, R., Allison, L., Stuckey, P. J., de la Banda, M. G., Abramson, D., Lesk, A. M. & Konagurthu, A. S., 8 May 2017, Proceedings - DCC 2017, 2017 Data Compression Conference: 4 - 7 April 2017, Snowbird, Utah, USA. Bilgin, A., Marcellin, M. W., Serra-Sagrista, J. & Storer, J. A. (eds.). Piscataway, NJ: IEEE, Institute of Electrical and Electronics Engineers, p. 340-349 10 p. 7923707. (Data Compression Conference. Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Statistical inference of protein structural alignments using information and compression

Collier, J. H., Allison, L., Lesk, A. M., Stuckey, P. J., Garcia De La Banda, M. & Konagurthu, A. S., 1 Apr 2017, In : Bioinformatics. 33, 7, p. 1005-1013 9 p.

Research output: Contribution to journalArticleResearchpeer-review

Using constraint programming for solving RCPSP/max-cal

Kreter, S., Schutt, A. & Stuckey, P. J., Jul 2017, In : Constraints. 22, 3, p. 432-462 31 p.

Research output: Contribution to journalArticleResearchpeer-review

2016

A bit-vector solver with word-level propagation

Wang, W., Søndergaard, H. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming: 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C-G. (ed.). Cham Switzerland: Springer, p. 374-391 18 p. (Lecture Notes in Computer Science ; vol. 9676).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

A bounded path propagator on directed graphs

de Uña, D., Gange, G., Schachte, P. & Stuckey, P. J., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings. Rueher, M. (ed.). Cham Switzerland: Springer, p. 189-206 18 p. (Lecture Notes in Computer Science ; vol. 9892 ).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review