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: 25101
1717 Team MembersFilters -> Year: 2026
21461
TITLE: Workplace occupation and equipment availability and utilization, in the context of maintenance float systems
AUTHORS: Lopes, IS; Leitao, AF ; Pereira, GAB ;
PUBLISHED: 2009, SOURCE: European Safety and Reliability Conference (ESREL)/17th Annual Meeting of the Society-for-Risk-Analysis-Europe (SRA-Europe) in SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, VOLUME: 1, PAGES: 675-683
AUTHORS: Lopes, IS; Leitao, AF ; Pereira, GAB ;
PUBLISHED: 2009, SOURCE: European Safety and Reliability Conference (ESREL)/17th Annual Meeting of the Society-for-Risk-Analysis-Europe (SRA-Europe) in SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, VOLUME: 1, PAGES: 675-683
INDEXED IN: 
Scopus 
WOS
Scopus WOS21462
TITLE: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays Full Text
AUTHORS: Leito, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
PUBLISHED: 2009, SOURCE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 236-245
AUTHORS: Leito, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
PUBLISHED: 2009, SOURCE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 236-245
21463
TITLE: YEAST METABOLIC STATE IDENTIFICATION BY FIBER OPTICS SPECTROSCOPY
AUTHORS: Castro, CC; Silva, JS; Lopes, VV; Martins, RC ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Bio-Inspired Systems and Signal Processing in BIOSIGNALS 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PAGES: 169-178
AUTHORS: Castro, CC; Silva, JS; Lopes, VV; Martins, RC ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Bio-Inspired Systems and Signal Processing in BIOSIGNALS 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIO-INSPIRED SYSTEMS AND SIGNAL PROCESSING, PAGES: 169-178
INDEXED IN: Scopus WOS
Scopus WOS21464
TITLE: 'Galculator': functional prototype of a Galois-connection based proof assistant Full Text
AUTHORS: Paulo F Silva ; José Nuno Oliveira ;
PUBLISHED: 2008, SOURCE: PPDP, PAGES: 44-55
AUTHORS: Paulo F Silva ; José Nuno Oliveira ;
PUBLISHED: 2008, SOURCE: PPDP, PAGES: 44-55
INDEXED IN: Scopus 
DBLP
Scopus DBLP21465
TITLE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008: Preface
AUTHORS: Pu, C; Kersten, M; Oliveira, R ;
PUBLISHED: 2008, SOURCE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - EuroSys 2008 in 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008
AUTHORS: Pu, C; Kersten, M; Oliveira, R ;
PUBLISHED: 2008, SOURCE: 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - EuroSys 2008 in 2nd Workshop on Dependable Distributed Data Management, WDDDM'08 - Affiliated with EuroSys 2008
INDEXED IN: Scopus
Scopus21466
TITLE: 3D object reconstruction from uncalibrated images using a single off-the-shelf camera
AUTHORS: Azevedo, TCS ; João Manuel R. S. Tavares ; Vaz, MAP ;
PUBLISHED: 2008, SOURCE: 1st ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing in COMPUTATIONAL VISION AND MEDICAL IMAGING PROCESSING, PAGES: 203-+
AUTHORS: Azevedo, TCS ; João Manuel R. S. Tavares ; Vaz, MAP ;
PUBLISHED: 2008, SOURCE: 1st ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing in COMPUTATIONAL VISION AND MEDICAL IMAGING PROCESSING, PAGES: 203-+
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP21467
TITLE: 529: Failed Back Surgery Syndrome
AUTHORS: FERREIRA, M; REBELO, H; GOMES, D; ARANTES, S; PEREIRA, J ; MARCOS, A;
PUBLISHED: 2008, SOURCE: Regional Anesthesia and Pain Medicine, VOLUME: 33, ISSUE: 5
AUTHORS: FERREIRA, M; REBELO, H; GOMES, D; ARANTES, S; PEREIRA, J ; MARCOS, A;
PUBLISHED: 2008, SOURCE: Regional Anesthesia and Pain Medicine, VOLUME: 33, ISSUE: 5
INDEXED IN: 
CrossRef
CrossRef21468
TITLE: <title>Automatic image registration based on correlation and Hough transform</title>
AUTHORS: Hernâni Gonçalves ; José A Gonçalves ; Luís Corte-Real ;
PUBLISHED: 2008, SOURCE: Image and Signal Processing for Remote Sensing XIV
AUTHORS: Hernâni Gonçalves ; José A Gonçalves ; Luís Corte-Real ;
PUBLISHED: 2008, SOURCE: Image and Signal Processing for Remote Sensing XIV
21469
TITLE: <title>Experimental results of antigliadin antibodies detection using long period fiber grating</title>
AUTHORS: Corres, JM; Matias, IR; Goicoechea, J; Arregui, FJ; Viegas, D ; Araújo, FM; Santos, JL ;
PUBLISHED: 2008, SOURCE: 19th International Conference on Optical Fibre Sensors
AUTHORS: Corres, JM; Matias, IR; Goicoechea, J; Arregui, FJ; Viegas, D ; Araújo, FM; Santos, JL ;
PUBLISHED: 2008, SOURCE: 19th International Conference on Optical Fibre Sensors
21470
TITLE: <title>Humidity sensor based on a long-period fiber grating coated with a SiO<formula><inf><roman>2</roman></inf></formula>-nanosphere film</title>
AUTHORS: Viegas, D ; Goicoechea, J; Corres, JM; Santos, JL ; Ferreira, LA; Araújo, FM; Matias, IR;
PUBLISHED: 2008, SOURCE: 19th International Conference on Optical Fibre Sensors
AUTHORS: Viegas, D ; Goicoechea, J; Corres, JM; Santos, JL ; Ferreira, LA; Araújo, FM; Matias, IR;
PUBLISHED: 2008, SOURCE: 19th International Conference on Optical Fibre Sensors
21471
TITLE: A bio-inspired solution for manufacturing control systems Full Text
AUTHORS: Paulo Leitao ;
PUBLISHED: 2008, SOURCE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PAGES: 303-314
AUTHORS: Paulo Leitao ;
PUBLISHED: 2008, SOURCE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PAGES: 303-314
21472
TITLE: A bio-inspired solution for manufacturing control systems
AUTHORS: Paulo Leitão ;
PUBLISHED: 2008
AUTHORS: Paulo Leitão ;
PUBLISHED: 2008
INDEXED IN: 
Handle
Handle21473
TITLE: A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
AUTHORS: Sun Meng; Luís Soares Barbosa ;
PUBLISHED: 2008, SOURCE: QSIC, PAGES: 17-26
AUTHORS: Sun Meng; Luís Soares Barbosa ;
PUBLISHED: 2008, SOURCE: QSIC, PAGES: 17-26
21474
TITLE: A Common Framework for Co-operative Robotics: An Open, Fault Tolerant Architecture for Multi-league RoboCup Teams
AUTHORS: Mota, L ; Reis, LP ;
PUBLISHED: 2008, SOURCE: 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots in SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS, PROCEEDINGS, VOLUME: 5325, PAGES: 171-182
AUTHORS: Mota, L ; Reis, LP ;
PUBLISHED: 2008, SOURCE: 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots in SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS, PROCEEDINGS, VOLUME: 5325, PAGES: 171-182
21475
TITLE: A comparative study on predicting algae blooms in Douro River, Portugal Full Text
AUTHORS: Rita Ribeiro ; Luis Torgo ;
PUBLISHED: 2008, SOURCE: 5th European Conference on Ecological Modelling in ECOLOGICAL MODELLING, VOLUME: 212, ISSUE: 1-2, PAGES: 86-91
AUTHORS: Rita Ribeiro ; Luis Torgo ;
PUBLISHED: 2008, SOURCE: 5th European Conference on Ecological Modelling in ECOLOGICAL MODELLING, VOLUME: 212, ISSUE: 1-2, PAGES: 86-91
21476
TITLE: A comparison of two-dimensional and three-dimensional techniques for the determination of hindlimb kinematics during treadmill locomotion in rats following spinal cord injury Full Text
AUTHORS: Pedro A Couto ; Vitor M Filipe ; Luis G Magalhaes ; Jose E Pereira; Luis M Costa; Pedro Melo Pinto ; Jose Bulas Cruz; Ana C Mauricio ; Stefano Geuna; Artur S P Varejao ;
PUBLISHED: 2008, SOURCE: JOURNAL OF NEUROSCIENCE METHODS, VOLUME: 173, ISSUE: 2, PAGES: 193-200
AUTHORS: Pedro A Couto ; Vitor M Filipe ; Luis G Magalhaes ; Jose E Pereira; Luis M Costa; Pedro Melo Pinto ; Jose Bulas Cruz; Ana C Mauricio ; Stefano Geuna; Artur S P Varejao ;
PUBLISHED: 2008, SOURCE: JOURNAL OF NEUROSCIENCE METHODS, VOLUME: 173, ISSUE: 2, PAGES: 193-200
21477
TITLE: A comprehensive approach to measure cosmetic and functional results of breast conserving therapy - design and first results of a pilot study Full Text
AUTHORS: Hell, JM; Brockhoff, J; Gebauer, G; Jenetzky, E; Cardoso, M; Cardoso, J ; Stanton, A; Sohn, C;
PUBLISHED: 2008, SOURCE: 6th European Breast Cancer Conference in EJC SUPPLEMENTS, VOLUME: 6, ISSUE: 7, PAGES: 206-206
AUTHORS: Hell, JM; Brockhoff, J; Gebauer, G; Jenetzky, E; Cardoso, M; Cardoso, J ; Stanton, A; Sohn, C;
PUBLISHED: 2008, SOURCE: 6th European Breast Cancer Conference in EJC SUPPLEMENTS, VOLUME: 6, ISSUE: 7, PAGES: 206-206
INDEXED IN: WOS
WOS21478
TITLE: A Computational Study on Emotions and Temperament in Multi-Agent Systems
AUTHORS: Luís Paulo Reis ; Daria Barteneva; Nuno Lau ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0809.4784
AUTHORS: Luís Paulo Reis ; Daria Barteneva; Nuno Lau ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0809.4784
INDEXED IN: DBLP
DBLP21479
TITLE: A computer system for predictive maintenance of wind generators
AUTHORS: Inácio Fonseca ; Torres Farinha ; Maciel Barbosa ;
PUBLISHED: 2008, SOURCE: 12th WSEAS International Conference on Computers in PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, PAGES: 928-933
AUTHORS: Inácio Fonseca ; Torres Farinha ; Maciel Barbosa ;
PUBLISHED: 2008, SOURCE: 12th WSEAS International Conference on Computers in PROCEEDINGS OF THE 12TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS , PTS 1-3: NEW ASPECTS OF COMPUTERS, PAGES: 928-933
INDEXED IN: WOS
WOS21480
TITLE: A CONNECTED PATH APPROACH FOR STAFF DETECTION ON A MUSIC SCORE Full Text
AUTHORS: Cardoso, JS ; Capela, A ; Rebelo, A ; Guedes, C ;
PUBLISHED: 2008, SOURCE: 15th IEEE International Conference on Image Processing (ICIP 2008) in 2008 15TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-5, PAGES: 1005-1008
AUTHORS: Cardoso, JS ; Capela, A ; Rebelo, A ; Guedes, C ;
PUBLISHED: 2008, SOURCE: 15th IEEE International Conference on Image Processing (ICIP 2008) in 2008 15TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-5, PAGES: 1005-1008
