CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8103
531 Team MembersFilters -> Year: 2024
2101
TITLE: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165, PAGES: 122-140
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165, PAGES: 122-140
2102
TITLE: The 3rd International Workshop on Narrative Extraction from Texts: Text2Story 2020
AUTHORS: Ricardo Campos ; Alípio Jorge ; Adam Jatowt; Sumit Bhatia;
PUBLISHED: 2020, SOURCE: 42nd European Conference on IR Research, ECIR 2020 in Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II, VOLUME: 12036, PAGES: 648-653
AUTHORS: Ricardo Campos ; Alípio Jorge ; Adam Jatowt; Sumit Bhatia;
PUBLISHED: 2020, SOURCE: 42nd European Conference on IR Research, ECIR 2020 in Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II, VOLUME: 12036, PAGES: 648-653
2103
TITLE: The 4-corner model as a synchromodal and digital twin enabler in the transportation sector
AUTHORS: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
AUTHORS: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
2104
TITLE: The ADC API: A Web API for the Programmatic Query of the AIRR Data Commons
AUTHORS: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLISHED: 2020, SOURCE: Frontiers Big Data, VOLUME: 3, PAGES: 22
AUTHORS: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLISHED: 2020, SOURCE: Frontiers Big Data, VOLUME: 3, PAGES: 22
2105
TITLE: The AgilECo Pattern Language: Physical Environment. Physical Environment
AUTHORS: Daniel Pinho; Ademar Aguiar ;
PUBLISHED: 2020, SOURCE: 2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020 in EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, PAGES: 30:1-30:9
AUTHORS: Daniel Pinho; Ademar Aguiar ;
PUBLISHED: 2020, SOURCE: 2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020 in EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, PAGES: 30:1-30:9
2106
TITLE: The AMPERE Project: A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization
AUTHORS: Quinones, E; Royuela, S; Scordino, C; Gai, P; Pinho, LM ; Nogueira, L ; Rollo, J; Cucinotta, T; Biondi, A; Hamann, A; Ziegenbein, D; Saoud, H; Soulat, R; Forsberg, B; Benini, L; Mando, G; Rucher, L;
PUBLISHED: 2020, SOURCE: IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC) in 2020 IEEE 23RD INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2020), PAGES: 201-206
AUTHORS: Quinones, E; Royuela, S; Scordino, C; Gai, P; Pinho, LM ; Nogueira, L ; Rollo, J; Cucinotta, T; Biondi, A; Hamann, A; Ziegenbein, D; Saoud, H; Soulat, R; Forsberg, B; Benini, L; Mando, G; Rucher, L;
PUBLISHED: 2020, SOURCE: IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC) in 2020 IEEE 23RD INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2020), PAGES: 201-206
2107
TITLE: THE AUGMENTED REALITY AS A SALES PROMOTION TOOL
AUTHORS: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLISHED: 2020, SOURCE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PAGES: 362-372
AUTHORS: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLISHED: 2020, SOURCE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PAGES: 362-372
INDEXED IN: 
WOS
WOS2108
TITLE: The connection of atmospheric new particle formation to fair-weather Earth-atmosphere electric field
AUTHORS: Xuemeng Chen; Susana Barbosa ; Antti Mäkelä; Jussi Paatero; Catarina Monteiro; Diana Guimarães; Heikki Junninen; Tuukka Petäjä; Markku Kulmala;
PUBLISHED: 2020
AUTHORS: Xuemeng Chen; Susana Barbosa ; Antti Mäkelä; Jussi Paatero; Catarina Monteiro; Diana Guimarães; Heikki Junninen; Tuukka Petäjä; Markku Kulmala;
PUBLISHED: 2020
INDEXED IN: 
CrossRef
CrossRef2109
TITLE: The Effect of a Linear Tuning between the Antigenic Stimulations of CD4(+) T Cells and CD4(+) Tregs Full Text
AUTHORS: Yusuf, AA; Figueiredo, IP ; Afsar, A; Burroughs, NJ; Pinto, AA ; Oliveira, BMPM ;
PUBLISHED: 2020, SOURCE: MATHEMATICS, VOLUME: 8, ISSUE: 2, PAGES: 293
AUTHORS: Yusuf, AA; Figueiredo, IP ; Afsar, A; Burroughs, NJ; Pinto, AA ; Oliveira, BMPM ;
PUBLISHED: 2020, SOURCE: MATHEMATICS, VOLUME: 8, ISSUE: 2, PAGES: 293
2110
TITLE: The GTEx Consortium atlas of genetic regulatory effects across human tissues
AUTHORS: The GTEx Consortium; Pedro Gabriel Dias Ferreira ;
PUBLISHED: 2020, SOURCE: SCIENCE, VOLUME: 369, ISSUE: 6509, PAGES: 1318-+
AUTHORS: The GTEx Consortium; Pedro Gabriel Dias Ferreira ;
PUBLISHED: 2020, SOURCE: SCIENCE, VOLUME: 369, ISSUE: 6509, PAGES: 1318-+
2111
TITLE: The Impact of Atmospheric and Tectonic Constraints on Radon-222 and Carbon Dioxide Flow in Geological Porous Media - A Dozen-Year Research Summary
AUTHORS: Hovav Zafrir; Susana Barbosa ; Elad Levintal; Noam Weisbrod; Yochai Ben Horin; Zeev Zalevsky;
PUBLISHED: 2020, SOURCE: FRONTIERS IN EARTH SCIENCE, VOLUME: 8
AUTHORS: Hovav Zafrir; Susana Barbosa ; Elad Levintal; Noam Weisbrod; Yochai Ben Horin; Zeev Zalevsky;
PUBLISHED: 2020, SOURCE: FRONTIERS IN EARTH SCIENCE, VOLUME: 8
2112
TITLE: The Impact of Olfactory and Wind Stimuli on 360 Videos Using Head-mounted Displays Full Text
AUTHORS: David Narciso ; Miguel Melo ; Jose Vasconcelos Raposo; Maximino Bessa ;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON APPLIED PERCEPTION, VOLUME: 17, ISSUE: 1, PAGES: 4:1-4:13
AUTHORS: David Narciso ; Miguel Melo ; Jose Vasconcelos Raposo; Maximino Bessa ;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON APPLIED PERCEPTION, VOLUME: 17, ISSUE: 1, PAGES: 4:1-4:13
2113
TITLE: The Influence of Digital Marketing Tools Perceived Usefulness in a Rural Region Destination Image
AUTHORS: Filipa Jorge; Mário Sérgio Teixeira; Ramiro Gonçalves ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PAGES: 557-569
AUTHORS: Filipa Jorge; Mário Sérgio Teixeira; Ramiro Gonçalves ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PAGES: 557-569
2114
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLISHED: 2020, SOURCE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May, PAGES: 965-982
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLISHED: 2020, SOURCE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May, PAGES: 965-982
2115
TITLE: The ProcessPAIR Method for Automated Software Process Performance Analysis
AUTHORS: Raza, M; Faria, JP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 141569-141583
AUTHORS: Raza, M; Faria, JP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 141569-141583
2116
TITLE: The Structure of Climate Variability Across Scales Full Text
AUTHORS: Christian L E Franzke; Susana Barbosa ; Richard Blender; Hege Beate Fredriksen; Thomas Laepple; Fabrice Lambert; Tine Nilsen; Kristoffer Rypdal; Martin Rypdal; Manuel G Scotto ; Stephane Vannitsem; Nicholas W Watkins; Lichao C Yang; Naiming M Yuan;
PUBLISHED: 2020, SOURCE: REVIEWS OF GEOPHYSICS, VOLUME: 58, ISSUE: 2
AUTHORS: Christian L E Franzke; Susana Barbosa ; Richard Blender; Hege Beate Fredriksen; Thomas Laepple; Fabrice Lambert; Tine Nilsen; Kristoffer Rypdal; Martin Rypdal; Manuel G Scotto ; Stephane Vannitsem; Nicholas W Watkins; Lichao C Yang; Naiming M Yuan;
PUBLISHED: 2020, SOURCE: REVIEWS OF GEOPHYSICS, VOLUME: 58, ISSUE: 2
2117
TITLE: The Use of Kahoot, GeoGebra and Texas Ti-Nspire Educational Software's in the Teaching of Geometry and Measurement
AUTHORS: Paula Sofia Nunes; Paulo Martins ; Paula Catarino ;
PUBLISHED: 2020, SOURCE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PAGES: 21-31
AUTHORS: Paula Sofia Nunes; Paulo Martins ; Paula Catarino ;
PUBLISHED: 2020, SOURCE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PAGES: 21-31
2118
TITLE: The Value of Information Searching against Fake News Full Text
AUTHORS: Jose Martins ; Alberto Pinto ;
PUBLISHED: 2020, SOURCE: ENTROPY, VOLUME: 22, ISSUE: 12, PAGES: 1-18
AUTHORS: Jose Martins ; Alberto Pinto ;
PUBLISHED: 2020, SOURCE: ENTROPY, VOLUME: 22, ISSUE: 12, PAGES: 1-18
2119
TITLE: Theoretical Underpinnings and Practical Challenges of Crowdsourcing as a Mechanism for Academic Study
AUTHORS: António Correia ; Shoaib Jameel; Daniel Schneider; Benjamim Fonseca ; Hugo Paredes ;
PUBLISHED: 2020, SOURCE: 53rd Hawaii International Conference on System Sciences, HICSS 2020, Maui, Hawaii, USA, January 7-10, 2020, VOLUME: 2020-January, PAGES: 1-10
AUTHORS: António Correia ; Shoaib Jameel; Daniel Schneider; Benjamim Fonseca ; Hugo Paredes ;
PUBLISHED: 2020, SOURCE: 53rd Hawaii International Conference on System Sciences, HICSS 2020, Maui, Hawaii, USA, January 7-10, 2020, VOLUME: 2020-January, PAGES: 1-10
2120
TITLE: Tightening Up Security In Low Power Deterministic Networks
AUTHORS: Walter Tiberti; Bruno Vieira; Harrison Kurunathan; Ricardo Severino ; Eduardo Tovar ;
PUBLISHED: 2020, SOURCE: 16th IEEE International Conference on Factory Communication Systems, WFCS 2020 in 16th IEEE International Conference on Factory Communication Systems, WFCS 2020, Porto, Portugal, April 27-29, 2020, VOLUME: 2020-April, PAGES: 1-7
AUTHORS: Walter Tiberti; Bruno Vieira; Harrison Kurunathan; Ricardo Severino ; Eduardo Tovar ;
PUBLISHED: 2020, SOURCE: 16th IEEE International Conference on Factory Communication Systems, WFCS 2020 in 16th IEEE International Conference on Factory Communication Systems, WFCS 2020, Porto, Portugal, April 27-29, 2020, VOLUME: 2020-April, PAGES: 1-7
