CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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: 8110

531 Team Members
Filters -> Year: 2024
2381
TITLE: EvoPPI: A Web Application to Compare Protein-Protein Interactions (PPIs) from Different Databases and Species
AUTHORS: Vazquez, N; Rocha, S; Lopez Fernandez, H; Torres, A; Camacho, R ; Fdez Riverola, F; Vieira, J ; Vieira, CP ; Reboiro Jato, M;
PUBLISHED: 2019, SOURCE: 12th International Conference on Practical Applications of Computational Biology and Bioinformatics (PACBB) in PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOLUME: 803, PAGES: 149-156
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2382
TITLE: Examining social capital and individual motivators to explain the adoption of online citizen participation
AUTHORS: Mijail Naranjo Zolotov; Tiago Oliveira; Frederico Cruz Jesus; Jose Martins ; Ramiro Goncalves ; Frederico Branco ; Nuno Xavier;
PUBLISHED: 2019, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 92, PAGES: 302-311
INDEXED IN: Scopus WOS DBLP CrossRef: 29
2383
TITLE: Experimental NFT hydroponics system with lower energy consumption
AUTHORS: Ramos, C; Nobrega, L; Baras, K; Luis A Gomes ;
PUBLISHED: 2019, SOURCE: 5th Experiment at International Conference, exp.at 2019 in Proceedings of the 2019 5th Experiment at International Conference, exp.at 2019, PAGES: 102-106
INDEXED IN: Scopus CrossRef: 6
2384
TITLE: Expert Crowdsourcing for Semantic Annotation of Atmospheric Phenomena
AUTHORS: Margarida Liberato ; Hugo Paredes ; Alexandre Ramos; Arsénio Reis; Riccardo Hénin; João Barroso ;
PUBLISHED: 2019
INDEXED IN: CrossRef
2385
TITLE: Exploring Video Game Searches on the Web
AUTHORS: Mansouri, B; Zahedi, MS; Campos, R ; Farhoodi, M;
PUBLISHED: 2019, SOURCE: World Wide Web Conference (WWW) in COMPANION OF THE WORLD WIDE WEB CONFERENCE (WWW 2019 ), PAGES: 1161-1170
INDEXED IN: Scopus WOS DBLP CrossRef
2386
TITLE: Extended Reality Framework for Remote Collaborative Interactions in Virtual Environments
AUTHORS: Pereira, V; Matos, T ; Rodrigues, R ; Nobrega, R ; Jacob, J ;
PUBLISHED: 2019, SOURCE: International Conference on Graphics and Interaction (ICGI) in PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2019), PAGES: 17-24
INDEXED IN: Scopus WOS DBLP CrossRef
2387
TITLE: Extracting Clothing Features for Blind People Using Image Processing and Machine Learning Techniques: First Insights
AUTHORS: Rocha, D; Carvalho, V; Soares, F ; Oliveira, E;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computational Vision and Biomechanics, VOLUME: 34, PAGES: 411-418
INDEXED IN: Scopus CrossRef: 2
2388
TITLE: Fair Remuneration of Energy Consumption Flexibility Using Shapley Value
AUTHORS: Faia, Ricardo; Pinto, Tiago ; Vale, Zita;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2019, PT I, VOLUME: 11804, PAGES: 532-544
INDEXED IN: Scopus WOS CrossRef: 4
2389
TITLE: Fair Remuneration of Energy Consumption Flexibility Using Shapley Value
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
PUBLISHED: 2019, SOURCE: 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: 532-544
INDEXED IN: DBLP
2390
TITLE: Fall-Prevention Exergames Using Balance Board Systems
AUTHORS: Miguel Brito; Rui Nóbrega ; Jacob, J ; Rui Rodrigues ; António Coelho ;
PUBLISHED: 2019, SOURCE: 17th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2019 in Human-Computer Interaction - INTERACT 2019 - 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part II, VOLUME: 11747, PAGES: 406-426
INDEXED IN: Scopus DBLP CrossRef
2391
TITLE: Fast Heuristic-Based GPU Compiler Sequence Specialization
AUTHORS: Nobre, R; Reis, L; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: International European Conference on Parallel and Distributed Computing (Euro-Par) in EURO-PAR 2018: PARALLEL PROCESSING WORKSHOPS, VOLUME: 11339, PAGES: 494-505
INDEXED IN: WOS DBLP CrossRef: 1
2392
TITLE: Feature-enriched author ranking in incomplete networks
AUTHORS: Silva, J ; Aparicio, D ; Silva, F ;
PUBLISHED: 2019, SOURCE: APPLIED NETWORK SCIENCE, VOLUME: 4, ISSUE: 1, PAGES: 74
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2393
TITLE: Finding Dominant Nodes Using Graphlets
AUTHORS: David Aparício ; Pedro Ribeiro ; Fernando Silva ; Jorge M B Silva ;
PUBLISHED: 2019, SOURCE: 8th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2019 in Complex Networks and Their Applications VIII - Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, Lisbon, Portugal, December 10-12, 2019., VOLUME: 881, PAGES: 77-89
INDEXED IN: Scopus DBLP CrossRef: 1
2394
TITLE: Flow Monitoring System for IoT Networks
AUTHORS: Leonel Santos; Carlos Rabadão ; Ramiro Gonçalves ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 420-430
INDEXED IN: Scopus DBLP CrossRef: 7
2395
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 1
2396
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
INDEXED IN: Scopus WOS DBLP CrossRef: 8
2397
TITLE: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTHORS: José Creissac Campos ; Michael D Harrison;
PUBLISHED: 2019, SOURCE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PAGES: 69-75
INDEXED IN: Scopus DBLP
2398
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
INDEXED IN: Scopus WOS DBLP CrossRef: 6
2399
TITLE: Full-Duplex Jamming for Enhanced Hidden-Key Secrecy
AUTHORS: Dryer, Z; Nickerl, A; Gomes, MAC; Vilela, JP ; Harrison, WK;
PUBLISHED: 2019, SOURCE: IEEE International Conference on Communications (ICC) in ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), VOLUME: 2019-May
INDEXED IN: Scopus WOS CrossRef: 1
2400
TITLE: Gait stride-to-stride variability and foot clearance pattern analysis in Idiopathic Parkinson's Disease and Vascular Parkinsonism
AUTHORS: Ferreira, F ; Gago, MF; Bicho, E; Carvalho, C; Mollaei, N; Rodrigues, L; Sousa, N; Rodrigues, PP ; Ferreira, C ; Gama, J ;
PUBLISHED: 2019, SOURCE: JOURNAL OF BIOMECHANICS, VOLUME: 92, PAGES: 98-104
INDEXED IN: Scopus WOS CrossRef: 18 Handle

Results per Page: 20.
Page 120 of 406. Total results: 8110.