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

150 Team Members
Filters -> Year: 2025
1461
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
1462
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
1463
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
1464
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
1465
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
1466
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
1467
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
1468
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
1469
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
1470
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
1471
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
1472
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
1473
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
1474
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
1475
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
1476
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
1477
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
1478
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
1479
TÍTULO: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTORES: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PÁGINAS: 554-559
INDEXADO EM: Scopus DBLP CrossRef Handle
1480
TÍTULO: Enhancing load distribution strategies through simulation
AUTORES: Cunha, A ; Santos, LP ; Belo, O ;
PUBLICAÇÃO: 1997, FONTE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, PÁGINAS: 416-420
INDEXADO EM: WOS

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