CITI - Publications

Home \ Publications

[ Publications - articles ]

List of publications produced by CITI members as part of their research activities including work done in collaboration with external researchers. Select one of the publication types from the list below. The list MAY NOT BE complete, refer to activity reports for official information.

[ List All Publications ]
[ Articles ]	[ Book Chapters ]	[ Editorial Activities ]	[ Technical Reports ]
[ Books ]	[ Dissertations ]	[ In Proceedings ]	[ Other Publications ]

page 1 of 17 - listing articles 1 to 10 of a total of 162

prev | 1 2 3 4 5 6 7 8 9 | next

Regional algorithms for European seas: A case study based on MERIS data
IEEE Geoscience and Remote Sensing Letters - March, 2013
Tamito Kajiyama, Davide D\'Alimonte, Giuseppe Zibordi

Scalable Data Processing for Community Sensing Applications
Mobile Networks and Applications - January, 2013
Sérgio Duarte, David Navalho, Heitor Ferreira, Nuno Preguiça

Match-up Analysis of MERIS Radiometric Data in the Northern Adriatic Sea
IEEE Geoscience and Remote Sensing Letters - 2013
Tamito Kajiyama, Davide D\'Alimonte, Giuseppe Zibordi

Enriching MATLAB with aspect-oriented features for developing embedded systems
Journal of Systems Architecture - 2013
João M. P. Cardoso, João Miguel Lobo Fernandes, Miguel Pessoa Monteiro, Tiago Carvalho, Ricardo Nobre

Accessing wireless sensor networks via dynamically reconfigurable interaction models
International Journal of Interactive Multimedia and Artificial Intelligence - December, 2012
Maria Cecília Gomes, Hervé Paulino, Adérito Baptista, Filipe Jorge da Silva Araújo

Adaptable Processes
Logical Methods in Computer Science - November, 2012
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

Implementing design patterns in Object Teams
Software: Practice and Experience - September, 2012
Miguel Pessoa Monteiro, João Lopes Gomes

Performance and Applicability of Bio-optical Algorithms in Different European Seas
Remote Sensing of Environment - September, 2012
Davide D\'Alimonte, Giuseppe Zibordi, Jean-François Berthon, Elisabetta Canuti, Tamito Kajiyama

On the analysis of compensation correctness
Journal of Logic and Algebraic Programming - May, 2012
Cátia Vaz, Carla Ferreira

Automatic Reconfiguration for Large-Scale Reliable Storage Systems
IEEE Transactions on Dependable and Secure Computing - 2012
Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, David A. Schultz

prev | 1 2 3 4 5 6 7 8 9 | next