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: 19032
1704 Team MembersFilters -> Year: 2025
10381
TITLE: Completeness and Decidability Results for Hybrid(ised) Logics
AUTHORS: Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 146-161
AUTHORS: Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 146-161
10382
TITLE: Comprehensive Review of the Dispatching, Scheduling and Routing of AGVs
AUTHORS: Kelen C T Vivaldini; Luis F Rocha ; Marcelo Becker; Antonio Paulo Moreira ;
PUBLISHED: 2015, SOURCE: 11th Portuguese Conference on Automatic Control in CONTROLO'2014 - PROCEEDINGS OF THE 11TH PORTUGUESE CONFERENCE ON AUTOMATIC CONTROL, VOLUME: 321, PAGES: 505-514
AUTHORS: Kelen C T Vivaldini; Luis F Rocha ; Marcelo Becker; Antonio Paulo Moreira ;
PUBLISHED: 2015, SOURCE: 11th Portuguese Conference on Automatic Control in CONTROLO'2014 - PROCEEDINGS OF THE 11TH PORTUGUESE CONFERENCE ON AUTOMATIC CONTROL, VOLUME: 321, PAGES: 505-514
10383
TITLE: Compressive Classification: Where Wireless Communications Meets Machine Learning
AUTHORS: Rodrigues, M ; Nokleby, M; Renna, F ; Calderbank, R;
PUBLISHED: 2015, SOURCE: International Workshop on Compressed Sensing and its Applications in Compressed Sensing and its Applications, ISSUE: 9783319160412, PAGES: 451-468
AUTHORS: Rodrigues, M ; Nokleby, M; Renna, F ; Calderbank, R;
PUBLISHED: 2015, SOURCE: International Workshop on Compressed Sensing and its Applications in Compressed Sensing and its Applications, ISSUE: 9783319160412, PAGES: 451-468
10384
TITLE: Computer-aided recognition of dental implants in X-ray images
AUTHORS: Pedro Morais; Sandro Queiros; Antonio H J Moreira; Adriano Ferreira; Ernesto Ferreira; Duarte Duque ; Nuno F Rodrigues ; Joao L Vilaca;
PUBLISHED: 2015, SOURCE: Computer-Aided Diagnosis (CAD) Conference at the SPIE Medical Imaging Symposium in MEDICAL IMAGING 2015: COMPUTER-AIDED DIAGNOSIS, VOLUME: 9414
AUTHORS: Pedro Morais; Sandro Queiros; Antonio H J Moreira; Adriano Ferreira; Ernesto Ferreira; Duarte Duque ; Nuno F Rodrigues ; Joao L Vilaca;
PUBLISHED: 2015, SOURCE: Computer-Aided Diagnosis (CAD) Conference at the SPIE Medical Imaging Symposium in MEDICAL IMAGING 2015: COMPUTER-AIDED DIAGNOSIS, VOLUME: 9414
10385
TITLE: Concept Drift Detection with Clustering via Statistical Change Detection Methods
AUTHORS: Yusuke Sakamoto; Ken ichi Fukui; Joao Gama ; Daniela Nicklas; Koichi Moriyama; Masayuki Numao;
PUBLISHED: 2015, SOURCE: Seventh International Conference on Knowledge and Systems Engineering (KSE) in 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE), PAGES: 37-42
AUTHORS: Yusuke Sakamoto; Ken ichi Fukui; Joao Gama ; Daniela Nicklas; Koichi Moriyama; Masayuki Numao;
PUBLISHED: 2015, SOURCE: Seventh International Conference on Knowledge and Systems Engineering (KSE) in 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE), PAGES: 37-42
10386
TITLE: Concise Server-Wide Causality Management for Eventually Consistent Data Stores
AUTHORS: Ricardo Gonçalves ; Paulo Sérgio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2015, SOURCE: 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 in Distributed Applications and Interoperable Systems - 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, VOLUME: 9038, PAGES: 66-79
AUTHORS: Ricardo Gonçalves ; Paulo Sérgio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2015, SOURCE: 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 in Distributed Applications and Interoperable Systems - 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, VOLUME: 9038, PAGES: 66-79
10387
TITLE: Constrained consumption shifting management in the distributed energy resources scheduling considering demand response Full Text
AUTHORS: Pedro Faria; Zita Vale; Jose Baptista ;
PUBLISHED: 2015, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 93, PAGES: 309-320
AUTHORS: Pedro Faria; Zita Vale; Jose Baptista ;
PUBLISHED: 2015, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 93, PAGES: 309-320
10388
TITLE: Construction and validation of a scale of assessment of self-care behaviors with arteriovenous fistula in hemodialysis. Scale ASBHD-AVF Full Text
AUTHORS: Clemente Neves Sousa ; Joao Luis A Alves Apostolo ; Maria Henriqueta J S Jesus Silva Figueiredo ; Vanessa Filipa F Ferreira Dias; Paulo Teles ; Maria Manuela Martins ;
PUBLISHED: 2015, SOURCE: HEMODIALYSIS INTERNATIONAL, VOLUME: 19, ISSUE: 2, PAGES: 306-313
AUTHORS: Clemente Neves Sousa ; Joao Luis A Alves Apostolo ; Maria Henriqueta J S Jesus Silva Figueiredo ; Vanessa Filipa F Ferreira Dias; Paulo Teles ; Maria Manuela Martins ;
PUBLISHED: 2015, SOURCE: HEMODIALYSIS INTERNATIONAL, VOLUME: 19, ISSUE: 2, PAGES: 306-313
10389
TITLE: Construction and validation of a scale of assessment of self-care behaviours anticipatory to creation of arteriovenous fistula Full Text
AUTHORS: Clemente Neves Sousa ; Maria Henriqueta Figueiredo ; Vanessa Filipa Dias; Paulo Teles ; Joao Luis Apostolo ;
PUBLISHED: 2015, SOURCE: JOURNAL OF CLINICAL NURSING, VOLUME: 24, ISSUE: 23-24, PAGES: 3674-3680
AUTHORS: Clemente Neves Sousa ; Maria Henriqueta Figueiredo ; Vanessa Filipa Dias; Paulo Teles ; Joao Luis Apostolo ;
PUBLISHED: 2015, SOURCE: JOURNAL OF CLINICAL NURSING, VOLUME: 24, ISSUE: 23-24, PAGES: 3674-3680
10390
TITLE: Context aware middleware in ambient intelligent environments
AUTHORS: Carlos Filipe Freitas; Antonio Meireles; Lino Figueiredo; Joao Barroso ; Antonio Silva; Carlos Ramos;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, VOLUME: 10, ISSUE: 4, PAGES: 347-358
AUTHORS: Carlos Filipe Freitas; Antonio Meireles; Lino Figueiredo; Joao Barroso ; Antonio Silva; Carlos Ramos;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, VOLUME: 10, ISSUE: 4, PAGES: 347-358
10391
TITLE: Context-aware media recommendations for smart devices
AUTHORS: Abayomi Moradeyo Otebolaku; Maria Teresa Andrade ;
PUBLISHED: 2015, SOURCE: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 6, ISSUE: 1, PAGES: 13-36
AUTHORS: Abayomi Moradeyo Otebolaku; Maria Teresa Andrade ;
PUBLISHED: 2015, SOURCE: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 6, ISSUE: 1, PAGES: 13-36
10392
TITLE: Context-aware, accessibility and dynamic adaptation of mobile interfaces in business environments
AUTHORS: Andre Sousa ; Joao Barroso ; Hugo Paredes ; Hugo Fernandes ; Vitor Filipe ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, VOLUME: 67, PAGES: 397-402
AUTHORS: Andre Sousa ; Joao Barroso ; Hugo Paredes ; Hugo Fernandes ; Vitor Filipe ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, VOLUME: 67, PAGES: 397-402
10393
TITLE: Contrast set mining in temporal databases Full Text
AUTHORS: Magalhaes, A; Azevedo, PJ ;
PUBLISHED: 2015, SOURCE: EXPERT SYSTEMS, VOLUME: 32, ISSUE: 3, PAGES: 435-443
AUTHORS: Magalhaes, A; Azevedo, PJ ;
PUBLISHED: 2015, SOURCE: EXPERT SYSTEMS, VOLUME: 32, ISSUE: 3, PAGES: 435-443
10394
TITLE: CONTROLO’2014 – Proceedings of the 11th Portuguese Conference on Automatic Control
AUTHORS: António Paulo Moreira ; Aníbal Matos ; Germano Veiga ;
PUBLISHED: 2015, SOURCE: Lecture Notes in Electrical Engineering
AUTHORS: António Paulo Moreira ; Aníbal Matos ; Germano Veiga ;
PUBLISHED: 2015, SOURCE: Lecture Notes in Electrical Engineering
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary10395
TITLE: Convergence of Smart Grid ICT Architectures for the Last Mile
AUTHORS: Michele Albano; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 11, ISSUE: 1, PAGES: 187-197
AUTHORS: Michele Albano; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 11, ISSUE: 1, PAGES: 187-197
10396
TITLE: Coordination for Multi-robot Exploration Using Topological Maps
AUTHORS: Tiago Pereira ; Antonio Paulo Moreira ; Manuela Veloso;
PUBLISHED: 2015, SOURCE: 11th Portuguese Conference on Automatic Control in CONTROLO'2014 - PROCEEDINGS OF THE 11TH PORTUGUESE CONFERENCE ON AUTOMATIC CONTROL, VOLUME: 321, PAGES: 515-524
AUTHORS: Tiago Pereira ; Antonio Paulo Moreira ; Manuela Veloso;
PUBLISHED: 2015, SOURCE: 11th Portuguese Conference on Automatic Control in CONTROLO'2014 - PROCEEDINGS OF THE 11TH PORTUGUESE CONFERENCE ON AUTOMATIC CONTROL, VOLUME: 321, PAGES: 515-524
10397
TITLE: Coping with Wind Power Uncertainty in Unit Commitment: a Robust Approach using the New Hybrid Metaheuristic DEEPSO
AUTHORS: Rui Pinto ; Leonel M Carvalho ; Jean Sumaili ; Mauro S S Pinto; Vladimiro Miranda ;
PUBLISHED: 2015, SOURCE: PowerTech, 2015 IEEE Eindhoven in 2015 IEEE EINDHOVEN POWERTECH
AUTHORS: Rui Pinto ; Leonel M Carvalho ; Jean Sumaili ; Mauro S S Pinto; Vladimiro Miranda ;
PUBLISHED: 2015, SOURCE: PowerTech, 2015 IEEE Eindhoven in 2015 IEEE EINDHOVEN POWERTECH
10398
TITLE: Correlation Study Between Blood Pressure And Pulse Transit Time
AUTHORS: Pereira, T ; Sanches, R; Reis, P; Pego, J; Simoes, R;
PUBLISHED: 2015, SOURCE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
AUTHORS: Pereira, T ; Sanches, R; Reis, P; Pego, J; Simoes, R;
PUBLISHED: 2015, SOURCE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
10399
TITLE: Corrigendum: Sporadic and reversible chromothripsis in chronic lymphocytic leukemia revealed by longitudinal genomic analysis Full Text
AUTHORS: Bassaganyas, L; Beà, S; Escaramís, G; Tornador, C; Salaverria, I; Zapata, L; Drechsel, O; Ferreira, PG ; Rodriguez Santiago, B; Tubio, JMC; Navarro, A; Martín García, D; López, C; Martínez Trillos, A; López Guillermo, A; Gut, M; Ossowski, S; López Otín, C; Campo, E; Estivill, X;
PUBLISHED: 2015, SOURCE: Leukemia, VOLUME: 29, ISSUE: 3, PAGES: 758
AUTHORS: Bassaganyas, L; Beà, S; Escaramís, G; Tornador, C; Salaverria, I; Zapata, L; Drechsel, O; Ferreira, PG ; Rodriguez Santiago, B; Tubio, JMC; Navarro, A; Martín García, D; López, C; Martínez Trillos, A; López Guillermo, A; Gut, M; Ossowski, S; López Otín, C; Campo, E; Estivill, X;
PUBLISHED: 2015, SOURCE: Leukemia, VOLUME: 29, ISSUE: 3, PAGES: 758
10400
TITLE: Cost allocation model for distribution networks considering high penetration of distributed energy resources Full Text
AUTHORS: Tiago Soares ; Fabio Pereira; Hugo Morais; Zita Vale;
PUBLISHED: 2015, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 124, PAGES: 120-132
AUTHORS: Tiago Soares ; Fabio Pereira; Hugo Morais; Zita Vale;
PUBLISHED: 2015, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 124, PAGES: 120-132
