The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mats Carlsson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mats Carlsson, Nicolas Beldiceanu
    Dispensation Order Generation for Pyrosequencing. [Citation Graph (0, 0)][DBLP]
    APBC, 2004, pp:327-332 [Conf]
  2. Nicolas Beldiceanu, Mats Carlsson
    Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:377-391 [Conf]
  3. Nicolas Beldiceanu, Mats Carlsson
    A New Multi-resource cumulatives Constraint with Negative Heights. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:63-79 [Conf]
  4. Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
    Deriving Filtering Algorithms from Constraint Checkers. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:107-122 [Conf]
  5. Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
    Graph Properties Based Filtering. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:59-74 [Conf]
  6. Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
    Graph Invariants as Necessary Conditions for Global Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:92-106 [Conf]
  7. Mats Carlsson, Björn Carlson, Greger Ottosson
    Towards an Open Finite Domain Constraint Solver. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:531-532 [Conf]
  8. Mats Carlsson, Nicolas Beldiceanu
    From Constraints to Finite Automata to Filtering Algorithms. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:94-108 [Conf]
  9. Kenneth M. Kahn, Mats Carlsson
    The Compilation of Prolog Programs without the Use of a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:348-355 [Conf]
  10. Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman
    The Aurora Or-Parallel Prolog System. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:819-830 [Conf]
  11. Mats Carlsson, Thomas Hallgren
    FUDGETS: A Graphical User Interface in a Lazy Functional Language. [Citation Graph (0, 0)][DBLP]
    FPCA, 1993, pp:321-330 [Conf]
  12. Nicolas Beldiceanu, Mats Carlsson
    Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:59-73 [Conf]
  13. Björn Carlson, Mats Carlsson
    Compiling and Executing Disjunctions of Finite Domain Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:117-131 [Conf]
  14. Björn Carlson, Mats Carlsson, Daniel Diaz
    Entailment of Finite Domain Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:339-353 [Conf]
  15. Mats Carlsson
    Freeze, Indexing, and Other Implementation Issues in the WAM. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:40-58 [Conf]
  16. Mats Carlsson
    On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:3-16 [Conf]
  17. Mats Carlsson, Ken Danhof, Ross A. Overbeek
    A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1565-1577 [Conf]
  18. Mats Carlsson, Mats Grindal
    Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:647-665 [Conf]
  19. Jesper Eskilson, Mats Carlsson
    SICStus MT - Multithreaded Execution Environment for SICStus Prolog. [Citation Graph (0, 0)][DBLP]
    Implementation Technology for Programming Languages based on Logic, 1998, pp:59-71 [Conf]
  20. Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson
    Tracing and Explaining Execution of CLP(FD) Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2002, pp:1-16 [Conf]
  21. Mats Carlsson, Per Kreuger, Emil Åström
    Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:335-349 [Conf]
  22. Péter Szeredi, Rong Yang, Mats Carlsson
    Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1991, pp:439-453 [Conf]
  23. Mats Carlsson, Greger Ottosson, Björn Carlson
    An Open-Ended Finite Domain Constraint Solver. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:191-206 [Conf]
  24. Jesper Eskilson, Mats Carlsson
    SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:36-53 [Conf]
  25. Henrik Nässén, Mats Carlsson, Konstantinos F. Sagonas
    Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:49-60 [Conf]
  26. Björn Carlson, Mats Carlsson, Sverker Janson
    The implementation of AKL(FD). [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:227-241 [Conf]
  27. Mats Carlsson
    On Implementing Prolog in Functional Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:154-159 [Conf]
  28. Mats Carlsson
    A Microcoded Unifier for Lisp Machine Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1985, pp:162-171 [Conf]
  29. Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin
    Garbage Collection for Prolog Based on WAM. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1988, v:31, n:6, pp:719-741 [Journal]
  30. Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit
    Reformulation of Global Constraints Based on Constraints Checkers. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:4, pp:339-362 [Journal]
  31. Nicolas Beldiceanu, Mats Carlsson, Sven Thiel
    Sweep synchronization as a global propagation mechanism. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 2006, v:33, n:10, pp:2835-2851 [Journal]
  32. Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson
    Tracing and Explaining Execution of CLP(FD) Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  33. Adam Ameur, Erik Aurell, Mats Carlsson, Jakub Orzechowski Westholm
    Global gene expression analysis by combinatorial optimization. [Citation Graph (0, 0)][DBLP]
    In Silico Biology, 2004, v:4, n:, pp:- [Journal]
  34. Gopal Gupta, Mats Carlsson
    Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:29, n:1-3, pp:1-3 [Journal]
  35. Mats Carlsson
    On Implementing Prolog in Functional Programming. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1984, v:2, n:4, pp:347-359 [Journal]
  36. Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
    Parallel execution of prolog programs: a survey. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:4, pp:472-602 [Journal]
  37. Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet
    A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:180-194 [Conf]
  38. Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
    Global Constraint Catalogue: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    Constraints, 2007, v:12, n:1, pp:21-62 [Journal]

  39. A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. [Citation Graph (, )][DBLP]


  40. New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. [Citation Graph (, )][DBLP]


  41. Six Ways of Integrating Symmetries within Non-overlapping Constraints. [Citation Graph (, )][DBLP]


  42. On Matrices, Automata, and Double Counting. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
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