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

536 Team Members
Filters -> Year: 2026
6141
TITLE: Worlds of Events Deduction with Partial Knowledge about Causality
AUTHORS: Haeri, SH; Van Roy, P; Baquero, C ; Meiklejohn, C;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 223, ISSUE: 223, PAGES: 113-127
INDEXED IN: Scopus WOS DBLP CrossRef
6142
TITLE: xCoAx 2016 Special Issue
AUTHORS: Clifford, A; Rangel, A; Verdicchio, M; Carvalhais, M ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SCIENCE AND TECHNOLOGY OF THE ARTS, VOLUME: 8, ISSUE: 1, PAGES: 1-2
INDEXED IN: WOS
6143
TITLE: 13th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013, Porto, Portugal, October 21-23, 2015
AUTHORS: Eli Bozorgzadeh; João M P Cardoso ; Rui Abreu ; Seda Ogrenci Memik;
PUBLISHED: 2015, SOURCE: EUC
INDEXED IN: DBLP
6144
TITLE: 18th IEEE International Conference on Computational Science and Engineering, CSE 2015, Porto, Portugal, October 21-23, 2015
AUTHORS: Christian Plessl; Didier El Baz; Guojing Cong; João M P Cardoso ; Luís Veiga ; Thomas Rauber;
PUBLISHED: 2015, SOURCE: CSE
INDEXED IN: DBLP
6145
TITLE: 28th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2015, Sao Carlos, Brazil, June 22-25, 2015  Full Text
AUTHORS: Caetano Traina Jr.; Pedro Pereira Rodrigues ; Bridget Kane; Paulo Mazzoncini de Azevedo Marques; Agma Juci Machado Traina;
PUBLISHED: 2015, SOURCE: CBMS
INDEXED IN: DBLP
6146
TITLE: <i>Tempus</i>: Dynamic Interface in Biocyber Body
AUTHORS: Barradas, T; Coelho, J ; Tavares, M;
PUBLISHED: 2015, SOURCE: 7TH INTERNATIONAL CONFERENCE ON DIGITAL ARTS (ARTECH 2015), PAGES: 325-330
INDEXED IN: WOS
6147
TITLE: A Bounded Neural Network for Open Set Recognition
AUTHORS: Cardoso, DO ; França, F; Gama, J ;
PUBLISHED: 2015, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PAGES: 1-7
INDEXED IN: Scopus WOS DBLP CrossRef: 20
6148
TITLE: A Clear Picture of Lens Laws - Functional Pearl
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: 12th International Conference on Mathematics of Program Construction, MPC 2015 in Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, VOLUME: 9129, PAGES: 215-223
INDEXED IN: Scopus DBLP CrossRef: 9
6149
TITLE: A communication channels dynamic switching model for always-connected availability of service oriented mobile applications
AUTHORS: Azevedo, D ; Paredes, H ; Fonseca, B ;
PUBLISHED: 2015, SOURCE: 9th International Conference on Next Generation Mobile Applications, Services and Technologies in 2015 9TH INTERNATIONAL CONFERENCE ON NEXT GENERATION MOBILE APPLICATIONS, SERVICES AND TECHNOLOGIES (NGMAST 2015), PAGES: 165-169
INDEXED IN: Scopus WOS DBLP CrossRef
6150
TITLE: A Comparative Study of Platforms for Research Data Management: Interoperability, Metadata Capabilities and Integration Potential
AUTHORS: Amorim, RC ; Castro, JA ; da Silva, JR ; Ribeiro, C ;
PUBLISHED: 2015, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW CONTRIBUTIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, PT 1, VOLUME: 353, PAGES: 101-111
INDEXED IN: Scopus WOS DBLP CrossRef: 21
6152
TITLE: A Consumption-Investment Problem with a Diminishing Basket of Goods
AUTHORS: Abdelrahim S Mousa ; Diogo Pinheiro; Alberto A Pinto ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH: IO 2013 - XVI CONGRESS OF APDIO, VOLUME: 4, PAGES: 295-310
INDEXED IN: WOS CrossRef: 1
6153
TITLE: A Cross-Cultural Exploration of Austerity-based Practices around the Home
AUTHORS: Deirdre O'Loughlin; Belem Barbosa ; Maria E Eugenia Fernandez Moya; Kalipso Karantinou; Morven McEachern; Isabelle Szmigin;
PUBLISHED: 2015, SOURCE: JOURNAL OF MACROMARKETING, VOLUME: 35, ISSUE: 1, PAGES: 146-146
INDEXED IN: WOS
6154
TITLE: A DCAP for the social and solidarity economy
AUTHORS: Malta, MC ; Baptista, AA ; Parente, C ;
PUBLISHED: 2015, SOURCE: 15th 2015 International Conference on Dublin Core and Metadata Applications, DCMI 2015 in Proceedings of the International Conference on Dublin Core and Metadata Applications, ISSUE: 1939-­‐1366, PAGES: 20-29
INDEXED IN: Scopus Handle
6155
TITLE: A DCAP for the social and solidarity economy
AUTHORS: Mariana C Malta ; Ana A Baptista; Cristina Parente ;
PUBLISHED: 2015
INDEXED IN: Handle
6156
TITLE: A Decision Support Platform for IT Infrastructure Management The University of Tras-os-Montes e Alto Douro Services of Information and Communications Case Study
AUTHORS: Frederico Branco ; Jose Martins ; Ramiro Goncalves ; Jose Bessa; Antonio Costa ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN: Scopus WOS CrossRef: 2
6157
TITLE: A Dynamic Logic for Every Season
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 130-145
INDEXED IN: Scopus WOS DBLP CrossRef: 5
6158
TITLE: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3, PAGES: 293-300
INDEXED IN: Scopus WOS CrossRef: 5
6159
TITLE: A Framework for Analysing Dynamic Communities in Large-scale Social Networks
AUTHORS: Vítor Cerqueira ; Márcia D B Oliveira ; João Gama ;
PUBLISHED: 2015, SOURCE: ICEIS (1), VOLUME: 1, PAGES: 235-242
INDEXED IN: Scopus DBLP CrossRef
6160
TITLE: A framework for efficient execution of data parallel irregular applications on heterogeneous systems
AUTHORS: Roberto Ribeiro; Joaõ Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2015, SOURCE: Parallel Processing Letters, VOLUME: 25, ISSUE: 2, PAGES: 1550004
INDEXED IN: Scopus CrossRef: 2

Results per Page: 20.
Page 308 of 534. Total results: 10677.