Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 1499

150 Team Members
Filters -> Year: 2025
1141
TÍTULO: GUI Inspection from Source Code Analysis
AUTORES: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: Scopus DBLP
1142
TÍTULO: Improving P2P video streaming in wireless mesh networks
AUTORES: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLICAÇÃO: 2010, FONTE: 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2010 in The 9th IFIP Annual Mediterranean Ad Hoc Networking Workshop, Med-Hoc-Net 2010, Juan Les Pins, France, 23-25 June, 2010, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef: 5
1143
TÍTULO: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTORES: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PÁGINAS: 271-287
INDEXADO EM: Scopus WOS
1144
TÍTULO: Measuring Software Systems Scalability for Proactive Data Center Management
AUTORES: Nuno A Carvalho; Jose Pereira ;
PUBLICAÇÃO: 2010, FONTE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, NÚMERO: PART 2, PÁGINAS: 829-842
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1145
TÍTULO: Message from the technical program co-chairs  Full Text
AUTORES: Joshi, A; Oliveira, R ; Prakash, A;
PUBLICAÇÃO: 2010, FONTE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXADO EM: Scopus CrossRef
1146
TÍTULO: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTORES: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, NÚMERO: PART 2, PÁGINAS: 191-205
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
1147
TÍTULO: Modeling 802.11 AP usage through daily keep-alive event counts
AUTORES: Morla, R ; Massa, D;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PÁGINAS: 195-200
INDEXADO EM: Scopus DBLP CrossRef
1148
TÍTULO: Multiresolution motif discovery in time series
AUTORES: Castro, N ; Azevedo, P ;
PUBLICAÇÃO: 2010, FONTE: 10th SIAM International Conference on Data Mining, SDM 2010 in Proceedings of the 10th SIAM International Conference on Data Mining, SDM 2010, PÁGINAS: 665-676
INDEXADO EM: Scopus DBLP CrossRef: 47
1149
TÍTULO: On adding structure to unstructured overlay networks
AUTORES: Leitao, J; Carvalho, NA; Pereira, J ; Oliveira, R ; Rodrigues, L ;
PUBLICAÇÃO: 2010, FONTE: Handbook of Peer-to-Peer Networking, PÁGINAS: 327-365
INDEXADO EM: Scopus CrossRef: 4
1150
TÍTULO: On the Expressiveness and Trade-Offs of Large Scale Tuple Stores
AUTORES: Ricardo Vilaça ; Francisco Cruz ; Rui Carlos Oliveira ;
PUBLICAÇÃO: 2010, FONTE: On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II, VOLUME: 6427, PÁGINAS: 727-744
INDEXADO EM: DBLP
1151
TÍTULO: On the Expressiveness and Trade-Offs of Large Scale Tuple Stores
AUTORES: Ricardo Vilaca ; Francisco Cruz ; Rui Oliveira ;
PUBLICAÇÃO: 2010, FONTE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, NÚMERO: PART 2, PÁGINAS: 727-744
INDEXADO EM: Scopus WOS CrossRef: 7
1152
TÍTULO: Open source certification
AUTORES: Ernesto Damiani; Luis Barbosa ; Peter T Breuer; Claudio A Ardagna;
PUBLICAÇÃO: 2010, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, NÚMERO: 4, PÁGINAS: 271-272
INDEXADO EM: Scopus WOS DBLP
1153
TÍTULO: Practical Database Replication
AUTORES: Alfranio Correia; Jose Pereira ; Luis Rodrigues ; Nuno Carvalho; Rui Oliveira ;
PUBLICAÇÃO: 2010, FONTE: Seminar on 30-Year Perspective on Replication 2007 in REPLICATION: THEORY AND PRACTICE, VOLUME: 5959, PÁGINAS: 253-285
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1154
TÍTULO: Preface
AUTORES: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: DBLP
1155
TÍTULO: Preface and biographic notes for the special issue on graphics for serious games
AUTORES: Debattista, K; Proenca, AJ ; Santos, LP ;
PUBLICAÇÃO: 2010, FONTE: COMPUTERS & GRAPHICS-UK, VOLUME: 34, NÚMERO: 6, PÁGINAS: 641-642
INDEXADO EM: Scopus WOS CrossRef
1156
TÍTULO: Principles of Ergonomics and Design discussed through systems utilized for e-learning
AUTORES: Luciana L Freire; Pedro M Arezes ; Jose Creissac Campos ;
PUBLICAÇÃO: 2010, FONTE: 6th International Symposium on Occupational Safety and Hygiene (SHO 2010) in SHO2010: INTERNATIONAL SYMPOSIUM ON OCCUPATIONAL SAFETY AND HYGIENE, PÁGINAS: 256-260
INDEXADO EM: WOS
1157
TÍTULO: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTORES: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PÁGINAS: 97-110
INDEXADO EM: Scopus WOS DBLP CrossRef
1158
TÍTULO: QoS-aware Component Composition
AUTORES: Luis S Barbosa ; Sun Meng;
PUBLICAÇÃO: 2010, FONTE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), PÁGINAS: 1008-1013
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1159
TÍTULO: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles  Full Text
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2010, FONTE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PÁGINAS: 145-163
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1160
TÍTULO: Rules for contrast sets  Full Text
AUTORES: Paulo J Azevedo ;
PUBLICAÇÃO: 2010, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 14, NÚMERO: 6, PÁGINAS: 623-640
INDEXADO EM: Scopus WOS DBLP CrossRef: 5

Results per Page: 20.
Página 58 de 75. Total de resultados: 1499.