Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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
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!
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!
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!
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: 18456
1699 Team MembersFilters -> Year: 2024
17521
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
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
WOS17522
TITLE: 2001 PowerTech review
AUTHORS: Pecas Lopes, JA ; Matos, MA ;
PUBLISHED: 2001, SOURCE: IEEE Power Engineering Review, VOLUME: 21, ISSUE: 12, PAGES: 20-21
AUTHORS: Pecas Lopes, JA ; Matos, MA ;
PUBLISHED: 2001, SOURCE: IEEE Power Engineering Review, VOLUME: 21, ISSUE: 12, PAGES: 20-21
INDEXED IN: 
Scopus
Scopus17523
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
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
Scopus DBLP17524
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
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
17525
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
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
17526
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
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
DBLP17527
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
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
CrossRef17528
TITLE: A Metadata Model for Multimedia Databases
AUTHORS: Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2001, SOURCE: ICHIM (1), PAGES: 469-483
AUTHORS: Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2001, SOURCE: ICHIM (1), PAGES: 469-483
INDEXED IN: DBLP
DBLP17529
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
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
Scopus17530
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
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
Scopus WOS17531
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
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
17532
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
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
17533
TITLE: A new method for high-harmonic generation by cascaded four-wave mixing Full Text
AUTHORS: Mendonca, JT ; Crespo, H ; Guerreiro, A ;
PUBLISHED: 2001, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 188, ISSUE: 5-6, PAGES: 383-388
AUTHORS: Mendonca, JT ; Crespo, H ; Guerreiro, A ;
PUBLISHED: 2001, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 188, ISSUE: 5-6, PAGES: 383-388
17534
TITLE: A New Upper Bound for the Cylinder Packing Problem Full Text
AUTHORS: Correia, MH; Oliveira, JF ; Ferreira, JS ;
PUBLISHED: 2001, SOURCE: International Transactions in Operational Research, VOLUME: 8, ISSUE: 5, PAGES: 571-583
AUTHORS: Correia, MH; Oliveira, JF ; Ferreira, JS ;
PUBLISHED: 2001, SOURCE: International Transactions in Operational Research, VOLUME: 8, ISSUE: 5, PAGES: 571-583
17535
TITLE: A Novel Implementation of the Extended Andorra Model
AUTHORS: Ricardo Lopes; Vítor Santos Costa ; Fernando M A Silva ;
PUBLISHED: 2001, SOURCE: 3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001 in Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings, VOLUME: 1990, PAGES: 199-213
AUTHORS: Ricardo Lopes; Vítor Santos Costa ; Fernando M A Silva ;
PUBLISHED: 2001, SOURCE: 3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001 in Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings, VOLUME: 1990, PAGES: 199-213
17536
TITLE: A parallel algorithm for the simulation of the dynamic behaviour of liquid-liquid agitated columns
AUTHORS: Gomes, EF ; Ribeiro, LM ; Regueiras, PFR; Cruz Pinto, JJC;
PUBLISHED: 2001, SOURCE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PAGES: 536-547
AUTHORS: Gomes, EF ; Ribeiro, LM ; Regueiras, PFR; Cruz Pinto, JJC;
PUBLISHED: 2001, SOURCE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PAGES: 536-547
17537
TITLE: A silicon probe with integrated microelectronics for soil moisture measurements
AUTHORS: Valente, A ; Cunha, JB ; Correia, JH ; Couto, C;
PUBLISHED: 2001, SOURCE: World Congress on Computers in Agriculture and Natural Resources in PROCEEDINGS OF THE WORLD CONGRESS OF COMPUTERS IN AGRICULTURE AND NATURAL RESOURCES, PAGES: 440-446
AUTHORS: Valente, A ; Cunha, JB ; Correia, JH ; Couto, C;
PUBLISHED: 2001, SOURCE: World Congress on Computers in Agriculture and Natural Resources in PROCEEDINGS OF THE WORLD CONGRESS OF COMPUTERS IN AGRICULTURE AND NATURAL RESOURCES, PAGES: 440-446
INDEXED IN: WOS CrossRef
WOS CrossRef17538
TITLE: A social and organisational ontological foundation for enterprise modelling
AUTHORS: Soares, AL ;
PUBLISHED: 2001, SOURCE: IFAC Symposium on Manufacturing, Modeling, Management and Control (MIN 2000) in MANUFACTURING, MODELING, MANAGEMENT AND CONTROL, PROCEEDINGS, PAGES: 417-422
AUTHORS: Soares, AL ;
PUBLISHED: 2001, SOURCE: IFAC Symposium on Manufacturing, Modeling, Management and Control (MIN 2000) in MANUFACTURING, MODELING, MANAGEMENT AND CONTROL, PROCEEDINGS, PAGES: 417-422
INDEXED IN: WOS
WOS17539
TITLE: A versatile acoustic beacon for navigation and remote tracking of multiple underwater vehicles
AUTHORS: Cruz, N ; Madureira, L; Matos, A ; Pereira, FL ;
PUBLISHED: 2001, SOURCE: Annual Conference of the Marine-Technology-Society in OCEANS 2001 MTS/IEEE: AN OCEAN ODYSSEY, VOLS 1-4, CONFERENCE PROCEEDINGS, VOLUME: 3, PAGES: 1829-1834
AUTHORS: Cruz, N ; Madureira, L; Matos, A ; Pereira, FL ;
PUBLISHED: 2001, SOURCE: Annual Conference of the Marine-Technology-Society in OCEANS 2001 MTS/IEEE: AN OCEAN ODYSSEY, VOLS 1-4, CONFERENCE PROCEEDINGS, VOLUME: 3, PAGES: 1829-1834
17540
TITLE: Accurate estimation in the ODFT domain of the frequency, phase and magnitude of stationary sinusoids
AUTHORS: Ferreira, AJS ;
PUBLISHED: 2001, SOURCE: IEEE Workshop on the Applications of Signal Processing to Audio and Acoustics in PROCEEDINGS OF THE 2001 IEEE WORKSHOP ON THE APPLICATIONS OF SIGNAL PROCESSING TO AUDIO AND ACOUSTICS, PAGES: 47-50
AUTHORS: Ferreira, AJS ;
PUBLISHED: 2001, SOURCE: IEEE Workshop on the Applications of Signal Processing to Audio and Acoustics in PROCEEDINGS OF THE 2001 IEEE WORKSHOP ON THE APPLICATIONS OF SIGNAL PROCESSING TO AUDIO AND ACOUSTICS, PAGES: 47-50
