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: 19039
1704 Team MembersFilters -> Year: 2025
6441
TITLE: Local Observability and Controllability Enforcement in Distributed Testing
AUTHORS: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLISHED: 2019, SOURCE: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010, PAGES: 327-338
AUTHORS: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLISHED: 2019, SOURCE: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010, PAGES: 327-338
6442
TITLE: Localization Based on Natural Features Detector for Steep Slope Vineyards Full Text
AUTHORS: Mendes, JM ; dos Santos, FN ; Ferraz, NA; do Couto, PM ; dos Santos, RM ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 93, ISSUE: 3-4, PAGES: 433-446
AUTHORS: Mendes, JM ; dos Santos, FN ; Ferraz, NA; do Couto, PM ; dos Santos, RM ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 93, ISSUE: 3-4, PAGES: 433-446
6443
TITLE: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758, PAGES: 3-20
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758, PAGES: 3-20
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP6444
TITLE: Logistic Operations in a Hospital: A Multi-item Inventory Distribution Problem with Heterogeneous Fleet
AUTHORS: Agra, A; Cerveira, A ; Requejo, C;
PUBLISHED: 2019, SOURCE: Lecture Notes in Logistics, PAGES: 215-227
AUTHORS: Agra, A; Cerveira, A ; Requejo, C;
PUBLISHED: 2019, SOURCE: Lecture Notes in Logistics, PAGES: 215-227
6445
TITLE: Long-Term Impact Evaluation of Advanced Under Frequency Load Shedding Schemes on Distribution Systems With DG Islanded Operation
AUTHORS: Diego Issicaba; Mauro Augusto da Rosa; Fernanda Oliveira Resende ; Bruno André Gomes; Joao Abel P Pecas Lopes ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 10, ISSUE: 1, PAGES: 238-247
AUTHORS: Diego Issicaba; Mauro Augusto da Rosa; Fernanda Oliveira Resende ; Bruno André Gomes; Joao Abel P Pecas Lopes ;
PUBLISHED: 2019, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 10, ISSUE: 1, PAGES: 238-247
6446
TITLE: Loss Mechanisms of Optical Waveguides Inscribed in Fused Silica by Femtosecond Laser Direct Writing Full Text
AUTHORS: Vitor A Amorim ; Joao M Maia ; Duarte Viveiros ; Marques, PVS ;
PUBLISHED: 2019, SOURCE: JOURNAL OF LIGHTWAVE TECHNOLOGY, VOLUME: 37, ISSUE: 10, PAGES: 2240-2245
AUTHORS: Vitor A Amorim ; Joao M Maia ; Duarte Viveiros ; Marques, PVS ;
PUBLISHED: 2019, SOURCE: JOURNAL OF LIGHTWAVE TECHNOLOGY, VOLUME: 37, ISSUE: 10, PAGES: 2240-2245
6447
TITLE: Lost in Disclosure: On the Inference of Password Composition Policies
AUTHORS: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, PAGES: 264-269
AUTHORS: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, PAGES: 264-269
6448
TITLE: Low Cost Underwater Acoustic Positioning System with a Simplified DoA Algorithm
AUTHORS: Guedes, P ; Viana, N; Silva, J; Amaral, G ; Ferreira, H ; Dias, A ; Almeida, JM ; Martins, A ; Silva, EP ;
PUBLISHED: 2019, SOURCE: MTS/IEEE Oceans Seattle Conference (Oceans Seattle) in OCEANS 2019 MTS/IEEE SEATTLE
AUTHORS: Guedes, P ; Viana, N; Silva, J; Amaral, G ; Ferreira, H ; Dias, A ; Almeida, JM ; Martins, A ; Silva, EP ;
PUBLISHED: 2019, SOURCE: MTS/IEEE Oceans Seattle Conference (Oceans Seattle) in OCEANS 2019 MTS/IEEE SEATTLE
6449
TITLE: Low Voltage Grid Data Visualisation with a Frame Representation and Cognitive Architecture
AUTHORS: Mario Pereira; Ricardo J Bessa ; Clara Gouveia ;
PUBLISHED: 2019, SOURCE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
AUTHORS: Mario Pereira; Ricardo J Bessa ; Clara Gouveia ;
PUBLISHED: 2019, SOURCE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
6450
TITLE: Low-Cost Interrogation System for Long-Period Fiber Gratings Applied to Remote Sensing Full Text
AUTHORS: dos Santos, PSS ; Jorge, PAS ; Jose M M M de Almeida ; Coelho, L ;
PUBLISHED: 2019, SOURCE: SENSORS, VOLUME: 19, ISSUE: 7, PAGES: 1500
AUTHORS: dos Santos, PSS ; Jorge, PAS ; Jose M M M de Almeida ; Coelho, L ;
PUBLISHED: 2019, SOURCE: SENSORS, VOLUME: 19, ISSUE: 7, PAGES: 1500
6451
TITLE: Low-Cost IoT LoRa®Solutions for Precision Agriculture Monitoring Practices
AUTHORS: Nuno Silva; Jorge Mendes ; Renato Silva; Filipe Neves dos Santos ; Pedro Mestre ; C. Serôdio ; Raul Morais ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 224-235
AUTHORS: Nuno Silva; Jorge Mendes ; Renato Silva; Filipe Neves dos Santos ; Pedro Mestre ; C. Serôdio ; Raul Morais ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 224-235
6452
TITLE: Low-cost Sonar based on the Echolocation
AUTHORS: Moreira, T; Lima, J ; Costa, P ; Cunha, M;
PUBLISHED: 2019, SOURCE: 16th International Conference on Informatics in Control, Automation and Robotics (ICINCO) in ICINCO: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1, VOLUME: 1, PAGES: 818-825
AUTHORS: Moreira, T; Lima, J ; Costa, P ; Cunha, M;
PUBLISHED: 2019, SOURCE: 16th International Conference on Informatics in Control, Automation and Robotics (ICINCO) in ICINCO: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1, VOLUME: 1, PAGES: 818-825
6453
TITLE: Lower limb assessment of dynamic stiffness on different human maximum vertical jump
AUTHORS: Carlos Rodrigues ; Miguel Correia ; Joao M C S Abrantes; Marco A B Benedetti Rodrigues; Jurandir Nadal;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
AUTHORS: Carlos Rodrigues ; Miguel Correia ; Joao M C S Abrantes; Marco A B Benedetti Rodrigues; Jurandir Nadal;
PUBLISHED: 2019, SOURCE: 6th IEEE Portuguese Meeting on Bioengineering (ENBENG) in 2019 6TH IEEE PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
6454
TITLE: Lower Limb Joint Angle Coordination Assessment at Sagittal Plane on Human Vertical Countermovement
AUTHORS: Rodrigues, C ; Correia, MV ; Abrantes, JMCS; Nadal, J; Rodrigues, MAB;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computational Vision and Biomechanics, VOLUME: 34, PAGES: 29-40
AUTHORS: Rodrigues, C ; Correia, MV ; Abrantes, JMCS; Nadal, J; Rodrigues, MAB;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computational Vision and Biomechanics, VOLUME: 34, PAGES: 29-40
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef6455
TITLE: Mach-Zehnder Interferometers Based on Long Period Fiber Grating Coated With Titanium Dioxide for Refractive Index Sensing Full Text
AUTHORS: Helena Catarina Araujo S G Soares Guedes Vasconcelos ; Jose Manuel M M Marques Martins de Almeida ; Cristina Maria T Teixeira Saraiva; Pedro Alberto D da Silva Jorge ; Luis Carlos C Costa Coelho ;
PUBLISHED: 2019, SOURCE: JOURNAL OF LIGHTWAVE TECHNOLOGY, VOLUME: 37, ISSUE: 18, PAGES: 4584-4589
AUTHORS: Helena Catarina Araujo S G Soares Guedes Vasconcelos ; Jose Manuel M M Marques Martins de Almeida ; Cristina Maria T Teixeira Saraiva; Pedro Alberto D da Silva Jorge ; Luis Carlos C Costa Coelho ;
PUBLISHED: 2019, SOURCE: JOURNAL OF LIGHTWAVE TECHNOLOGY, VOLUME: 37, ISSUE: 18, PAGES: 4584-4589
6456
TITLE: Machine learning for streaming data: state of the art, challenges, and opportunities Full Text
AUTHORS: Heitor Murilo Gomes; Jesse Read; Albert Bifet; Jean Paul Barddal; João Gama ;
PUBLISHED: 2019, SOURCE: SIGKDD Explorations, VOLUME: 21, ISSUE: 2, PAGES: 6-22
AUTHORS: Heitor Murilo Gomes; Jesse Read; Albert Bifet; Jean Paul Barddal; João Gama ;
PUBLISHED: 2019, SOURCE: SIGKDD Explorations, VOLUME: 21, ISSUE: 2, PAGES: 6-22
INDEXED IN: DBLP
DBLP6457
TITLE: Machine Learning Interpretability: A Survey on Methods and Metrics Full Text
AUTHORS: Diogo V Carvalho; Eduardo M Pereira; Jaime S Cardoso ;
PUBLISHED: 2019, SOURCE: ELECTRONICS, VOLUME: 8, ISSUE: 8, PAGES: 832
AUTHORS: Diogo V Carvalho; Eduardo M Pereira; Jaime S Cardoso ;
PUBLISHED: 2019, SOURCE: ELECTRONICS, VOLUME: 8, ISSUE: 8, PAGES: 832
6458
TITLE: Machine Learning predictive model of grapevine yield based on agroclimatic patterns
AUTHORS: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLISHED: 2019, SOURCE: Engineering in Agriculture, Environment and Food, VOLUME: 12, ISSUE: 4, PAGES: 443-450
AUTHORS: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLISHED: 2019, SOURCE: Engineering in Agriculture, Environment and Food, VOLUME: 12, ISSUE: 4, PAGES: 443-450
6459
TITLE: Machine Learning to Predict Developmental Neurotoxicity with High-Throughput Data from 2D Bio-Engineered Tissues
AUTHORS: Finn Kuusisto; Vítor Santos Costa ; Zhonggang Hou; James A Thomson; David Page; Ron M Stewart;
PUBLISHED: 2019, SOURCE: 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019 in 18th IEEE International Conference On Machine Learning And Applications, ICMLA 2019, Boca Raton, FL, USA, December 16-19, 2019, PAGES: 293-298
AUTHORS: Finn Kuusisto; Vítor Santos Costa ; Zhonggang Hou; James A Thomson; David Page; Ron M Stewart;
PUBLISHED: 2019, SOURCE: 18th IEEE International Conference on Machine Learning and Applications, ICMLA 2019 in 18th IEEE International Conference On Machine Learning And Applications, ICMLA 2019, Boca Raton, FL, USA, December 16-19, 2019, PAGES: 293-298
6460
TITLE: Machine-Checked Proofs for Cryptographic Standards
AUTHORS: José Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1155
AUTHORS: José Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; François Dupressoir; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1155
INDEXED IN: DBLP
DBLP