dblp.uni-trier.dewww.uni-trier.de

Maria Garcia de la Banda Vis

Maria J. García de la Banda

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
57EEGeoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda: Using Relaxations in Maximum Density Still Life. CP 2009: 258-273
56EEChristopher Mears, Maria Garcia de la Banda, Marc Wallace: On implementing symmetry detection. Constraints 14(4): 443-477 (2009)
2008
55EEMaria Garcia de la Banda, Enrico Pontelli: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings Springer 2008
54EEReza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace: Adding Search to Zinc. CP 2008: 624-629
53EEChristopher 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
52EEKim 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
51EEReza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace: From Zinc to Design Model. PADL 2007: 215-229
50EEMaria Garcia de la Banda, Peter J. Stuckey: Dynamic Programming to Minimize the Maximum Number of Open Stacks. INFORMS Journal on Computing 19(4): 607-617 (2007)
2006
49EEMaria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace: The Modelling Language Zinc. CP 2006: 700-705
48EERalph 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
47EETom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)
2005
46EEPeter 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
45EEPeter 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
44EETom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing CoRR abs/cs/0505085: (2005)
43EESarah 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)
42EEChristian 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)
41EEMaria 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
40EESarah 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
39EEFrancisco Bueno, Maria J. García de la Banda: Set-Sharing Is Not Always Redundant for Pair-Sharing. FLOPS 2004: 117-131
38EEGregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119
37EEGregory 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
36EEGermá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
35EEBart 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
34EEChristian 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)
33EEMaria 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
32EEMaria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny: Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43
31EEM. Cameron, Maria J. García de la Banda, Kim Marriott, Peter Moulder: ViMer: a visual debugger for mercury. PPDP 2003: 56-66
30EEGregory 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
29EEMaria 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
28EETom Schrijvers, Maria J. García de la Banda, Bart Demoen: Trailing Analysis for HAL. ICLP 2002: 38-53
2001
27EEChristian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89
26EEMaria 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
25EEMaria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. Computational Logic 2000: 1270-1284
24EEFrancisco 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
23EEFrancisco 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
22EEMaria 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
19EEFrancisco 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
14EEMaria 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
12EEMaria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo: Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91
11EEMaria 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
9EEMichael 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
8EEMichael 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)