Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Journal Article
A Data Fusion Technique for Wireless Ranging Performance Improvement

D. Macii, A. Colombo, P. Pivato, D. Fontanelli
in IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, v. Vol. 61, (In corso di stampa), p. 1-11. - DOI: 10.1109/TIM.2012.2209918

Book as Editor
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference.

A. Cimatti, R. Sebastiani (a cura di)
Berlin: Springer, 2012, 364 p. - (LNCS; 5749). - ISBN: 9783642316111. - DOI: 10.1007/978-3-642-31612-8

Conference
Integration of Correct-by-Construction BIP models into the MetroII Design Space Exploration Flow

A. Simalatsar, L. Guo, M. Bozga, R. Passerone
in Proceedings of the 30^th IEEE International Conference on Computer Design, Montreal, Quebec, Canada: ACM/IEEE, 2012. Atti di: ICCD 2012, Montreal, Quebec, Canada, 2012-September 30--October 3,

Conference
Towards Extending Sensor Node Lifetime with Printed Supercapacitors

A. Somov, C. Ho, R. Passerone, J. Evans, P. Wright
in Proceedings of the 9^th European Conference on Wireless Sensor Networks, Trento, Italy: Springer-Verlag Berlin / Heidelberg, 2012, p. 212-227. Atti di: EWSN 2012, Trento, Italy, 15th - 17th February 2012. - DOI: 10.1007/978-3-642-28169-3_14

Conference
Printed Electrochemical Capacitors for Energy Scavenging Sensor Networks

A. Somov, C. Ho, R. Passerone, J. W. Evans, P. K. Wright
in Proceedings of the International Workshop on Algorithms and Concepts for Networked Sensing Systems Powered by Energy Harvesters, Antwerp, Belgium: ACM/IEEE, 2012, p. 1-6. - ISBN: 9781467317863. Atti di: EnHaNSS 2012, Antwerp, Belgium, 11th June 2012. - DOI: 10.1109/INSS.2012.6240577

Conference
Wireless sensor networks and video analysis for scalable people tracking

A. Armanini, A. Colombo, N. Conci, M. Daldoss, D. Fontanelli, L. Palopoli
in Communications Control and Signal Processing (ISCCSP), 2012 5th International Symposium on, Usa: IEEE, 2012, p. 1-4. - ISBN: 9781467302746. Atti di: ISCCSP, Roma, Italy, 2012-may. - DOI: 10.1109/ISCCSP.2012.6217762

Journal Article
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

A. Griggio, H.T. T. Le, R. Sebastiani
in LOGICAL METHODS IN COMPUTER SCIENCE, v. 8, n. 3 (2012), p. 1-31. - DOI: 10.2168/LMCS-8(3:3)2012

Journal Article
Taming Dr. Frankenstein: contract-based design for cyber-physical systems

A. L. Sangiovanni-vincentelli, W. Damm, R. Passerone
in EUROPEAN JOURNAL OF CONTROL, v. 18, n. 3 (2012), p. 217-238. - DOI: 10.3166/EJC.18.217-238

Conference
Characterization of a geometrical wireless signal propagation model for indoor ranging techniques

A. Moschitta, D. Macii, F. Trenti, S. Dalpez, A. Bozzoli
in IEEE International Instrumentation and Measurement Technology Conference (I2MTC), Piscataway, NJ, USA: IEEE, 2012, p. 2598-2603. - ISBN: 9781457717710. Atti di: I2MTC, Graz, Austria, 13-16 Maggio 2012. - DOI: 10.1109/I2MTC.2012.6229373

Conference
Energy-Aware Gas Sensing Using Wireless Sensor Networks

A. Somov, A. Baranov, A. Savkin, M. Ivanov, L. Calliari, R. Passerone, E. Karpov, A. Suchkov
in Proceedings of the 9th European Conference on Wireless Sensor Networks, Trento, Italy: Springer-Verlag Berlin / Heidelberg, 2012, p. 245-260. - ISBN: 9783642281686. Atti di: EWSN 2012, Trento, Italy, 15th - 17th February 2012. - DOI: 10.1007/978-3-642-28169-3_16