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: 19101
1704 Team MembersFilters -> Year: 2025
14261
TITLE: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTHORS: Alexandre Madeira ; Jose M Faria; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041, PAGES: 269-285
AUTHORS: Alexandre Madeira ; Jose M Faria; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041, PAGES: 269-285
14262
TITLE: Hybridization of Institutions
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, VOLUME: 6859, PAGES: 283-297
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, VOLUME: 6859, PAGES: 283-297
14263
TITLE: ICT in Agro-industrial management Management System for Harvesting Mushrooms
AUTHORS: Simone A Canuto; Ramiro Manuel R M Ramos Moreira Goncalves; Mario M Mollo Neto; Frederico Augusto D dos Santos Branco ; Boaventura B Cunha ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 420-427
AUTHORS: Simone A Canuto; Ramiro Manuel R M Ramos Moreira Goncalves; Mario M Mollo Neto; Frederico Augusto D dos Santos Branco ; Boaventura B Cunha ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 420-427
INDEXED IN: 
WOS
WOS14264
TITLE: ICT management in the agro-industry
AUTHORS: Canuto, SA; Goncalves, RMRM ; Neto, MM; Dos Santos Branco, FA ; Cunha, JB ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
AUTHORS: Canuto, SA; Goncalves, RMRM ; Neto, MM; Dos Santos Branco, FA ; Cunha, JB ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: 
Scopus
Scopus14265
TITLE: ICT4Depression: service oriented architecture applied to the treatment of depression
AUTHORS: Artur Rocha ; Mario Ricardo Henriques ; Joao Correia Lopes ; Rui Camacho ; Michel Klein; Gabriele Modena; Pepijn Van de Ven; Elaine McGovern; Eric Tousset; Thibaut Gauthier; Lisanne Warmerdam;
PUBLISHED: 2011, SOURCE: 25th International Symposium on Computer-Based Medical Systems (CBMS) in 2012 25TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 1-6
AUTHORS: Artur Rocha ; Mario Ricardo Henriques ; Joao Correia Lopes ; Rui Camacho ; Michel Klein; Gabriele Modena; Pepijn Van de Ven; Elaine McGovern; Eric Tousset; Thibaut Gauthier; Lisanne Warmerdam;
PUBLISHED: 2011, SOURCE: 25th International Symposium on Computer-Based Medical Systems (CBMS) in 2012 25TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 1-6
14266
TITLE: Ictal head turning in frontal and temporal lobe epilepsy. Ictal Head Turning in FLE and TLE Full Text
AUTHORS: Jan Remi; Philipp Wagner; Rebecca O'Dwyer; Joao P S Silva Cunha ; Christian Vollmar; Isabella Krotofil; Soheyl Noachtar;
PUBLISHED: 2011, SOURCE: EPILEPSIA, VOLUME: 52, ISSUE: 8, PAGES: 1447-1451
AUTHORS: Jan Remi; Philipp Wagner; Rebecca O'Dwyer; Joao P S Silva Cunha ; Christian Vollmar; Isabella Krotofil; Soheyl Noachtar;
PUBLISHED: 2011, SOURCE: EPILEPSIA, VOLUME: 52, ISSUE: 8, PAGES: 1447-1451
14267
TITLE: Identification of rib boundaries in chest x-ray images using elliptical models
AUTHORS: Brás, L; Jorge, AM ; Gomes, EF ; Duarte, R ;
PUBLISHED: 2011, SOURCE: Technology and Medical Sciences - TMSi 2010, PAGES: 129-134
AUTHORS: Brás, L; Jorge, AM ; Gomes, EF ; Duarte, R ;
PUBLISHED: 2011, SOURCE: Technology and Medical Sciences - TMSi 2010, PAGES: 129-134
INDEXED IN: Scopus
Scopus14268
TITLE: Identification of rib boundaries in chest X-ray images using elliptical models
AUTHORS: Luis Bras; Alipio M Jorge ; Elsa Ferreira Gomes ; Raquel Duarte ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Technology and Medical Sciences (TMSi) in TECHNOLOGY AND MEDICAL SCIENCES - TMSI 2010, PAGES: 129-134
AUTHORS: Luis Bras; Alipio M Jorge ; Elsa Ferreira Gomes ; Raquel Duarte ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Technology and Medical Sciences (TMSi) in TECHNOLOGY AND MEDICAL SCIENCES - TMSI 2010, PAGES: 129-134
INDEXED IN: Scopus WOS
Scopus WOS14269
TITLE: Identifying different visual patterns in web users behaviour
AUTHORS: Martinho Gonçalves; Tânia Rocha ; Luís Magalhães ; Emanuel Peres ; Maximino Bessa ; Alan Chalmers;
PUBLISHED: 2011, SOURCE: 27th Spring Conference on Computer Graphics, SCCG 2011 in Spring Conference on Computer Graphics, SCCG '11, Vininé, Slovakia, April 28-30, 2011, PAGES: 65-70
AUTHORS: Martinho Gonçalves; Tânia Rocha ; Luís Magalhães ; Emanuel Peres ; Maximino Bessa ; Alan Chalmers;
PUBLISHED: 2011, SOURCE: 27th Spring Conference on Computer Graphics, SCCG 2011 in Spring Conference on Computer Graphics, SCCG '11, Vininé, Slovakia, April 28-30, 2011, PAGES: 65-70
14270
TITLE: Identifying Merge-Beneficial Software Kernels for Hardware Implementation
AUTHORS: Adriano K Sanches; João M P Cardoso ; Alexandre C B Delbem;
PUBLISHED: 2011, SOURCE: 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011 in 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011, PAGES: 74-79
AUTHORS: Adriano K Sanches; João M P Cardoso ; Alexandre C B Delbem;
PUBLISHED: 2011, SOURCE: 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011 in 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011, PAGES: 74-79
14271
TITLE: Identifying Potentially Cancerous Tissues in Chromoendoscopy Images
AUTHORS: Farhan Riaz; Fernando Vilarino; Mario D Dinis Ribeiro ; Miguel Coimbra ;
PUBLISHED: 2011, SOURCE: 5th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011, VOLUME: 6669, PAGES: 709-716
AUTHORS: Farhan Riaz; Fernando Vilarino; Mario D Dinis Ribeiro ; Miguel Coimbra ;
PUBLISHED: 2011, SOURCE: 5th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011, VOLUME: 6669, PAGES: 709-716
14272
TITLE: ILP made easy
AUTHORS: Santos, A; Camacho, R ;
PUBLISHED: 2011, SOURCE: IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, PAGES: 175-180
AUTHORS: Santos, A; Camacho, R ;
PUBLISHED: 2011, SOURCE: IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS European Conference on Data Mining 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, PAGES: 175-180
INDEXED IN: Scopus
Scopus14273
TITLE: Image Analysis and Recognition
AUTHORS: Mohamed Kamel; Aurélio Campilho ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
AUTHORS: Mohamed Kamel; Aurélio Campilho ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef14274
TITLE: Image Analysis and Recognition
AUTHORS: Mohamed Kamel; Aurélio Campilho ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
AUTHORS: Mohamed Kamel; Aurélio Campilho ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef14275
TITLE: Image Analysis and Recognition - 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part I
AUTHORS: Mohamed Kamel; Aurélio C Campilho ;
PUBLISHED: 2011, SOURCE: ICIAR (1), VOLUME: 6753
AUTHORS: Mohamed Kamel; Aurélio C Campilho ;
PUBLISHED: 2011, SOURCE: ICIAR (1), VOLUME: 6753
INDEXED IN: 
DBLP
DBLP14276
TITLE: Image Analysis and Recognition - 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part II
AUTHORS: Mohamed Kamel; Aurélio C Campilho ;
PUBLISHED: 2011, SOURCE: ICIAR (2), VOLUME: 6754
AUTHORS: Mohamed Kamel; Aurélio C Campilho ;
PUBLISHED: 2011, SOURCE: ICIAR (2), VOLUME: 6754
INDEXED IN: DBLP
DBLP14277
TITLE: Image Processing for the Estimation of Drop Distribution in Agitated Liquid-Liquid Dispersion
AUTHORS: Bras, LMR; Gomes, EF ; M. M. M. Ribeiro;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 321-327
AUTHORS: Bras, LMR; Gomes, EF ; M. M. M. Ribeiro;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 321-327
14278
TITLE: Immune response dynamics Full Text
AUTHORS: Burroughs, NJ; Oliveira, BMPM ; Pinto, AA ; Ferreira, M ;
PUBLISHED: 2011, SOURCE: MATHEMATICAL AND COMPUTER MODELLING, VOLUME: 53, ISSUE: 7-8, PAGES: 1410-1419
AUTHORS: Burroughs, NJ; Oliveira, BMPM ; Pinto, AA ; Ferreira, M ;
PUBLISHED: 2011, SOURCE: MATHEMATICAL AND COMPUTER MODELLING, VOLUME: 53, ISSUE: 7-8, PAGES: 1410-1419
14279
TITLE: Impact of Fluid Restriction and ad Libitum Water Intake or an 8% Carbohydrate-Electrolyte Beverage on Skill Performance of Elite Adolescent Basketball Players
AUTHORS: Carvalho, P; Oliveira, B ; Barros, R ; Padrao, P ; Moreira, P ; Teixeira, VH ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF SPORT NUTRITION AND EXERCISE METABOLISM, VOLUME: 21, ISSUE: 3, PAGES: 214-221
AUTHORS: Carvalho, P; Oliveira, B ; Barros, R ; Padrao, P ; Moreira, P ; Teixeira, VH ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF SPORT NUTRITION AND EXERCISE METABOLISM, VOLUME: 21, ISSUE: 3, PAGES: 214-221
14280
TITLE: Impact of Multi-Microgrid Communication Systems in Islanded Operation
AUTHORS: Rua, D ; Moura Pereira, LFM; Gil, N; Pecas Lopes, JAP ;
PUBLISHED: 2011, SOURCE: 2nd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies (ISGT Europe) in 2011 2ND IEEE PES INTERNATIONAL CONFERENCE AND EXHIBITION ON INNOVATIVE SMART GRID TECHNOLOGIES (ISGT EUROPE)
AUTHORS: Rua, D ; Moura Pereira, LFM; Gil, N; Pecas Lopes, JAP ;
PUBLISHED: 2011, SOURCE: 2nd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies (ISGT Europe) in 2011 2ND IEEE PES INTERNATIONAL CONFERENCE AND EXHIBITION ON INNOVATIVE SMART GRID TECHNOLOGIES (ISGT EUROPE)
