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: 24960
1716 Team MembersFilters -> Year: 2026
21321
TITLE: 'Galculator': functional prototype of a Galois-connection based proof assistant
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 DBLP21322
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
Scopus21323
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 DBLP21324
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
CrossRef21325
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
21326
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
21327
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
21328
TITLE: A bio-inspired solution for manufacturing control systems
AUTHORS: Paulo Leitão ;
PUBLISHED: 2008
AUTHORS: Paulo Leitão ;
PUBLISHED: 2008
INDEXED IN: 
Handle
Handle21329
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
21330
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
21331
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
21332
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
21333
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
21334
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
WOS21335
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
DBLP21336
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
WOS21337
TITLE: A CONNECTED PATH APPROACH FOR STAFF DETECTION ON A MUSIC SCORE
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
21338
TITLE: A custom processor for a TDMA solver in a CFD application
AUTHORS: Filipe Oliveira; Silva S Santos; Castro, FA; Jose C Alves ;
PUBLISHED: 2008, SOURCE: 4th International Workshop on Applied Reconfigurable Computing in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 4943, PAGES: 63-74
AUTHORS: Filipe Oliveira; Silva S Santos; Castro, FA; Jose C Alves ;
PUBLISHED: 2008, SOURCE: 4th International Workshop on Applied Reconfigurable Computing in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 4943, PAGES: 63-74
INDEXED IN: WOS
WOS21339
TITLE: A custom processor for a TDMA solver in a CFD application
AUTHORS: Oliveira, F; Santos, CS; Castro, FA; Alves, JC ;
PUBLISHED: 2008, SOURCE: 4th International Workshop on Applied Reconfigurable Computing, ARC 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4943 LNCS, PAGES: 63-74
AUTHORS: Oliveira, F; Santos, CS; Castro, FA; Alves, JC ;
PUBLISHED: 2008, SOURCE: 4th International Workshop on Applied Reconfigurable Computing, ARC 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4943 LNCS, PAGES: 63-74
21340
TITLE: A Decision Support System for Planning Promotion Time Slots
AUTHORS: Pereira, PA; Fontes, FACC ; Fontes, DBMM ;
PUBLISHED: 2008, SOURCE: Annual International Conference of the German-Operations-Research-Society in OPERATIONS RESEARCH PROCEEDINGS 2007, PAGES: 147-+
AUTHORS: Pereira, PA; Fontes, FACC ; Fontes, DBMM ;
PUBLISHED: 2008, SOURCE: Annual International Conference of the German-Operations-Research-Society in OPERATIONS RESEARCH PROCEEDINGS 2007, PAGES: 147-+
