Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 17979

1699 Team Members
Filters -> Year: 2024
17041
TITLE: Turbidity and color spectronephelometric measurements in consumable fluid samples
AUTHORS: Oliveira, L ; Clemente, MP;
PUBLISHED: 2002, SOURCE: 2002 Saratov Fall Meeting in SARATOV FALL MEETING 2002: OPTICAL TECHNOLOGIES IN BIOPHYSICS AND MEDICINE IV, VOLUME: 5068, PAGES: 227-233
INDEXED IN: Scopus WOS
17042
TITLE: Type inference using constraint handling rules
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2002, SOURCE: WFLP 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers in Electronic Notes in Theoretical Computer Science, VOLUME: 64, PAGES: 59-75
INDEXED IN: Scopus DBLP CrossRef: 3
17043
TITLE: Using Constraint Logic Programming to Generate Drills in Mathematics PDF
AUTHORS: Ana Paula Tomás ; José Paulo Leal ; Pedro Vasconcelos;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 155-172
INDEXED IN: DBLP
17044
TITLE: Using Ravenscar to support fault-tolerant real-time applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, ISSUE: 4, PAGES: 47
INDEXED IN: CrossRef: 2
17045
TITLE: Using Ravenscar to support fault-tolerant real-time applications  Full Text
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: 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, PAGES: 47-52
INDEXED IN: Scopus DBLP CrossRef
17046
TITLE: Version stamps - Decentralized version vectors  Full Text
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
INDEXED IN: Scopus WOS DBLP CrossRef: 10
17047
TITLE: Widely tunable L-band erbium doped fiber ring laser by means of induced cavity loss control  Full Text
AUTHORS: Melo, M; Teixeira, A ; Frazao, O ; Luis A Gomes ; Lima, M ; Santos, C; Pereira, D; Rocha, F; Salgado, HM ;
PUBLISHED: 2002, SOURCE: 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, PAGES: 502-503
INDEXED IN: Scopus WOS CrossRef: 2
17048
TITLE: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PAGES: 864-874
INDEXED IN: Scopus WOS DBLP CrossRef: 12
17049
TITLE: "Bagatelle in C arranged for VDM SoLo"
AUTHORS: Oliveira, JN ;
PUBLISHED: 2001, SOURCE: Colloquium on Formal Aspects of Software Engineering in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 7, ISSUE: 8, PAGES: 754-781
INDEXED IN: WOS
17050
TITLE: 2001 PowerTech review
AUTHORS: Pecas Lopes, JA ; Matos, MA ;
PUBLISHED: 2001, SOURCE: IEEE Power Engineering Review, VOLUME: 21, ISSUE: 12, PAGES: 20-21
INDEXED IN: Scopus
17051
TITLE: 5dpo Team Description
AUTHORS: Paulo G Costa ; Armando Sousa ; Paulo Marques; Pedro Costa ; Susana Gaio; António Paulo Moreira ;
PUBLISHED: 2001, SOURCE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PAGES: 563-566
INDEXED IN: Scopus DBLP
17052
TITLE: A Bayesian RunTime load manager on a shared cluster
AUTHORS: Santos, LP ; Proenca, A ;
PUBLISHED: 2001, SOURCE: 1st IEEE/AMC International Symposium on Cluster Computing and the Grid in FIRST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, PAGES: 674-679
INDEXED IN: Scopus WOS CrossRef
17053
TITLE: A CONCEPTUAL FRAMEWORK FOR AGGREGATE MANAGEMENT OF VIRTUAL ENTERPRISES
AUTHORS: Jorge P Sousa ; Americo L Azevedo ; Antonio L Soares ;
PUBLISHED: 2001, SOURCE: 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, PAGES: 395-402
INDEXED IN: Scopus WOS CrossRef
17054
TITLE: A different approach to real web accessibility
AUTHORS: António Ramires Fernandes; Fernando Mário Martins; Hugo Paredes ; Jorge Ribeiro Pereira;
PUBLISHED: 2001, SOURCE: 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, PAGES: 723-727
INDEXED IN: DBLP
17055
TITLE: A imagética kinetica e mental em praticantes de desportos colectivos e individuais
AUTHORS: José Vasconcelos Raposo ; Goreti Costa; Isabel Mouráo Carvalhal;
PUBLISHED: 2001, SOURCE: Estudos de Psicologia (Campinas) - Estud. psicol. (Campinas), VOLUME: 18, ISSUE: 1, PAGES: 58-75
INDEXED IN: CrossRef
17056
TITLE: A Metadata Model for Multimedia Databases
AUTHORS: Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2001, SOURCE: ICHIM (1), PAGES: 469-483
INDEXED IN: DBLP
17057
TITLE: A method for the in-circuit testing of σδ modulators
AUTHORS: Da Silva, JM ; Duarte, JS; Matos, JS;
PUBLISHED: 2001, SOURCE: 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, PAGES: 634-637
INDEXED IN: Scopus
17058
TITLE: A MOBILE-AGENT BASED ARCHITECTURE FOR VIRTUAL ENTERPRISES
AUTHORS: Luis Brito; Jose Neves ; Francisco Moura ;
PUBLISHED: 2001, SOURCE: 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, PAGES: 167-174
INDEXED IN: Scopus WOS
17059
TITLE: A networked platform for agricultural management systems  Full Text
AUTHORS: C. Serôdio ; Cunha, JB ; Morais, R ; Couto, C ; Monteiro, J ;
PUBLISHED: 2001, SOURCE: 1st IFAC Workshop on Control Applications and Ergonomics in Agriculture (CAEA 98) in COMPUTERS AND ELECTRONICS IN AGRICULTURE, VOLUME: 31, ISSUE: 1, PAGES: 75-90
INDEXED IN: Scopus WOS CrossRef: 40
17060
TITLE: A neural network approach for the automatic detection of microaneurysms in retinal angiograms  Full Text
AUTHORS: Kamel, M; Belkassim, S; Mendonca, AM ; Campilho, A ;
PUBLISHED: 2001, SOURCE: International Joint Conference on Neural Networks (IJCNN 01) in IJCNN'01: INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-4, PROCEEDINGS, VOLUME: 4, PAGES: 2695-2699
INDEXED IN: Scopus WOS CrossRef: 10

Results per Page: 20.
Page 853 of 899. Total results: 17979.