基本信息
浏览量:218
职业迁徙
个人简介
Born in 1956. Married, with four children. B.Sc. in Computer Science, ~1981, Uppsala University; Ph.D. in Computer Systems, 1990, Royal Institute of Technology, Stockholm; Docent in Computing Science, 2009, Uppsala University. Joined SICS in 1985, where I lead the CPS group. Awarded (with ISL) Chester Carlson's Forskningspris, 1991. My research activities include:
engineering of sequential and OR-parallel Prolog systems, including SICStus Prolog;
engineering of finite domain constraint solvers;
engineering of algorithms for global constraints;
applications of constraint programming。
I am site contact of the SICS Uppsala Office (see photo in upper left corner of the background).
My professional training includes Russian. From time to time I perform interpreter or translator functions on a free-lance basis.
Publications:
The Aurora or-parallel Prolog system
E Lusk, R Butler, T Disz, R Olson, R Overbeek, R Stevens, DHD Warren, ...
New Generation Computing 7 (2-3), 243-271。
An open-ended finite domain constraint solver
M Carlsson, G Ottosson, B Carlson
Programming Languages: Implementations, Logics, and Programs, 191-206。
SICStus Prolog user's manual
M Carlsson, J Widen, J Andersson, S Andersson, K Boortz, H Nilsson, ...
Swedish Institute of Computer Science 3 (1)。
Parallel execution of prolog programs: a survey
G Gupta, E Pontelli, KAM Ali, M Carlsson, MV Hermenegildo
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (4), 472-602。
Global constraint catalog
N Beldiceanu, M Carlsson, JX Rampon。
研究兴趣
论文共 247 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
COMPUTERS AND ELECTRONICS IN AGRICULTURE (2024): 108513
Constraintsno. 2 (2023): 71-104
Operations Research Forumno. 4 (2023): 1-38
JOURNAL OF SCHEDULINGno. 4 (2023): 353-367
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn