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

531 Team Members
Filters -> Year: 2024
3521
TITLE: MODUS: model-based user interfaces prototyping. model-based user interfaces prototyping
AUTHORS: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLISHED: 2017, SOURCE: 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017, PAGES: 111-116
INDEXED IN: Scopus DBLP CrossRef Handle
3522
TITLE: Monoamines and cortisol as potential mediators of the relationship between exercise and depressive symptoms  Full Text
AUTHORS: Lara S F Carneiro; Maria Paula Mota; Maria Augusta Vieira Coelho ; Rita C. Alves ; Antonio Manuel Fonseca ; Jose Vasconcelos Raposo ;
PUBLISHED: 2017, SOURCE: EUROPEAN ARCHIVES OF PSYCHIATRY AND CLINICAL NEUROSCIENCE, VOLUME: 267, ISSUE: 2, PAGES: 117-121
INDEXED IN: Scopus WOS CrossRef: 19
3523
TITLE: Multi-view data types for scalable concurrency in the multi-core era
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PAGES: 3:1
INDEXED IN: DBLP
3524
TITLE: Multidimensional test coverage analysis: PARADIGM-COV tool  Full Text
AUTHORS: Ana C R Paiva ; Liliana Vilela;
PUBLISHED: 2017, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, ISSUE: 1, PAGES: 633-649
INDEXED IN: Scopus WOS DBLP CrossRef: 3
3525
TITLE: Multisensory virtual environment for firefighter training simulation Study of the impact of haptic feedback on task execution
AUTHORS: Luis Barbosa ; Pedro Monteiro ; Manuel Pinto; Hugo Coelho ; Miguel Melo ; Maximino Bessa ;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PAGES: 1-7
INDEXED IN: Scopus WOS CrossRef: 11
3526
TITLE: MuSec: Sonification of Alarms Generated by a SIEM
AUTHORS: Sousa, L; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 32-39
INDEXED IN: Scopus WOS DBLP CrossRef
3527
TITLE: MyAutoIconPlat: An Automatic Platform for Icons Creation
AUTHORS: Rocha, T ; Pinheiro, P; Santos, J; Marques, A; Paredes, H ; Barroso, J ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCI 2017 in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: DESIGN AND DEVELOPMENT APPROACHES AND METHODS, PT I, VOLUME: 10277, PAGES: 423-432
INDEXED IN: Scopus WOS DBLP CrossRef: 1
3528
TITLE: MyCarMobile: A Travel Assistance Emergency Mobile App for Deaf People
AUTHORS: Tania Rocha ; Hugo Paredes ; Diogo Soares; Benjamim Fonseca ; Joao Barroso ;
PUBLISHED: 2017, SOURCE: 16th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2017, PT I, VOLUME: 10513, PAGES: 56-65
INDEXED IN: Scopus WOS DBLP CrossRef: 3
3529
TITLE: NASH AND SOCIAL WELFARE IMPACT IN AN INTERNATIONAL TRADE MODEL
AUTHORS: Jorge Passamani Zubelli; Alberto A Pinto ; Filipe Martins ;
PUBLISHED: 2017, SOURCE: JOURNAL OF DYNAMICS AND GAMES, VOLUME: 4, ISSUE: 2, PAGES: 149-173
INDEXED IN: Scopus WOS CrossRef: 4
3530
TITLE: Network Motifs Detection Using Random Networks with Prescribed Subgraph Frequencies
AUTHORS: Miguel E P Silva ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2017, SOURCE: 8th Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS VIII, VOLUME: Part F2, PAGES: 17-29
INDEXED IN: Scopus WOS CrossRef: 6
3531
TITLE: Networks of Universities as a Tool for GCIO Education
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2017, SOURCE: 16th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2017 in Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings, VOLUME: 10428, PAGES: 117-127
INDEXED IN: Scopus DBLP CrossRef
3532
TITLE: New Formulations for the Unit Commitment Problem Optimal Control and Switching-Time Parameterization Approaches
AUTHORS: Roque, Luis A. C. ; Fontes, Fernando A. C. C. ; Fontes, Dalila B. M. M. ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Informatics in Control, Automation and Robotics (ICINCO) in ICINCO: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS - VOL 1, VOLUME: 1, PAGES: 326-331
INDEXED IN: Scopus WOS DBLP CrossRef
3533
TITLE: Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM
AUTHORS: Santos, G; Pinto, T ; Praca, I; Vale, Z;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 283-294
INDEXED IN: Scopus WOS CrossRef: 5
3534
TITLE: Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM
AUTHORS: Gabriel Santos; Tiago Pinto ; Isabel Praça; Zita A Vale;
PUBLISHED: 2017, SOURCE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423, PAGES: 283-294
INDEXED IN: DBLP
3535
TITLE: Observatório de Ciência da Informação da U.Porto: uma década a monitorizar a CI
AUTHORS: Domingos A T G Ferreira; Inês D Koch ; Soraia T Ramos; Tiago F M Olo; Maria M G d A Pinto;
PUBLISHED: 2017
INDEXED IN: Handle
3536
TITLE: Off the beaten track: A new linear model for interval data  Full Text
AUTHORS: Sonia Dias ; Paula Brito ;
PUBLISHED: 2017, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 258, ISSUE: 3, PAGES: 1118-1130
INDEXED IN: Scopus WOS DBLP CrossRef: 28
3537
TITLE: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 27th International Conference on Inductive Logic Programming, ILP 2017 in Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers, VOLUME: 10759, PAGES: 31-45
INDEXED IN: Scopus DBLP CrossRef
3538
TITLE: On Coding Techniques for Targeting FPGAs via OpenCL
AUTHORS: Nuno Paulino ; Luís Reis; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: Parallel Computing is Everywhere, Proceedings of the International Conference on Parallel Computing, ParCo 2017, 12-15 September 2017, Bologna, Italy, VOLUME: 32, PAGES: 652-663
INDEXED IN: Scopus DBLP
3539
TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PAGES: 271-286
INDEXED IN: Scopus WOS DBLP CrossRef
3540
TITLE: On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation  Full Text
AUTHORS: Jorge Oliveira ; Theofrastos Mantadelis ; Francesco Renna ; Pedro Gomes; Miguel Coimbra ;
PUBLISHED: 2017, SOURCE: IEEE International Workshop on Signal Processing Systems (SiPS) in 2017 IEEE INTERNATIONAL WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), VOLUME: 2017-October, PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Page 177 of 408. Total results: 8154.