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

167 Team Members
Filters -> Year: 2026
1461
TÍTULO: Delegation in a role-based organization
AUTORES: Pacheco, O ; Santos, F ;
PUBLICAÇÃO: 2004, FONTE: 7th International Workshop on Deontic Logic in Computer Science in DEONTIC LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 3065, PÁGINAS: 209-227
INDEXADO EM: Scopus WOS
1462
TÍTULO: Iransposing relations: From Maybe functions to hash tables
AUTORES: de Oliveira, JNF ; Rodrigues, CJPC;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 3125, PÁGINAS: 334-356
INDEXADO EM: Scopus WOS
1463
TÍTULO: Low latency probabilistic broadcast in Wide Area Networks
AUTORES: José Orlando Pereira ; Luís Rodrigues ; Alexandre S Pinto; Rui Carlos Oliveira ;
PUBLICAÇÃO: 2004, FONTE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 299-308
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1464
TÍTULO: Model-Based Collaborative Filtering for Team Building Support
AUTORES: Miguel Veloso; Alípio Jorge ; Paulo J Azevedo ;
PUBLICAÇÃO: 2004, FONTE: ICEIS (2), PÁGINAS: 241-248
INDEXADO EM: Scopus DBLP
1465
TÍTULO: On refinement of generic state-based software components
AUTORES: Meng, S; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116, PÁGINAS: 506-520
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
1466
TÍTULO: On semantics and refinement of UML statecharts: A coalgebraic view
AUTORES: Sun, M; Zhang, NX; Barbosa, LS ;
PUBLICAÇÃO: 2004, FONTE: 2nd International Conference on Software Engineering and Formal Methods in PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PÁGINAS: 164-173
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1467
TÍTULO: Relational sampling for data quality auditing and decision support
AUTORES: Cortes, B; Oliveira, JN ;
PUBLICAÇÃO: 2004, FONTE: ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems in ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems, PÁGINAS: 376-382
INDEXADO EM: Scopus
1468
TÍTULO: Scheduling under conditions of uncertainty: A Bayesian approach
AUTORES: Santos, LP ; Proenca, A ;
PUBLICAÇÃO: 2004, FONTE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PÁGINAS: 222-229
INDEXADO EM: Scopus WOS Handle
1469
TÍTULO: The mutable consensus protocol
AUTORES: Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2004, FONTE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 218-227
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1470
TÍTULO: Type-based termination of recursive definitions
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1, PÁGINAS: 97-141
INDEXADO EM: Scopus WOS DBLP
1471
TÍTULO: Verifying user interface behaviour with model checking
AUTORES: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLICAÇÃO: 2004, FONTE: VVEIS, PÁGINAS: 87-96
INDEXADO EM: DBLP
1472
TÍTULO: A formal approach to the usability engineering
AUTORES: José Creissac Campos ;
PUBLICAÇÃO: 2003, FONTE: CLIHC, VOLUME: 46, PÁGINAS: 17-28
INDEXADO EM: Scopus DBLP
1473
TÍTULO: A role based model for the normative specification of organized collective agency and agents interaction  Full Text
AUTORES: Pacheco, O ; Carmo, J ;
PUBLICAÇÃO: 2003, FONTE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 6, NÚMERO: 2, PÁGINAS: 145-184
INDEXADO EM: Scopus WOS CrossRef: 53
1474
TÍTULO: Adaptive gossip-based broadcast
AUTORES: Rodrigues, L ; Pereira, J ; Handurukande, S; Guerraoui, R; Kermarrec, AM;
PUBLICAÇÃO: 2003, FONTE: International Conference on Dependable Systems and Networks in 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PÁGINAS: 47-56
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
1475
TÍTULO: Automatic visualization of recursion trees: a case study on generic programming
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2003, FONTE: WFLP, VOLUME: 86, NÚMERO: 3, PÁGINAS: 70-84
INDEXADO EM: Scopus DBLP CrossRef
1476
TÍTULO: Electronic Notes in Theoretical Computer Science: Preface
AUTORES: Bryant, B; Saraiva, J ;
PUBLICAÇÃO: 2003, FONTE: LDTA'2003 - Language Descriptions, Tools and Applications in Electronic Notes in Theoretical Computer Science, VOLUME: 82, NÚMERO: 3, PÁGINAS: 461-462
INDEXADO EM: Scopus
1477
TÍTULO: Embedding Domain Specific Languages in the Attribute Grammar Formalism
AUTORES: João Saraiva ; Sérgio Schneider;
PUBLICAÇÃO: 2003, FONTE: HICSS, PÁGINAS: 324
INDEXADO EM: Scopus DBLP CrossRef
1478
TÍTULO: From HCI to Software Engineering and Back
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2003, FONTE: ICSE Workshop on SE-HCI, PÁGINAS: 49-56
INDEXADO EM: DBLP
1479
TÍTULO: Generating spreadsheet-like tools from strong attribute grammars
AUTORES: Saraiva, J ; Swierstra, D;
PUBLICAÇÃO: 2003, FONTE: 2nd International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2003, PROCEEDINGS, VOLUME: 2830, PÁGINAS: 307-323
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1480
TÍTULO: NEEM: Network-friendly epidemic multicast
AUTORES: Pereira, J ; Rodrigues, L ; Monteiro, MJ; Oliveira, R ; Kermarrec, AM;
PUBLICAÇÃO: 2003, FONTE: 22nd International Symposium on Reliable Distributed Systems in 22ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 15-24
INDEXADO EM: Scopus WOS DBLP CrossRef: 28

Results per Page: 20.
Página 74 de 79. Total de resultados: 1570.