Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 18529

1699 Team Members
Filters -> Year: 2024
5361
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 318-334
INDEXED IN: Scopus DBLP CrossRef
5362
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum  Full Text
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
INDEXED IN: Scopus DBLP CrossRef: 3
5363
TITLE: Variable Pitch System for the Underwater Explorer Robot UX-1
AUTHORS: Fernandez, RAS; Grande, D; Bascetta, L; Martins, A ; Dominguez, S; Rossi, C;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 1755-1760
INDEXED IN: Scopus WOS CrossRef
5364
TITLE: Variable Pitch System for the Underwater Explorer Robot UX-1*
AUTHORS: Ramón A Suárez Fernández; Davide Grande; Luca Bascetta; Alfredo Martins ; Sergio Dominguez; Claudio Rossi;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021, PAGES: 1755-1760
INDEXED IN: DBLP
5365
TITLE: Vector Autoregressive Fractionally Integrated Models to Assess Multiscale Complexity in Cardiovascular and Respiratory Time Series
AUTHORS: Martins, Aurora ; Amado, Celestino ; Rocha, AP ; Silva, ME ; Pernice, Riccardo ; Javorka, M ; Faes, Luca ;
PUBLISHED: 2020, SOURCE: 11th Conference of the European-Study-Group-on-Cardiovascular-Oscillations (ESGCO) - Computation and Modelling in Physiology New Challenges and Opportunities in 2020 11TH CONFERENCE OF THE EUROPEAN STUDY GROUP ON CARDIOVASCULAR OSCILLATIONS (ESGCO): COMPUTATION AND MODELLING IN PHYSIOLOGY NEW CHALLENGES AND OPPORTUNITIES
INDEXED IN: Scopus WOS CrossRef
5366
TITLE: Vehicle Lateral Dynamic Identification Method Based on Adaptive Algorithm
AUTHORS: Lopes, A ; Araujo, RE ;
PUBLISHED: 2020, SOURCE: IEEE OPEN JOURNAL OF VEHICULAR TECHNOLOGY, VOLUME: 1, PAGES: 267-278
INDEXED IN: WOS CrossRef: 3
5367
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5368
TITLE: Vertical land motion in the Iberian Atlantic coast and its implications for sea level change evaluation  Full Text
AUTHORS: Mendes, VB; Barbosa, SM ; Carinhas, D;
PUBLISHED: 2020, SOURCE: JOURNAL OF APPLIED GEODESY, VOLUME: 14, ISSUE: 3, PAGES: 361-378
INDEXED IN: Scopus WOS CrossRef: 3
5369
TITLE: Video Summarization through Total Variation, Deep Semi-supervised Autoencoder and Clustering Algorithms
AUTHORS: da Silva, EP; Ramos, EM; da Silva, LT; Cardoso, JS ; Giraldi, GA;
PUBLISHED: 2020, SOURCE: 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) / 15th International Conference on Computer Vision Theory and Applications (VISAPP) in VISAPP: PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS, VOL 4: VISAPP, PAGES: 315-322
INDEXED IN: WOS DBLP CrossRef
5370
TITLE: Video-assisted Overtaking System Enabled by C-V2X Mode 4 Communications
AUTHORS: Magalhaes, P ; D'Orey, PM ; Andrade, MT ; Castro, F;
PUBLISHED: 2020, SOURCE: 16th International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob) in 2020 16TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2020-October, PAGES: 382-387
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5371
TITLE: VINEYARD CLASSIFICATION USING MACHINE LEARNING TECHNIQUES APPLIED TO RGB-UAV IMAGERY
AUTHORS: Padua, L ; Adao, T ; Hruska, J; Guimaraes, N; Marques, P; Peres, E ; Sousa, JJ ;
PUBLISHED: 2020, SOURCE: IEEE International Geoscience and Remote Sensing Symposium (IGARSS) in IGARSS 2020 - 2020 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, PAGES: 6309-6312
INDEXED IN: Scopus WOS DBLP CrossRef: 9
5373
TITLE: Virtual Inertia and Droop Control Using DC-Link in a Two-Stage PV Inverter
AUTHORS: Ramos, JG; Araujo, RE ;
PUBLISHED: 2020, SOURCE: 14th IEEE International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG) in 2020 IEEE 14TH INTERNATIONAL CONFERENCE ON COMPATIBILITY, POWER ELECTRONICS AND POWER ENGINEERING (CPE-POWERENG), VOL 1, PAGES: 55-60
INDEXED IN: Scopus WOS CrossRef: 2
5374
TITLE: Virtual reality in training: an experimental study with firefighters  Full Text
AUTHORS: David Narciso ; Miguel Melo ; Jose Vasconcelos Raposo; Joao Cunha ; Maximino Bessa ;
PUBLISHED: 2020, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 79, ISSUE: 9-10, PAGES: 6227-6245
INDEXED IN: Scopus WOS DBLP CrossRef: 42
5375
TITLE: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141, PAGES: 357-370
INDEXED IN: Scopus DBLP CrossRef: 9
5377
TITLE: Visualization of path patterns in semantic graphs  Full Text
AUTHORS: Leal, JP ;
PUBLISHED: 2020, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 17, ISSUE: 1, PAGES: 229-252
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5378
TITLE: VisWebDrone: A Web Application for UAV Photogrammetry Based on Open-Source Software
AUTHORS: Guimaraes, N; Padua, L ; Adao, T ; Hruska, J; Peres, E ; Sousa, JJ ;
PUBLISHED: 2020, SOURCE: ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, VOLUME: 9, ISSUE: 11, PAGES: 679
INDEXED IN: Scopus WOS DBLP CrossRef: 6
5379
TITLE: Voice-Based Classification of Amyotrophic Lateral Sclerosis: Where Are We and Where Are We Going? A Systematic Review
AUTHORS: Vieira, H; Costa, N; Sousa, T; Reis, S; Coelho, L ;
PUBLISHED: 2020, SOURCE: NEURODEGENERATIVE DISEASES, VOLUME: 19, ISSUE: 5-6, PAGES: 163-170
INDEXED IN: Scopus WOS CrossRef: 13
5380
TITLE: Vulnerability of Largest Normalized Residual Test and <(b)over cap> - Test to Gross Errors
AUTHORS: Massignan, JAD; London, JBA; Vieira, CS; Miranda, V ;
PUBLISHED: 2020, SOURCE: IEEE-Power-and-Energy-Society General Meeting (PESGM) in 2020 IEEE POWER & ENERGY SOCIETY GENERAL MEETING (PESGM)
INDEXED IN: WOS

Results per Page: 20.
Page 269 of 927. Total results: 18529.