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

150 Team Members
Filters -> Year: 2024
1341
TÍTULO: A coalgebraic semantic framework for component-based development in UML
AUTORES: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLICAÇÃO: 2005, FONTE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122, PÁGINAS: 229-245
INDEXADO EM: Scopus DBLP CrossRef: 3
1342
TÍTULO: A Hybrid Method for Discovering Distance-Enhanced Inter-Transactional Rules
AUTORES: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLICAÇÃO: 2005, FONTE: Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, PÁGINAS: 131-138
INDEXADO EM: DBLP
1343
TÍTULO: A perspective on component refinement  Full Text
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2005, FONTE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657, PÁGINAS: 23-48
INDEXADO EM: Scopus WOS DBLP CrossRef
1344
TÍTULO: An experiment with association rules and classification: Post-bagging and conviction
AUTORES: Jorge, AM ; Azevedo, PJ ;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 3735, PÁGINAS: 137-149
INDEXADO EM: Scopus WOS DBLP CrossRef: 11 Handle
1345
TÍTULO: Architectural prototyping: From CCS to. Net
AUTORES: Rodrigues, NF ; Barbosa, LS ;
PUBLICAÇÃO: 2005, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 130, PÁGINAS: 151-167
INDEXADO EM: Scopus DBLP CrossRef: 3
1346
TÍTULO: Automated deduction and usability reasoning
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 2005, FONTE: Encyclopedia of Human Computer Interaction, PÁGINAS: 45-52
INDEXADO EM: Scopus CrossRef
1347
TÍTULO: Bandwidth boosting in transimpedance amplifiers for optical LANs, using delayed feedback
AUTORES: Martins, N; Barbosa, L ; Alves, LN ; Aguiar, RL ;
PUBLICAÇÃO: 2005, FONTE: 12th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2005 in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
INDEXADO EM: Scopus CrossRef
1348
TÍTULO: CMB'05: Workshop on Computational Methods in Bioinformatics
AUTORES: Rui Camacho ; Alexessander Alves; Joaquim Pinto da Costa ; Paulo Azevedo ;
PUBLICAÇÃO: 2005, FONTE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PÁGINAS: 129-129
INDEXADO EM: WOS CrossRef
1349
TÍTULO: Detection of hydrophobic clusters in molecular dynamics protein unfolding simulations using association rules
AUTORES: Azevedo, PJ ; Silva, CG ; Rodrigues, JR; Loureiro Ferreira, N; Brito, RMM ;
PUBLICAÇÃO: 2005, FONTE: 6th International Symposium on Biological and Medical Data Analysis in BIOLOGICAL AND MEDICAL DATA ANALYSIS, PROCEEDINGS, VOLUME: 3745, PÁGINAS: 329-337
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1350
TÍTULO: Editorial: Programming languages track
AUTORES: Jo, CH; Mernik, M; Bryant, BR; Ancona, M; Auguston, M; Cheung, SC; Debray, SK; Doh, KG; Gabbrielli, M; Harris, T; Heering, J; Jeffery, C; Johnstone, A; Leung, HF; Lins, RD; Logozzo, F; Martinez Lopez, PE; Meijer, E; Michaelson, G; Pareja Flores, C; Saraiva, J ; Sloane, T; Wile, D; Winkler, J; ...Mais
PUBLICAÇÃO: 2005, FONTE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 2, PÁGINAS: 1383-1384
INDEXADO EM: Scopus
1351
TÍTULO: Efficient identity-based key encapsulation to multiple parties
AUTORES: Barbosa, M ; Farshim, P;
PUBLICAÇÃO: 2005, FONTE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PÁGINAS: 428-441
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
1352
TÍTULO: Efficient Identity-Based Key Encapsulation to Multiple Parties
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2005, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2005, PÁGINAS: 217
INDEXADO EM: DBLP
1353
TÍTULO: First Steps Toward a Cryptography-Aware Language and Compiler
AUTORES: Manuel Barbosa ; Richard Noad; Daniel Page; Nigel P Smart;
PUBLICAÇÃO: 2005, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2005, PÁGINAS: 160
INDEXADO EM: DBLP
1354
TÍTULO: From algebras to objects: Generation and composition  Full Text
AUTORES: Cruz, AM; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 10, PÁGINAS: 1580-1612
INDEXADO EM: Scopus WOS DBLP
1355
TÍTULO: Group-based replication of on-line transaction processing servers
AUTORES: Correia, A; Sousa, A ; Soares, L; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLICAÇÃO: 2005, FONTE: 2nd Latin-American Symposium on Dependable Computing in DEPENDABLE COMPUTING, PROCEEDINGS, VOLUME: 3747, PÁGINAS: 245-260
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1356
TÍTULO: Introduction
AUTORES: Rui Camacho ; Alexessander Alves; Joaquim Pinto da Costa ; Paulo J Azevedo ;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PÁGINAS: 235-235
INDEXADO EM: Scopus DBLP CrossRef
1357
TÍTULO: On refinement of software architectures  Full Text
AUTORES: Meng, S; Barbosa, LS ; Zhang, NX;
PUBLICAÇÃO: 2005, FONTE: 2nd International Colloquium on Theoretical Aspects of Computing in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, VOLUME: 3722, PÁGINAS: 469-484
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1358
TÍTULO: On the automatic construction of indistinguishable operations
AUTORES: Barbosa, M ; Page, D;
PUBLICAÇÃO: 2005, FONTE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PÁGINAS: 233-247
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
1359
TÍTULO: On the Automatic Construction of Indistinguishable Operations
AUTORES: Manuel Barbosa ; Dan Page;
PUBLICAÇÃO: 2005, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2005, PÁGINAS: 174
INDEXADO EM: DBLP
1360
TÍTULO: Point-free program calculation
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2005
INDEXADO EM: DBLP

Results per Page: 20.
Página 68 de 75. Total de resultados: 1487.