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

531 Team Members
Filters -> Year: 2024
8781
TITLE: Replica management in real-time Ada 95 applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1999, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XIX, ISSUE: 2, PAGES: 21-27
INDEXED IN: CrossRef
8782
TITLE: Replica management in real-time Ada 95 applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1999, SOURCE: 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, PAGES: 21-27
INDEXED IN: Scopus DBLP CrossRef: 1
8783
TITLE: Representation and manipulation of moving points: An extended data model for location estimation
AUTHORS: Moreira, J ; Ribeiro, C ; Saglio, JM;
PUBLISHED: 1999, SOURCE: Cartography and Geographic Information Science, VOLUME: 26, ISSUE: 2, PAGES: 109-123
INDEXED IN: Scopus
8784
TITLE: Rigidity of C-2 infinitely renormalizable unimodal maps  Full Text
AUTHORS: de Melo, W; Pinto, AA ;
PUBLISHED: 1999, SOURCE: COMMUNICATIONS IN MATHEMATICAL PHYSICS, VOLUME: 208, ISSUE: 1, PAGES: 91-105
INDEXED IN: Scopus WOS CrossRef: 11
8785
TITLE: The BEAM: A first EAM Implementation
AUTHORS: Ricardo Lopes; Vítor Santos Costa ;
PUBLISHED: 1999, SOURCE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, PAGES: 425-440
INDEXED IN: DBLP
8786
TITLE: The influence of architectural parameters on the performance of parallel logic programming systems  Full Text
AUTHORS: Silva, MG; Dutra, IC ; Bianchini, R; Costa, VS ;
PUBLISHED: 1999, SOURCE: 1st International Workshop on Practical Aspects of Declarative Languages (PADL 99) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 1551, PAGES: 122-136
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8787
TITLE: The risk of delay of a project in terms of the morphology of its network  Full Text
AUTHORS: Tavares, LV ; Ferreira, JA; Coelho, JS ;
PUBLISHED: 1999, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 119, ISSUE: 2, PAGES: 510-537
INDEXED IN: Scopus WOS CrossRef: 46
8788
TITLE: To Ada or not to Ada. Ada ing vs. Java ing in real-time systems
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1999, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XIX, ISSUE: 4, PAGES: 37-43
INDEXED IN: CrossRef
8789
TITLE: Type-based termination of recursive definitions
AUTHORS: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLISHED: 1999, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, ISSUE: 1, PAGES: 97-141
INDEXED IN: CrossRef: 51
8790
TITLE: Type-checking balloon types
AUTHORS: Almeida, PS ;
PUBLISHED: 1999, SOURCE: MFPS XV, Mathematical Foundations of Programming Semantics, Fifteenth Conference in Electronic Notes in Theoretical Computer Science, VOLUME: 20, PAGES: 1-27
INDEXED IN: Scopus DBLP CrossRef: 1
8791
TITLE: Using automated reasoning in the design of an audio-visual communication system
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, PAGES: 167-188
INDEXED IN: WOS DBLP
8792
TITLE: Using Structural Characteristics for Autonomous Operation  Full Text
AUTHORS: Carlos Baquero ; Francisco Moura ;
PUBLISHED: 1999, SOURCE: Operating Systems Review, VOLUME: 33, ISSUE: 4, PAGES: 90-96
INDEXED IN: Scopus DBLP CrossRef: 10
8793
TITLE: YapOr: an Or-Parallel Prolog System Based on Environment Copying
AUTHORS: Ricardo Rocha ; Fernando M A Silva ; Vítor Santos Costa ;
PUBLISHED: 1999, SOURCE: 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, PAGES: 178-192
INDEXED IN: Scopus DBLP CrossRef: 7
8794
TITLE: 3(rd) workshop on mobility and replication
AUTHORS: Andersen, B; Baquero, C ; Juul, NC;
PUBLISHED: 1998, SOURCE: ECOOP 98 Workshop on Object-Oriented Technology in OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, VOLUME: 1543, PAGES: 307-308
INDEXED IN: Scopus WOS DBLP CrossRef
8795
TITLE: A CANopen I/O module: Simple and efficient, system integration
AUTHORS: Barbosa, MBM ; Carvalho, AD ; Farsi, M;
PUBLISHED: 1998, SOURCE: 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, PAGES: 155-159
INDEXED IN: Scopus WOS
8796
TITLE: A Game-Theoretic Approach to the Socialization of Utility-Based Agents
AUTHORS: Alcino Cunha ; José Neves;
PUBLISHED: 1998, SOURCE: 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, PAGES: 413-414
INDEXED IN: Scopus DBLP CrossRef
8797
TITLE: An MPEG-2 distributed studio architecture based on ATM
AUTHORS: Oliveira, PC ; Fonseca, JB ; Carrapatoso, EM ;
PUBLISHED: 1998, SOURCE: 9th Mediterranean Electrotechnical Conference (Melecon 98) in MELECON '98 - 9TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1 AND 2, VOLUME: 2, PAGES: 1357-1360
INDEXED IN: Scopus WOS CrossRef: 1
8798
TITLE: Building virtual interactive 3D galleries
AUTHORS: Fernandes, AR; Pires, HC; Rodrigues, RA ;
PUBLISHED: 1998, SOURCE: 4th International Conference on Virtual Systems and MultiMedia (VSMM 98)_- FutureFusion, Real Applications for the Virtual Age in VSMM98: FUTUREFUSION - APPLICATION REALITIES FOR THE VIRTUAL AGE, VOLS 1 AND 2, PAGES: 60-65
INDEXED IN: WOS
8799
TITLE: CAD tool extension for formal building description language  Full Text
AUTHORS: Oliveira, JN ;
PUBLISHED: 1998, SOURCE: 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, ISSUE: 7-9, PAGES: 571-586
INDEXED IN: Scopus WOS CrossRef: 1
8800
TITLE: Combining Classifiers by Constructive Induction
AUTHORS: João Gama ;
PUBLISHED: 1998, SOURCE: 10th European Conference on Machine Learning, ECML 1998 in Machine Learning: ECML-98, 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings, VOLUME: 1398, PAGES: 178-189
INDEXED IN: Scopus DBLP CrossRef: 11

Results per Page: 20.
Página 440 de 448. Total de resultados: 8959.