Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and 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: 18402

1699 Team Members
Filters -> Year: 2024
17461
TÍTULO: Type inference using constraint handling rules
AUTORES: Alves, S ; Florido, M ;
PUBLICAÇÃO: 2002, FONTE: WFLP 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers in Electronic Notes in Theoretical Computer Science, VOLUME: 64, PÁGINAS: 59-75
INDEXADO EM: Scopus DBLP CrossRef: 3
17462
TÍTULO: Using Constraint Logic Programming to Generate Drills in Mathematics PDF
AUTORES: Ana Paula Tomás ; José Paulo Leal ; Pedro Vasconcelos;
PUBLICAÇÃO: 2002, FONTE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PÁGINAS: 155-172
INDEXADO EM: DBLP
17463
TÍTULO: Using Ravenscar to support fault-tolerant real-time applications
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 2002, FONTE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, NÚMERO: 4, PÁGINAS: 47
INDEXADO EM: CrossRef: 2
17464
TÍTULO: Using Ravenscar to support fault-tolerant real-time applications  Full Text
AUTORES: Luís Miguel Pinho ; Francisco Vasques ;
PUBLICAÇÃO: 2002, FONTE: 11th International Real-Time Ada Workshop, IRTAW 2002 in Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002, PÁGINAS: 47-52
INDEXADO EM: Scopus DBLP CrossRef
17465
TÍTULO: Version stamps - Decentralized version vectors  Full Text
AUTORES: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLICAÇÃO: 2002, FONTE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PÁGINAS: 544-551
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
17466
TÍTULO: Widely tunable L-band erbium doped fiber ring laser by means of induced cavity loss control  Full Text
AUTORES: Melo, M; Teixeira, A ; Frazao, O ; Luis A Gomes ; Lima, M ; Santos, C; Pereira, D; Rocha, F; Salgado, HM ;
PUBLICAÇÃO: 2002, FONTE: 15th Annual Meeting of the IEEE-Lasers-and-Electro-Optics-Society in 2002 IEEE/LEOS ANNUAL MEETING CONFERENCE PROCEEDINGS, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 502-503
INDEXADO EM: Scopus WOS CrossRef: 2
17467
TÍTULO: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2002, FONTE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PÁGINAS: 864-874
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
17468
TÍTULO: "Bagatelle in C arranged for VDM SoLo"
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2001, FONTE: Colloquium on Formal Aspects of Software Engineering in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 7, NÚMERO: 8, PÁGINAS: 754-781
INDEXADO EM: WOS
17469
TÍTULO: 2001 PowerTech review
AUTORES: Pecas Lopes, JA ; Matos, MA ;
PUBLICAÇÃO: 2001, FONTE: IEEE Power Engineering Review, VOLUME: 21, NÚMERO: 12, PÁGINAS: 20-21
INDEXADO EM: Scopus
17470
TÍTULO: 5dpo Team Description
AUTORES: Paulo G Costa ; Armando Sousa ; Paulo Marques; Pedro Costa ; Susana Gaio; António Paulo Moreira ;
PUBLICAÇÃO: 2001, FONTE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PÁGINAS: 563-566
INDEXADO EM: Scopus DBLP
17471
TÍTULO: A Bayesian RunTime load manager on a shared cluster
AUTORES: Santos, LP ; Proenca, A ;
PUBLICAÇÃO: 2001, FONTE: 1st IEEE/AMC International Symposium on Cluster Computing and the Grid in FIRST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, PÁGINAS: 674-679
INDEXADO EM: Scopus WOS CrossRef
17472
TÍTULO: A CONCEPTUAL FRAMEWORK FOR AGGREGATE MANAGEMENT OF VIRTUAL ENTERPRISES
AUTORES: Jorge P Sousa ; Americo L Azevedo ; Antonio L Soares ;
PUBLICAÇÃO: 2001, FONTE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PÁGINAS: 395-402
INDEXADO EM: Scopus WOS CrossRef
17473
TÍTULO: A different approach to real web accessibility
AUTORES: António Ramires Fernandes; Fernando Mário Martins; Hugo Paredes ; Jorge Ribeiro Pereira;
PUBLICAÇÃO: 2001, FONTE: Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction), New Orleans, USA, August 5-10, 2001, Volume 3, PÁGINAS: 723-727
INDEXADO EM: DBLP
17474
TÍTULO: A imagética kinetica e mental em praticantes de desportos colectivos e individuais
AUTORES: José Vasconcelos Raposo ; Goreti Costa; Isabel Mouráo Carvalhal;
PUBLICAÇÃO: 2001, FONTE: Estudos de Psicologia (Campinas) - Estud. psicol. (Campinas), VOLUME: 18, NÚMERO: 1, PÁGINAS: 58-75
INDEXADO EM: CrossRef
17475
TÍTULO: A Metadata Model for Multimedia Databases
AUTORES: Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2001, FONTE: ICHIM (1), PÁGINAS: 469-483
INDEXADO EM: DBLP
17476
TÍTULO: A method for the in-circuit testing of σδ modulators
AUTORES: Da Silva, JM ; Duarte, JS; Matos, JS;
PUBLICAÇÃO: 2001, FONTE: 11th IMEKO TC4 Symposium on Trends in Electrical Measurements and Instrumentation and 6th IMEKO TC4 Workshop on ADC Modelling and Testing 2001 in 11th IMEKO TC4 Symposium on Trends in Electrical Measurements and Instrumentation and 6th IMEKO TC4 Workshop on ADC Modelling and Testing 2001, PÁGINAS: 634-637
INDEXADO EM: Scopus
17477
TÍTULO: A MOBILE-AGENT BASED ARCHITECTURE FOR VIRTUAL ENTERPRISES
AUTORES: Luis Brito; Jose Neves ; Francisco Moura ;
PUBLICAÇÃO: 2001, FONTE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PÁGINAS: 167-174
INDEXADO EM: Scopus WOS
17478
TÍTULO: A networked platform for agricultural management systems  Full Text
AUTORES: C. Serôdio ; Cunha, JB ; Morais, R ; Couto, C ; Monteiro, J ;
PUBLICAÇÃO: 2001, FONTE: 1st IFAC Workshop on Control Applications and Ergonomics in Agriculture (CAEA 98) in COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 31, NÚMERO: 1, PÁGINAS: 75-90
INDEXADO EM: Scopus WOS CrossRef: 40
17479
TÍTULO: A neural network approach for the automatic detection of microaneurysms in retinal angiograms  Full Text
AUTORES: Kamel, M; Belkassim, S; Mendonca, AM ; Campilho, A ;
PUBLICAÇÃO: 2001, FONTE: International Joint Conference on Neural Networks (IJCNN 01) in IJCNN'01: INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-4, PROCEEDINGS, VOLUME: 4, PÁGINAS: 2695-2699
INDEXADO EM: Scopus WOS CrossRef: 10
17480
TÍTULO: A new method for high-harmonic generation by cascaded four-wave mixing  Full Text
AUTORES: Mendonca, JT ; Crespo, H ; Guerreiro, A ;
PUBLICAÇÃO: 2001, FONTE: OPTICS COMMUNICATIONS, VOLUME: 188, NÚMERO: 5-6, PÁGINAS: 383-388
INDEXADO EM: Scopus WOS CrossRef: 8

Results per Page: 20.
Página 874 de 921. Total de resultados: 18402.