Mats Carlsson

According to our database1, Mats Carlsson authored at least 87 papers between 1984 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Combinatorial Register Allocation and Instruction Scheduling.
ACM Trans. Program. Lang. Syst., 2019

Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints.
CoRR, 2019

Time-aware Test Execution Scheduling for Cyber-Physical Systems.
Proceedings of the Software Engineering and Software Management, 2019

2018
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017
Complete and Practical Universal Instruction Selection.
ACM Trans. Embedded Comput. Syst., 2017

Scheduling double round-robin tournaments with divisional play using constraint programming.
European Journal of Operational Research, 2017

Auto-tabling for subproblem presolving in MiniZinc.
Constraints, 2017

Modelling and Verification of User Interactions Using Constraint Programming.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Range-Consistent Forbidden Regions of Allen's Relations.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
Global Constraint Catalog, Volume II, Time-Series Constraints.
CoRR, 2016

Using finite transducers for describing and synthesising structural time-series constraints.
Constraints, 2016

A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Software Product Line Test Suite Reduction with Constraint Optimization.
Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Register allocation and instruction scheduling in Unison.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Automated Regression Testing Using Constraint Programming.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Combinatorial Problem Solving for Fair Play.
ERCIM News, 2015

Synchronized sweep algorithms for scalable scheduling constraints.
Constraints, 2015

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs.
Proceedings of the Tests and Proofs - 9th International Conference, 2015

Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks.
Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, 2015

Testing of a telecommunication protocol using constraint programming.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A Modelling Pearl with Sortedness Constraints.
Proceedings of the Global Conference on Artificial Intelligence, 2015

Erratum to: Modeling Universal Instruction Selection.
Proceedings of the Principles and Practice of Constraint Programming, 2015

Modeling Universal Instruction Selection.
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
Protocol Log Analysis with Constraint Programming.
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

Combinatorial spill code optimization and ultimate coalescing.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators.
Proceedings of the Principles and Practice of Constraint Programming, 2014

2013
On matrices, automata, and double counting in constraint programming.
Constraints, 2013

On the reification of global constraints.
Constraints, 2013

GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials.
Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

Constraint-based code generation.
Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2012
SICStus Prolog - The first 25 years.
TPLP, 2012

An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization.
Proceedings of the ECAI 2012, 2012

Constraint-Based Register Allocation and Instruction Scheduling.
Proceedings of the Principles and Practice of Constraint Programming, 2012

A Scalable Sweep Algorithm for the cumulative Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
New filtering for the cumulative constraint in the context of non-overlapping rectangles.
Annals OR, 2011

Random Indexing for Finding Similar Nodes within Large RDF graphs.
Proceedings of the Fourth International Workshop on REsource Discovery, 2011

2010
Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems.
ERCIM News, 2010

On Matrices, Automata, and Double Counting.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

A Generic Visualization Platform for CP.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
Constraint Programming in Sweden.
IEEE Intelligent Systems, 2009

Six Ways of Integrating Symmetries within Non-overlapping Constraints.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
Global Constraint Catalogue: Past, Present and Future.
Constraints, 2007

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Finite Domain Constraint Programming Systems.
Proceedings of the Handbook of Constraint Programming, 2006

Sweep synchronization as a global propagation mechanism.
Computers & OR, 2006

Graph Properties Based Filtering.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Reformulation of Global Constraints Based on Constraints Checkers.
Constraints, 2005

Graph Invariants as Necessary Conditions for Global Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Global gene expression analysis by combinatorial optimization.
In Silico Biology, 2004

From Constraints to Finite Automata to Filtering Algorithms.
Proceedings of the Programming Languages and Systems, 2004

Deriving Filtering Algorithms from Constraint Checkers.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Dispensation Order Generation for Pyrosequencing.
Proceedings of the Second Asia-Pacific Bioinformatics Conference (APBC 2004), 2004

2002
Tracing and Explaining Execution of CLP(FD) Programs.
Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

A New Multi-resource cumulatives Constraint with Negative Heights.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
Parallel execution of prolog programs: a survey.
ACM Trans. Program. Lang. Syst., 2001

Instruction Merging and Specialization in the SICStus Prolog Virtual Machine.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.
Proceedings of the Logic Programming, 17th International Conference, 2001

Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2001

1999
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing.
Proceedings of the Practical Aspects of Declarative Languages, 1999

Aggregation and reclassification-assessment of GALEN methods in the domain of thoracic surgery.
Proceedings of the AMIA 1999, 1999

1998
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Design and Application of a Terminology Management System.
Proceedings of the MEDINFO '98, 1998

1997
An Open-Ended Finite Domain Constraint Solver.
Proceedings of the Programming Languages: Implementations, 1997

1996
Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems.
J. Log. Program., 1996

Towards an Open Finite Domain Constraint Solver.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995
The implementation of AKL(FD).
Proceedings of the Logic Programming, 1995

Compiling and Executing Disjunctions of Finite Domain Constraints.
Proceedings of the Logic Programming, 1995

1994
Entailment of Finite Domain Constraints.
Proceedings of the Logic Programming, 1994

1993
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques.
Proceedings of the Logic Programming, 1993

FUDGETS: A Graphical User Interface in a Lazy Functional Language.
Proceedings of the conference on Functional programming languages and computer architecture, 1993

1991
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems.
Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1990
Design and implementation of an or-parallel Prolog engine.
PhD thesis, 1990

1989
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog.
Proceedings of the Logic Programming, 1989

1988
Garbage Collection for Prolog Based on WAM.
Commun. ACM, 1988

A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment.
Proceedings of the Logic Programming, 1988

The Aurora Or-Parallel Prolog System.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987
Freeze, Indexing, and Other Implementation Issues in the WAM.
Proceedings of the Logic Programming, 1987

1985
A Microcoded Unifier for Lisp Machine Prolog.
Proceedings of the 1985 Symposium on Logic Programming, 1985

1984
On Implementing Prolog in Functional Programming.
New Generation Comput., 1984

The Compilation of Prolog Programs without the Use of a Prolog Compiler.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

How to Implement Prolog on a LISP Machine.
Proceedings of the Implementations of Prolog. , 1984


  Loading...