dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Magnus Carlsson Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenric Andersson, Magnus Carlsson, Johan Ölvander: Towards Configuration Support for Collaborative Simulator Development - A Product Line Approach in Model Based Systems Engineering. WETICE 2011: 185-192
2009
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLevent Erkök, Magnus Carlsson, Adam Wick: Hardware/software co-verification of cryptographic algorithms using Cryptol. FMCAD 2009: 188-191
2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Nordlander, Magnus Carlsson, Andy Gill: Unrestricted pure call-by-value recursion. ML 2008: 23-34
2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagnus Carlsson, Johan Nordlander, Dick Kieburtz: The Semantic Layers of Timber. APLAS 2003: 339-356
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Moran, David Sands, Magnus Carlsson: Erratic Fudgets: a semantic theory for an embedded coordination language. Sci. Comput. Program. 46(1-2): 99-135 (2003)
2002
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagnus Carlsson: Monads for incremental computing. ICFP 2002: 26-35
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black: Reactive Objects. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 155-158
1999
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Moran, David Sands, Magnus Carlsson: Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. COORDINATION 1999: 85-102
1995
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Hallgren, Magnus Carlsson: Programming with Fudgets. Advanced Functional Programming 1995: 137-182

Coauthor Index

1Henric Andersson [9]
2Andrew P. Black [3]
3Levent Erkök [8]
4Andy Gill [7]
5Thomas Hallgren [1]
6Mark P. Jones [3]
7Richard B. Kieburtz (Dick Kieburtz) [3] [6]
8Andrew Moran [2] [5]
9Johan Nordlander [3] [6] [7]
10Johan Ölvander [9]
11David Sands [2] [5]
12Adam Wick [8]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page