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

531 Team Members
Filters -> Year: 2024
2881
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176, PAGES: 274-289
INDEXED IN: Scopus DBLP CrossRef: 2
2882
TITLE: Formal verification of a domain specific language for run-time adaptation
AUTHORS: Shahid Khan; Faiq Khalid; Osman Hasan; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: 12th Annual IEEE International Systems Conference, SysCon 2018 in 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef
2883
TITLE: Fostering Students-Driven Learning of Computer Programming with an Ensemble of E-Learning Tools
AUTHORS: Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 289-298
INDEXED IN: Scopus DBLP CrossRef
2884
TITLE: From CRM to CzRM - fundamental concepts
AUTHORS: Jorge Duque; Joao Varajao; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef: 1
2885
TITLE: Generalized selections for direct control in procedural buildings  Full Text
AUTHORS: Jesus, D; Patow, G; Coelho, A ; Sousa, AA ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 72, PAGES: 106-121
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2886
TITLE: Generalizing Knowledge in Decentralized Rule-Based Models
AUTHORS: Pedro Strecht ; João Mendes Moreira ; Carlos Soares ;
PUBLISHED: 2018, SOURCE: Workshops Nemesis, UrbReas, SoGood, IWAISe, and Green Data Mining, held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018 in ECML PKDD 2018 Workshops - DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, Revised Selected Papers, VOLUME: 967, PAGES: 29-36
INDEXED IN: Scopus DBLP CrossRef
2887
TITLE: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTHORS: Dirk Hofmann ; Renato Neves ; Pedro Nora;
PUBLISHED: 2018, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33, PAGES: 276-295
INDEXED IN: Scopus WOS
2888
TITLE: Genetic Algorithms for Portfolio Optimization with Weighted Sum Approach
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale; Juan Manuel Corchado; João P Soares; Fernando Lezama;
PUBLISHED: 2018, SOURCE: IEEE Symposium Series on Computational Intelligence, SSCI 2018, Bangalore, India, November 18-21, 2018, PAGES: 1823-1829
INDEXED IN: DBLP
2889
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2018, SOURCE: 24th International European Conference on Parallel and Distributed Computing, Euro-Par 2018 in Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, VOLUME: 11014, PAGES: 492-504
INDEXED IN: Scopus DBLP
2890
TITLE: GoT-WAVE: Temporal network alignment using graphlet-orbit transitions PDF
AUTHORS: David Oliveira Aparício ; Pedro Ribeiro ; Tijana Milenkovic; Fernando Silva ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1808.08195
INDEXED IN: DBLP arXiv
2891
TITLE: Graphical Simulation of Clinical Scenarios for Medical Training
AUTHORS: Diana Pinto; Joao Costa; Rui Nobrega ; Hugo da Silva; Antonio Coelho ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXED IN: Scopus WOS CrossRef: 1
2892
TITLE: Graphlet-orbit Transitions (GoT): A fingerprint for temporal network comparison  Full Text
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2018, SOURCE: PLOS ONE, VOLUME: 13, ISSUE: 10
INDEXED IN: Scopus WOS CrossRef: 12
2893
TITLE: GreenSoftwareLab: Towards an Engineering Discipline for Green Software  Full Text
AUTHORS: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2018, SOURCE: Impact, VOLUME: 2018, ISSUE: 1, PAGES: 9-11
INDEXED IN: CrossRef
2894
TITLE: Guest Editorial Special Issue on Knowledge Discovery From Mobility Data for Intelligent Transportation Systems
AUTHORS: Luis Moreira Matias; Joao Gama ; Cristina Olaverri Monreal; Rahul Nair; Roberto Trasarti;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 19, ISSUE: 11, PAGES: 3626-3629
INDEXED IN: Scopus WOS DBLP CrossRef
2895
TITLE: Guest editorial: real-time networks and systems
AUTHORS: Faucou, S; Pinho, LM ;
PUBLISHED: 2018, SOURCE: REAL-TIME SYSTEMS, VOLUME: 54, ISSUE: 4, PAGES: 797-799
INDEXED IN: Scopus WOS CrossRef: 1
2896
TITLE: GUIDELINES FOR THE WRITING QUANTITATIVE SCIENTIFIC PAPERS
AUTHORS: José Vasconcelos-Raposo ; Carla M Teixeira;
PUBLISHED: 2018, SOURCE: PsychTech & Health Journal, VOLUME: 1, ISSUE: 1, PAGES: 1
INDEXED IN: CrossRef
2897
TITLE: GymApp: a Real Time Physical Activity Trainner on Wearable Devices
AUTHORS: Viana, Paula ; Ferreira, Tiago ; Castro, Lourenco; Soares, Marcio; Pinto, Jose Pedro ; Andrade, Teresa ; Carvalho, Pedro ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Human System Interaction (HSI) in 2018 11TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTION (HSI), PAGES: 513-518
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2898
TITLE: Haar Cascade Classifier and Lucas–Kanade Optical Flow Based Realtime Object Tracker with Custom Masking Technique
AUTHORS: Karishma Mohiuddin; Mirza Mohtashim Alam; Amit Kishor Das; Md Tahsir Ahmed Munna ; Shaikh Muhammad Allayear; Md Haider Ali;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing - Advances in Information and Communication Networks, PAGES: 398-410
INDEXED IN: CrossRef: 1
2899
TITLE: HealthTalks - A Mobile App to Improve Health Communication and Personal Information Management
AUTHORS: Monteiro, JM ; Lopes, CT ;
PUBLISHED: 2018, SOURCE: 3rd ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'18: PROCEEDINGS OF THE 2018 CONFERENCE ON HUMAN INFORMATION INTERACTION & RETRIEVAL, VOLUME: 2018-March, PAGES: 329-332
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2900
TITLE: Heart Rate, Electrodermic Activity and Self-Reported Experience in Shooter Games, in University Students
AUTHORS: José Vasconcelos-Raposo ; Universidade de Trás-os-Montes e Alto Douro, Vila Real, Portugal., ; Joana Fernandes; Sara Nobre; Sónia Teixeira;
PUBLISHED: 2018, SOURCE: PSYCHTECH & HEALTH JOURNAL, VOLUME: 2, ISSUE: 1, PAGES: 28-42
INDEXED IN: CrossRef: 1

Results per Page: 20.
Page 145 of 406. Total results: 8106.