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: 18107
1699 Team MembersFilters -> Year: 2024
11361
TITLE: Aspect-based source to source transformations
AUTHORS: De F. Coutinho, JG; Cardoso, JMP ; Carvalho, T ; Bhattacharya, S; Luk, W; Constantinides, G; Diniz, PC ; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 71-103
AUTHORS: De F. Coutinho, JG; Cardoso, JMP ; Carvalho, T ; Bhattacharya, S; Luk, W; Constantinides, G; Diniz, PC ; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 71-103
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef11362
TITLE: Assessing contextual mood in public transport: A pilot study. a pilot study
AUTHORS: Costa, PM; Pitt, J; Galvao, T ; Falcao E Cunha, J ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2013 in MobileHCI 2013 - Proceedings of the 15th International Conference on Human-Computer Interaction with Mobile Devices and Services, PAGES: 498-503
AUTHORS: Costa, PM; Pitt, J; Galvao, T ; Falcao E Cunha, J ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2013 in MobileHCI 2013 - Proceedings of the 15th International Conference on Human-Computer Interaction with Mobile Devices and Services, PAGES: 498-503
11363
TITLE: Assessing the evolution of school performance and value-added: trends over four years Full Text
AUTHORS: Portela, MC ; Camanho, AS ; Keshvari, A;
PUBLISHED: 2013, SOURCE: JOURNAL OF PRODUCTIVITY ANALYSIS, VOLUME: 39, ISSUE: 1, PAGES: 1-14
AUTHORS: Portela, MC ; Camanho, AS ; Keshvari, A;
PUBLISHED: 2013, SOURCE: JOURNAL OF PRODUCTIVITY ANALYSIS, VOLUME: 39, ISSUE: 1, PAGES: 1-14
11364
TITLE: Assessment of 3D scanners for modeling pectus carinatum corrective bar
AUTHORS: Moreira, AHJ; Fonseca, JG; Rodrigues, PL; Fonseca, JC; Pinho, ACM ; Correia Pinto, J ; Rodrigues, NF ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 122-125
AUTHORS: Moreira, AHJ; Fonseca, JG; Rodrigues, PL; Fonseca, JC; Pinho, ACM ; Correia Pinto, J ; Rodrigues, NF ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 122-125
INDEXED IN: Scopus
Scopus11365
TITLE: Assessment of dispersion map impact on the digital back propagation of long-haul fibre-optic links Full Text
AUTHORS: Pessoa, LM ; Salgado, HM ; Darwazeh, I;
PUBLISHED: 2013, SOURCE: OPTICAL AND QUANTUM ELECTRONICS, VOLUME: 45, ISSUE: 3, PAGES: 257-269
AUTHORS: Pessoa, LM ; Salgado, HM ; Darwazeh, I;
PUBLISHED: 2013, SOURCE: OPTICAL AND QUANTUM ELECTRONICS, VOLUME: 45, ISSUE: 3, PAGES: 257-269
11366
TITLE: Assessment of the investment effort in HV and MV networks to reduce energy losses
AUTHORS: Martins, JC; Da Silva, JR; Santos, CA; Branco, FC; Nuno Fidalgo, J; Matos, MA ; Couto, MJ;
PUBLISHED: 2013, SOURCE: 22nd International Conference and Exhibition on Electricity Distribution, CIRED 2013 in IET Conference Publications, VOLUME: 2013, ISSUE: 615 CP
AUTHORS: Martins, JC; Da Silva, JR; Santos, CA; Branco, FC; Nuno Fidalgo, J; Matos, MA ; Couto, MJ;
PUBLISHED: 2013, SOURCE: 22nd International Conference and Exhibition on Electricity Distribution, CIRED 2013 in IET Conference Publications, VOLUME: 2013, ISSUE: 615 CP
INDEXED IN: Scopus CrossRef
Scopus CrossRef11367
TITLE: Automated theorem proving for the systematic analysis of an infusion pump
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: Scopus 
DBLP
Scopus DBLP11368
TITLE: Automatic Annotation of Leishmania Infections in Fluorescence Microscopy Images Full Text
AUTHORS: Joao C Neves; Helena Castro; Hugo Proenca ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, VOLUME: 7950, PAGES: 613-620
AUTHORS: Joao C Neves; Helena Castro; Hugo Proenca ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, VOLUME: 7950, PAGES: 613-620
11369
TITLE: Automatic Classification of Retinal Vessels Using Structural and Intensity Information
AUTHORS: Behdad Dashtbozorg; Ana Maria Mendonca ; Aurelio Campilho ;
PUBLISHED: 2013, SOURCE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PAGES: 584-591
AUTHORS: Behdad Dashtbozorg; Ana Maria Mendonca ; Aurelio Campilho ;
PUBLISHED: 2013, SOURCE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PAGES: 584-591
11370
TITLE: Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm
AUTHORS: David Parker; Martin Walker; Luís Silva Azevedo; Yiannis Papadopoulos; Rui Esteves Araujo ;
PUBLISHED: 2013, SOURCE: 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013 in Recent Trends in Applied Artificial Intelligence, 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings, VOLUME: 7906, PAGES: 449-459
AUTHORS: David Parker; Martin Walker; Luís Silva Azevedo; Yiannis Papadopoulos; Rui Esteves Araujo ;
PUBLISHED: 2013, SOURCE: 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013 in Recent Trends in Applied Artificial Intelligence, 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings, VOLUME: 7906, PAGES: 449-459
11371
TITLE: Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search
AUTHORS: Luís Silva Azevedo; David Parker; Martin Walker; Yiannis Papadopoulos; Rui Esteves Araujo ;
PUBLISHED: 2013, SOURCE: SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
AUTHORS: Luís Silva Azevedo; David Parker; Martin Walker; Yiannis Papadopoulos; Rui Esteves Araujo ;
PUBLISHED: 2013, SOURCE: SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
INDEXED IN: DBLP
DBLP11372
TITLE: Automatic Emotional Reactions Identification: A Software Tool for Offline User Experience Research
AUTHORS: Nogueira, PA ; Torres, V; Rodrigues, R ;
PUBLISHED: 2013, SOURCE: 12th IFIP International Conference on Entertainment Computing (ICEC) in ENTERTAINMENT COMPUTING - ICEC 2013, VOLUME: 8215, PAGES: 164-167
AUTHORS: Nogueira, PA ; Torres, V; Rodrigues, R ;
PUBLISHED: 2013, SOURCE: 12th IFIP International Conference on Entertainment Computing (ICEC) in ENTERTAINMENT COMPUTING - ICEC 2013, VOLUME: 8215, PAGES: 164-167
11373
TITLE: Automatic Estimation of the Arteriolar-to-Venular Ratio in Retinal Images Using a Graph-Based Approach for Artery/Vein Classification Full Text
AUTHORS: Behdad Dashtbozorg; Ana Maria Mendonca ; Auelio Campilho ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, VOLUME: 7950, PAGES: 530-538
AUTHORS: Behdad Dashtbozorg; Ana Maria Mendonca ; Auelio Campilho ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, VOLUME: 7950, PAGES: 530-538
11374
TITLE: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTHORS: Ana Paula Tomas ; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PAGES: 848-863
AUTHORS: Ana Paula Tomas ; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PAGES: 848-863
11375
TITLE: Automatic Lane Segmentation in TLC Images Using the Continuous Wavelet Transform Full Text
AUTHORS: Bruno Moreira; Antonio Sousa ; Ana Maria Mendonca ; Aurelio Campilho ;
PUBLISHED: 2013, SOURCE: COMPUTATIONAL AND MATHEMATICAL METHODS IN MEDICINE, VOLUME: 2013, PAGES: 218415:1-218415:19
AUTHORS: Bruno Moreira; Antonio Sousa ; Ana Maria Mendonca ; Aurelio Campilho ;
PUBLISHED: 2013, SOURCE: COMPUTATIONAL AND MATHEMATICAL METHODS IN MEDICINE, VOLUME: 2013, PAGES: 218415:1-218415:19
11376
TITLE: Automatic localization of the optic disc by combining vascular and intensity information Full Text
AUTHORS: Ana Maria Mendonca ; Antonio Sousa ; Luis Mendonca; Aurelio Campilho ;
PUBLISHED: 2013, SOURCE: COMPUTERIZED MEDICAL IMAGING AND GRAPHICS, VOLUME: 37, ISSUE: 5-6, PAGES: 409-417
AUTHORS: Ana Maria Mendonca ; Antonio Sousa ; Luis Mendonca; Aurelio Campilho ;
PUBLISHED: 2013, SOURCE: COMPUTERIZED MEDICAL IMAGING AND GRAPHICS, VOLUME: 37, ISSUE: 5-6, PAGES: 409-417
11377
TITLE: Automatic modeling of an orthotic bracing for nonoperative correction of Pectus Carinatum
AUTHORS: Vilaca, JL ; Rodrigues, PL; Moreira, AHJ; Fonseca, JG; Pinho, ACM ; Fonseca, JC; Rodrigues, N ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 71-74
AUTHORS: Vilaca, JL ; Rodrigues, PL; Moreira, AHJ; Fonseca, JG; Pinho, ACM ; Fonseca, JC; Rodrigues, N ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 71-74
INDEXED IN: Scopus
Scopus11378
TITLE: Automatic Street Surface Modeling for Web-Based Urban Information Systems Full Text
AUTHORS: Maria D Dolores Robles Ortega; Lidia Ortega; Antonio Coelho ; Francisco Feito; Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: JOURNAL OF URBAN PLANNING AND DEVELOPMENT-ASCE, VOLUME: 139, ISSUE: 1, PAGES: 40-48
AUTHORS: Maria D Dolores Robles Ortega; Lidia Ortega; Antonio Coelho ; Francisco Feito; Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: JOURNAL OF URBAN PLANNING AND DEVELOPMENT-ASCE, VOLUME: 139, ISSUE: 1, PAGES: 40-48
11379
TITLE: Availability of Thermal Loads to Provide Reserve Services
AUTHORS: Miguel Heleno ; Manuel A Matos ; Pecas Lopes, JAP ;
PUBLISHED: 2013, SOURCE: IEEE Grenoble PowerTech (POWERTECH) Conference in 2013 IEEE GRENOBLE POWERTECH (POWERTECH)
AUTHORS: Miguel Heleno ; Manuel A Matos ; Pecas Lopes, JAP ;
PUBLISHED: 2013, SOURCE: IEEE Grenoble PowerTech (POWERTECH) Conference in 2013 IEEE GRENOBLE POWERTECH (POWERTECH)
11380
TITLE: Avoiding Anomalies in Data Stream Learning Full Text
AUTHORS: Joao Gama ; Petr Kosina; Ezilda Almeida ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 49-63
AUTHORS: Joao Gama ; Petr Kosina; Ezilda Almeida ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 49-63
