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: 25045
1716 Team MembersFilters -> Year: 2026
11461
TITLE: Systematic Review of the Literature, Research on Blockchain Technology as Support to the Trust Model Proposed Applied to Smart Places
AUTHORS: António Brandão; Henrique São Mamede ; Ramiro Gonçalves ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018]., VOLUME: 745, PAGES: 1163-1174
AUTHORS: António Brandão; Henrique São Mamede ; Ramiro Gonçalves ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018]., VOLUME: 745, PAGES: 1163-1174
11462
TITLE: Systems and methods for SPIT detection in VoIP: Survey and future directions Full Text
AUTHORS: Muhammad Ajmal Azad; Ricardo Morla ; Khaled Salah;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 77, PAGES: 1-20
AUTHORS: Muhammad Ajmal Azad; Ricardo Morla ; Khaled Salah;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 77, PAGES: 1-20
11463
TITLE: Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1806.00441
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1806.00441
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv11464
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
11465
TITLE: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PAGES: 82:1-82:17
AUTHORS: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLISHED: 2018, SOURCE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, ISSUE: ICFP, PAGES: 82:1-82:17
11466
TITLE: Teaching PLC timers and counters programming using MIT app-inventor
AUTHORS: de Moura Oliveira, PB; Cunha, JB ; Soares, F ;
PUBLISHED: 2018, SOURCE: International Journal of Mechatronics and Applied Mechanics, VOLUME: 2018, ISSUE: 4, PAGES: 221-231
AUTHORS: de Moura Oliveira, PB; Cunha, JB ; Soares, F ;
PUBLISHED: 2018, SOURCE: International Journal of Mechatronics and Applied Mechanics, VOLUME: 2018, ISSUE: 4, PAGES: 221-231
INDEXED IN: 
Scopus
Scopus11467
TITLE: Technical and economic feasibility of sustainable heating and cooling supply options in southern European municipalities-A case study for Matosinhos, Portugal Full Text
AUTHORS: Popovski, E; Fleiter, T; Santos, H; Leal, V ; Fernandes, EO;
PUBLISHED: 2018, SOURCE: 3rd International Conference on Smart Energy Systems and 4th Generation District Heating (SES4DH) in ENERGY, VOLUME: 153, PAGES: 311-323
AUTHORS: Popovski, E; Fleiter, T; Santos, H; Leal, V ; Fernandes, EO;
PUBLISHED: 2018, SOURCE: 3rd International Conference on Smart Energy Systems and 4th Generation District Heating (SES4DH) in ENERGY, VOLUME: 153, PAGES: 311-323
11468
TITLE: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
INDEXED IN: DBLP
DBLP11469
TITLE: Technical database on robotics-based educational platforms for K-12 students
AUTHORS: Costelha, H ; Neves, C ;
PUBLISHED: 2018, SOURCE: 18th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2018 in 18th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2018, PAGES: 167-172
AUTHORS: Costelha, H ; Neves, C ;
PUBLISHED: 2018, SOURCE: 18th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2018 in 18th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2018, PAGES: 167-172
11470
TITLE: Technical-economic analysis for the integration of PV systems in Brazil considering policy and regulatory issues Full Text
AUTHORS: Vilaca Gomes, PV ; Knak Neto, NK; Carvalho, L ; Sumaili, J; Saraiva, JT ; Dias, BH; Miranda, V ; Souza, SM;
PUBLISHED: 2018, SOURCE: ENERGY POLICY, VOLUME: 115, PAGES: 199-206
AUTHORS: Vilaca Gomes, PV ; Knak Neto, NK; Carvalho, L ; Sumaili, J; Saraiva, JT ; Dias, BH; Miranda, V ; Souza, SM;
PUBLISHED: 2018, SOURCE: ENERGY POLICY, VOLUME: 115, PAGES: 199-206
11471
TITLE: Technological innovation in the agriculture sector - Who are we reaching?
AUTHORS: Ramos, A; Au Yong Oliveira, M ;
PUBLISHED: 2018, SOURCE: 13th European Conference on Innovation and Entrepreneurship, ECIE 2018 in Proceedings of the European Conference on Innovation and Entrepreneurship, ECIE, VOLUME: 2018-September, PAGES: 618-626
AUTHORS: Ramos, A; Au Yong Oliveira, M ;
PUBLISHED: 2018, SOURCE: 13th European Conference on Innovation and Entrepreneurship, ECIE 2018 in Proceedings of the European Conference on Innovation and Entrepreneurship, ECIE, VOLUME: 2018-September, PAGES: 618-626
INDEXED IN: Scopus
Scopus11472
TITLE: Technologies Applied to Remote Supervision of Exercise in Peripheral Arterial Disease: A Literature Review
AUTHORS: Paulino, D ; Reis, A ; Barroso, J ; Paredes, H ;
PUBLISHED: 2018, SOURCE: 12th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2018 Held as Part of HCI International 2018 in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: VIRTUAL, AUGMENTED, AND INTELLIGENT ENVIRONMENTS, VOLUME: 10908, PAGES: 320-329
AUTHORS: Paulino, D ; Reis, A ; Barroso, J ; Paredes, H ;
PUBLISHED: 2018, SOURCE: 12th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2018 Held as Part of HCI International 2018 in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: VIRTUAL, AUGMENTED, AND INTELLIGENT ENVIRONMENTS, VOLUME: 10908, PAGES: 320-329
11473
TITLE: Technology usage as a way to increase safety and security in different geographies
AUTHORS: Manuel Au Yong Oliveira ; Fernando Moreira ; Jose Martins ; Frederico Branco ; Ramiro Goncalves ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
AUTHORS: Manuel Au Yong Oliveira ; Fernando Moreira ; Jose Martins ; Frederico Branco ; Ramiro Goncalves ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-7
11474
TITLE: Tele-media-art - Web-based Inclusive Teaching of Body Expression
AUTHORS: Elizabeth Simão Carvalho ; Aderito Fernandes Marcos ;
PUBLISHED: 2018, SOURCE: 17th International Conference on Information Technology Based Higher Education and Training, ITHET 2018 in 17th International Conference on Information Technology Based Higher Education and Training, ITHET 2018, Olhao, Portugal, April 26-28, 2018, PAGES: 1-6
AUTHORS: Elizabeth Simão Carvalho ; Aderito Fernandes Marcos ;
PUBLISHED: 2018, SOURCE: 17th International Conference on Information Technology Based Higher Education and Training, ITHET 2018 in 17th International Conference on Information Technology Based Higher Education and Training, ITHET 2018, Olhao, Portugal, April 26-28, 2018, PAGES: 1-6
11475
TITLE: Telepresence Robots in the Classroom: The State-of-the-Art and a Proposal for a Telepresence Service for Higher Education
AUTHORS: Arsénio Reis ; Márcio G Martins; Paulo Martins ; José Sousa; João Barroso ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018 in Technology and Innovation in Learning, Teaching and Education - First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20-22, 2018, Revised Selected Papers, VOLUME: 993, PAGES: 539-550
AUTHORS: Arsénio Reis ; Márcio G Martins; Paulo Martins ; José Sousa; João Barroso ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2018 in Technology and Innovation in Learning, Teaching and Education - First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20-22, 2018, Revised Selected Papers, VOLUME: 993, PAGES: 539-550
11476
TITLE: Temperature Compensated Strain Sensor Based on Long-Period Gratings and Microspheres
AUTHORS: Joaquin Ascorbe; Luis Coelho ; Jose L Santos ; Orlando Frazao ; Jesus M Corres;
PUBLISHED: 2018, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 30, ISSUE: 1, PAGES: 67-70
AUTHORS: Joaquin Ascorbe; Luis Coelho ; Jose L Santos ; Orlando Frazao ; Jesus M Corres;
PUBLISHED: 2018, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 30, ISSUE: 1, PAGES: 67-70
11477
TITLE: Temperature independent refractive index measurement using a fiber Bragg grating on abrupt tapered tip
AUTHORS: Andre D Gomes ; Beatriz Silveira ; Stephen C Warren Smith; Martin Becker; Manfred Rothhardt; Orlando Frazao ;
PUBLISHED: 2018, SOURCE: OPTICS AND LASER TECHNOLOGY, VOLUME: 101, PAGES: 227-231
AUTHORS: Andre D Gomes ; Beatriz Silveira ; Stephen C Warren Smith; Martin Becker; Manfred Rothhardt; Orlando Frazao ;
PUBLISHED: 2018, SOURCE: OPTICS AND LASER TECHNOLOGY, VOLUME: 101, PAGES: 227-231
11478
TITLE: TensorCast: Forecasting Time-Evolving Networks with Contextual Information
AUTHORS: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PAGES: 5199-5203
AUTHORS: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., PAGES: 5199-5203
INDEXED IN: DBLP
DBLP11479
TITLE: TensorCast: Forecasting time-evolving networks with contextual information
AUTHORS: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PAGES: 5199-5203
AUTHORS: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PAGES: 5199-5203
11480
TITLE: Test Patterns for IoT
AUTHORS: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PAGES: 63-66
AUTHORS: Pedro Martins Pontes; Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), PAGES: 63-66
