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: 18111
1699 Team MembersFilters -> Year: 2024
7301
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PAGES: 432-440
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PAGES: 432-440
INDEXED IN: 
WOS 
DBLP
WOS DBLP7302
TITLE: Tracking Anterior Mitral Leaflet in Echocardiographic Videos Using Morphological Operators and Active Contours
AUTHORS: Malik Saad Sultan; Nelson Martins; Eva Costa; Diana Veiga; Manuel Joao A Ferreira; Sandra Mattos; Miguel Tavares Coimbra ;
PUBLISHED: 2018, SOURCE: 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES (BIOSTEC 2017), VOLUME: 881, PAGES: 146-162
AUTHORS: Malik Saad Sultan; Nelson Martins; Eva Costa; Diana Veiga; Manuel Joao A Ferreira; Sandra Mattos; Miguel Tavares Coimbra ;
PUBLISHED: 2018, SOURCE: 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES (BIOSTEC 2017), VOLUME: 881, PAGES: 146-162
7303
TITLE: Trading Framework for Demand Response Aggregators using Information-gap Decision Theory to Address Uncertainty and Risk-Management
AUTHORS: Morteza Vahid Ghavidel ; Mohammadi ivatloo, B; Miadreza Shafie khah; Gerardo J Osorio; Nadali Mahmoudi; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Environment and Electrical Engineering / IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) in 2018 IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2018 IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC / I&CPS EUROPE)
AUTHORS: Morteza Vahid Ghavidel ; Mohammadi ivatloo, B; Miadreza Shafie khah; Gerardo J Osorio; Nadali Mahmoudi; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Environment and Electrical Engineering / IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) in 2018 IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2018 IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC / I&CPS EUROPE)
7304
TITLE: Traffic-Aware Multi-Tier Flying Network: Network Planning for Throughput Improvement
AUTHORS: Eduardo Nuno Almeida ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2018, SOURCE: IEEE Wireless Communications and Networking Conference (WCNC) in 2018 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), VOLUME: 2018-April, PAGES: 1-6
AUTHORS: Eduardo Nuno Almeida ; Rui Campos ; Manuel Ricardo ;
PUBLISHED: 2018, SOURCE: IEEE Wireless Communications and Networking Conference (WCNC) in 2018 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), VOLUME: 2018-April, PAGES: 1-6
7305
TITLE: Transfer learning approach for fall detection with the FARSEEING real-world dataset and simulated falls
AUTHORS: Joana Silva; Inês Sousa; Jaime S Cardoso ;
PUBLISHED: 2018, SOURCE: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018 in 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018, Honolulu, HI, USA, July 18-21, 2018, VOLUME: 2018-July, PAGES: 3509-3512
AUTHORS: Joana Silva; Inês Sousa; Jaime S Cardoso ;
PUBLISHED: 2018, SOURCE: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018 in 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018, Honolulu, HI, USA, July 18-21, 2018, VOLUME: 2018-July, PAGES: 3509-3512
7306
TITLE: Transforming Legal Documents for Visualization and Analysis
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 23-26
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 23-26
7307
TITLE: Transversal and transferable skills training for engineering PhD/doctoral candidates
AUTHORS: Jose Coelho Rodrigues ; Ana Freitas ; Paulo Garcia ; Catarina Maia; Marie Pierre Favre;
PUBLISHED: 2018, SOURCE: 3rd International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2018 3RD INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
AUTHORS: Jose Coelho Rodrigues ; Ana Freitas ; Paulo Garcia ; Catarina Maia; Marie Pierre Favre;
PUBLISHED: 2018, SOURCE: 3rd International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2018 3RD INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
7308
TITLE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017
AUTHORS: Fernando De la Prieta; Zita Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; Antonio J.R Neves ; María N Moreno;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing
AUTHORS: Fernando De la Prieta; Zita Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; Antonio J.R Neves ; María N Moreno;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing
7309
TITLE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions
AUTHORS: Fernando de la Prieta; Zita A Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; António J R Neves; María N Moreno;
PUBLISHED: 2018, SOURCE: PAAMS (Special Sessions), VOLUME: 619
AUTHORS: Fernando de la Prieta; Zita A Vale; Luis Antunes; Tiago Pinto ; Andrew T Campbell; Vicente Julián; António J R Neves; María N Moreno;
PUBLISHED: 2018, SOURCE: PAAMS (Special Sessions), VOLUME: 619
INDEXED IN: DBLP
DBLP7310
TITLE: Trends in Gravitational Search Algorithm
AUTHORS: de Moura Oliveira, PBD ; Josenalde Oliveira ; Jose Boaventura Cunha ;
PUBLISHED: 2018, SOURCE: 14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI) in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 620, PAGES: 270-277
AUTHORS: de Moura Oliveira, PBD ; Josenalde Oliveira ; Jose Boaventura Cunha ;
PUBLISHED: 2018, SOURCE: 14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI) in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 620, PAGES: 270-277
7311
TITLE: Triple-Similarity Mechanism for alarm management in the cloud Full Text
AUTHORS: Dalmazo, BL; Vilela, JP ; Curado, M ;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 78, PAGES: 33-42
AUTHORS: Dalmazo, BL; Vilela, JP ; Curado, M ;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 78, PAGES: 33-42
7312
TITLE: Trust and Reputation Modelling for Tourism Recommendations Supported by Crowdsourcing
AUTHORS: Fátima Leal; Benedita Malheiro ; Juan Carlos Burguillo;
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: 829-838
AUTHORS: Fátima Leal; Benedita Malheiro ; Juan Carlos Burguillo;
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: 829-838
7313
TITLE: Twitter as a Source for Time- and Domain-Dependent Sentiment Lexicons
AUTHORS: Nuno Guimaraes ; Luis Torgo ; Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PAGES: 1-19
AUTHORS: Nuno Guimaraes ; Luis Torgo ; Alvaro Figueira ;
PUBLISHED: 2018, SOURCE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PAGES: 1-19
7314
TITLE: U.InovAcelerator. A Model of Innovation Indicators
AUTHORS: Fábio Goncalves; Maria Manuela Gomes de Azevedo Pinto ; Alexandra Xavier ;
PUBLISHED: 2018, SOURCE: Advances in Business Information Systems and Analytics - Handbook of Research on Expanding Business Opportunities With Information Systems and Analytics, PAGES: 377-394
AUTHORS: Fábio Goncalves; Maria Manuela Gomes de Azevedo Pinto ; Alexandra Xavier ;
PUBLISHED: 2018, SOURCE: Advances in Business Information Systems and Analytics - Handbook of Research on Expanding Business Opportunities With Information Systems and Analytics, PAGES: 377-394
INDEXED IN: 
CrossRef
CrossRef7315
TITLE: UAS-based imagery and photogrammetric processing for tree height and crown diameter extraction
AUTHORS: Luís Pádua ; Pedro Marques; Telmo Adão ; Jonás Hruska; Emanuel Peres ; Raul Morais ; António M R Sousa ; Joaquim João Sousa ;
PUBLISHED: 2018, SOURCE: 2018 the International Conference on Geoinformatics and Data Analysis, ICGDA 2018 and 2018 the International Conference on Software and Services Engineering, ICSSE 2018 in Proceedings of the International Conference on Geoinformatics and Data Analysis, ICGDA 2018, Prague, Czech Republic, April 20-22, 2018, VOLUME: Part F139752, PAGES: 87-91
AUTHORS: Luís Pádua ; Pedro Marques; Telmo Adão ; Jonás Hruska; Emanuel Peres ; Raul Morais ; António M R Sousa ; Joaquim João Sousa ;
PUBLISHED: 2018, SOURCE: 2018 the International Conference on Geoinformatics and Data Analysis, ICGDA 2018 and 2018 the International Conference on Software and Services Engineering, ICSSE 2018 in Proceedings of the International Conference on Geoinformatics and Data Analysis, ICGDA 2018, Prague, Czech Republic, April 20-22, 2018, VOLUME: Part F139752, PAGES: 87-91
7316
TITLE: UAS-based photogrammetry of cultural heritage sites: a case study addressing Chapel of Espírito Santo and photogrammetric software comparison. a case study addressing Chapel of Espírito Santo and photogrammetric software comparison
AUTHORS: Luís Pádua ; Telmo Adão ; Jonás Hruska; Pedro Marques; António M R Sousa ; Raul Morais ; José Martinho Lourenço; Joaquim João Sousa ; Emanuel Peres ;
PUBLISHED: 2018, SOURCE: 2018 the International Conference on Geoinformatics and Data Analysis, ICGDA 2018 and 2018 the International Conference on Software and Services Engineering, ICSSE 2018 in Proceedings of the International Conference on Geoinformatics and Data Analysis, ICGDA 2018, Prague, Czech Republic, April 20-22, 2018, VOLUME: Part F139752, PAGES: 72-76
AUTHORS: Luís Pádua ; Telmo Adão ; Jonás Hruska; Pedro Marques; António M R Sousa ; Raul Morais ; José Martinho Lourenço; Joaquim João Sousa ; Emanuel Peres ;
PUBLISHED: 2018, SOURCE: 2018 the International Conference on Geoinformatics and Data Analysis, ICGDA 2018 and 2018 the International Conference on Software and Services Engineering, ICSSE 2018 in Proceedings of the International Conference on Geoinformatics and Data Analysis, ICGDA 2018, Prague, Czech Republic, April 20-22, 2018, VOLUME: Part F139752, PAGES: 72-76
7317
TITLE: UCB1 Based Reinforcement Learning Model for Adaptive Energy Management in Buildings
AUTHORS: Rui Andrade; Tiago Pinto ; Isabel Praça; Zita A Vale;
PUBLISHED: 2018, SOURCE: Distributed Computing and Artificial Intelligence, 15th International Conference, DCAI 2018, Toledo, Spain, 20-22 June 2018, Special Sessions I., VOLUME: 801, PAGES: 3-11
AUTHORS: Rui Andrade; Tiago Pinto ; Isabel Praça; Zita A Vale;
PUBLISHED: 2018, SOURCE: Distributed Computing and Artificial Intelligence, 15th International Conference, DCAI 2018, Toledo, Spain, 20-22 June 2018, Special Sessions I., VOLUME: 801, PAGES: 3-11
INDEXED IN: DBLP
DBLP7318
TITLE: Ultra-wideband time of flight based localization system and odometry fusion for a scanning 3 DoF magnetic field autonomous robot
AUTHORS: Lima, J ; Costa, P ;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 693, PAGES: 879-890
AUTHORS: Lima, J ; Costa, P ;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 693, PAGES: 879-890
7319
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Sá Sousa, J; Vilela, JP ;
PUBLISHED: 2018, SOURCE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, ISSUE: 1, PAGES: 143-155
AUTHORS: Sá Sousa, J; Vilela, JP ;
PUBLISHED: 2018, SOURCE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, ISSUE: 1, PAGES: 143-155
7320
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, ISSUE: 1, PAGES: 143-155
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, ISSUE: 1, PAGES: 143-155
INDEXED IN: WOS
WOS