[removed]Open Access in Sweden and the programme OpenAccess.se Ulf Kronman

First Page		Document Content
Date: 2012-06-04 07:58:39 Academia Knowledge Bank of Sweden Tercentenary Foundation National Library of Sweden Repository Uppsala University Lund University Publishing Academic publishing Open access		[removed]Open Access in Sweden and the programme OpenAccess.se Ulf Kronman Add to Reading List Source URL: www.coar-repositories.org Download Document from Source Website File Size: 343,49 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