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

150 Team Members
Filters -> Year: 2025
1461
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
1462
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
1463
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
1464
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: 29
1465
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
1466
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
1467
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
1468
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
1469
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
1470
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
1471
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
1472
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
1473
TÍTULO: A CANopen I/O module: Simple and efficient, system integration
AUTORES: Barbosa, MBM ; Carvalho, AD ; Farsi, M;
PUBLICAÇÃO: 1998, FONTE: 24th Annual Conference of the IEEE Industrial-Electronics-Society in IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 1, PÁGINAS: 155-159
INDEXADO EM: Scopus WOS
1474
TÍTULO: A Game-Theoretic Approach to the Socialization of Utility-Based Agents
AUTORES: Alcino Cunha ; José Neves;
PUBLICAÇÃO: 1998, FONTE: 1998 International Conference on Multi Agent Systems, ICMAS 1998 in Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998, PÁGINAS: 413-414
INDEXADO EM: Scopus DBLP CrossRef
1475
TÍTULO: CAD tool extension for formal building description language  Full Text
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 1998, FONTE: 6th International Conference on Civil and Structural Engineering Computing/4th International Conference on the Application of Artificial Intelligence to Civil and Structural Engineering in ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 29, NÚMERO: 7-9, PÁGINAS: 571-586
INDEXADO EM: Scopus WOS CrossRef: 1
1476
TÍTULO: Improving causality logging in mobile computing networks  Full Text
AUTORES: Carlos Baquero ; Francisco Moura ;
PUBLICAÇÃO: 1998, FONTE: Mobile Computing and Communications Review, VOLUME: 2, NÚMERO: 4, PÁGINAS: 62-66
INDEXADO EM: DBLP CrossRef: 3
1477
TÍTULO: Lrc - A generator for incremental language-oriented tools  Full Text
AUTORES: Kuiper, M; Saraiva, J ;
PUBLICAÇÃO: 1998, FONTE: 7th International Conference on Compiler Construction (CC 98) at the Joint European Conferences on Theory and Practice of Software (ETAPS 98) in COMPILER CONSTRUCTION, VOLUME: 1383, PÁGINAS: 298-301
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
1478
TÍTULO: Simulating a gas distribution network in a distributed object oriented system
AUTORES: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLICAÇÃO: 1998, FONTE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, PÁGINAS: 283-287
INDEXADO EM: WOS
1479
TÍTULO: The role of verification in interactive systems design
AUTORES: Campos, JC ; Harrison, MD ;
PUBLICAÇÃO: 1998, FONTE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1, PÁGINAS: 155-170
INDEXADO EM: WOS DBLP
1480
TÍTULO: Balloon Types: Controlling Sharing of State in Data Types
AUTORES: Paulo Sérgio Almeida ;
PUBLICAÇÃO: 1997, FONTE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PÁGINAS: 32-59
INDEXADO EM: Scopus DBLP CrossRef: 61

Results per Page: 20.
Página 74 de 75. Total de resultados: 1500.