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

150 Team Members
Filters -> Year: 2024
1401
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
1402
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
1403
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
1404
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
1405
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
1406
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
1407
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
1408
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
1409
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
1410
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
1411
TÍTULO: Coinductive Interpreters for Process Calculi
AUTORES: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLICAÇÃO: 2002, FONTE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PÁGINAS: 183-197
INDEXADO EM: Scopus DBLP CrossRef
1412
TÍTULO: Component-based programming for higher-order attribute grammars PDF
AUTORES: Saraiva, J ;
PUBLICAÇÃO: 2002, FONTE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2487, PÁGINAS: 268-282
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1413
TÍTULO: Encoding linear logic with interaction combinators  Full Text
AUTORES: Mackie, I; Pinto, JS ;
PUBLICAÇÃO: 2002, FONTE: INFORMATION AND COMPUTATION, VOLUME: 176, NÚMERO: 2, PÁGINAS: 153-186
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
1414
TÍTULO: Optimistic total order in wide area networks  Full Text
AUTORES: Sousa, A ; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLICAÇÃO: 2002, FONTE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 190-199
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
1415
TÍTULO: Post-processing operators for browsing large sets of association rules
AUTORES: Jorge, A ; Pocas, J; Azevedo, P ;
PUBLICAÇÃO: 2002, FONTE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PÁGINAS: 414-421
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
1416
TÍTULO: Preface
AUTORES: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLICAÇÃO: 2002, FONTE: International Summer School on Applied Semantics, APPSEM 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2395 LNCS
INDEXADO EM: Scopus
1417
TÍTULO: Preface  Full Text
AUTORES: Roland Backhouse; José Oliveira ;
PUBLICAÇÃO: 2002, FONTE: Science of Computer Programming, VOLUME: 43, NÚMERO: 2-3, PÁGINAS: 91-92
INDEXADO EM: CrossRef
1418
TÍTULO: Reducing the cost of group communication with semantic view synchrony
AUTORES: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLICAÇÃO: 2002, FONTE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PÁGINAS: 293-302
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1419
TÍTULO: Semantically reliable group communication
AUTORES: José Pereira ;
PUBLICAÇÃO: 2002
INDEXADO EM: DBLP
1420
TÍTULO: Special issue on Mathematics of Program Construction (MPC 2000) Preface  Full Text
AUTORES: Backhouse, R; Oliveira, J ;
PUBLICAÇÃO: 2002, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, NÚMERO: 2-3, PÁGINAS: 91-92
INDEXADO EM: Scopus WOS

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