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

150 Team Members
Filters -> Year: 2025
1281
TÍTULO: Compositional gossip: a conceptual architecture for designing gossip-based applications. a conceptual architecture for designing gossip-based applications  Full Text
AUTORES: Etienne Riviere; Roberto Baldoni; Harry C Li; José Pereira ;
PUBLICAÇÃO: 2007, FONTE: Gossip-Based Computer Networking in Operating Systems Review, VOLUME: 41, NÚMERO: 5, PÁGINAS: 43-50
INDEXADO EM: Scopus DBLP CrossRef
1282
TÍTULO: Configurations of Web Services
AUTORES: Barbosa, MA; Barbosa, LS ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 175, NÚMERO: 2, PÁGINAS: 39-57
INDEXADO EM: Scopus DBLP CrossRef: 1
1283
TÍTULO: Coupled schema transformation and data conversion for XML and SQL  Full Text
AUTORES: Pablo Berdaguer; Alcino Cunha ; Hugo Pacheco ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354, PÁGINAS: 290-304
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
1284
TÍTULO: Deterministic motif mining in protein databases
AUTORES: Ferreira, PG ; Azevedo, PJ ;
PUBLICAÇÃO: 2007, FONTE: Successes and New Directions in Data Mining, PÁGINAS: 116-140
INDEXADO EM: Scopus CrossRef: 1
1285
TÍTULO: Emergent structure in unstructured epidemic multicas
AUTORES: Nuno Carvalho; Jose Pereira ; Rui Oliveira ; Luis Rodrigues ;
PUBLICAÇÃO: 2007, FONTE: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PÁGINAS: 481-490
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
1286
TÍTULO: Epidemic broadcast trees  Full Text
AUTORES: Leitao, J ; Pereira, J ; Rodrigues, L ;
PUBLICAÇÃO: 2007, FONTE: 26th IEEE International Symposium on Reliable Distributed Systems in SRDS 2007: 26TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 301-310
INDEXADO EM: Scopus WOS DBLP CrossRef: 47
1287
TÍTULO: Evaluating deterministic motif significance measures in protein databases  Full Text
AUTORES: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLICAÇÃO: 2007, FONTE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 2, NÚMERO: 1, PÁGINAS: 16
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
1288
TÍTULO: Evaluating protein motif significance measures: A case study on prosite patterns
AUTORES: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLICAÇÃO: 2007, FONTE: IEEE Symposium on Computational Intelligence and Data Mining in 2007 IEEE Symposium on Computational Intelligence and Data Mining, Vols 1 and 2, PÁGINAS: 171-178
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1289
TÍTULO: Foundational certification of data-flow analyses
AUTORES: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLICAÇÃO: 2007, FONTE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings, PÁGINAS: 107-116
INDEXADO EM: Scopus WOS CrossRef: 2
1290
TÍTULO: GORDA: An open architecture for database replication
AUTORES: Correia, A; Pereira, J ; Rodrigues, L ; Carvalho, N; Vilaca, R ; Oliveira, R ; Guedes, S;
PUBLICAÇÃO: 2007, FONTE: 6th IEEE International Symposium on Network Computing and Applications in Sixth IEEE International Symposium on Network Computing and Applications, Proceedings, PÁGINAS: 287-290
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
1291
TÍTULO: Higher-order lazy functional slicing  Full Text
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2007, FONTE: 11th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6, PÁGINAS: 854-873
INDEXADO EM: Scopus WOS DBLP
1292
TÍTULO: HyParView: a membership protocol for reliable gossip-based broadcast
AUTORES: Jodo Leitao ; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2007, FONTE: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PÁGINAS: 419-428
INDEXADO EM: Scopus WOS DBLP CrossRef: 59
1293
TÍTULO: Implementing range queries with a decentralized balanced tree over distributed hash tables
AUTORES: Nuno Lopes; Carlos Baquero ;
PUBLICAÇÃO: 2007, FONTE: 1st International Conference on Network-Based Information Systems (NBiS 2007) in NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 4658, PÁGINAS: 197-206
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1294
TÍTULO: Improving on version stamps
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 2, PROCEEDINGS, VOLUME: 4806, NÚMERO: PART 2, PÁGINAS: 1025-1031
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1295
TÍTULO: Informing the design of user studies on conceptual interference frameworks
AUTORES: Ricardo Morla ; Nigel Davies;
PUBLICAÇÃO: 2007, FONTE: 21st International Conference on Advanced Networking and Applications in 21st International Conference on Advanced Networking and Applications Workshops/Symposia, Vol 2, Proceedings, VOLUME: 1, PÁGINAS: 320-325
INDEXADO EM: Scopus WOS DBLP CrossRef
1296
TÍTULO: Integration of RE and MDE paradigms: the projectIT approach and tools  Full Text
AUTORES: da Silva, AR ; Saraiva, J ; Ferreira, D; Silva, R; Videira, C;
PUBLICAÇÃO: 2007, FONTE: IET SOFTWARE, VOLUME: 1, NÚMERO: 6, PÁGINAS: 294-314
INDEXADO EM: WOS
1297
TÍTULO: Iterative reordering of rules for building ensembles without relearning
AUTORES: Paulo J Azevedo ; Alipio M Jorge ;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4755, PÁGINAS: 56-67
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1298
TÍTULO: Modelling is for reasoning
AUTORES: Barbosa, LS ; Martinho, MH;
PUBLICAÇÃO: 2007, FONTE: Mathematical Modelling: Education, Engineering and Economics - ICTMA 12, PÁGINAS: 480-489
INDEXADO EM: Scopus
1299
TÍTULO: On the use of a reflective architecture to augment database management systems  Full Text
AUTORES: Nuno Carvalho; Alfranio Correia; Jose Pereira ; Luis Rodrigues ; Rui Oliveira ; Susana Guedes;
PUBLICAÇÃO: 2007, FONTE: Dagstuhl Seminar on Atomicity in Computer Science in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 8, PÁGINAS: 1110-1135
INDEXADO EM: Scopus WOS DBLP
1300
TÍTULO: Parallel graphics and visualization
AUTORES: Santo, LP ;
PUBLICAÇÃO: 2007, FONTE: PARALLEL COMPUTING, VOLUME: 33, NÚMERO: 6, PÁGINAS: 359-360
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 65 de 75. Total de resultados: 1498.