CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
8001
TÍTULO: Planning and control indicators for mass transit companies
AUTORES: João M Moreira ; Jorge F de Sousa;
PUBLICAÇÃO: 1999
INDEXADO EM: Handle
8002
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
8003
TÍTULO: Preface
AUTORES: Inês de Castro Dutra ; Vítor Santos Costa ; Gopal Gupta; Enrico Pontelli; Manuel Carro; Péter Kacsuk;
PUBLICAÇÃO: 1999, FONTE: Parallelism and Implementation Technology for (Constraint) Logic Programming (in Connection with ICLP'99, International Conference on Logic in Electr. Notes Theor. Comput. Sci., VOLUME: 30, NÚMERO: 3, PÁGINAS: 1-2
INDEXADO EM: Scopus DBLP CrossRef
8004
TÍTULO: Proposal for a dynamic scheduling architecture and method using an holonic approach
AUTORES: Silva, N ; Sousa, P; Ramos, C;
PUBLICAÇÃO: 1999, FONTE: 5th IFAC Workshop on Intelligent Manufacturing Systems (IMS 98) in INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98), PÁGINAS: 61-66
INDEXADO EM: WOS
8005
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
8006
TÍTULO: Pseudo-Reference
AUTORES: Ademar Aguiar ;
PUBLICAÇÃO: 1999, FONTE: Proceedings of the 4th European Conference on Pattern Languages of Programms (EuroPLoP '1999), Irsee, Germany, July 7-11, 1999, PÁGINAS: 1-12
INDEXADO EM: DBLP
8007
TÍTULO: Replica management in real-time Ada 95 applications
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 1999, FONTE: 9th International Workshop on Real-Time Ada, IRTAW 1999 in Proceedings of the Ninth International Workshop on Real-Time Ada, IRTAW 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999, PÁGINAS: 21-27
INDEXADO EM: Scopus DBLP CrossRef: 1
8008
TÍTULO: Replica management in real-time Ada 95 applications
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 1999, FONTE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XIX, NÚMERO: 2, PÁGINAS: 21-27
INDEXADO EM: CrossRef
8009
TÍTULO: Representation and manipulation of moving points: An extended data model for location estimation
AUTORES: Moreira, J ; Ribeiro, C ; Saglio, JM;
PUBLICAÇÃO: 1999, FONTE: Cartography and Geographic Information Science, VOLUME: 26, NÚMERO: 2, PÁGINAS: 109-123
INDEXADO EM: Scopus
8010
TÍTULO: Rigidity of C-2 infinitely renormalizable unimodal maps  Full Text
AUTORES: de Melo, W; Pinto, AA ;
PUBLICAÇÃO: 1999, FONTE: COMMUNICATIONS IN MATHEMATICAL PHYSICS, VOLUME: 208, NÚMERO: 1, PÁGINAS: 91-105
INDEXADO EM: Scopus WOS CrossRef: 11
8011
TÍTULO: The BEAM: A first EAM Implementation
AUTORES: Ricardo Lopes; Vítor Santos Costa ;
PUBLICAÇÃO: 1999, FONTE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, PÁGINAS: 425-440
INDEXADO EM: DBLP
8012
TÍTULO: The influence of architectural parameters on the performance of parallel logic programming systems  Full Text
AUTORES: Silva, MG; Dutra, IC ; Bianchini, R; Costa, VS ;
PUBLICAÇÃO: 1999, FONTE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551, PÁGINAS: 122-136
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
8013
TÍTULO: The risk of delay of a project in terms of the morphology of its network  Full Text
AUTORES: Tavares, LV ; Ferreira, JA; Coelho, JS ;
PUBLICAÇÃO: 1999, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 119, NÚMERO: 2, PÁGINAS: 510-537
INDEXADO EM: Scopus WOS CrossRef: 46
8014
TÍTULO: To Ada or not to Ada. Ada ing vs. Java ing in real-time systems
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 1999, FONTE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XIX, NÚMERO: 4, PÁGINAS: 37-43
INDEXADO EM: CrossRef
8015
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
8016
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
8017
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
8018
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
8019
TÍTULO: YapOr: an Or-Parallel Prolog System Based on Environment Copying
AUTORES: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLICAÇÃO: 1999, FONTE: 9th Portuguese Conference on Progress in Artificial Intelligence, EPIA 1999 in Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings, VOLUME: 1695, PÁGINAS: 178-192
INDEXADO EM: Scopus DBLP CrossRef: 7
8020
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 401 de 409. Total de resultados: 8177.