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

531 Team Members
Filters -> Year: 2024
4481
TITLE: Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory  Full Text
AUTHORS: Barros, A ; Pinho, LM ; Yomsi, PM;
PUBLISHED: 2015, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 61, ISSUE: 10, PAGES: 553-566
INDEXED IN: Scopus WOS DBLP CrossRef Handle
4482
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
INDEXED IN: Scopus WOS DBLP CrossRef: 5
4483
TITLE: Odin: A Service for Gamification of Learning Activities
AUTHORS: Jose Carlos Paiva ; Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
INDEXED IN: Scopus WOS DBLP CrossRef: 6
4484
TITLE: Odin: a service for gamification of learning activities
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
INDEXED IN: Handle
4485
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4486
TITLE: On learning from taxi-GPS traces PDF
AUTHORS: Mendes Moreira, J ; Moreira Matias, L ;
PUBLISHED: 2015, SOURCE: ECML/PKDD 2015 Discovery Challenges, ECML-PKDD-DCs 2015 in CEUR Workshop Proceedings, VOLUME: 1526
INDEXED IN: Scopus DBLP
4487
TITLE: On the verification of architectural reconfigurations  Full Text
AUTHORS: Alejandro Sanchez ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 44, PAGES: 218-237
INDEXED IN: Scopus WOS DBLP CrossRef: 4
4488
TITLE: Online tree-based ensembles and option trees for regression on evolving data streams  Full Text
AUTHORS: Elena Ikonomovska; Joao Gama ; Saso Dzeroski;
PUBLISHED: 2015, SOURCE: NEUROCOMPUTING, VOLUME: 150, ISSUE: PB, PAGES: 458-470
INDEXED IN: Scopus WOS DBLP CrossRef: 56
4489
TITLE: Ontologies for Research Data Description: A Design Process Applied to Vehicle Simulation
AUTHORS: Joao Aguiar Castro ; Deborah Perrotta; Ricardo Carvalho Amorim ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2015, SOURCE: 9th Conference on Metadata and Semantics Research (MTSR) in METADATA AND SEMANTICS RESEARCH, MTSR 2015, VOLUME: 544, PAGES: 348-354
INDEXED IN: Scopus WOS DBLP CrossRef: 2
4490
TITLE: Open-Source Indoor Navigation System Adapted to Users with Motor Disabilities
AUTHORS: Celso Pereira; Antonio Sousa ; Vitor Filipe ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, VOLUME: 67, PAGES: 38-47
INDEXED IN: Scopus WOS DBLP CrossRef: 5
4491
TITLE: Operational Research
AUTHORS: João Paulo Almeida ; José Fernando Oliveira; Alberto Adrego Pinto ;
PUBLISHED: 2015, SOURCE: CIM Series in Mathematical Sciences
INDEXED IN: CrossRef: 3
4492
TITLE: ORCHESTRATING ONLINE GROUP WORK WHILE ASSESSING INDIVIDUAL PARTICIPATIONS
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2015, SOURCE: 9th International Technology, Education and Development Conference (INTED) in INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 2996-3005
INDEXED IN: WOS
4493
TITLE: Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers
AUTHORS: Souto, P ; Sousa, PB; Davis, RI; Bletsas, K; Tovar, E ;
PUBLISHED: 2015, SOURCE: 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2015 IEEE 21ST INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PAGES: 110-121
INDEXED IN: Scopus WOS DBLP CrossRef Handle
4494
TITLE: P-SOCRATES: A parallel software framework for time-critical many-core systems  Full Text
AUTHORS: Luis Miguel Pinho ; Vincent Nelis; Patrick Meumeu Yomsi; Eduardo Quinones; Marko Bertogna; Paolo Burgio; Andrea Marongiu; Claudio Scordino; Paolo Gai; Michele Ramponi; Michal Mardiak;
PUBLISHED: 2015, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 39, ISSUE: 8, PAGES: 1190-1203
INDEXED IN: Scopus WOS CrossRef
4495
TITLE: Pairwise structural role mining for user categorization in information cascades
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2015), PAGES: 137-144
INDEXED IN: Scopus WOS DBLP CrossRef
4496
TITLE: Pan-European Electricity Market Simulation considering the European Power Network capacities  Full Text
AUTHORS: Tiago Pinto ; Hugo Silva; Zita Vale; Gabriel Santos; Isabel Praca;
PUBLISHED: 2015, SOURCE: 26th International Workshop on Database and Expert Systems Applications (DEXA) in 2015 26TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), VOLUME: 2016-February, PAGES: 91-95
INDEXED IN: Scopus WOS CrossRef: 3
4497
TITLE: Pan-European Electricity Market Simulation Considering the European Power Network Capacities
AUTHORS: Tiago Pinto ; Hugo Silva; Zita A Vale; Gabriel Santos; Isabel Praça;
PUBLISHED: 2015, SOURCE: 26th International Workshop on Database and Expert Systems Applications, DEXA 2015, Valencia, Spain, September 1-4, 2015, PAGES: 91-95
INDEXED IN: DBLP
4498
TITLE: PBS Finder. a tool to assist RNA Binding Proteins studies
AUTHORS: Diogo Teixeira; Andrea Cruz; Sandra Bráz; Alexandra Moreira; João Relvas; Rui Camacho ;
PUBLISHED: 2015, SOURCE: Proceedings of the 30th Annual ACM Symposium on Applied Computing
INDEXED IN: CrossRef Unpaywall
4499
TITLE: Performance evaluation of gesture-based interaction between different age groups using Fitts' Law
AUTHORS: Carvalho, D ; Magalhães, L; Bessa, M ; Carrapatoso, E;
PUBLISHED: 2015, SOURCE: 16th International Conference on Human Computer Interaction, INTERACCION 2015 in ACM International Conference Proceeding Series, VOLUME: 07-09-September-2015, PAGES: 5:1-5:7
INDEXED IN: Scopus DBLP CrossRef: 10
4500
TITLE: Performing universal tasks on the Web. interaction with digital content by people with intellectual disabilities
AUTHORS: Tânia Rocha ; Maximino Bessa; Luís Magalhães; Luciana Cabral;
PUBLISHED: 2015, SOURCE: Proceedings of the XVI International Conference on Human Computer Interaction - Interacción '15
INDEXED IN: CrossRef: 5

Results per Page: 20.
Page 225 of 406. Total results: 8120.