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: 25045
1716 Team MembersFilters -> Year: 2026
23981
TITLE: On the Relation between Rank 2 Intersection Types and Simple Types PDF
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 259-274
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 259-274
INDEXED IN: 
DBLP
DBLP23982
TITLE: On-line determination of biomass in a microalga bioreactor using a novel computerized flow injection analysis system Full Text
AUTHORS: Meireles, LA; Azevedo, JL ; Cunha, JP ; Malcata, FX ;
PUBLISHED: 2002, SOURCE: BIOTECHNOLOGY PROGRESS, VOLUME: 18, ISSUE: 6, PAGES: 1387-1391
AUTHORS: Meireles, LA; Azevedo, JL ; Cunha, JP ; Malcata, FX ;
PUBLISHED: 2002, SOURCE: BIOTECHNOLOGY PROGRESS, VOLUME: 18, ISSUE: 6, PAGES: 1387-1391
23983
TITLE: On-line security of an electric power system using a transient stability contingency screening and ranking technique
AUTHORS: Ferreira, CMM ; Pinto, JAD; Barbosa, FPM ;
PUBLISHED: 2002, SOURCE: 11th IEEE Mediterranean Electrotechnical Conference (IEEE MELECON 2002) in 11TH IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, PROCEEDINGS, VOLUME: 1, PAGES: 331-335
AUTHORS: Ferreira, CMM ; Pinto, JAD; Barbosa, FPM ;
PUBLISHED: 2002, SOURCE: 11th IEEE Mediterranean Electrotechnical Conference (IEEE MELECON 2002) in 11TH IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, PROCEEDINGS, VOLUME: 1, PAGES: 331-335
INDEXED IN: 
Scopus 
WOS
Scopus WOS23985
TITLE: Optical fiber interferometer for measuring the d(33) coefficient of piezoelectric thin films with compensation of substrate bending Full Text
AUTHORS: Fernandes, JR ; de Sa, FA ; Santos, JL ; Joanni, E;
PUBLISHED: 2002, SOURCE: REVIEW OF SCIENTIFIC INSTRUMENTS, VOLUME: 73, ISSUE: 5, PAGES: 2073-2078
AUTHORS: Fernandes, JR ; de Sa, FA ; Santos, JL ; Joanni, E;
PUBLISHED: 2002, SOURCE: REVIEW OF SCIENTIFIC INSTRUMENTS, VOLUME: 73, ISSUE: 5, PAGES: 2073-2078
23986
TITLE: Optimistic total order in wide area networks Full Text
AUTHORS: Sousa, A ; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 190-199
AUTHORS: Sousa, A ; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 190-199
23987
TITLE: P<SUP>3</SUP>:: Parallel peer to peer an -: Internet parallel programming environment
AUTHORS: Oliveira, L ; Lopes, L ; Silva, F ;
PUBLISHED: 2002, SOURCE: International Workshop on Web Engineering/International Workshop on Peer-to-Peer Computing held Jointly with Networking 2002 in WEB ENGINEERING AND PEER TO PEER COMPUTING, VOLUME: 2376, PAGES: 274-288
AUTHORS: Oliveira, L ; Lopes, L ; Silva, F ;
PUBLISHED: 2002, SOURCE: International Workshop on Web Engineering/International Workshop on Peer-to-Peer Computing held Jointly with Networking 2002 in WEB ENGINEERING AND PEER TO PEER COMPUTING, VOLUME: 2376, PAGES: 274-288
23988
TITLE: Part II – Towards an OPIM system: results of the OPIM system design simulation and an applicability analysis
AUTHORS: Goran D Putnik; Paulo António da Silva Ávila ;
PUBLISHED: 2002, SOURCE: International Journal of Networking and Virtual Organisations, VOLUME: 1, ISSUE: 2, PAGES: 151-169
AUTHORS: Goran D Putnik; Paulo António da Silva Ávila ;
PUBLISHED: 2002, SOURCE: International Journal of Networking and Virtual Organisations, VOLUME: 1, ISSUE: 2, PAGES: 151-169
INDEXED IN: Scopus
Scopus23989
TITLE: Performance analysis of multi-legged systems
AUTHORS: Silva, MF ; Machado, JAT ; Lopes, AM ;
PUBLISHED: 2002, SOURCE: 19th IEEE International Conference on Robotics and Automation (ICRA) in 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, VOLUME: 3, PAGES: 2234-2239
AUTHORS: Silva, MF ; Machado, JAT ; Lopes, AM ;
PUBLISHED: 2002, SOURCE: 19th IEEE International Conference on Robotics and Automation (ICRA) in 2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, VOLUME: 3, PAGES: 2234-2239
INDEXED IN: Scopus WOS
Scopus WOS23990
TITLE: Performance evaluation of fast Ethernet, Giganet and Myrinet on a cluster
AUTHORS: Lobosco, M; Costa, VS ; de Amorim, CL;
PUBLISHED: 2002, SOURCE: International Conference on Computational Science in COMPUTATIONAL SCIENCE-ICCS 2002, PT I, PROCEEDINGS, VOLUME: 2329, ISSUE: PART 1, PAGES: 296-305
AUTHORS: Lobosco, M; Costa, VS ; de Amorim, CL;
PUBLISHED: 2002, SOURCE: International Conference on Computational Science in COMPUTATIONAL SCIENCE-ICCS 2002, PT I, PROCEEDINGS, VOLUME: 2329, ISSUE: PART 1, PAGES: 296-305
23991
TITLE: Please no more PID tuning rules
AUTHORS: Paulo d M Oliveira; José B Cunha ; João P Coelho;
PUBLISHED: 2002, SOURCE: Controlo 2002, 5ª Conferência Portuguesa de Controlo Automático
AUTHORS: Paulo d M Oliveira; José B Cunha ; João P Coelho;
PUBLISHED: 2002, SOURCE: Controlo 2002, 5ª Conferência Portuguesa de Controlo Automático
INDEXED IN: 
Handle
Handle23992
TITLE: Port wine spectral monitoring
AUTHORS: Oliveira, L ; Clemente, MP;
PUBLISHED: 2002, SOURCE: Spectroscopy Europe, VOLUME: 14, ISSUE: 5, PAGES: 22-27
AUTHORS: Oliveira, L ; Clemente, MP;
PUBLISHED: 2002, SOURCE: Spectroscopy Europe, VOLUME: 14, ISSUE: 5, PAGES: 22-27
INDEXED IN: Scopus
Scopus23993
TITLE: Post-processing operators for browsing large sets of association rules
AUTHORS: Jorge, A ; Pocas, J; Azevedo, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 414-421
AUTHORS: Jorge, A ; Pocas, J; Azevedo, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 414-421
23994
TITLE: Power analysis of multi-legged systems
AUTHORS: Silva, MF ; Machado, JAT; Lopes, AM ;
PUBLISHED: 2002, SOURCE: 15th World Congress of the International Federation of Automatic Control, 2002 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 15, ISSUE: 1, PAGES: 287-292
AUTHORS: Silva, MF ; Machado, JAT; Lopes, AM ;
PUBLISHED: 2002, SOURCE: 15th World Congress of the International Federation of Automatic Control, 2002 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 15, ISSUE: 1, PAGES: 287-292
23995
TITLE: Preface
AUTHORS: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLISHED: 2002, SOURCE: International Summer School on Applied Semantics, APPSEM 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2395 LNCS
AUTHORS: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLISHED: 2002, SOURCE: International Summer School on Applied Semantics, APPSEM 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2395 LNCS
INDEXED IN: Scopus
Scopus23996
TITLE: Preface Full Text
AUTHORS: Roland Backhouse; José Oliveira ;
PUBLISHED: 2002, SOURCE: Science of Computer Programming, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
AUTHORS: Roland Backhouse; José Oliveira ;
PUBLISHED: 2002, SOURCE: Science of Computer Programming, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
INDEXED IN: 
CrossRef
CrossRef23997
TITLE: Quasi-periodic gaits in multi-legged robots Full Text
AUTHORS: Silva, MF ; Machado, JAT; Lopes, AM ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Climbing and Walking Robots (CLAWAR 2002) in CLIMBING AND WALKING ROBOTS, PAGES: 733-740
AUTHORS: Silva, MF ; Machado, JAT; Lopes, AM ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Climbing and Walking Robots (CLAWAR 2002) in CLIMBING AND WALKING ROBOTS, PAGES: 733-740
INDEXED IN: WOS Handle
WOS Handle23998
TITLE: Querying XML Databases Full Text
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 142-150
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 142-150
23999
TITLE: Real-time implementation of an optical flow algorithm Full Text
AUTHORS: Miguel Velhote Correia ; Campilho, AC ;
PUBLISHED: 2002, SOURCE: 16th International Conference on Pattern Recognition (ICPR) in 16TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITON, VOL IV, PROCEEDINGS, VOLUME: 16, ISSUE: 4, PAGES: 247-250
AUTHORS: Miguel Velhote Correia ; Campilho, AC ;
PUBLISHED: 2002, SOURCE: 16th International Conference on Pattern Recognition (ICPR) in 16TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITON, VOL IV, PROCEEDINGS, VOLUME: 16, ISSUE: 4, PAGES: 247-250
24000
TITLE: Reducing the cost of group communication with semantic view synchrony
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 293-302
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 293-302
