Prof Maria Garcia De La Banda - Researcher Profile

Biography

Maria was awarded her PhD in 1994, winning the Best PhD Award by the Universidad Politecnica de Madrid. In 1997 she was awarded the first and only prestigious Logan Fellowship in the Faculty of Information Technology. In 2005 she won with Peter Stuckey the International Constraint Modelling Challenge. She has been an elected member of the Executive Committee of the Association of Logic Programming (2005-2008), was Program Co-Chair of the 2008 International Conference in Logic Programming (ERA A), and is Area Editor of the Journal of Theory and Practice of Logic Programming since 2010 (ERA A). She has been Chief Investigator in 8 ARC grants (2 cross-Faculty) and Principal Investigator in an NHMRC program. She has an h-index of 24 and a g-index of 40.

Keywords

Constraint Optimisation, Constraint Modelling and Solving, Bioinformaics

Qualifications

COMPUTER SCIENCE

Institution: Universidad Politecnica de Madrid (UPM)

Year awarded: 1994

Publications

Books

Garcia De La Banda, M.J., Pontelli, E. (eds), 2008, Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), Springer-Verlag, Berlin Germany.

Demoen, B., Garcia De La Banda, M., Harvey, W., Marriott, K., Stuckey, P.J., 1999, An Overview of HAL, SCSSE Monash University, Clayton Vic Australia.

Bueno, F., Garcia De La Banda, M., Hermenegildo, M., 1999, Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming, SCSSE Monash University, Clayton Vic Australia.

Demoen, B., Garcia De La Banda, M., Harvey, W., Marriott, K., Stuckey, P.J., 1999, Herbrand Constraint Solving in HAL, SCSSE Monash University, Clayton Vic Australia.

Hermenegildo, M., Bueno, F., Cabeza, D., Carro, M., Garcia De La Banda, M., Lopez, P., Puebla, G., 1999, The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems, SCSSE Monash University, Clayton Vic Australia.

Demoen, B., Garcia De La Banda, M., Stuckey, P.J., 1999, Type Constraint Solving for Parametric and Ad-hoc Polymorphism, SCCSE Monash University, Clayton Vic Australia.

Journal Articles

Chu, G., Garcia De La Banda, M.J., Stuckey, P.J., 2012, Exploiting subproblem dominance in constraint programming, Constraints [P], vol 17, issue 1, Springer, Dordrecht Netherlands, pp. 1-38.

Demoen, B., Garcia De La Banda, M., 2012, Introduction to the special issue on Prolog systems, Theory And Practice Of Logic Programming [P], vol 12, issue 1-2, Cambridge University Press, New York NY USA, pp. 1-4.

Collier, J., Lesk, A.M., Garcia De La Banda, M.J., Konagurthu, A.S., 2012, Super: A web server to rapidly screen superposable oligopeptide fragments from the protein data bank, Nucleic Acids Research [P], vol 40, Oxford University Press, Oxford England, pp. 1-6.

Garcia De La Banda, M.J., Stuckey, P.J., Chu, G., 2011, Solving talent scheduling with dynamic programming, Informs Journal On Computing [P], vol 23, issue 1, INFORMS, Hanover MD USA, pp. 120-137.

Stivala, A., Stuckey, P.J., Garcia De La Banda, M.J., Hermenegildo, M., Wirth, A., 2010, Lock-free parallel dynamic programming, Journal Of Parallel And Distributed Computing [P], issue 8, Elsevier Science, San Diego CA USA, pp. 839-848.

Boyd, S.E., Kerr, F.K., Albrecht, D.W., Garcia De La Banda, M.J., Ng, N., Pike, R.N., 2009, Cooperative effects in the substrate specificity of the complement protease C1s, Biological Chemistry [P], vol 390, issue 5/6, Walter De Gruyter & Co, Berlin Germany, pp. 503-507.

Mears, C.D., Garcia De La Banda, M.J., Wallace, M., 2009, On implementing symmetry detection, Constraints [P], vol 14, issue 4, Springer, Dordrecht GZ Netherlands, pp. 443-477.

Arafat, Y., Fenalti, G., Whisstock, J., Mackay, I.R., Garcia De La Banda, M.J., Rowley, M.J., Buckle, A.M., 2009, Structural determinants of GAD antigenicity, Molecular Immunology [P], vol 47, issue 2-3, Pergamon, UK, pp. 493-505.

Marriott, K.G., Nethercote, N., Rafeh, R., Stuckey, P.J., Garcia De La Banda, M.J., Wallace, M., 2008, The design of the Zinc modelling language, Constraints, vol 13, issue 3, Springer, Netherlands, pp. 229-267.

Garcia De La Banda, M.J., Stuckey, P.J., 2007, Dynamic programming to minimize the maximum number of open stacks, INFORMS Journal on Computing, vol 19, issue 4, Institute for Operations Research and the Management Sciences (INFORMS), Hanover MD USA, pp. 607-617.

Faux, N.G., Huttley, G.A., Mahmood, K., Webb, G., Garcia De La Banda, M.J., Whisstock, J., 2007, RCPdb: An evolutionary classification and codon usage database for repeat-containing proteins, Genome Research, vol 17, issue 7, Cold Spring Harbor Lab Press, Woodbury NY USA, pp. 1118-1127.

Schrijvers, T., Demoen, B., Garcia De La Banda, M.J., Stuckey, P.J., 2006, Improving PARMA trailing, Theory and Practice of Logic Programming, vol 6, issue 6, Cambridge University Press, New York USA, pp. 609-644.

Garcia De La Banda, M.J., Harvey, W., Marriott, K.G., Stuckey, P.J., Demoen, B., 2005, Checking modes of HAL programs, Theory and Practice of Logic Programming, vol 5, issue 6, Cambridge University Press, New York NY USA, pp. 623-667.

Kerr, F.K., O'Brien, G., Quinsey, N.S., Whisstock, J., Boyd, S.E., Garcia De La Banda, M.J., Kaiserman, D., Matthews, A.Y., Bird, P.I., Pike, R.N., 2005, Elucidation of the substrate specificity of the C1s protease of the classical complement pathway, Journal of Biological Chemistry, vol 280, issue 47, American Society for Biochemistry and Molecular Biology, Inc., Bethesda USA, pp. 39510-39514.

Faux, N.G., Bottomley, S.P., Lesk, A.M., Irving, J.A., Morrison, J.R., Garcia De La Banda, M.J., Whisstock, J.C., 2005, Functional insights from the distribution and role of homopeptide repeat-containing proteins, Genome Research, vol 15, issue 4, Cold Spring Harbor Lab Press, Woodbury USA, pp. 537-551.

Holzbaur, C., Garcia De La Banda, M.J., Stuckey, P.J., Duck, G.J., 2005, Optimizing compilation of constraint handling rules in HAL, Theory and Practice of Logic Programming, vol 5, issue 4-5, Cambridge University Press, New York USA, pp. 503-531.

Boyd, S.E., Pike, R.N., Rudy, G.B., Whisstock, J., Garcia De La Banda, M.J., 2005, PoPS: A computational tool for modeling and predicting protease specificity, Journal of Bioinformatics and Computational Biology, vol 3, issue 3, Imperial College Press, London UK, pp. 551-585.

Stuckey, P.J., Garcia De La Banda, M.J., Maher, M., Marriott, K.G., Slaney, J., Somogyi, Z., Wallace, M., Walsh, T., 2005, The G12 project: Mapping solver independent models to efficient solutions, Lecture Notes in Computer Science, vol 3668, Springer, Germany, pp. 9-13.

Puebla, G., Correas, J., Hermenegildo, M.V., Bueno, F., Garcia De La Banda, M.J., Marriott, K.G., Stuckey, P.J., 2004, A generic framework for context-sensitive analysis of modular programs, Lecture Notes in Computer Science, vol 3049, Springer-Verlag, Berlin Germany, pp. 233-260.

Demoen, B., Garcia De La Banda, M.J., Harvey, W., Marriott, K.G., Overton, D.M., Stuckey, P.J., 2004, Herbrand constraints in HAL, Lecture Notes in Computer Science, vol 3049, Springer-Verlag, Berlin Germany, pp. 499-538.

Garcia De La Banda, M., Demoen, B., Marriott, K., Stuckey, P.J., 2002, To the Gates of HAL: a HAL tutorial, Lecture Notes in Computer Science, vol 2441, Springer-Verlag, Berlin Germany, pp. 47-66.

Schrijvers, T., Garcia De La Banda, M., Demoen, B., 2002, Trailing analysis for HAL, Lecture Notes in Computer Science, vol 2401, Springer-Verlag, Berlin Germany, pp. 38-53.

Bueno, F., Garcia De La Banda, M., Hermenegildo, M., Marriott, K., Puebla, G., Stuckey, P.J., 2001, A model of inter-module analysis and optimizing compilation, Lecture Notes in Computer Science, vol 2042, Springer-Verlag Berlin, Berlin Germany, pp. 86-102.

Garcia De La Banda, M., Jeffery, D.G., Marriott, K., Nethercote, N., Stuckey, P.J., Holzbaur, C., 2001, Building constraint solvers with HAL, Lecture Notes in Computer Science, vol 2237, Springer-Verlag Berlin, Berlin Germany, pp. 90-104.

Holzbaur, C., Garcia De La Banda, M., Jeffery, D.G., Stuckey, P.J., 2001, Optimizing compilation of constraint handling rules, Lecture Notes in Computer Science, vol 2237, Springer-Verlag Berlin, Berlin Germany, pp. 74-89.

Garcia De La Banda, M., Hermenegildo, M., Marriott, K., 2000, Independence in CLP Languages, ACM Transactions on Programming Languages and Systems, vol 22 issue 2, Association for Computing Machinery, New York NY USA, pp. 296-339.

Garcia De La Banda, M., Stuckey, P.J., Harvey, W., Marriott, K., 2000, Mode Checking in HAL, Lecture Notes in Artificial Intelligence, vol 1861, Springer-Verlag, Heidelberg Germany, pp. 1270-1284.

Demoen, B., Garcia De La Banda, M., Harvey, W., Marriott, K., Stuckey, P.J., 1999, An Overview of HAL, Lecture Notes in Computer Science Principles and Practice of Constraint Programming - (CP'99) 5th International Conference, vol j jaffar, Springer-Verlag, Heidelberg Germany, pp. 174-188.

Muthukumar, K., Bueno, F., Garcia De La Banda, M., Hermenegildo, M., 1999, Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism, The Journal of Logic Programming, vol 38 issue 2, Elsevier Science Inc, New York NY USA, pp. 165-218.

Bueno, F., Garcia De La Banda, M., Hermenegildo, M., 1999, Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming, ACM Transactions on Programming Languages and Systems, vol 21 issue 2, Association for Computing Machinery, New York NY USA, pp. 189-239.

Garcia De La Banda, M., Marriott, K., Stuckey, P.J., Sondergaard, H., 1998, Differential Methods in Logic Program Analysis, The Journal of Logic Programming, vol 37 no 1, Elsevier Science Inc, New York NY USA, pp. 1-37.

Codish, M., Bruynooghe, M., Garcia De La Banda, M., Hermenegildo, M., 1997, Exploiting goal independence in the analysis of logic programs, The Journal of Logic Programming, vol 32, Elsevier Science Inc, New York NY USA, pp. 247-261.

Garcia De La Banda, M.J., Hermenegildo, M., Marriott, K.G., 1996, Independence in dynamically scheduled logic languages, Lecture Notes in Computer Science, vol 1139, Springer, Germany, pp. 47-61.

Garcia De La Banda, M.J., Bueno, F., Hermenegildo, M., 1996, Towards independent and-parallelism in CLP, Lecture Notes in Computer Science, vol 1140, Springer, Germany, pp. 77-91.

Codish, M., Mulkers, A., Bruynooghe, M., Garcia De La Banda, M.J., Hermenegildo, M., 1995, Improving abstract interpretations by combining domains, ACM Transactions on Programming Languages and Systems, vol 17, issue 1, Association for Computing Machinery, The ACM Portal, pp. 28-44.

Conference Proceedings

Chu, G., Stuckey, P., Garcia De La Banda, M., Mears, C., 2011, Symmetries and lazy clause generation, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, 16 July 2011 to 22 July 2011, AAAI Press/International Joint Conferences on Artificial Intelligence, Menlo Park CA USA, pp. 516-521.

Chu, G., Garcia De La Banda, M.J., Stuckey, P.J., 2010, Automatically exploiting subproblem equivalence in constraint programming, Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 14 June 2010 to 18 June 2010, Springer-Verlag, Berlin Germany, pp. 71-86.

Chu, G., Garcia De La Banda, M.J., Mears, C.D., Stuckey, P.J., 2010, Symmetries and lazy clause generation, Proceedings of SymCon'10 the Tenth International Workshop on Symmetry in Constraint Satisfaction Problems, 06 September 2010, Uppsala University, Uppsala Sweden, pp. 1-15.

Chu, G., Stuckey, P.J., Garcia De La Banda, M.J., 2009, Using relaxations in maximum density still life, Proceedings of the 15th International Conference on the Principles and Practice of Constraint Programming, 20 September 2009 to 24 September 2009, Springer Verlag, Berlin Germany, pp. 258-273.

Mears, C.D., Garcia De La Banda, M.J., Wallace, M., Demoen, B., 2008, A novel approach for detecting symmetries in CSP models, Lecture Notes In Artificial Intelligence, 20/05/2008-23/05/2008, Springer-Verlag, Berlin Germany, pp. 158-172.

Rafeh, R., Marriott, K.G., Garcia De La Banda, M.J., Nethercote, N., Wallace, M., 2008, Adding search to Zinc, Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008), 14 September 2008 to 18 September 2008, Springer-Verlag, Berlin Germany, pp. 624-629.

Mears, C.D., Garcia De La Banda, M.J., Demoen, B., Wallace, M., 2008, Lightweight dynamic symmetry breaking, Proceedings of the Eighth International Workshop on Symmetry in Constraint Satisfaction Problems, 14 September 2008 to 18 September 2008, SymCon'08, http://www.aloul.net/symcon/proceedings.html, pp. 1-10.

Mears, C.D., Garcia De La Banda, M.J., Wallace, M., Demoen, B., 2008, Symmetry breaking and branching constraints, Proceedings of the Eighth International Workshop on Symmetry in Constraint Satisfaction Problems, 14 September 2008 to 18 September 2008, SymCon'08, http://www.aloul.net/symcon/proceedings.html, pp. 1-6.

Demoen, B., Garcia De La Banda, M.J., Mears, C.D., Wallace, M., 2007, A novel approach for detecting symmetries in CSP models, Proceedings of the Seventh International Workshop on Symmetry in Constraint Satisfaction Problems, 23 September 2007 to 27 September 2007, SymCon'07, http://www.cmi.univ-mrs.fr/~benhamou/symcon07/Proceedings%20.htm, pp. 30-38.

Boyd, S.E., Garcia De La Banda, M.J., Kerr, F.K., O'Brien, G., 2007, Cooperative effects in the substrate specificity of the complement protease CIS, 5th General Meeting of the International Proteolysis Society Book of Abstracts, 20 October 2007 to 24 October 2007, Novartis Pharma A, Basel Switzerland, p. 361.

Rafeh, R., Garcia De La Banda, M.J., Marriott, K.G., Wallace, M., 2007, From Zinc to design model, Proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007), 14 January 2007 to 15 January 2007, Springer-Verlag, Berlin Germany, pp. 215-229.

Becket, R., Garcia De La Banda, M.J., Marriott, K.G., Somogyi, Z., Stuckey, P.J., Wallace, M., 2006, Adding constraint solving to Mercury, Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006), 9 January 2006 to 10 January 2006, Springer-Verlag, Germany, pp. 118-133.

Garcia De La Banda, M.J., Marriott, K.G., Rafeh, R., Wallace, M., 2006, The modelling language Zinc, Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006), 25 September 2006 to 29 September 2006, Springer-Verlag, Germany, pp. 700-705.

Rafeh, R., Marriott, K.G., Wallace, M., Garcia De La Banda, M.J., 2005, Towards the new modelling language zinc, ODSC 2005: Conference Proceedings of the Australian Open Source Developers' Conference, 05 December 2005 to 07 December 2005, Monash University, Melbourne Vic Australia, pp. 138-142.

Duck, G.J., Garcia De La Banda, M.J., Stuckey, P.J., 2004, Compiling Ask Constraints, Proceedings of the 20th International Conference in Logic Programming (ICLP 2004), 6 September 2004 to 10 September 2004, Springer-Verlag, Berlin Germany, pp. 105-119.

Boyd, S.E., Garcia De La Banda, M.J., Pike, R.N., Whisstock, J., Rudy, G.B., 2004, PoPS: a computational tool for modeling and predicting protease specificity, Proceedings of the 2004 IEEE Computational Systems Bioinformatics Conference, 16 August 2004 to 19 August 2004, IEEE Computer Society Press, Los Alamitos USA, pp. 372-381.

Bueno, F., Garcia De La Banda, M.J., 2004, Set-sharing is not always redundant for pair-sharing, Proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), 7 April 2004 to 9 April 2004, Springer-Verlag, Berlin Germany, pp. 117-131.

Duck, G.J., Stuckey, P.J., Garcia De La Banda, M.J., Holzbaur, C., 2004, The refined operational semantics of constraint handling rules, Proceedings of the 20th International Conference in Logic Programming (ICLP 2004), 6 September 2004 to 10 September 2004, Springer-Verlag, Berlin Germany, pp. 90-104.

Duck, G.J., Stuckey, P.J., Garcia De La Banda, M.J., Holzbaur, C., 2003, Extending arbitrary solvers with Constraint Handling Rules, Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, 27 August 2003 to 29 August 2003, The Association for Computing Machinery, New York USA, pp. 79-90.

Garcia De La Banda, M.J., Stuckey, P.J., Wazny, J., 2003, Finding all minimal unsatisfiable subsets, Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, 27 August 2003 to 29 August 2003, The Association for Computing Machinery, New York USA, pp. 32-43.

Cameron, M.M., Garcia De La Banda, M.J., Marriott, K.G., Moulder, P., 2003, ViMer: a visual debugger for Mercury, Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, 27 August 2003 to 29 August 2003, The Association for Computing Machinery, New York USA, pp. 56-66.

Owens, B., Ernst, A., Banda, M., Marriott, K.G., 2002, Personnel Scheduling Using Hybrid CLP and Meta-Heuristic Approaches, Proceedings Fourth International workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems, 25/03/2002 to 27/03/2002, pp. 149-164.

Demoen, B., Garcia De La Banda, M., Harvey, W., Marriott, K., Stuckey, P.J., 1999, Herbrand Constraint Solving in HAL, Logic Programming Proceedings of the 1999 International Conference on Logic Programming, New Mexico USA, 29 November - 4 December, 1999, Massachusetts Institute of Technology Press, Massachusets USA, pp. 260-274.

Demoen, B., Garcia De La Banda, M., Stuckey, P.J., 1999, Type Constraint Solving for Parametric and Ad-hoc Polymorphism, Proceedings of the 22nd Australasian Computer Science Conference, (ACSC'99), Auckland NEW ZEALAND, 18-21 January, 1999, Springer-Verlag Pte. Ltd., Singapore, pp. 217-228.

Puebla, G., Garcia De La Banda, M., Marriott, K., Stuckey, P.J., 1997, Optimization of logic programs with dynamic scheduling, Logic Programming, Leuven Belgium, 8-12 July 1997, The MIT Press, Cambridge MA USA, pp. 93-107.

Garcia De La Banda, M.J., Marriott, K.G., Stuckey, P.J., 1995, Efficient analysis of logic programs with dynamic scheduling, Proceedings of the 1995 International Symposium on Logic Programming, 4 December 1995 to 7 December 1995, The MIT Press, Massachusetts London UK, pp. 417-431.

Teaching Commitment

Professor Maria Garcia de la Banda is the Chief Examiner for the following unit/s;

• FIT1008 - Introduction to computer science

Maria teaches the following unit/s;

• FIT1008 - Introduction to computer science

Activities

Faculty academic committee

Member Ex Officio
Faculty Research Committee
Faculty of Information Technology, Monash University

Faculty executive committee

Member Ex officio
Faculty Board
Faculty of Information Technology, Monash University

Member Ex officio
Senior Leadership Team
Faculty of Information Technology, Monash University

management

Head
Caulfield School of Information Technology
Faculty of Information Technology, Monash University

Postgraduate Research Supervisions

Current Supervision

Program of Study:

(DOCTORATE BY RESEARCH).

Supervisors:

Messom, C (Main), Garcia De La Banda, M (Associate).

Program of Study:

(DOCTORATE BY RESEARCH).

Thesis Title:

Entropy Compressed Data Structures for the Genome Assembly problem.

Supervisors:

Konagurthu, A (Main), Garcia De La Banda, M (Associate).

Program of Study:

(DOCTORATE BY RESEARCH).

Thesis Title:

Generalised pre-solving for combinatorial optimisation.

Supervisors:

Tack, G (Main), Garcia De La Banda, M (Associate).

Program of Study:

(DOCTORATE BY RESEARCH).

Thesis Title:

Prinicipled abstractions of protein structures to address problems in structural Bioinformatics.

Supervisors:

Konagurthu, A (Main), Garcia De La Banda, M (Associate).

Completed Supervision

Student:

Arafat, Y.

Program of Study:

A computational investigation of the structural and physichochemical basis of autoantigenicity. (PHD) 2009.

Supervisors:

Buckle, A (Main), Garcia De La Banda, M (Associate).

Student:

Boyd, S.

Program of Study:

COMPUTATIONAL MODELLING AND PREDICTION OF PROTEASE SPECIFICITY. (PHD) 2005.

Supervisors:

Garcia De La Banda, M (Main), Pike, R (Associate), Whisstock, J (Associate).

Student:

Faux, N.

Program of Study:

The role of single amino acid repeats in protein function and evolution. (PHD) 2008.

Supervisors:

Whisstock, J (Main), Garcia De La Banda, M (Associate), Pike, R (Associate).

Student:

Mears, C.

Program of Study:

Automatic symmetry detection and dynamic symmetry breaking for constraint programming. (PHD) 2009.

Supervisors:

Garcia De La Banda, M (Joint-Co), Wallace, M (Joint).

Student:

Rafeh, R.

Program of Study:

The modelling language Zinc. (PHD) 2008.

Supervisors:

Marriott, K (Main), Garcia De La Banda, M (Associate), Wallace, M (Associate).