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: 18529
1699 Team MembersFilters -> Year: 2024
2061
TITLE: Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
AUTHORS: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131, PAGES: 100830
AUTHORS: Santo, Jose Espirito; Frade, Maria Joao ; Pinto, Luis;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 131, PAGES: 100830
2062
TITLE: Velocity-Aware Geo-Indistinguishability
AUTHORS: Mendes, R; Cunha, M ; Vilela, JP ;
PUBLISHED: 2023, SOURCE: 13th ACM Conference on Data and Application Security and Privacy, CODASPY 2023 in CODASPY 2023 - Proceedings of the 13th ACM Conference on Data and Application Security and Privacy, PAGES: 141-152
AUTHORS: Mendes, R; Cunha, M ; Vilela, JP ;
PUBLISHED: 2023, SOURCE: 13th ACM Conference on Data and Application Security and Privacy, CODASPY 2023 in CODASPY 2023 - Proceedings of the 13th ACM Conference on Data and Application Security and Privacy, PAGES: 141-152
2063
TITLE: Verifying Temporal Relational Models with Pardinus
AUTHORS: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 254-261
AUTHORS: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 254-261
2064
TITLE: Vernier Effect in a Compact Strain Sensor Based on Fiber Loop Mirrors Using a 3 x 3 Coupler
AUTHORS: Soares, Beatriz ; Susana O. Silva ; Ribeiro, Paulo; Frazao, Orlando ;
PUBLISHED: 2023, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 35, ISSUE: 16, PAGES: 870-873
AUTHORS: Soares, Beatriz ; Susana O. Silva ; Ribeiro, Paulo; Frazao, Orlando ;
PUBLISHED: 2023, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 35, ISSUE: 16, PAGES: 870-873
2065
TITLE: Virtual Assistants in Industry 4.0: A Systematic Literature Review Full Text
AUTHORS: Pereira, Rodrigo; Lima, Claudio; Pinto, Tiago ; Reis, Arsenio ;
PUBLISHED: 2023, SOURCE: ELECTRONICS, VOLUME: 12, ISSUE: 19, PAGES: 4096
AUTHORS: Pereira, Rodrigo; Lima, Claudio; Pinto, Tiago ; Reis, Arsenio ;
PUBLISHED: 2023, SOURCE: ELECTRONICS, VOLUME: 12, ISSUE: 19, PAGES: 4096
2066
TITLE: Virtual Reality and the Cognitive Screening of Older Adults: A Review
AUTHORS: BASTARDO, Rute ; João Pavão; Bruno Gago; Nelson Pacheco Rocha;
PUBLISHED: 2023, SOURCE: International Conference on Information Technology and Systems, ICITS 2023 in Lecture Notes in Networks and Systems, VOLUME: 692 LNNS, PAGES: 419-430
AUTHORS: BASTARDO, Rute ; João Pavão; Bruno Gago; Nelson Pacheco Rocha;
PUBLISHED: 2023, SOURCE: International Conference on Information Technology and Systems, ICITS 2023 in Lecture Notes in Networks and Systems, VOLUME: 692 LNNS, PAGES: 419-430
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2067
TITLE: Virtual Reality Training Platform: A Proposal for Heavy Machinery Operators in Immersive Environments
AUTHORS: Manuel Pinto; Ricardo Rodrigues; Rui Machado; Miguel Melo; Luís Barbosa; Maximino Bessa ;
PUBLISHED: 2023, SOURCE: 11th World Conference on Information Systems and Technologies, WorldCIST 2023 in Information Systems and Technologies - WorldCIST 2023, Volume 3, Pisa, Italy, April 4-6, 2023., VOLUME: 801, PAGES: 23-32
AUTHORS: Manuel Pinto; Ricardo Rodrigues; Rui Machado; Miguel Melo; Luís Barbosa; Maximino Bessa ;
PUBLISHED: 2023, SOURCE: 11th World Conference on Information Systems and Technologies, WorldCIST 2023 in Information Systems and Technologies - WorldCIST 2023, Volume 3, Pisa, Italy, April 4-6, 2023., VOLUME: 801, PAGES: 23-32
INDEXED IN: Scopus 
DBLP
Scopus DBLP2068
TITLE: Vision Transformers Applied to Indoor Room Classification
AUTHORS: Veiga, Bruno; Pinto, Tiago ; Teixeira, Ruben; Ramos, Carlos;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT II, VOLUME: 14116, PAGES: 561-573
AUTHORS: Veiga, Bruno; Pinto, Tiago ; Teixeira, Ruben; Ramos, Carlos;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT II, VOLUME: 14116, PAGES: 561-573
2069
TITLE: Vision Transformers Applied to Indoor Room Classification
AUTHORS: Bruno Veiga; Tiago Pinto ; Rúben Teixeira; Carlos Ramos;
PUBLISHED: 2023, SOURCE: Progress in Artificial Intelligence - 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II, VOLUME: 14116, PAGES: 561-573
AUTHORS: Bruno Veiga; Tiago Pinto ; Rúben Teixeira; Carlos Ramos;
PUBLISHED: 2023, SOURCE: Progress in Artificial Intelligence - 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II, VOLUME: 14116, PAGES: 561-573
INDEXED IN: DBLP
DBLP2070
TITLE: Visual Place Recognition for Harbour Infrastructures Inspection
AUTHORS: Gaspar, Ana Rita ; Nunes, Alexandra ; Matos, Anibal ;
PUBLISHED: 2023, SOURCE: OCEANS Conference in OCEANS 2023 - LIMERICK
AUTHORS: Gaspar, Ana Rita ; Nunes, Alexandra ; Matos, Anibal ;
PUBLISHED: 2023, SOURCE: OCEANS Conference in OCEANS 2023 - LIMERICK
2071
TITLE: Visually Impaired People Positioning Assistance System Using Artificial Intelligence Full Text
AUTHORS: Lima, Rui; Barreto, L.; Amaral, Antonio ; Paiva, Sara;
PUBLISHED: 2023, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 23, ISSUE: 7, PAGES: 7758-7765
AUTHORS: Lima, Rui; Barreto, L.; Amaral, Antonio ; Paiva, Sara;
PUBLISHED: 2023, SOURCE: IEEE SENSORS JOURNAL, VOLUME: 23, ISSUE: 7, PAGES: 7758-7765
2072
TITLE: Visually-Assisted Decomposition of Monoliths to Microservices
AUTHORS: Salles, Breno; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 293-295
AUTHORS: Salles, Breno; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 293-295
2073
TITLE: VitalSticker: A novel multimodal physiological wearable patch device for health monitoring
AUTHORS: Pinto Vieira, Francisco Manuel ; Ferreira, Mafalda Alexandra; Dias, Duarte ; Silva Cunha, Joao Paulo ;
PUBLISHED: 2023, SOURCE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PAGES: 100-103
AUTHORS: Pinto Vieira, Francisco Manuel ; Ferreira, Mafalda Alexandra; Dias, Duarte ; Silva Cunha, Joao Paulo ;
PUBLISHED: 2023, SOURCE: IEEE 7th Portuguese Meeting on Bioengineering (ENBENG) in 2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG, PAGES: 100-103
2074
TITLE: VR2CARE: an age-friendly ecosystem for physical activity, rehabilitation, and social interaction
AUTHORS: Qbilat, Malak ; Mota, Telma; de Carvalho, Fausto; Mendonca, Joao; Nitti, Vito; Pannese, Lucia; Gall, Markus; Morgado, Leonel ; van Staalduinen, Willeke; Van Berlo, Ad; Paredes, Hugo ;
PUBLISHED: 2023, SOURCE: International Conference on Intelligent Metaverse Technologies and Applications (IMETA) in 2023 INTERNATIONAL CONFERENCE ON INTELLIGENT METAVERSE TECHNOLOGIES & APPLICATIONS, IMETA, PAGES: 163-167
AUTHORS: Qbilat, Malak ; Mota, Telma; de Carvalho, Fausto; Mendonca, Joao; Nitti, Vito; Pannese, Lucia; Gall, Markus; Morgado, Leonel ; van Staalduinen, Willeke; Van Berlo, Ad; Paredes, Hugo ;
PUBLISHED: 2023, SOURCE: International Conference on Intelligent Metaverse Technologies and Applications (IMETA) in 2023 INTERNATIONAL CONFERENCE ON INTELLIGENT METAVERSE TECHNOLOGIES & APPLICATIONS, IMETA, PAGES: 163-167
2075
TITLE: Wave Profile and Tide Monitoring System for Scalable Implementation
AUTHORS: Rocha, J. L.; Matos, T.; Faria, C. L.; Penso, C. M.; Martins, M. S. ; Gomes, P. A.; Goncalves, L. M.;
PUBLISHED: 2023, SOURCE: IEEE Sensors Conference in 2023 IEEE SENSORS
AUTHORS: Rocha, J. L.; Matos, T.; Faria, C. L.; Penso, C. M.; Martins, M. S. ; Gomes, P. A.; Goncalves, L. M.;
PUBLISHED: 2023, SOURCE: IEEE Sensors Conference in 2023 IEEE SENSORS
2076
TITLE: Wavelet-based fuzzy clustering of interval time series Full Text
AUTHORS: D'Urso, Pierpaolo; De Giovanni, Livia; Maharaj, Elizabeth Ann; Brito, Paula ; Teles, Paulo ;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, VOLUME: 152, PAGES: 136-159
AUTHORS: D'Urso, Pierpaolo; De Giovanni, Livia; Maharaj, Elizabeth Ann; Brito, Paula ; Teles, Paulo ;
PUBLISHED: 2023, SOURCE: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, VOLUME: 152, PAGES: 136-159
2077
TITLE: Wearable Devices for Communication and Problem-Solving in the Context of Industry 4.0
AUTHORS: Nunes, Ricardo; Pereira, Rodrigo; Nogueira, Paulo; Barroso, Joao ; Rocha, Tania; Reis, Arsenio ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction (HCI International) in HCI INTERNATIONAL 2023 LATE BREAKING PAPERS, HCII 2023,PT IV, VOLUME: 14057, PAGES: 583-592
AUTHORS: Nunes, Ricardo; Pereira, Rodrigo; Nogueira, Paulo; Barroso, Joao ; Rocha, Tania; Reis, Arsenio ;
PUBLISHED: 2023, SOURCE: 25th International Conference on Human-Computer Interaction (HCI International) in HCI INTERNATIONAL 2023 LATE BREAKING PAPERS, HCII 2023,PT IV, VOLUME: 14057, PAGES: 583-592
2078
TITLE: Wearable Devices in Industry 4.0: A Systematic Literature Review
AUTHORS: Hugo Anes; Tiago Pinto ; Claudio Lima; Paulo Nogueira; Arsénio Reis ;
PUBLISHED: 2023, SOURCE: 20th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2023 in Distributed Computing and Artificial Intelligence, Special Sessions I, 20th International Conference, Guimaraes, Portugal, 12-14 July 2023., VOLUME: 741, PAGES: 332-341
AUTHORS: Hugo Anes; Tiago Pinto ; Claudio Lima; Paulo Nogueira; Arsénio Reis ;
PUBLISHED: 2023, SOURCE: 20th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2023 in Distributed Computing and Artificial Intelligence, Special Sessions I, 20th International Conference, Guimaraes, Portugal, 12-14 July 2023., VOLUME: 741, PAGES: 332-341
INDEXED IN: Scopus DBLP
Scopus DBLP2079
TITLE: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9, PAGES: 1234-1253
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9, PAGES: 1234-1253
2080
TITLE: Welfare-Balanced International Trade Agreements Full Text
AUTHORS: Martins, Filipe ; Pinto, Alberto A. ; Zubelli, Jorge P.;
PUBLISHED: 2023, SOURCE: MATHEMATICS, VOLUME: 11, ISSUE: 1, PAGES: 40
AUTHORS: Martins, Filipe ; Pinto, Alberto A. ; Zubelli, Jorge P.;
PUBLISHED: 2023, SOURCE: MATHEMATICS, VOLUME: 11, ISSUE: 1, PAGES: 40
