Maria Garcia de la Banda

Maria J. García de la Banda

2008
54	EE	Maria Garcia de la Banda, Enrico Pontelli: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings Springer 2008
53	EE	Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace: Adding Search to Zinc. CP 2008: 624-629
52	EE	Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen: A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR 2008: 158-172
51	EE	Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace: The Design of the Zinc Modelling Language. Constraints 13(3): 229-267 (2008)
2007
50	EE	Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace: From Zinc to Design Model. PADL 2007: 215-229
2006
49	EE	Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace: The Modelling Language Zinc. CP 2006: 700-705
48	EE	Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace: Adding Constraint Solving to Mercury. PADL 2006: 118-133
47	EE	Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)
2005
46	EE	Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh: The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP 2005: 13-16
45	EE	Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh: The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP 2005: 9-13
44	EE	Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing CoRR abs/cs/0505085: (2005)
43	EE	Sarah E. Boyd, Robert N. Pike, George B. Rudy, James C. Whisstock, Maria J. García de la Banda: Pops: a Computational Tool for Modeling and Predicting Protease Specificity. J. Bioinformatics and Computational Biology 3(3): 551-586 (2005)
42	EE	Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck: Optimizing compilation of constraint handling rules in HAL. TPLP 5(4-5): 503-531 (2005)
41	EE	Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen: Checking modes of HAL progams. TPLP 5(6): 623-668 (2005)
2004
40	EE	Sarah E. Boyd, Maria J. García de la Banda, Robert N. Pike, James C. Whisstock, George B. Rudy: PoPS: A Computational Tool for Modeling and Predicting Protease Specificity. CSB 2004: 372-381
39	EE	Francisco Bueno, Maria J. García de la Banda: Set-Sharing Is Not Always Redundant for Pair-Sharing. FLOPS 2004: 117-131
38	EE	Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119
37	EE	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur: The Refined Operational Semantics of Constraint Handling Rules. ICLP 2004: 90-104
36	EE	Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260
35	EE	Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey: Herbrand Constraints in HAL. Program Development in Computational Logic 2004: 499-538
34	EE	Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck: Optimizing compilation of constraint handling rules in HAL CoRR cs.PL/0408025: (2004)
33	EE	Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen: Checking modes of HAL programs CoRR cs.PL/0409038: (2004)
2003
32	EE	Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny: Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43
31	EE	M. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder: ViMer: a visual debugger for mercury. PPDP 2003: 56-66
30	EE	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur: Extending arbitrary solvers with constraint handling rules. PPDP 2003: 79-90
2002
29	EE	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey: To the Gates of HAL: A HAL Tutorial. FLOPS 2002: 47-66
28	EE	Tom Schrijvers, Maria J. García de la Banda, Bart Demoen: Trailing Analysis for HAL. ICLP 2002: 38-53
2001
27	EE	Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89
26	EE	Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur: Building Constraint Solvers with HAL. ICLP 2001: 90-104
2000
25	EE	Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. Computational Logic 2000: 1270-1284
24	EE	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A model for inter-module analysis and optimizing compilation. LOPSTR 2000
23	EE	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey: A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102
22	EE	Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in CLP languages. ACM Trans. Program. Lang. Syst. 22(2): 296-339 (2000)
1999
21		Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: An Overview of HAL. CP 1999: 174-188
20		Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: Herbrand Constraint Solving in HAL. ICLP 1999: 260-274
19	EE	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Trans. Program. Lang. Syst. 21(2): 189-239 (1999)
18		Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. J. Log. Program. 38(2): 165-218 (1999)
1998
17		Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard: Differential Methods in Logic Program Analysis. J. Log. Program. 35(1): 1-37 (1998)
1997
16		Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107
15		Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo: Exploiting Goal Independence in the Analysis of Logic Programs. J. Log. Program. 32(3): 247-261 (1997)
1996
14		Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Dynamically Scheduled Logic Languages. ALP 1996: 47-61
13		Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE 1996: 105-110
12		Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo: Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91
11	EE	Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens: Global Analysis of Constraint Logic Programs. ACM Trans. Program. Lang. Syst. 18(5): 564-614 (1996)
1995
10		Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995: 417-431
9	EE	Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo: Improving Abstract Interpretations by Combining Domains. ACM Trans. Program. Lang. Syst. 17(1): 28-44 (1995)
1994
8		Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo: Goal Dependent versus Goal Independent Analysis of Logic Programs. LPAR 1994: 305-319
7		Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo: Analyzing Logic Programs with Dynamic Scheduling. POPL 1994: 240-253
6		Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Towards a Concurrent Semantics based Analysis of CC and CLP. PPCP 1994: 151-161
5		Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. SLP 1994: 320-336
1993
4		Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Constraint Logic Programs. ILPS 1993: 130-146
3		Maria J. García de la Banda, Manuel V. Hermenegildo: A Practical Approach to the Global Analysis of CLP Programs. ILPS 1993: 437-455
2		Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo: Improving Abstract Interpretations by Combining Domains. PEPM 1993: 194-205
1992
1		Maria J. García de la Banda, Manuel V. Hermenegildo: A Practical Application of Sharing and Freeness Inference. WSA 1992: 118-125

Coauthor Index

1	Ralph Becket	[48]
2	Sarah E. Boyd	[40] [43]
3	Maurice Bruynooghe	[2] [8] [9] [11] [15]
4	Francisco Bueno	[5] [6] [12] [13] [18] [19] [23] [24] [36] [39]
5	Daniel Cabeza (Daniel Cabeza Gras)	[13]
6	M. Cameron	[31]
7	Manuel Carro	[13]
8	Michael Codish	[2] [8] [9] [15]
9	Jesús Correas	[36]
10	Bart Demoen	[20] [21] [28] [29] [33] [35] [41] [44] [47] [52]
11	Gregory J. Duck	[30] [34] [37] [38] [42]
12	Veroniek Dumortier	[11]
13	Warwick Harvey	[20] [21] [25] [33] [35] [41]
14	Manuel V. Hermenegildo	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [18] [19] [22] [23] [24] [36]
15	Christian Holzbaur	[26] [27] [30] [34] [37] [42]
16	Gerda Janssens	[11]
17	David Jeffery	[26] [27]
18	Pedro López-García	[13]
19	Michael J. Maher	[45] [46]
20	Kim Marriott	[4] [7] [10] [14] [16] [17] [20] [21] [22] [23] [24] [25] [26] [29] [31] [33] [35] [36] [41] [45] [46] [48] [49] [50] [51] [53]
21	Christopher Mears	[52]
22	Ugo Montanari	[6]
23	Peter Moulder	[31]
24	Anne Mulkers	[2] [9]
25	Kalyan Muthukumar	[18]
26	Nicholas Nethercote	[26] [51] [53]
27	David Overton	[35]
28	Robert N. Pike	[40] [43]
29	Enrico Pontelli	[54]
30	Germán Puebla (German Puebla)	[13] [16] [23] [24] [36]
31	Reza Rafeh	[49] [50] [51] [53]
32	Francesca Rossi	[6]
33	George B. Rudy	[40] [43]
34	Tom Schrijvers	[28] [44] [47]
35	Wim Simoens	[11]
36	John K. Slaney	[45] [46]
37	Zoltan Somogyi	[45] [46] [48]
38	Harald Søndergaard	[17]
39	Peter J. Stuckey	[10] [16] [17] [20] [21] [23] [24] [25] [26] [27] [29] [30] [32] [33] [34] [35] [36] [37] [38] [41] [42] [44] [45] [46] [47] [48] [51]
40	Mark Wallace	[45] [46] [48] [49] [50] [51] [52] [53]
41	Toby Walsh	[45] [46]
42	Jeremy Wazny	[32]
43	James C. Whisstock	[40] [43]