Magnus Carlsson
Magnus Carlsson
Tuntematon yhteys
Vahvistettu sähköpostiosoite verkkotunnuksessa carlssonia.org
Nimike
Viittaukset
Viittaukset
Vuosi
Fudgets: A graphical user interface in a lazy functional language
M Carlsson, T Hallgren
Proceedings of the conference on Functional programming languages and …, 1993
1501993
Monads for incremental computing
M Carlsson
Proceedings of the seventh ACM SIGPLAN international conference on …, 2002
842002
Habitat preference increases territorial defence in brown trout (Salmo trutta)
JI Johnsson, M Carlsson, LF Sundström
Behavioral Ecology and Sociobiology 48 (5), 373-377, 2000
822000
State-dependent Riccati equation control of a small unmanned helicopter
A Bogdanov, M Carlsson, G Harvey, J Hunt, D Kieburtz, R van der Merwe, ...
AIAA Guidance, Navigation, and Control Conference and Exhibit, 5672, 2003
682003
Fudgets-Purely Functional Processes with applications to Graphical User Interfaces
M Carlsson, T Hallgren
Chalmers University of Technology, 1998
591998
Timber: A programming language for real-time embedded systems
AP Black, M Carlsson, MP Jones, R Kieburtz, J Nordlander
Technical Report CSE-02-002, Dept. of Computer Science & Engineering, Oregon …, 2002
522002
Reactive objects
J Nordlander, MP Jones, M Carlsson, RB Kieburtz, A Black
Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time …, 2002
462002
An exercise in dependent types: A well-typed interpreter
L Augustsson, M Carlsson
Workshop on Dependent Types in Programming, Gothenburg, 1999
461999
Programming with fudgets
T Hallgren, M Carlsson
International School on Advanced Functional Programming, 137-182, 1995
451995
Model predictive neural control of a high fidelity helicopter model
AA Bogdanov, EA Wan, M Carlsson, Y Zhang, R Kieburtz, A Baptista
Proceedings of the AIAA Guidance Navigation and Control Conference, 6-9, 2001
392001
The semantic layers of Timber
M Carlsson, J Nordlander, D Kieburtz
Asian Symposium on Programming Languages and Systems, 339-356, 2003
382003
Erratic fudgets: A semantic theory for an embedded coordination language
A Moran, D Sands, M Carlsson
International Conference on Coordination Languages and Models, 85-102, 1999
371999
Model predictive neural control for aggressive helicopter maneuvers
EA Wan, AA Bogdanov, R Kieburtz, A Baptista, M Carlsson, Y Zhang, ...
Software Enabled Control: Information Technologies for Dynamical Systems …, 2003
242003
Hardware/software co-verification of cryptographic algorithms using cryptol
L Erkök, M Carlsson, A Wick
2009 Formal Methods in Computer-Aided Design, 188-191, 2009
222009
Erratic fudgets: A semantic theory for an embedded coordination language
A Moran, D Sands, M Carlsson
Science of Computer Programming 46 (1-2), 99-135, 2003
212003
Reactive objects in a functional language: an escape from the Evil I
J Nordlander, M Carlsson
ACM SIGPLAN International Conference on Functional Programming: 07/06/1997 …, 1997
191997
Methodology for development and validation of multipurpose simulation models
M Carlsson, H Andersson, H Gavel, J Ölvander
50th AIAA Aerospace Sciences Meeting including the New Horizons Forum and …, 2012
172012
Policy design for a multifunctional landscape
M Gren, L Svensson, M Carlsson, K Bishop
Regional Environmental Change 10 (4), 339-348, 2010
172010
Electroporation for enhanced methane yield from municipal solid waste
M Carlsson, A Lagerkvist, H Ecke
ORBIT 2008: Moving Organic Waste Recycling Towards Resource Management and …, 2008
172008
Programming with time-constrained reactions
J Nordlander, M Carlsson, MP Jones, J Jonsson
172005
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20