Mark Wallace Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace: Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: G12 - Towards the Separation of Problem Modelling and Problem Solving. CPAIOR 2009: 8-10
2008
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace: Adding Search to Zinc. CP 2008: 624-629
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand: From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Wheeler, Mark Wallace, Michael Winburn, James Dike, John Maxey: The Cybercraft System Ontology: An Ontology for Reasoning about Distributed Agent Capabilities. IC-AI 2008: 644-648
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace, Aaron Wheeler, Michael Winburn, James Dike, William Maxey: Leveraging OWL-DL, SPARQL, and XSLT to Automate Cybercraft Configuration. IC-AI 2008: 649-653
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Bampo, Michael T. Ewing, Dineli R. Mather, David Stewart, Mark Wallace: The Effects of the Social Structure of Digital Networks on Viral Marketing Performance. Information Systems Research 19(3): 273-290 (2008)
2007
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace: From Zinc to Design Model. PADL 2007: 215-229
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Stolze, Philippe Riand, Mark Wallace, Terry Heath: Agile Development of Workflow Applications with Interpreted Task Models. TAMODIA 2007: 2-14
2006
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace: The Modelling Language Zinc. CP 2006: 700-705
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Hybrid Algorithms in Constraint Programming. CSCLP 2006: 1-32
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichela Milano, Mark Wallace: Integrating operations research in constraint programming. 4OR 4(3): 175-219 (2006)
2005
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
2004
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings Springer 2004
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQuanshi Xia, Andrew Eremin, Mark Wallace: Problem Decomposition for Traffic Diversions. CPAIOR 2004: 348-363
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey: On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains". Constraints 9(1): 5-34 (2004)
2003
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Languages versus Packages for Constraint Problem Solving. CP 2003: 37-52
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmen Gervet, Mark Wallace: Preface. Annals OR 118(1-4): 13-15 (2003)
2002
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Constraint Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 512-532
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace, Joachim Schimpf: Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem. Ann. Math. Artif. Intell. 34(4): 259-269 (2002)
2001
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Eremin, Mark Wallace: Hybrid Benders Decomposition Algorithms in Constraint Logic Programming. CP 2001: 1-15
2000
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Search in AI: Escaping from the CSP Straightjacket. ECAI 2000: 770-776
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHani El Sakkout, Mark Wallace: Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. Constraints 5(4): 359-388 (2000)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Schimpf, Mark Wallace: Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem. Electronic Notes in Discrete Mathematics 4: 55-67 (2000)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene C. Freuder, Mark Wallace: Constraint Technology and the Commercial World (Interview). IEEE Intelligent Systems 15(1): 20-23 (2000)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene C. Freuder, Mark Wallace: Guest Editors' Introduction: Constraints. IEEE Intelligent Systems 15(1): 24-25 (2000)
1999
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace, Joachim Schimpf: ECLiPSe: Declarative Specification and Scaleable Implementation. PADL 1999: 365-366
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace, Yves Caseau, Eric Jacquet-Lagreze, Helmut Simonis, Gilles Pesant: Preface: Volume 1. Electronic Notes in Discrete Mathematics 1: 85-86 (1999)
1998
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Rodosek, Mark Wallace: A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems. CP 1998: 385-399
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHani El Sakkout, T. Richards, Mark Wallace: Minimal Perturbance in Dynamic Scheduling. ECAI 1998: 504-508
1997
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace: Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers Springer 1997
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Bressan, Alan P. Sexton, Mark Wallace: Implementing Index Data Structures Using Constraint Logic Programming. CDB 1997: 294-301
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Gaede, Mark Wallace: An Informal Introduction to Constraint Database Systems. CDB 1997: 7-52
1996
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel M. Kuper, Mark Wallace: Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings Springer 1996
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHani El Sakkout, Mark Wallace, Barry Richards: An Instance of Adaptive Constraint Propagation. CP 1996: 164-178
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Practical Applications of Constraint Programming. Constraints 1(1/2): 139-168 (1996)
1995
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace, Stéphane Bressan, Thierry Le Provost: Magic Checking: Constraint Checking for Database Query Optimization. CDB 1995: 148-166
1993
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Lawley, Rodney W. Topor, Mark Wallace: Using Weakest Preconditions to Simplify Integrity Constraint Checking. Australian Database Conference 1993: 161-170
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYow-Jong Liu, Mark Wallace, John W. Ketchum: A Soft-Output Bidirectional Decision Feedback Equalization Technique for TDMA Cellular Radio. IEEE Journal on Selected Areas in Communications 11(7): 1034-1045 (1993)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Tight, Consistent and Computable Completions for Unrestricted Logic Programs. J. Log. Program. 15(3): 243-273 (1993)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Le Provost, Mark Wallace: Generalized Constraint Propagation over the CLP Scheme. J. Log. Program. 16(3): 319-359 (1993)
1992
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Le Provost, Mark Wallace: Domain Independent Propagation. FGCS 1992: 1004-1011
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: New trends in constraint logic Programming. JFPL 1992
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace, Thierry Le Provost: CHIP and Propia. LPAR 1992: 507-509
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace: Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School 1992: 3-35
1991
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Compiling Integrity Checking into Update Procedures. IJCAI 1991: 903-910
1990
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? ECAI 1990: 682-687
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: A Computable Semantics for General Logic Programs. J. Log. Program. 6(3): 269-297 (1989)
1988
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chan, Mark Wallace: A Treatment of Negation during Partial Evaluation. META 1988: 299-317
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann Christoph Freytag, Rainer Manthey, Mark Wallace: Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment. OODBS 1988: 204-208
1987
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Wallace: Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. SLP 1987: 253-263
1986
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace: Some Steps Towards a DBMS-based KBMS. IFIP Congress 1986: 1061-1067

Coauthor Index

1Mauro Bampo [48]
2Maria Garcia de la Banda (Maria J. García de la Banda) [40] [41] [43] [45] [47] [49] [53] [54]
3Ralph Becket [43]
4Jorge B. Bocca [1]
5Sebastian Brand [52]
6Stéphane Bressan [16] [21]
7Alexander Brodsky [22]
8Yves Caseau [25]
9David Chan [4]
10Hendrik Decker [1]
11Bart Demoen [53]
12James Dike [50] [51]
13Andrew Eremin [32] [38]
14Michael T. Ewing [48]
15Thibaut Feydy [56]
16Eugene C. Freuder [27] [28]
17Johann Christoph Freytag [3]
18Thom W. Frühwirth [8]
19Volker Gaede [20] [22]
20Carmen Gervet [35]
21Oliver Günther [22]
22Warwick Harvey [37]
23Terry Heath [46]
24Alexander Herold [8]
25Eric Jacquet-Lagreze [25]
26John W. Ketchum [14]
27Volker Küchenhoff [8]
28Gabriel M. Kuper [19]
29Michael Lawley [15]
30Pierre Lim [8]
31Yow-Jong Liu [14]
32Michael J. Maher [40] [41]
33Rainer Manthey [3]
34Kim Marriott [40] [41] [43] [45] [47] [49] [54]
35Dineli R. Mather [48]
36John Maxey [51]
37William Maxey [50]
38Christopher Mears [53]
39Michela Milano [42]
40Eric Monfroy [8]
41Nicholas Nethercote [49] [54]
42Jean-Marie Nicolas [1]
43Gilles Pesant [25]
44Thierry Le Provost [8] [9] [11] [12] [16]
45Jakob Puchinger [52]
46Reza Rafeh [45] [47] [49] [54]
47Philippe Riand [46]
48Barry Richards [18]
49T. Richards [23]
50Robert Rodosek [24]
51Hani El Sakkout [18] [23] [30]
52Joachim Schimpf [26] [29] [33] [37]
53Andreas Schutt [56]
54Alan P. Sexton [21]
55Kish Shen [37]
56Helmut Simonis [25]
57John K. Slaney [40] [41]
58Zoltan Somogyi [40] [41] [43]
59Divesh Srivastava [22]
60David Stewart [48]
61Markus Stolze [46]
62Peter J. Stuckey [40] [41] [43] [49] [52] [56]
63Rodney W. Topor [15]
64Victor Vianu [22]
65Laurent Vieille [1]
66Toby Walsh [40] [41]
67Aaron Wheeler [50] [51]
68Michael Winburn [50] [51]
69Quanshi Xia [38]

Colors in the list of coauthors

Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)