Concepedia

María García de la Banda

MG

42

Publications

1.7K

Citations

23

H-Index

1993

Active since

Affiliations

Monash University(Current)

The University of Melbourne

Universidad Politécnica de Madrid

Pennsylvania State University

María García de la Banda is an author at Monash University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisComputer EngineeringSystems EngineeringLogic Programming

Publications per year

1993–2022

42

Publications

42

Functional insights from the distribution and role of homopeptide repeat-containing proteins

Noel G. Faux, Stephen Bottomley, Arthur M. Lesk et al. · Genome Research · 2005 · 209 citations · Full text

Amino Acids, Protein Assembly, Genetics +18

The Design of the Zinc Modelling Language

Kim Marriott, Nicholas Nethercote, Reza Rafeh et al. · Constraints · 2008 · 136 citations

Engineering, Formal Modeling, Modeling Method +8

Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)

María García de la Banda, Enrico Pontelli · 2008 · 124 citations

Applied Logic, Computational Logic, Engineering +9

POPS: A COMPUTATIONAL TOOL FOR MODELING AND PREDICTING PROTEASE SPECIFICITY

Sarah Boyd, Robert N. Pike, George B. Rudy et al. · Journal of Bioinformatics and Computational Biology · 2005 · 98 citations

Finding all minimal unsatisfiable subsets

María García de la Banda, Peter J. Stuckey, Jeremy Wazny · 2003 · 76 citations

Mathematical Programming, Engineering, Verification +18

Rows per page

1–5 of 42