Travelled to:1 × Australia
1 × Austria
1 × Cyprus
1 × Denmark
1 × Hungary
1 × Japan
1 × Spain
2 × United Kingdom
4 × Italy
5 × USA
Collaborated with:∅ B.Carlson N.Beldiceanu O.Grinchtein J.Pearson R.C.Lozano G.H.Blindell J.Eskilson T.Hallgren M.Grindal H.Nässén K.F.Sagonas P.Kreuger E.Åström G.Ottosson S.Janson D.Diaz K.J.Danhof R.A.Overbeek C.Schulte C.S.0001
Talks about:constraint (9) implement (4) prolog (4) finit (4) domain (3) stus (3) sic (3) protocol (2) parallel (2) instruct (2)
Person: Mats Carlsson
DBLP: Carlsson:Mats
Contributed to:
2015
2014
2014
2004
2001
2001
199919981997199519951994
199319931988198719851984
2016Wrote 19 papers:
- TAP-2015-GrinchteinCP #analysis #constraints #optimisation #protocol
- A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs (OG, MC, JP), pp. 137–154.
- LCTES-2014-LozanoCBS #combinator #optimisation
- Combinatorial spill code optimization and ultimate coalescing (RCL, MC, GHB, CS), pp. 23–32.
- SMT-2014-CarlssonGP #analysis #constraints #programming #protocol
- Protocol Log Analysis with Constraint Programming (MC, OG, JP), pp. 17–26.
- ESOP-2004-CarlssonB #algorithm #automaton #constraints #finite
- From Constraints to Finite Automata to Filtering Algorithms (MC, NB), pp. 94–108.
- ICLP-2001-BeldiceanuC #constraints #product line
- Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family (NB, MC), pp. 59–73.
- PPDP-2001-NassenCS #prolog #virtual machine
- Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
- PADL-1999-CarlssonKA #constraints #resource management #scheduling
- Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing (MC, PK, EÅ), pp. 335–349.
- ALP-PLILP-1998-EskilsonC #execution #parallel #prolog #thread
- SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
- PLILP-1997-CarlssonOC #constraints #finite #theorem proving
- An Open-Ended Finite Domain Constraint Solver (MC, GO, BC), pp. 191–206.
- ICLP-1995-CarlsonC #compilation #constraints #finite
- Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
- ILPS-1995-CarlsonCJ #implementation
- The implementation of AKL(FD) (BC, MC, SJ), pp. 227–241.
- ICLP-1994-CarlsonCD #constraints #finite
- Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
- FPCA-1993-CarlssonH #functional #lazy evaluation #named #user interface #visual notation
- FUDGETS: A Graphical User Interface in a Lazy Functional Language (MC, TH), pp. 321–330.
- ICLP-1993-CarlssonG #automation #constraints #using
- Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques (MC, MG), pp. 647–665.
- JICSCP-1988-CarlssonDO88 #approach #implementation
- A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment (MC, KJD, RAO), pp. 1565–1577.
- ICLP-1987-Carlsson87 #implementation
- Freeze, Indexing, and Other Implementation Issues in the WAM (MC), pp. 40–58.
- SLP-1985-Carlsson85 #lisp #prolog
- A Microcoded Unifier for Lisp Machine Prolog (MC), pp. 162–171.
- SLP-1984-Carlsson84 #functional #implementation #on the #programming #prolog
- On Implementing Prolog in Functional Programming (MC), pp. 154–159.
- CC-2016-LozanoCBS #scheduling
- Register allocation and instruction scheduling in Unison (RCL, MC, GHB, CS0), pp. 263–264.