Doina Bucur

	2009
4		Doina Bucur, Marta Z. Kwiatkowska: Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. AmI 2009: 101-105
	2008
3		Doina Bucur, Mogens Nielsen: Secure Data Flow in a Calculus for Context Awareness. Concurrency, Graphs and Models 2008: 439-456
2		Doina Bucur, Mikkel Baun Kjærgaard: GammaSense: Infrastructureless Positioning Using Background Radioactivity. EuroSSC 2008: 69-82
	2007
1		Doina Bucur, Jakob E. Bardram: Resource Discovery in Activity-Based Sensor Networks. MONET 12(2-3): 129-142 (2007)

Coauthor Index

1	Jakob E. Bardram (Jakob Bardram)	[1]
2	Mikkel Baun Kjærgaard	[2]
3	Marta Z. Kwiatkowska	[4]
4	Mogens Nielsen	[3]

Colors in the list of coauthors