Magnus Carlsson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1999–2011
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | WETICE | Towards Configuration Support for Collaborative Simulator Development - A Product Line Approach in Model Based Systems Engineering. | Henric Andersson, Magnus Carlsson, Johan lvander |
| 2009 | FMCAD | Hardware/software co-verification of cryptographic algorithms using Cryptol. | Levent Erkk, Magnus Carlsson, Adam Wick |
| 2003 | APLAS | The Semantic Layers of Timber. | Magnus Carlsson, Johan Nordlander, Dick Kieburtz |
| 2002 | ICFP | Monads for incremental computing. | Magnus Carlsson |
| 2002 | ISORC | Reactive Objects. | Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black |
| 1999 | Coordination | Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. | Andrew Moran, David Sands, Magnus Carlsson |