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: 1641

149 Team Members
Filters -> Year: 2026
1141
TÍTULO: Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes  Full Text
AUTORES: Baquero, C ; Almeida, PS ; Menezes, R ; Jesus, P ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, NÚMERO: 4, PÁGINAS: 668-675
INDEXADO EM: Scopus WOS DBLP CrossRef: 42
1142
TÍTULO: Fast Distributed Computation of Distances in Networks
AUTORES: Almeida, PS ; Baquero, C ; Cunha, A ;
PUBLICAÇÃO: 2012, FONTE: 51st IEEE Annual Conference on Decision and Control (CDC) in 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PÁGINAS: 5215-5220
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
1143
TÍTULO: Finding Interesting Contexts for Explaining Deviations in Bus Trip Duration Using Distribution Rules
AUTORES: Alípio Mário Jorge ; João Mendes Moreira ; Jorge Freire de Sousa ; Carlos Soares ; Paulo J Azevedo ;
PUBLICAÇÃO: 2012, FONTE: IDA, VOLUME: 7619 LNCS, PÁGINAS: 139-149
INDEXADO EM: Scopus DBLP CrossRef: 3 Handle
1144
TÍTULO: FLOSS in Technology-Enhanced Learning
AUTORES: Sara Fernandes; Antonio Cerone; Luís Soares Barbosa ; Pantelis M Papadopoulos;
PUBLICAÇÃO: 2012, FONTE: SEFM Satellite Events, VOLUME: 7991 LNCS, PÁGINAS: 121-132
INDEXADO EM: Scopus DBLP CrossRef: 3
1145
TÍTULO: Foreword
AUTORES: Campos, JC ; Barbosa, SDJ; Palanque, P; Kazman, R; Harrison, M; Reeves, S;
PUBLICAÇÃO: 2012, FONTE: 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12 in EICS'12 - Proceedings of the 2012 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXADO EM: Scopus
1146
TÍTULO: Formal analysis of policies in wireless sensor network applications
AUTORES: Marco Patrignani; Nelson Matthys; José Proença ; Danny Hughes; Dave Clarke;
PUBLICAÇÃO: 2012, FONTE: SESENA, PÁGINAS: 15-21
INDEXADO EM: Scopus DBLP CrossRef: 3
1147
TÍTULO: Formal analysis of ubiquitous computing environments through the APEX framework
AUTORES: José Luís Silva ; José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2012, FONTE: EICS, PÁGINAS: 131-140
INDEXADO EM: Scopus DBLP CrossRef: 14 Handle
1150
TÍTULO: From relational ClassSheets to UML+OCL  Full Text
AUTORES: Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: SAC, PÁGINAS: 1151-1158
INDEXADO EM: Scopus DBLP CrossRef: 13
1151
TÍTULO: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. verifiable compilation of efficient zero-knowledge protocols  Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: CCS, PÁGINAS: 488-500
INDEXADO EM: Scopus DBLP CrossRef: 15
1152
TÍTULO: Generically extending anonymization algorithms to deal with successive queries
AUTORES: Manuel Barbosa ; Alexandre Pinto; Bruno Gomes;
PUBLICAÇÃO: 2012, FONTE: CIKM, PÁGINAS: 1362-1371
INDEXADO EM: Scopus DBLP CrossRef: 4
1153
TÍTULO: Graph-based approach for interference free integration of pervasive applications
AUTORES: Christophe Soares ; Moreiray, RS; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLICAÇÃO: 2012, FONTE: 2012 7th International Symposium on Wireless and Pervasive Computing, ISWPC 2012 in 2012 7th International Symposium on Wireless and Pervasive Computing, ISWPC 2012
INDEXADO EM: Scopus CrossRef: 1
1154
TÍTULO: GUIsurfer: A Reverse Engineering Framework for User Interface Software
AUTORES: Jos Creissac ; Joo Saraiva; Carlos Silva; Joo Carlos;
PUBLICAÇÃO: 2012, FONTE: Reverse Engineering - Recent Advances and Applications
INDEXADO EM: CrossRef: 3
1155
TÍTULO: Improving Network Measurement Efficiency through Multiadaptive Sampling
AUTORES: João Marco C Silva ; Solange Rito Lima ;
PUBLICAÇÃO: 2012, FONTE: 4th International Workshop on Traffic Monitoring and Analysis, TMA 2012 in TMA, VOLUME: 7189 LNCS, PÁGINAS: 171-174
INDEXADO EM: Scopus DBLP CrossRef
1156
TÍTULO: Interference Free Integration of Pervasive Applications
AUTORES: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; Jose M Torres ; Pedro Miguel Sobral ;
PUBLICAÇÃO: 2012, FONTE: TrustCom, PÁGINAS: 1499-1506
INDEXADO EM: Scopus DBLP CrossRef: 3
1157
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lumpe, M; Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXADO EM: Scopus
1158
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: De Carvalho, FH; Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS
INDEXADO EM: Scopus
1159
TÍTULO: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs  Full Text
AUTORES: Machado, N ; Romano, P ; Rodrigues, L ;
PUBLICAÇÃO: 2012, FONTE: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2012 42ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PÁGINAS: 1-12
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1160
TÍTULO: MapIt: A Model Based Pattern Recovery Tool  Full Text
AUTORES: Rui Couto ; António Nestor Ribeiro ; José Creissac Campos ;
PUBLICAÇÃO: 2012, FONTE: MOMPES, VOLUME: 7706 LNCS, PÁGINAS: 19-37
INDEXADO EM: Scopus DBLP CrossRef: 1

Results per Page: 20.
Página 58 de 83. Total de resultados: 1641.