The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark Wallace: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Lawley, Rodney W. Topor, Mark Wallace
    Using Weakest Preconditions to Simplify Integrity Constraint Checking. [Citation Graph (1, 0)][DBLP]
    Australian Database Conference, 1993, pp:161-170 [Conf]
  2. Volker Gaede, Mark Wallace
    An Informal Introduction to Constraint Database Systems. [Citation Graph (1, 0)][DBLP]
    CDB, 1997, pp:7-52 [Conf]
  3. Mark Wallace
    Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? [Citation Graph (1, 0)][DBLP]
    ECAI, 1990, pp:682-687 [Conf]
  4. Mark Wallace
    Compiling Integrity Checking into Update Procedures. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1991, pp:903-910 [Conf]
  5. Mark Wallace
    A Computable Semantics for General Logic Programs. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1989, v:6, n:3, pp:269-297 [Journal]
  6. Mark Wallace
    Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:512-532 [Conf]
  7. Stéphane Bressan, Alan P. Sexton, Mark Wallace
    Implementing Index Data Structures Using Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CDB, 1997, pp:294-301 [Conf]
  8. Mark Wallace, Stéphane Bressan, Thierry Le Provost
    Magic Checking: Constraint Checking for Database Query Optimization. [Citation Graph (0, 0)][DBLP]
    CDB, 1995, pp:148-166 [Conf]
  9. Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace
    The Modelling Language Zinc. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:700-705 [Conf]
  10. Andrew Eremin, Mark Wallace
    Hybrid Benders Decomposition Algorithms in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:1-15 [Conf]
  11. Robert Rodosek, Mark Wallace
    A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:385-399 [Conf]
  12. Hani El Sakkout, Mark Wallace, Barry Richards
    An Instance of Adaptive Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:164-178 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:13-16 [Conf]
  14. Mark Wallace
    Languages versus Packages for Constraint Problem Solving. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:37-52 [Conf]
  15. Quanshi Xia, Andrew Eremin, Mark Wallace
    Problem Decomposition for Traffic Diversions. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2004, pp:348-363 [Conf]
  16. Hani El Sakkout, T. Richards, Mark Wallace
    Minimal Perturbance in Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:504-508 [Conf]
  17. Mark Wallace
    Search in AI: Escaping from the CSP Straightjacket. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:770-776 [Conf]
  18. Thierry Le Provost, Mark Wallace
    Domain Independent Propagation. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:1004-1011 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:9-13 [Conf]
  20. Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace
    Some Steps Towards a DBMS-based KBMS. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:1061-1067 [Conf]
  21. Mark Wallace
    New trends in constraint logic Programming. [Citation Graph (0, 0)][DBLP]
    JFPL, 1992, pp:- [Conf]
  22. Mark Wallace, Thierry Le Provost
    CHIP and Propia. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:507-509 [Conf]
  23. Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace
    Contraint Logic Programming - An Informal Introduction. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:3-35 [Conf]
  24. David Chan, Mark Wallace
    A Treatment of Negation during Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:299-317 [Conf]
  25. Johann Christoph Freytag, Rainer Manthey, Mark Wallace
    Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment. [Citation Graph (0, 0)][DBLP]
    OODBS, 1988, pp:204-208 [Conf]
  26. Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
    Adding Constraint Solving to Mercury. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:118-133 [Conf]
  27. Mark Wallace, Joachim Schimpf
    ECLiPSe: Declarative Specification and Scaleable Implementation. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:365-366 [Conf]
  28. Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace
    From Zinc to Design Model. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:215-229 [Conf]
  29. Mark Wallace
    Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:253-263 [Conf]
  30. Michela Milano, Mark Wallace
    Integrating operations research in constraint programming. [Citation Graph (0, 0)][DBLP]
    4OR, 2006, v:4, n:3, pp:175-219 [Journal]
  31. Mark Wallace, Joachim Schimpf
    Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2002, v:34, n:4, pp:259-269 [Journal]
  32. Hani El Sakkout, Mark Wallace
    Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    Constraints, 2000, v:5, n:4, pp:359-388 [Journal]
  33. Mark Wallace
    Practical Applications of Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Constraints, 1996, v:1, n:1/2, pp:139-168 [Journal]
  34. 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". [Citation Graph (0, 0)][DBLP]
    Constraints, 2004, v:9, n:1, pp:5-34 [Journal]
  35. Eugene C. Freuder, Mark Wallace
    Constraint Technology and the Commercial World (Interview). [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2000, v:15, n:1, pp:20-23 [Journal]
  36. Eugene C. Freuder, Mark Wallace
    Guest Editors' Introduction: Constraints. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2000, v:15, n:1, pp:24-25 [Journal]
  37. Thierry Le Provost, Mark Wallace
    Generalized Constraint Propagation over the CLP Scheme. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:3, pp:319-359 [Journal]
  38. Mark Wallace
    Tight, Consistent and Computable Completions for Unrestricted Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:15, n:3, pp:243-273 [Journal]
  39. Yow-Jong Liu, Mark Wallace, John W. Ketchum
    A Soft-Output Bidirectional Decision Feedback Equalization Technique for TDMA Cellular Radio. [Citation Graph (0, 0)][DBLP]
    IEEE Journal on Selected Areas in Communications, 1993, v:11, n:7, pp:1034-1045 [Journal]
  40. Mark Wallace
    Hybrid Algorithms in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2006, pp:1-32 [Conf]

  41. Adding Search to Zinc. [Citation Graph (, )][DBLP]


  42. Why Cumulative Decomposition Is Not as Bad as It Sounds. [Citation Graph (, )][DBLP]


  43. From High-Level Model to Branch-and-Price Solution in G12. [Citation Graph (, )][DBLP]


  44. A Novel Approach For Detecting Symmetries in CSP Models. [Citation Graph (, )][DBLP]


  45. G12 - Towards the Separation of Problem Modelling and Problem Solving. [Citation Graph (, )][DBLP]


  46. The Design of the Zinc Modelling Language. [Citation Graph (, )][DBLP]


  47. On implementing symmetry detection. [Citation Graph (, )][DBLP]


Search in 1.501secs, Finished in 1.503secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002