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

535 Team Members
Filters -> Year: 2026
7441
TITLE: Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach
AUTHORS: Fernandes, S; Martinho, MH ; Cerone, A; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Collaboration and Technology (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2013, VOLUME: 8224, PAGES: 208-214
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
7442
TITLE: Integrating the LMS in Service Oriented eLearning Systems
AUTHORS: José Paulo Leal; Ricardo Queirós ;
PUBLISHED: 2013, SOURCE: - Governance, Communication, and Innovation in a Knowledge Intensive Society, PAGES: 180-190
INDEXED IN: CrossRef
7443
TITLE: Integration of heterogeneous mobile devices in scenarios of enterprise training inside and outside - Mobility and Cloud
AUTHORS: Fernando Moreira ; Manuel Perez Cota; Ramiro Goncalves ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
7444
TITLE: Integrative functional statistics in logic programming
AUTHORS: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 190-205
INDEXED IN: Scopus DBLP CrossRef: 12
7445
TITLE: Intelligent micro grid management using a multi-agent approach
AUTHORS: Oliveira, P; Pinto, T ; Praca, I ; Vale, Z ; Morais, H;
PUBLISHED: 2013, SOURCE: 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013 in 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013
INDEXED IN: Scopus CrossRef: 4
7446
TITLE: Intelligent remuneration and tariffs for virtual power players
AUTHORS: Ribeiro, C; Pinto, T ; Morais, H; Vale, Z ; Santos, G;
PUBLISHED: 2013, SOURCE: 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013 in 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013
INDEXED IN: Scopus CrossRef: 8
7447
TITLE: Interactive high fidelity visualization of complex materials on the GPU  Full Text
AUTHORS: Nuno Silva; Luis Paulo Santos ;
PUBLISHED: 2013, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, ISSUE: 7, PAGES: 809-819
INDEXED IN: Scopus WOS CrossRef: 2
7448
TITLE: Interactive interaction constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS, PAGES: 211-225
INDEXED IN: Scopus DBLP CrossRef: 5
7449
TITLE: Interactive Verification of Safety-Critical Software  Full Text
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), PAGES: 519-528
INDEXED IN: Scopus WOS DBLP CrossRef
7450
TITLE: Interviews to Dublin Core Application Profiles developers
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
INDEXED IN: Handle
7451
TITLE: Intraorganizational EDI System Case study Sousacamp SGPS
AUTHORS: Daniel Alves Martins; Ramiro Goncalves ; Frederico Branco ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
7452
TITLE: Introduction
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-11
INDEXED IN: Scopus
7453
TITLE: Introduction
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 1-11
INDEXED IN: CrossRef
7454
TITLE: Iterative, incremental and evolving EAF-based negotiation process
AUTHORS: Paulo Maio ; Silva, N ; Cardoso, J;
PUBLISHED: 2013, SOURCE: Studies in Computational Intelligence, VOLUME: 435, PAGES: 161-179
INDEXED IN: Scopus
7455
TITLE: Juggle: large-scale discovery in music recommendation
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 219-220
INDEXED IN: DBLP
7456
TITLE: Kaizen
AUTHORS: Catarina Delgado ; Branco Manuel Castelo ;
PUBLISHED: 2013, SOURCE: Encyclopedia of Corporate Social Responsibility, PAGES: 1531-1537
INDEXED IN: Scopus CrossRef
7457
TITLE: Kidney Targeting and Puncturing During Percutaneous Nephrolithotomy: Recent Advances and Future Perspectives
AUTHORS: Pedro L Rodrigues; Nuno F Rodrigues ; Jaime Fonseca ; Estevao Lima ; Joao L Vilaca ;
PUBLISHED: 2013, SOURCE: JOURNAL OF ENDOUROLOGY, VOLUME: 27, ISSUE: 7, PAGES: 826-834
INDEXED IN: Scopus WOS CrossRef: 45
7458
TITLE: Knowledge on Heart Condition of Children based on Demographic and Physiological Features
AUTHORS: Pedro Ferreira ; Tiago T V Vinhoza ; Ana Castro ; Felipe Mourato; Thiago Tavares; Sandra Mattos; Ines Dutra ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 314-319
INDEXED IN: Scopus WOS DBLP CrossRef: 2
7459
TITLE: Lacunarity Analysis of Pulmonary Emphysema in High-Resolution CT Images
AUTHORS: Veronica Vasconcelos ; Luis Marques ; Jose Silvestre Silva ; Joao Barroso ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
7460
TITLE: LARA experiments
AUTHORS: Goncalves, F; Petrov, Z; De F. Coutinho, JG; Nane, R; Sima, VM; Cardoso, JMP ; Werner, S; Bhattacharya, S; Carvalho, T ; Nobre, R; De Sa, J; Teixeira, J; Diniz, PC ; Bertels, K; Constantinides, G; Luk, W; Becker, J; Alves, JC ; Ferreira, JC ; Almeida, GM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 135-179
INDEXED IN: Scopus CrossRef

Results per Page: 20.
Page 373 of 534. Total results: 10663.