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
1401
TÍTULO: A formal approach to the usability engineering
AUTORES: José Creissac Campos ;
PUBLICAÇÃO: 2003, FONTE: Latin American Conference on Human-Computer Interaction, CLIHC '03 in Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003, VOLUME: 46, PÁGINAS: 17-28
INDEXADO EM: Scopus DBLP
1402
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: 50
1403
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
1404
TÍTULO: Automatic visualization of recursion trees: a case study on generic programming
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2003, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 86, NÚMERO: 3, PÁGINAS: 70-84
INDEXADO EM: Scopus DBLP CrossRef
1405
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
1406
TÍTULO: Embedding Domain Specific Languages in the Attribute Grammar Formalism
AUTORES: João Saraiva ; Sérgio Schneider;
PUBLICAÇÃO: 2003, FONTE: 36th Annual Hawaii International Conference on System Sciences, HICSS 2003 in 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, PÁGINAS: 324
INDEXADO EM: Scopus DBLP CrossRef
1407
TÍTULO: From HCI to Software Engineering and Back PDF
AUTORES: José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2003, FONTE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA, PÁGINAS: 49-56
INDEXADO EM: DBLP
1408
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, PROCEEDINGS, VOLUME: 2830, PÁGINAS: 307-323
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1409
TÍTULO: NEEM: Network-friendly epidemic multicast  Full Text
AUTORES: Pereira, J ; do Minho, U; Rodrigues, L ; de Lisboa, U; M.J Monteiro; Oliveira, R ; A.-M Kermarrec;
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: 24
1410
TÍTULO: Preface
AUTORES: Barrett R Bryant; João Saraiva ;
PUBLICAÇÃO: 2003, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 82, NÚMERO: 3, PÁGINAS: 461-462
INDEXADO EM: DBLP
1411
TÍTULO: Preface
AUTORES: Barrett Bryant; João Saraiva ;
PUBLICAÇÃO: 2003, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 82, NÚMERO: 3, PÁGINAS: 461-462
INDEXADO EM: CrossRef
1412
TÍTULO: Reasoning about dynamic information displays
AUTORES: Campos, JC ; Doherty, GJ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PÁGINAS: 288-302
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1413
TÍTULO: Semantically reliable multicast: Definition, implementation, and performance evaluation
AUTORES: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLICAÇÃO: 2003, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, NÚMERO: 2, PÁGINAS: 150-165
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
1414
TÍTULO: State-based components made generic
AUTORES: Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2003, FONTE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, NÚMERO: 1, PÁGINAS: 41-58
INDEXADO EM: Scopus DBLP CrossRef: 7
1415
TÍTULO: Towards a calculus of state-based software components  Full Text
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2003, FONTE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, NÚMERO: 8, PÁGINAS: 891-909
INDEXADO EM: Scopus WOS DBLP
1416
TÍTULO: Towards peer-to-peer content indexing  Full Text
AUTORES: Carlos Baquero ; Nuno Lopes;
PUBLICAÇÃO: 2003, FONTE: Operating Systems Review, VOLUME: 37, NÚMERO: 4, PÁGINAS: 90-96
INDEXADO EM: Scopus DBLP CrossRef: 1
1417
TÍTULO: Using task knowledge to guide interactor specifications analysis
AUTORES: Campos, JC ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PÁGINAS: 171-186
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
1418
TÍTULO: Weak reduction and garbage collection in interaction nets
AUTORES: Pinto, JS ;
PUBLICAÇÃO: 2003, FONTE: WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings in Electronic Notes in Theoretical Computer Science, VOLUME: 86, NÚMERO: 4, PÁGINAS: 625-640
INDEXADO EM: Scopus DBLP CrossRef: 4
1419
TÍTULO: Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS 2003, Warsaw, Poland, April 12-13, 2003
AUTORES: Barrett R Bryant; João Saraiva ;
PUBLICAÇÃO: 2003, FONTE: LDTA@ETAPS, VOLUME: 82, NÚMERO: 3
INDEXADO EM: DBLP
1420
TÍTULO: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
AUTORES: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLICAÇÃO: 2002, FONTE: APPSEM, VOLUME: 2395
INDEXADO EM: DBLP

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