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: 25026
1716 Team MembersFilters -> Year: 2026
16501
TITLE: Route planning for electric buses: a case study in Oporto
AUTHORS: Perrotta, D; Macedo, JL; Rossetti, RJF ; de Sousa, JF ; Kokkinogenis, Z ; Ribeiro, B; Afonso, JL ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 1004-1014
AUTHORS: Perrotta, D; Macedo, JL; Rossetti, RJF ; de Sousa, JF ; Kokkinogenis, Z ; Ribeiro, B; Afonso, JL ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 1004-1014
16502
TITLE: RPL Modifications to Improve the End-to-End Delay Estimation in WSN
AUTHORS: Pinto, P ; Pinto, A ; Ricardo, M ;
PUBLISHED: 2014, SOURCE: 11th International Symposium on Wireless Communications Systems (ISWCS) in 2014 11TH INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATIONS SYSTEMS (ISWCS), PAGES: 868-872
AUTHORS: Pinto, P ; Pinto, A ; Ricardo, M ;
PUBLISHED: 2014, SOURCE: 11th International Symposium on Wireless Communications Systems (ISWCS) in 2014 11TH INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATIONS SYSTEMS (ISWCS), PAGES: 868-872
16503
TITLE: RTFM-lang static semantics for systems with mixed criticality
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2, PAGES: 128-132
AUTHORS: Lindgren, P; Eriksson, J; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2014, SOURCE: Ada User Journal, VOLUME: 35, ISSUE: 2, PAGES: 128-132
INDEXED IN: 
Scopus
Scopus16504
TITLE: Rule based strategies for large extensive-form games: A specification language for No-Limit Texas Hold'em agents
AUTHORS: Teófilo, LF ; Reis, LP ; Cardoso, HL ; Mendes, P;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1249-1269
AUTHORS: Teófilo, LF ; Reis, LP ; Cardoso, HL ; Mendes, P;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1249-1269
16505
TITLE: Rumination Room: A serious game to deal with disturbing thoughts
AUTHORS: Oliveira, E; Goncalves, MM; Caridade, R; Rodrigues, N ;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health (SeGAH) in 2014 IEEE 3RD INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
AUTHORS: Oliveira, E; Goncalves, MM; Caridade, R; Rodrigues, N ;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health (SeGAH) in 2014 IEEE 3RD INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH)
16506
TITLE: Rumination room: A serious game to deal with disturbing thoughts
AUTHORS: Oliveira, E; Gonçalves, MM; Caridade, R; Rodrigues, N ;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014 in SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings
AUTHORS: Oliveira, E; Gonçalves, MM; Caridade, R; Rodrigues, N ;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014 in SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings
INDEXED IN: Scopus
Scopus16507
TITLE: SaaS Usage Information for Requirements Maintenance
AUTHORS: Ana Garcia; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: ICEIS (2), VOLUME: 2, PAGES: 323-330
AUTHORS: Ana Garcia; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: ICEIS (2), VOLUME: 2, PAGES: 323-330
16508
TITLE: Safe parallel programming in Ada with language extensions
AUTHORS: Taft, ST; Moore, B; Pinho, LM ; Michell, S;
PUBLISHED: 2014, SOURCE: ACM SIGAda's Annual International Conference High Integrity Language Technology, HILT 2014 in HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology, PAGES: 87-96
AUTHORS: Taft, ST; Moore, B; Pinho, LM ; Michell, S;
PUBLISHED: 2014, SOURCE: ACM SIGAda's Annual International Conference High Integrity Language Technology, HILT 2014 in HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology, PAGES: 87-96
16509
TITLE: Satellite-based evapotranspiration of a super-intensive olive orchard: Application of METRIC algorithms
AUTHORS: Pocas, I ; Paco, TA ; Cunha, M ; Andrade, JA; Silvestre, J; Sousa, A; Santos, FL; Pereira, LS; Allen, RG;
PUBLISHED: 2014, SOURCE: BIOSYSTEMS ENGINEERING, VOLUME: 128, PAGES: 69-81
AUTHORS: Pocas, I ; Paco, TA ; Cunha, M ; Andrade, JA; Silvestre, J; Sousa, A; Santos, FL; Pereira, LS; Allen, RG;
PUBLISHED: 2014, SOURCE: BIOSYSTEMS ENGINEERING, VOLUME: 128, PAGES: 69-81
16510
TITLE: Scalable and Accurate Causality Tracking for Eventually Consistent Stores
AUTHORS: Almeida, PS ; Baquero, C ; Gonçalves, R ; Preguiça, N ; Fonte, V ;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 67-81
AUTHORS: Almeida, PS ; Baquero, C ; Gonçalves, R ; Preguiça, N ; Fonte, V ;
PUBLISHED: 2014, SOURCE: 14th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014), VOLUME: 8460, PAGES: 67-81
16511
TITLE: Secondary Ion Mass Spectrometry Study of Erbium Titanium Codiffusion in Lithium Niobate
AUTHORS: Jose M M M de Almeida ; Francisco Marinho; Daniel Alexandre ; Cinzia Sada;
PUBLISHED: 2014, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 26, ISSUE: 13, PAGES: 1307-1309
AUTHORS: Jose M M M de Almeida ; Francisco Marinho; Daniel Alexandre ; Cinzia Sada;
PUBLISHED: 2014, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 26, ISSUE: 13, PAGES: 1307-1309
16512
TITLE: Secrecy Transmission on Parallel Channels: Theoretical Limits and Performance of Practical Codes
AUTHORS: Marco Baldi; Franco Chiaraluce; Nicola Laurenti; Stefano Tomasin; Francesco Renna ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 9, ISSUE: 11, PAGES: 1765-1779
AUTHORS: Marco Baldi; Franco Chiaraluce; Nicola Laurenti; Stefano Tomasin; Francesco Renna ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 9, ISSUE: 11, PAGES: 1765-1779
16513
TITLE: SECURITY VULNERABILITIES AND RISKS IN INDUSTRIAL USAGE OF WIRELESS COMMUNICATION
AUTHORS: Plosz, S; Farshad, A; Tauber, M; Lesjak, C; Ruprechter, T; Pereira, N ;
PUBLISHED: 2014, SOURCE: 19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA) in 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA)
AUTHORS: Plosz, S; Farshad, A; Tauber, M; Lesjak, C; Ruprechter, T; Pereira, N ;
PUBLISHED: 2014, SOURCE: 19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA) in 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA)
INDEXED IN: Scopus 
WOS
Scopus WOS16514
TITLE: Security vulnerabilities and risks in industrial usage of wireless communication
AUTHORS: Plosz, S; Farshad, A; Tauber, M; Lesjak, C; Ruprechter, T; Pereira, N ;
PUBLISHED: 2014, SOURCE: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 in 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014
AUTHORS: Plosz, S; Farshad, A; Tauber, M; Lesjak, C; Ruprechter, T; Pereira, N ;
PUBLISHED: 2014, SOURCE: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 in 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014
16515
TITLE: Segmentation of carotid ultrasound images
AUTHORS: Rocha, R ; Silva, J ; Campilho, A ;
PUBLISHED: 2014, SOURCE: Multi-Modality Atherosclerosis Imaging and Diagnosis, VOLUME: 9781461474258, PAGES: 269-286
AUTHORS: Rocha, R ; Silva, J ; Campilho, A ;
PUBLISHED: 2014, SOURCE: Multi-Modality Atherosclerosis Imaging and Diagnosis, VOLUME: 9781461474258, PAGES: 269-286
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef16516
TITLE: Segmentation of the vascular network of the Retina
AUTHORS: Ana Maria Mendonça ; Behdad Dashtbozorg; Aurélio Campilho ;
PUBLISHED: 2014, SOURCE: Image Analysis and Modeling in Ophthalmology, PAGES: 85-110
AUTHORS: Ana Maria Mendonça ; Behdad Dashtbozorg; Aurélio Campilho ;
PUBLISHED: 2014, SOURCE: Image Analysis and Modeling in Ophthalmology, PAGES: 85-110
16517
TITLE: Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface
AUTHORS: de Carvalho, FH; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PAGES: 175-176
AUTHORS: de Carvalho, FH; Barbosa, LS ;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PAGES: 175-176
16518
TITLE: Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface
AUTHORS: Barbosa, LS ; Shaikh, SA;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 139-140
AUTHORS: Barbosa, LS ; Shaikh, SA;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 139-140
16519
TITLE: Selection of Measurements in Topology Estimation with Mutual Information
AUTHORS: Jakov Krstulovic; Vladimiro Miranda ;
PUBLISHED: 2014, SOURCE: IEEE International Energy Conference (ENERGYCON) in 2014 IEEE INTERNATIONAL ENERGY CONFERENCE (ENERGYCON 2014), PAGES: 589-596
AUTHORS: Jakov Krstulovic; Vladimiro Miranda ;
PUBLISHED: 2014, SOURCE: IEEE International Energy Conference (ENERGYCON) in 2014 IEEE INTERNATIONAL ENERGY CONFERENCE (ENERGYCON 2014), PAGES: 589-596
16520
TITLE: Selective feeding by Anodonta cygnea (Linnaeus, 1771): The effects of seasonal changes and nutritional demands Full Text
AUTHORS: Manuel Lopes-Lima ; Paula Lima ; Mariana Hinzmann; Antonio Rocha; Jorge Machado ;
PUBLISHED: 2014, SOURCE: LIMNOLOGICA, VOLUME: 44, PAGES: 18-22
AUTHORS: Manuel Lopes-Lima ; Paula Lima ; Mariana Hinzmann; Antonio Rocha; Jorge Machado ;
PUBLISHED: 2014, SOURCE: LIMNOLOGICA, VOLUME: 44, PAGES: 18-22
