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: 8623
531 Team MembersFilters -> Year: 2025
2381
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools Full Text
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5, PAGES: 35:1-35:48
2382
TITLE: Survey on Job Scheduling in Cloud-Fog Architecture
AUTHORS: Barros, C; Rocio, V ; Sousa, A; Paredes, H ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
AUTHORS: Barros, C; Rocio, V ; Sousa, A; Paredes, H ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
2383
TITLE: Symphony. routing aware scheduling for DSME networks Full Text
AUTHORS: Harrison Kurunathan; Ricardo Severino ; Anis Koubaa; Eduardo Tovar;
PUBLISHED: 2020, SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 4, PAGES: 26-31
AUTHORS: Harrison Kurunathan; Ricardo Severino ; Anis Koubaa; Eduardo Tovar;
PUBLISHED: 2020, SOURCE: ACM SIGBED Review, VOLUME: 16, ISSUE: 4, PAGES: 26-31
2384
TITLE: Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study Full Text
AUTHORS: Nuno Flores ; Ana C R Paiva ; Nuno Cruz;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 3, PAGES: 153
AUTHORS: Nuno Flores ; Ana C R Paiva ; Nuno Cruz;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 3, PAGES: 153
2385
TITLE: Tech-Inclusion Research: An Iconographic Browser Extension Solution
AUTHORS: Tânia Rocha ; Hugo Paredes ; Paulo Martins ; João Barroso ;
PUBLISHED: 2020, SOURCE: 22nd International Conference on Human Computer Interaction, HCII 2020 in HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design - 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, VOLUME: 12426, PAGES: 333-344
AUTHORS: Tânia Rocha ; Hugo Paredes ; Paulo Martins ; João Barroso ;
PUBLISHED: 2020, SOURCE: 22nd International Conference on Human Computer Interaction, HCII 2020 in HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design - 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, VOLUME: 12426, PAGES: 333-344
2386
TITLE: Test case generation based on mutations over user execution traces Full Text
AUTHORS: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
AUTHORS: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
2387
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
2388
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
2389
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
2390
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
2391
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
2392
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
2393
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
WOS2394
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
CrossRef2395
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
2396
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-+
2397
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
2398
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
2399
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
2400
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
