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: 25002
1714 Team MembersFilters -> Year: 2026
11321
TITLE: Runtime verification of autopilot systems using a fragment of MTL- Full Text
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4, PAGES: 379-395
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
PUBLISHED: 2018, SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4, PAGES: 379-395
11322
TITLE: Rural entrepreneurship: the tale of a rare event
AUTHORS: Pato, L; Teixeira, AAC ;
PUBLISHED: 2018, SOURCE: JOURNAL OF PLACE MANAGEMENT AND DEVELOPMENT, VOLUME: 11, ISSUE: 1, PAGES: 46-59
AUTHORS: Pato, L; Teixeira, AAC ;
PUBLISHED: 2018, SOURCE: JOURNAL OF PLACE MANAGEMENT AND DEVELOPMENT, VOLUME: 11, ISSUE: 1, PAGES: 46-59
11323
TITLE: Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
AUTHORS: Royuela, S; Martorell, X; Quinones, E; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873, PAGES: 141-157
AUTHORS: Royuela, S; Martorell, X; Quinones, E; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873, PAGES: 141-157
11324
TITLE: SAR interferometrymonitoring of subsidence in a detritic basin related to water depletion in the underlying confined carbonate aquifer (Torremolinos, southern Spain) Full Text
AUTHORS: Ruiz Constan, A; Ruiz Armenteros, AM; Martos Rosillo, S; Galindo Zaldivar, J; Lazecky, M; Garcia, M; Sousa, JJ ; Sanz de Galdeano, CS; Delgado Blasco, JM; Jimenez Gavilan, P; Caro Cuenca, M; Luque Espinar, JA;
PUBLISHED: 2018, SOURCE: SCIENCE OF THE TOTAL ENVIRONMENT, VOLUME: 636, PAGES: 670-687
AUTHORS: Ruiz Constan, A; Ruiz Armenteros, AM; Martos Rosillo, S; Galindo Zaldivar, J; Lazecky, M; Garcia, M; Sousa, JJ ; Sanz de Galdeano, CS; Delgado Blasco, JM; Jimenez Gavilan, P; Caro Cuenca, M; Luque Espinar, JA;
PUBLISHED: 2018, SOURCE: SCIENCE OF THE TOTAL ENVIRONMENT, VOLUME: 636, PAGES: 670-687
11325
TITLE: Satisfaction with e-participation: A model from the Citizen’s perspective, expectations, and affective ties to the place
AUTHORS: Zolotov, MN; Oliveira, T; Cruz Jesus, F; Martins, J ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Advances in Intelligent Systems and Computing, VOLUME: 745, PAGES: 1049-1059
AUTHORS: Zolotov, MN; Oliveira, T; Cruz Jesus, F; Martins, J ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Advances in Intelligent Systems and Computing, VOLUME: 745, PAGES: 1049-1059
11326
TITLE: Scalable data analytics using crowdsourced repositories and streams Full Text
AUTHORS: Veloso, B ; Leal, F ; Gonzalez Velez, H; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2018, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 122, PAGES: 1-10
AUTHORS: Veloso, B ; Leal, F ; Gonzalez Velez, H; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2018, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 122, PAGES: 1-10
11327
TITLE: Scheduling of home health care services based on multi-agent systems
AUTHORS: Alves, F; Pereira, AI ; Barbosa, J ; Leitão, P ;
PUBLISHED: 2018, SOURCE: 16th International Conference on Practical Applications of Agents, Multi-Agent Systems, PAAMS 2018 in Communications in Computer and Information Science, VOLUME: 887, PAGES: 12-23
AUTHORS: Alves, F; Pereira, AI ; Barbosa, J ; Leitão, P ;
PUBLISHED: 2018, SOURCE: 16th International Conference on Practical Applications of Agents, Multi-Agent Systems, PAAMS 2018 in Communications in Computer and Information Science, VOLUME: 887, PAGES: 12-23
11328
TITLE: SciCrowd: Towards a Hybrid, Crowd-Computing System for Supporting Research Groups in Academic Settings
AUTHORS: António Correia ; Daniel Schneider; Hugo Paredes ; Benjamim Fonseca ;
PUBLISHED: 2018, SOURCE: 24th International Conference on Collaboration and Technology, CRIWG 2018 in Collaboration and Technology - 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings, VOLUME: 11001, PAGES: 34-41
AUTHORS: António Correia ; Daniel Schneider; Hugo Paredes ; Benjamim Fonseca ;
PUBLISHED: 2018, SOURCE: 24th International Conference on Collaboration and Technology, CRIWG 2018 in Collaboration and Technology - 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings, VOLUME: 11001, PAGES: 34-41
11329
TITLE: Scientometric analysis of scientific publications in CSCW Full Text
AUTHORS: Antonio Correia ; Hugo Paredes ; Benjamim Fonseca ;
PUBLISHED: 2018, SOURCE: SCIENTOMETRICS, VOLUME: 114, ISSUE: 1, PAGES: 31-89
AUTHORS: Antonio Correia ; Hugo Paredes ; Benjamim Fonseca ;
PUBLISHED: 2018, SOURCE: SCIENTOMETRICS, VOLUME: 114, ISSUE: 1, PAGES: 31-89
11330
TITLE: SClinico: Usability Study
AUTHORS: João Pavão ; BASTARDO, Rute ; Marta Covêlo; Luís Torres Pereira ; Paula Oliveira; Catarina Pedrosa; Anabela G Silva; Victor Costa; Ana Isabel Martins ; Alexandra Queirós; Nelson Pacheco da Rocha ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Health Informatics, HEALTHINF 2018 - Part of 11th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2018 in Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018) - Volume 5: HEALTHINF, Funchal, Madeira, Portugal, January 19-21, 2018., VOLUME: 5, PAGES: 48-56
AUTHORS: João Pavão ; BASTARDO, Rute ; Marta Covêlo; Luís Torres Pereira ; Paula Oliveira; Catarina Pedrosa; Anabela G Silva; Victor Costa; Ana Isabel Martins ; Alexandra Queirós; Nelson Pacheco da Rocha ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Health Informatics, HEALTHINF 2018 - Part of 11th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2018 in Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018) - Volume 5: HEALTHINF, Funchal, Madeira, Portugal, January 19-21, 2018., VOLUME: 5, PAGES: 48-56
11331
TITLE: Sculpture maps and assistive navigation as a way to promote universal access
AUTHORS: Hugo Fernandes; Tania Rocha ; Arsenio Reis ; Hugo Paredes ; Joao Barroso ;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 117-122
AUTHORS: Hugo Fernandes; Tania Rocha ; Arsenio Reis ; Hugo Paredes ; Joao Barroso ;
PUBLISHED: 2018, SOURCE: 8th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI)a in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2018), PAGES: 117-122
11332
TITLE: Second generation ethanol-technological intensity on the integrated cycle
AUTHORS: Senna, PP ; Ansanelli, SLM;
PUBLISHED: 2018, SOURCE: U.Porto Journal of Engineering, VOLUME: 4, ISSUE: 1, PAGES: 67-76
AUTHORS: Senna, PP ; Ansanelli, SLM;
PUBLISHED: 2018, SOURCE: U.Porto Journal of Engineering, VOLUME: 4, ISSUE: 1, PAGES: 67-76
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef11333
TITLE: Security Monitoring in a Low Cost Smart Home for the Elderly
AUTHORS: Ferreira, G; Penicheiro, P; Bernardo, R; Neves, A; Mendes, L; Barroso, J ; Pereira, A ;
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: 262-273
AUTHORS: Ferreira, G; Penicheiro, P; Bernardo, R; Neves, A; Mendes, L; Barroso, J ; Pereira, A ;
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: 262-273
11334
TITLE: Security-Constrained Optimal Power Flow via Cross-Entropy Method
AUTHORS: Leonel de Magalhaes Carvalho ; Armando Martins L Leite da Silva; Vladimiro Miranda ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 33, ISSUE: 6, PAGES: 6621-6629
AUTHORS: Leonel de Magalhaes Carvalho ; Armando Martins L Leite da Silva; Vladimiro Miranda ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 33, ISSUE: 6, PAGES: 6621-6629
11335
TITLE: Segmentation of Kidney and Renal Collecting System on 3D Computed Tomography Images
AUTHORS: Oliveira, B ; Torres, HR; Queirós, S; Morais, P; Fonseca, JC ; D'hooge, J; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2018, SOURCE: 6th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2018 in 2018 IEEE 6TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH '18), PAGES: 1-8
AUTHORS: Oliveira, B ; Torres, HR; Queirós, S; Morais, P; Fonseca, JC ; D'hooge, J; Rodrigues, NF ; Vilaça, JL;
PUBLISHED: 2018, SOURCE: 6th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2018 in 2018 IEEE 6TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH '18), PAGES: 1-8
11336
TITLE: Self Hyper-Parameter Tuning for Data Streams
AUTHORS: Bruno Veloso ; João Gama ; Benedita Malheiro ;
PUBLISHED: 2018, SOURCE: 21st International Conference on Discovery Science, DS 2018 in Discovery Science - 21st International Conference, DS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings, VOLUME: 11198, PAGES: 241-255
AUTHORS: Bruno Veloso ; João Gama ; Benedita Malheiro ;
PUBLISHED: 2018, SOURCE: 21st International Conference on Discovery Science, DS 2018 in Discovery Science - 21st International Conference, DS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings, VOLUME: 11198, PAGES: 241-255
11337
TITLE: Self Hyper-parameter Tuning for Stream Recommendation Algorithms
AUTHORS: Bruno Veloso ; João Gama ; Benedita Malheiro ; João Vinagre ;
PUBLISHED: 2018, SOURCE: Workshops Nemesis, UrbReas, SoGood, IWAISe, and Green Data Mining, held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018 in ECML PKDD 2018 Workshops - DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, Revised Selected Papers, VOLUME: 967, PAGES: 91-102
AUTHORS: Bruno Veloso ; João Gama ; Benedita Malheiro ; João Vinagre ;
PUBLISHED: 2018, SOURCE: Workshops Nemesis, UrbReas, SoGood, IWAISe, and Green Data Mining, held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018 in ECML PKDD 2018 Workshops - DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, Revised Selected Papers, VOLUME: 967, PAGES: 91-102
11338
TITLE: Self-care in Preserving the Vascular Network: Old Problem, New Challenge for the Medical Staff. Self-Care with Vascular Network Full Text
AUTHORS: Clemente N Sousa ; Ines Ligeiro; Paulo Teles ; Lucia Paixao; Vanessa F F Dias; Antonio F Cristovao;
PUBLISHED: 2018, SOURCE: THERAPEUTIC APHERESIS AND DIALYSIS, VOLUME: 22, ISSUE: 4, PAGES: 332-336
AUTHORS: Clemente N Sousa ; Ines Ligeiro; Paulo Teles ; Lucia Paixao; Vanessa F F Dias; Antonio F Cristovao;
PUBLISHED: 2018, SOURCE: THERAPEUTIC APHERESIS AND DIALYSIS, VOLUME: 22, ISSUE: 4, PAGES: 332-336
11339
TITLE: Semantic Profiling and Destination Recommendation based on Crowd-sourced Tourist Reviews
AUTHORS: Leal, F ; Gonzalez Velez, H; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2018, SOURCE: 14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI) in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 620, PAGES: 140-147
AUTHORS: Leal, F ; Gonzalez Velez, H; Malheiro, B ; Burguillo, JC;
PUBLISHED: 2018, SOURCE: 14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI) in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 620, PAGES: 140-147
11340
TITLE: Semantic Wikis Distributed on Structured Peer-to-Peer Networks
AUTHORS: Charbel Rahhal ;
PUBLISHED: 2018, SOURCE: The International Journal of E-Learning and Educational Technologies in the Digital Media, VOLUME: 4, ISSUE: 2, PAGES: 39-46
AUTHORS: Charbel Rahhal ;
PUBLISHED: 2018, SOURCE: The International Journal of E-Learning and Educational Technologies in the Digital Media, VOLUME: 4, ISSUE: 2, PAGES: 39-46
INDEXED IN: CrossRef
CrossRef