Mark Wallace

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	Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand: From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232
50		Aaron Wheeler, Mark Wallace, Michael Winburn, Jim Dike, John Maxey: The Cybercraft System Ontology: An Ontology for Reasoning about Distributed Agent Capabilities. IC-AI 2008: 644-648
49		Mark Wallace, Aaron Wheeler, Michael Winburn, James Dike, William Maxey: Leveraging OWL-DL, SPARQL, and XSLT to Automate Cybercraft Configuration. IC-AI 2008: 649-653
48	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
47	EE	Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace: From Zinc to Design Model. PADL 2007: 215-229
46	EE	Markus Stolze, Philippe Riand, Mark Wallace, Terry Heath: Agile Development of Workflow Applications with Interpreted Task Models. TAMODIA 2007: 2-14
2006
45	EE	Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace: The Modelling Language Zinc. CP 2006: 700-705
44	EE	Mark Wallace: Hybrid Algorithms in Constraint Programming. CSCLP 2006: 1-32
43	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
42	EE	Michela Milano, Mark Wallace: Integrating operations research in constraint programming. 4OR 4(3): 175-219 (2006)
2005
41	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
40	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
2004
39		Mark Wallace: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings Springer 2004
38	EE	Quanshi Xia, Andrew Eremin, Mark Wallace: Problem Decomposition for Traffic Diversions. CPAIOR 2004: 348-363
37	EE	Mark 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
36	EE	Mark Wallace: Languages versus Packages for Constraint Problem Solving. CP 2003: 37-52
35	EE	Carmen Gervet, Mark Wallace: Preface. Annals OR 118(1-4): 13-15 (2003)
2002
34	EE	Mark Wallace: Constraint Logic Programming. Computational Logic: Logic Programming and Beyond 2002: 512-532
33		Mark Wallace, Joachim Schimpf: Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem. Ann. Math. Artif. Intell. 34(4): 259-269 (2002)
2001
32	EE	Andrew Eremin, Mark Wallace: Hybrid Benders Decomposition Algorithms in Constraint Logic Programming. CP 2001: 1-15
2000
31		Mark Wallace: Search in AI: Escaping from the CSP Straightjacket. ECAI 2000: 770-776
30		Hani El Sakkout, Mark Wallace: Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. Constraints 5(4): 359-388 (2000)
29	EE	Joachim Schimpf, Mark Wallace: Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem. Electronic Notes in Discrete Mathematics 4: 55-67 (2000)
28	EE	Eugene C. Freuder, Mark Wallace: Constraint Technology and the Commercial World (Interview). IEEE Intelligent Systems 15(1): 20-23 (2000)
27	EE	Eugene C. Freuder, Mark Wallace: Guest Editors' Introduction: Constraints. IEEE Intelligent Systems 15(1): 24-25 (2000)
1999
26	EE	Mark Wallace, Joachim Schimpf: ECLiPSe: Declarative Specification and Scaleable Implementation. PADL 1999: 365-366
25	EE	Mark Wallace, Yves Caseau, Eric Jacquet-Lagreze, Helmut Simonis, Gilles Pesant: Preface: Volume 1. Electronic Notes in Discrete Mathematics 1: 85-86 (1999)
1998
24	EE	Robert Rodosek, Mark Wallace: A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems. CP 1998: 385-399
23		Hani El Sakkout, T. Richards, Mark Wallace: Minimal Perturbance in Dynamic Scheduling. ECAI 1998: 504-508
1997
22		Volker 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
21		Stéphane Bressan, Alan P. Sexton, Mark Wallace: Implementing Index Data Structures Using Constraint Logic Programming. CDB 1997: 294-301
20		Volker Gaede, Mark Wallace: An Informal Introduction to Constraint Database Systems. CDB 1997: 7-52
1996
19		Gabriel M. Kuper, Mark Wallace: Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings Springer 1996
18		Hani El Sakkout, Mark Wallace, Barry Richards: An Instance of Adaptive Constraint Propagation. CP 1996: 164-178
17		Mark Wallace: Practical Applications of Constraint Programming. Constraints 1(1/2): 139-168 (1996)
1995
16		Mark Wallace, Stéphane Bressan, Thierry Le Provost: Magic Checking: Constraint Checking for Database Query Optimization. CDB 1995: 148-166
1993
15		Michael Lawley, Rodney W. Topor, Mark Wallace: Using Weakest Preconditions to Simplify Integrity Constraint Checking. Australian Database Conference 1993: 161-170
14		Yow-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)
13		Mark Wallace: Tight, Consistent and Computable Completions for Unrestricted Logic Programs. J. Log. Program. 15(3): 243-273 (1993)
12		Thierry Le Provost, Mark Wallace: Generalized Constraint Propagation over the CLP Scheme. J. Log. Program. 16(3): 319-359 (1993)
1992
11		Thierry Le Provost, Mark Wallace: Domain Independent Propagation. FGCS 1992: 1004-1011
10		Mark Wallace: New trends in constraint logic Programming. JFPL 1992
9		Mark Wallace, Thierry Le Provost: CHIP and Propia. LPAR 1992: 507-509
8		Thom 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
7		Mark Wallace: Compiling Integrity Checking into Update Procedures. IJCAI 1991: 903-910
1990
6		Mark Wallace: Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? ECAI 1990: 682-687
1989
5		Mark Wallace: A Computable Semantics for General Logic Programs. J. Log. Program. 6(3): 269-297 (1989)
1988
4		David Chan, Mark Wallace: A Treatment of Negation during Partial Evaluation. META 1988: 299-317
3		Johann 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
2		Mark Wallace: Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. SLP 1987: 253-263
1986
1		Jorge 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

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

Colors in the list of coauthors