CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Publications Login  
banner bottom
[ Publications - articles ]
Publications Icon  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 5 of 21 - listing articles 41 to 50 of a total of 202

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

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

bulletA-OSGi: a framework to support the construction of autonomic OSGi-based applications
   International Journal of Autonomous and Adaptive Communications Systems - January, 2012
   João Ferreira, João Leitão, Luís Rodrigues

bulletAn Empirical Study of Aspect-Oriented Metrics
   Science of Computer Programming - 2012
   Eduardo Piveta, Ana Moreira, Marcelo Pimenta, João Araújo, Pedro Guerreiro, Tom Price

bulletByzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks
   IEEE Transactions on Mobile Computing - 2012
   Henrique Moniz, Nuno Ferreira Neves, Miguel Pupo Correia

bulletFinding occupational accident patterns in the extractive industry using a systematic data mining approach
   Reliability Engineering & System Safety - 2012
   Joaquim Ferreira da Silva, Celeste Jacinto

bulletAoURN-based modeling and analysis of software product lines
   Software Quality Journal - 2012
   Gunter Mussbacher, João Araújo, Ana Moreira, Daniel Amyot

bulletAdaptive Search Radius - Using hop count to reduce P2P traffic
   Computer Networks - 2012
   Ricardo Lopes Pereira, Teresa Vazão, Rodrigo Rodrigues

bulletAutomatic 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

bulletAn Algebra of Behavioural Types
   Information and Computation (Elsevier) - 2012
   António Ravara, Pedro Resende, Vasco T. Vasconcelos

bulletSoft Constraints in Feature Models: An Experimental Assessment
   International Journal On Advances in Software - 2012
   Jorge Barreiros, Ana Moreira

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