Curriculum vitae Name: Anders Lindroth Professional address:

First Page		Document Content
Date: 2006-11-04 04:34:26 Uppsala University European Science Foundation Lund University Sweden Europe Lindroth Surnames		Curriculum vitae Name: Anders Lindroth Professional address: Add to Reading List Source URL: www.nateko.lu.se Download Document from Source Website File Size: 104,62 KB Share Document on Facebook

	Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden DocID: 1xUHf - View Document
	Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research DocID: 1xTrk - View Document
	SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up DocID: 1vjhB - View Document
	Following internal resistance changes in batteries with a versatile intermittent current interruption technique a Matthew J. Lacey Department of Chemistry – Ångström Laboratory, Uppsala University, Box 538, DocID: 1vi4y - View Document
	Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard Pontus Ekberg and Wang Yi Uppsala University, Sweden Email: {pontus.ekberg \| yi}@it.uu.se DocID: 1vha8 - View Document