Magnus Carlsson

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 1

Top Topics

Selection Strategy

Video Sequences

Business Intelligence Systems

Top Venues

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Mikael Berndtsson, Anna-Carin Jonsson, Magnus Carlsson, Thomas Svahn
A Strategy for Scaling Advanced Analytics. Commun. ACM 66 (12) (2023)
Henric Andersson, Magnus Carlsson, Johan Ölvander
Towards Configuration Support for Collaborative Simulator Development - A Product Line Approach in Model Based Systems Engineering. WETICE (2011)
Levent Erkök, Magnus Carlsson, Adam Wick
Hardware/software co-verification of cryptographic algorithms using Cryptol. FMCAD (2009)
Johan Nordlander, Magnus Carlsson, Andy Gill
Unrestricted pure call-by-value recursion. ML (2008)
Andrew Moran, David Sands, Magnus Carlsson
Erratic Fudgets: a semantic theory for an embedded coordination language. Sci. Comput. Program. 46 (1-2) (2003)
Magnus Carlsson, Johan Nordlander, Dick Kieburtz
The Semantic Layers of Timber. APLAS (2003)
Magnus Carlsson
Monads for incremental computing. ICFP (2002)
Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black
Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing (2002)
Andrew Moran, David Sands, Magnus Carlsson
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. COORDINATION (1999)
Ulf Sjöström, Magnus Carlsson, Magnus Hörlin
Design and implementation of a digital down converter chip. EUSIPCO (1996)
Thomas Hallgren, Magnus Carlsson
Programming with Fudgets. Advanced Functional Programming (1995)