Fredrik Larsson

	2011
13		Fredrik Larsson, Michael Felsberg: Using Fourier Descriptors and Spatial Models for Traffic Sign Recognition. SCIA 2011: 238-249
	2010
12		Michael Felsberg, Fredrik Larsson, Wang Han, Anders Ynnerman, Thomas B. Schön: Torchlight Navigation. ICPR 2010: 302-306
	2009
11		Fredrik Larsson, Michael Felsberg, Per-Erik Forssén: Patch Contour Matching by Correlating Fourier Descriptors. DICTA 2009: 40-46
10		Michael Felsberg, Fredrik Larsson: Learning Higher-Order Markov Models for Object Tracking in Image Sequences. ISVC (2) 2009: 184-195
9		Fredrik Larsson, Erik Jonsson, Michael Felsberg: Simultaneously learning to recognize and control a low-cost robotic arm. Image Vision Comput. 27(11): 1729-1739 (2009)
	2003
8		Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real-Time Systems 25(2-3): 255-275 (2003)
	2002
7		Peter S. Magnusson, Magnus Christensson, Jesper Eskilson, Daniel Forsgren, Gustav Hållberg, Johan Högberg, Fredrik Larsson, Andreas Moestedt, Bengt Werner: Simics: A Full System Simulation Platform. IEEE Computer 35(2): 50-58 (2002)
6		Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebr. Program. 52-53: 163-181 (2002)
	2000
5		Fredrik Larsson, Paul Pettersson, Wang Yi: On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141
	1997
4		Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Efficient verification of real-time systems: compact data structure and state-space reduction. IEEE Real-Time Systems Symposium 1997: 14-24
	1996
3		Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256
2		Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL in 1995. TACAS 1996: 431-434
	1995
1		Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243

Coauthor Index

1	Johan Bengtsson	[1] [2] [3] [6]
2	Magnus Christensson	[7]
3	Jesper Eskilson	[7]
4	Michael Felsberg	[9] [10] [11] [12] [13]
5	Daniel Forsgren	[7]
6	Per-Erik Forssén	[11]
7	W. O. David Griffioen	[3] [6]
8	Gustav Hållberg	[7]
9	Wang Han	[12]
10	Johan Högberg	[7]
11	Erik Jonsson	[9]
12	Kåre J. Kristoffersen	[3] [6]
13	Kim Guldstrand Larsen (Kim G. Larsen)	[1] [2] [3] [4] [6] [8]
14	Peter S. Magnusson	[7]
15	Andreas Moestedt	[7]
16	Paul Pettersson	[1] [2] [3] [4] [5] [6] [8]
17	Thomas B. Schön	[12]
18	Bengt Werner	[7]
19	Wang Yi	[1] [2] [3] [4] [5] [6] [8]
20	Anders Ynnerman	[12]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page