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: 18004
1699 Team MembersFilters -> Year: 2024
5741
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
DBLP5742
TITLE: Machine-Checked Proofs for Cryptographic Standards Indifferentiability of SPONGE and Secure High-Assurance Implementations of SHA-3. Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3 Full Text
AUTHORS: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622
AUTHORS: Jose Bacelar Almeida ; Cecile Baritel Ruet; Manuel Barbosa ; Gilles Barthe ; Francois Dupressoir; Benjamin Gregoire; Vincent Laporte; Tiago Oliveira ; Alley Stoughton; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (CCS) in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), PAGES: 1607-1622
5743
TITLE: MACHoice: a Decision Support System for agricultural machinery management
AUTHORS: Cunha, M ; Goncalves, SG;
PUBLISHED: 2019, SOURCE: OPEN AGRICULTURE, VOLUME: 4, ISSUE: 1, PAGES: 305-321
AUTHORS: Cunha, M ; Goncalves, SG;
PUBLISHED: 2019, SOURCE: OPEN AGRICULTURE, VOLUME: 4, ISSUE: 1, PAGES: 305-321
5744
TITLE: MAESTRI toolkit for industrial symbiosis: Overview, lessons learnt and implications
AUTHORS: Holgado, M; Evans, S; Benedetti, M; Dubois, M; Li, Y; Morgan, D; Ferrera, E; Rossini, R; Baptista, AJ ; Lourenço, E; Silva, EJ; Estrela, MA;
PUBLISHED: 2019, SOURCE: 5th International Conference on Sustainable Design and Manufacturing, SDM 2018 in Smart Innovation, Systems and Technologies, VOLUME: 130, PAGES: 51-60
AUTHORS: Holgado, M; Evans, S; Benedetti, M; Dubois, M; Li, Y; Morgan, D; Ferrera, E; Rossini, R; Baptista, AJ ; Lourenço, E; Silva, EJ; Estrela, MA;
PUBLISHED: 2019, SOURCE: 5th International Conference on Sustainable Design and Manufacturing, SDM 2018 in Smart Innovation, Systems and Technologies, VOLUME: 130, PAGES: 51-60
5745
TITLE: Main Factors Driving the Open Rate of Email Marketing Campaigns
AUTHORS: Andreia Conceição; João Gama ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Discovery Science, DS 2019 in Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PAGES: 145-154
AUTHORS: Andreia Conceição; João Gama ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Discovery Science, DS 2019 in Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PAGES: 145-154
5746
TITLE: Major Optical Clearing Mechanisms
AUTHORS: Luís Manuel Couto Oliveira ; Valery Victorovich Tuchin;
PUBLISHED: 2019, SOURCE: SpringerBriefs in Physics, VOLUME: Part F995, PAGES: 49-59
AUTHORS: Luís Manuel Couto Oliveira ; Valery Victorovich Tuchin;
PUBLISHED: 2019, SOURCE: SpringerBriefs in Physics, VOLUME: Part F995, PAGES: 49-59
INDEXED IN: 
Scopus
Scopus5747
TITLE: Managing the Team Project Process: Helpful Hints and Tools to Ease the Workload without Sacrificing Learning Objectives
AUTHORS: Fernando Almeida ; Jorge Simoes;
PUBLISHED: 2019, SOURCE: E-JOURNAL OF BUSINESS EDUCATION & SCHOLARSHIP OF TEACHING, VOLUME: 13, ISSUE: 2, PAGES: 35-54
AUTHORS: Fernando Almeida ; Jorge Simoes;
PUBLISHED: 2019, SOURCE: E-JOURNAL OF BUSINESS EDUCATION & SCHOLARSHIP OF TEACHING, VOLUME: 13, ISSUE: 2, PAGES: 35-54
INDEXED IN: 
WOS
WOS5748
TITLE: Map-Matching Algorithms for Robot Self-Localization: A Comparison Between Perfect Match, Iterative Closest Point and Normal Distributions Transform Full Text
AUTHORS: Heber Sobreira ; Carlos M Costa ; Ivo Sousa; Luis Rocha ; Jose Lima ; Farias, PCMA; Paulo Costa ; Paulo Moreira, AP ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 93, ISSUE: 3-4, PAGES: 533-546
AUTHORS: Heber Sobreira ; Carlos M Costa ; Ivo Sousa; Luis Rocha ; Jose Lima ; Farias, PCMA; Paulo Costa ; Paulo Moreira, AP ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 93, ISSUE: 3-4, PAGES: 533-546
5749
TITLE: Mass Producible Low-Loss Broadband Optical Waveguides in Eagle2000 by Femtosecond Laser Writing
AUTHORS: Vitor A Amorim ; Duarte Viveiros ; Joao M Maia ; Marques, PVS ;
PUBLISHED: 2019, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 31, ISSUE: 20, PAGES: 1658-1661
AUTHORS: Vitor A Amorim ; Duarte Viveiros ; Joao M Maia ; Marques, PVS ;
PUBLISHED: 2019, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 31, ISSUE: 20, PAGES: 1658-1661
5750
TITLE: Mathematical modelling of multi-product ordering in three-echelon supply chain networks
AUTHORS: Homayouni, SM ; Khayyambashi, A; Fontes, DBMM ; Fernandes, JC ;
PUBLISHED: 2019, SOURCE: 3rd Eu International Conference on Industrial Engineering and Operations Management,IEOM 2019 in Proceedings of the International Conference on Industrial Engineering and Operations Management, ISSUE: July, PAGES: 1265-1274
AUTHORS: Homayouni, SM ; Khayyambashi, A; Fontes, DBMM ; Fernandes, JC ;
PUBLISHED: 2019, SOURCE: 3rd Eu International Conference on Industrial Engineering and Operations Management,IEOM 2019 in Proceedings of the International Conference on Industrial Engineering and Operations Management, ISSUE: July, PAGES: 1265-1274
INDEXED IN: Scopus
Scopus5751
TITLE: Maximizing the expected number of transplants in kidney exchange programs with branch-and-price
AUTHORS: Alvelos, F; Klimentova, X ; Viana, A ;
PUBLISHED: 2019, SOURCE: International Symposium on Combinatorial Optimization (CO) in ANNALS OF OPERATIONS RESEARCH, VOLUME: 272, ISSUE: 1-2, PAGES: 429-444
AUTHORS: Alvelos, F; Klimentova, X ; Viana, A ;
PUBLISHED: 2019, SOURCE: International Symposium on Combinatorial Optimization (CO) in ANNALS OF OPERATIONS RESEARCH, VOLUME: 272, ISSUE: 1-2, PAGES: 429-444
5752
TITLE: Maximum Search Limitations: Boosting Evolutionary Particle Swarm Optimization Exploration
AUTHORS: Mario Tasso Ribeiro Serra Neto ; Marco A F Mollinetti; Vladimiro Miranda ; Leonel M Carvalho ;
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: 712-723
AUTHORS: Mario Tasso Ribeiro Serra Neto ; Marco A F Mollinetti; Vladimiro Miranda ; Leonel M Carvalho ;
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: 712-723
5753
TITLE: Meander-Line Monopole Antenna With Compact Ground Plane for a Bluetooth System-in-Package
AUTHORS: Hugo M Santos ; Pedro Pinho; Rui Pedro Silva; Marcio Pinheiro; Henrique M Salgado ;
PUBLISHED: 2019, SOURCE: IEEE ANTENNAS AND WIRELESS PROPAGATION LETTERS, VOLUME: 18, ISSUE: 11, PAGES: 2379-2383
AUTHORS: Hugo M Santos ; Pedro Pinho; Rui Pedro Silva; Marcio Pinheiro; Henrique M Salgado ;
PUBLISHED: 2019, SOURCE: IEEE ANTENNAS AND WIRELESS PROPAGATION LETTERS, VOLUME: 18, ISSUE: 11, PAGES: 2379-2383
5754
TITLE: Measuring innovation through a crowd source initiative Full Text
AUTHORS: Almeida, F ; Kennedy, AJ; Lin, B; Nowak, IV;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF INNOVATION SCIENCE, VOLUME: 11, ISSUE: 3, PAGES: 471-488
AUTHORS: Almeida, F ; Kennedy, AJ; Lin, B; Nowak, IV;
PUBLISHED: 2019, SOURCE: INTERNATIONAL JOURNAL OF INNOVATION SCIENCE, VOLUME: 11, ISSUE: 3, PAGES: 471-488
5755
TITLE: Measuring optical properties of human liver between 400 and 1000 nm
AUTHORS: Carneiro, I; Carvalho, S; Henrique, R ; Oliveira, L ; Tuchin, VV;
PUBLISHED: 2019, SOURCE: 6th Annual Int Symposium on Optics and Biophotonics / 22nd Annual Saratov Fall Meeting (SFM) - Optical and Nano-Technologies for Biology and Medicine / 22nd Int School for Junior Scientists and Students on Optics, Laser Physics, and Biophotonics in QUANTUM ELECTRONICS, VOLUME: 49, ISSUE: 1, PAGES: 13-19
AUTHORS: Carneiro, I; Carvalho, S; Henrique, R ; Oliveira, L ; Tuchin, VV;
PUBLISHED: 2019, SOURCE: 6th Annual Int Symposium on Optics and Biophotonics / 22nd Annual Saratov Fall Meeting (SFM) - Optical and Nano-Technologies for Biology and Medicine / 22nd Int School for Junior Scientists and Students on Optics, Laser Physics, and Biophotonics in QUANTUM ELECTRONICS, VOLUME: 49, ISSUE: 1, PAGES: 13-19
5756
TITLE: Mediating model of brand equity and its application
AUTHORS: Umesh Ramchandra Raut; Prafulla Arjun Pawar; Pedro Quelhas Brito ; Gyanendra Singh Sisodia;
PUBLISHED: 2019, SOURCE: Spanish Journal of Marketing - ESIC, VOLUME: 23, ISSUE: 2, PAGES: 295-318
AUTHORS: Umesh Ramchandra Raut; Prafulla Arjun Pawar; Pedro Quelhas Brito ; Gyanendra Singh Sisodia;
PUBLISHED: 2019, SOURCE: Spanish Journal of Marketing - ESIC, VOLUME: 23, ISSUE: 2, PAGES: 295-318
5757
TITLE: Memoized zipper-based attribute grammars and their higher order extension Full Text
AUTHORS: Joao Paulo Fernandes ; Pedro Martins; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLISHED: 2019, SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PAGES: 71-94
AUTHORS: Joao Paulo Fernandes ; Pedro Martins; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLISHED: 2019, SOURCE: 20th Brazilian Symposium on Programing Languages (SBLP) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 173, PAGES: 71-94
5758
TITLE: Memory Reclamation Methods for Lock-Free Hash Tries Full Text
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
AUTHORS: Pedro Moreno ; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2019, SOURCE: 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) in 2019 31ST INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD 2019), VOLUME: 2019-October, PAGES: 188-195
5759
TITLE: Message from the a- Most 2019 chairs
AUTHORS: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
AUTHORS: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef5760
TITLE: Message from the symposium general chair and program chairs
AUTHORS: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
AUTHORS: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
Scopus