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

149 Team Members
Filters -> Year: 2026
1641
TÍTULO: Representational Reasoning and Verification  Full Text
AUTORES: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2000, FONTE: Formal Aspects Comput., VOLUME: 12, NÚMERO: 4, PÁGINAS: 260-277
INDEXADO EM: Scopus DBLP CrossRef: 12
1642
TÍTULO: Semantically reliable multicast protocols  Full Text
AUTORES: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLICAÇÃO: 2000, FONTE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PÁGINAS: 60-69
INDEXADO EM: Scopus WOS DBLP
1643
TÍTULO: Sequential and concurrent abstract machines for interaction nets  Full Text
AUTORES: Pinto, JS ;
PUBLICAÇÃO: 2000, FONTE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784, PÁGINAS: 267-282
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
1644
TÍTULO: The cash-point (ATM) 'problem'
AUTORES: Denvir, T; Oliveira, J ; Plat, N;
PUBLICAÇÃO: 2000, FONTE: Formal Aspects of Computing, VOLUME: 12, NÚMERO: 4, PÁGINAS: 211-215
INDEXADO EM: Scopus
1645
TÍTULO: Aliasing in object oriented systems  Full Text
AUTORES: Noble, J; Vitek, J; Lea, D; Almeida, PS ;
PUBLICAÇÃO: 1999, FONTE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PÁGINAS: 136-163
INDEXADO EM: WOS DBLP CrossRef: 3
1646
TÍTULO: An introduction to CANonen
AUTORES: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLICAÇÃO: 1999, FONTE: Computing and Control Engineering Journal, VOLUME: 10, NÚMERO: 4, PÁGINAS: 161-168
INDEXADO EM: Scopus
1647
TÍTULO: An introduction to CANopen
AUTORES: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLICAÇÃO: 1999, FONTE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, NÚMERO: 4, PÁGINAS: 161-168
INDEXADO EM: WOS CrossRef: 17
1648
TÍTULO: An overview of Controller Area Network
AUTORES: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLICAÇÃO: 1999, FONTE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, NÚMERO: 3, PÁGINAS: 113-120
INDEXADO EM: Scopus WOS CrossRef: 181
1649
TÍTULO: Constructor subtyping  Full Text
AUTORES: Barthe, G; Frade, MJ ;
PUBLICAÇÃO: 1999, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1576, PÁGINAS: 109-127
INDEXADO EM: WOS
1650
TÍTULO: Constructor Subtyping
AUTORES: Gilles Barthe; Maria João Frade ;
PUBLICAÇÃO: 1999, FONTE: 8th European Symposium on Programming, ESOP 1999 in Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, VOLUME: 1576, PÁGINAS: 109-127
INDEXADO EM: Scopus DBLP CrossRef: 9
1651
TÍTULO: Data structure free compilation  Full Text
AUTORES: Saraiva, J ; Swierstra, D;
PUBLICAÇÃO: 1999, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in COMPILER CONSTRUCTION, VOLUME: 1575, PÁGINAS: 1-16
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1652
TÍTULO: Designing and implementing combinator languages  Full Text
AUTORES: Swierstra, SD; Alcocer, PRA; Saraiva, J ;
PUBLICAÇÃO: 1999, FONTE: 3rd International School on Advanced Functional Programming (AFP 98) in ADVANCED FUNCTIONAL PROGRAMMING, VOLUME: 1608, PÁGINAS: 150-206
INDEXADO EM: WOS DBLP CrossRef: 38
1653
TÍTULO: Integrating agent based information outsourcing techniques on data warehousing systems
AUTORES: Orlando Belo ; Alcino Cunha ;
PUBLICAÇÃO: 1999, FONTE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
INDEXADO EM: Scopus CrossRef: 1 Handle
1654
TÍTULO: Poster session  Full Text
AUTORES: Baquero, C ;
PUBLICAÇÃO: 1999, FONTE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PÁGINAS: 371-383
INDEXADO EM: Scopus WOS DBLP CrossRef
1655
TÍTULO: Prototyping Processes
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 1999, FONTE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, PÁGINAS: 513-528
INDEXADO EM: DBLP
1656
TÍTULO: Type-based termination of recursive definitions
AUTORES: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLICAÇÃO: 1999, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, NÚMERO: 1, PÁGINAS: 97-141
INDEXADO EM: CrossRef: 61
1657
TÍTULO: Type-checking balloon types
AUTORES: Almeida, PS ;
PUBLICAÇÃO: 1999, FONTE: MFPS XV, Mathematical Foundations of Programming Semantics, Fifteenth Conference in Electronic Notes in Theoretical Computer Science, VOLUME: 20, PÁGINAS: 1-27
INDEXADO EM: Scopus DBLP CrossRef: 1
1658
TÍTULO: Using automated reasoning in the design of an audio-visual communication system
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1999, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, PÁGINAS: 167-188
INDEXADO EM: WOS DBLP
1659
TÍTULO: Using Structural Characteristics for Autonomous Operation  Full Text
AUTORES: Carlos Baquero ; Francisco Moura ;
PUBLICAÇÃO: 1999, FONTE: Operating Systems Review, VOLUME: 33, NÚMERO: 4, PÁGINAS: 90-96
INDEXADO EM: Scopus DBLP CrossRef: 10
1660
TÍTULO: 3(rd) workshop on mobility and replication
AUTORES: Andersen, B; Baquero, C ; Juul, NC;
PUBLICAÇÃO: 1998, FONTE: ECOOP 98 Workshop on Object-Oriented Technology in OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, VOLUME: 1543, PÁGINAS: 307-308
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 83 de 85. Total de resultados: 1689.