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

536 Team Members
Filters -> Year: 2026
7961
TITLE: Level of Knowledge about Malaria of the Population of Mozambique Island  Full Text
AUTHORS: Ana Luisa Patrao; Jose Vasconcelos Raposo ;
PUBLISHED: 2012, SOURCE: SAUDE E SOCIEDADE, VOLUME: 21, ISSUE: 1, PAGES: 52-62
INDEXED IN: Scopus WOS
7962
TITLE: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs
AUTHORS: Machado, N ; Romano, P ; Rodrigues, L ;
PUBLISHED: 2012, SOURCE: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2012 42ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-12
INDEXED IN: Scopus WOS DBLP CrossRef: 7
7964
TITLE: MapIt: A Model Based Pattern Recovery Tool
AUTHORS: Rui Couto ; António Nestor Ribeiro ; José Creissac Campos ;
PUBLISHED: 2012, SOURCE: MOMPES, VOLUME: 7706 LNCS, PAGES: 19-37
INDEXED IN: Scopus DBLP CrossRef: 1
7965
TITLE: Market driven implementation of the eCAALYX solution
AUTHORS: H.H Nap; Bierhoff, I; Ferreiro, A; Català, A; Samà, A; Gálvez-Barrón, C; Rodríguez-Molinero, A; H.S Ferreira ; Martins, A; Antomarini, M; Cesaroni, F; Sdogati, C; Carvalho, L; Castro, R; Spallek, J;
PUBLISHED: 2012, SOURCE: Gerontechnology, VOLUME: 11, ISSUE: 2
INDEXED IN: CrossRef
7967
TITLE: MASGriP - A Multi-Agent Smart Grid Simulation Platform
AUTHORS: Pedro Oliveira; Tiago Pinto ; Hugo Morais; Zita Vale ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
INDEXED IN: Scopus WOS CrossRef: 59
7968
TITLE: Mathematical Literacy as a Condition for Sustainable Development
AUTHORS: Luís Soares Barbosa ; Maria Helena Martinho;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS, PAGES: 64-77
INDEXED IN: Scopus DBLP CrossRef
7969
TITLE: MDSheet: A Framework for Model-Driven Spreadsheet Engineering
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 34th International Conference on Software Engineering (ICSE) in 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PAGES: 1395-1398
INDEXED IN: Scopus WOS DBLP CrossRef: 38
7970
TITLE: Measuring displacement fields by cross-correlation and a differential technique: experimental validation
AUTHORS: Jose Xavier ; Antonio M R Sousa ; Jose J L Morais ; Vitor M J Filipe ; Mario Vaz ;
PUBLISHED: 2012, SOURCE: OPTICAL ENGINEERING, VOLUME: 51, ISSUE: 4, PAGES: 043602
INDEXED IN: Scopus WOS CrossRef: 25
7971
TITLE: Message from conference chairs: QUATIC 2012
AUTHORS: Faria, JP ; Paiva, A ; Da Silva, AR ; Da Silva, AR;
PUBLISHED: 2012, SOURCE: 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012 in Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
INDEXED IN: Scopus CrossRef
7972
TITLE: Meta-Learning for Periodic Algorithm Selection in Time-Changing Data
AUTHORS: André Luis Debiaso Rossi; André C P L F de Carvalho; Carlos Soares ;
PUBLISHED: 2012, SOURCE: SBRN, PAGES: 7-12
INDEXED IN: Scopus DBLP CrossRef: 10
7973
TITLE: Metalearning in ALBidS: A Strategic Bidding System for Electricity Markets
AUTHORS: Pinto, T ; Sousa, TM; Vale, Z ; Praca, I ; Morais, H;
PUBLISHED: 2012, SOURCE: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems in HIGHLIGHTS ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 156, PAGES: 247-256
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7974
TITLE: Minimizing the weighted sum of squared tardiness on a single machine  Full Text
AUTHORS: Jeffrey Schaller; Jorge M S Valente ;
PUBLISHED: 2012, SOURCE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 39, ISSUE: 5, PAGES: 919-928
INDEXED IN: Scopus WOS CrossRef: 12
7975
TITLE: Mitigating SPIT with Social Strength
AUTHORS: Ajmal A Azad ; Ricardo Morla ;
PUBLISHED: 2012, SOURCE: TrustCom, PAGES: 1393-1398
INDEXED IN: Scopus DBLP CrossRef: 8
7976
TITLE: Mobile Data Stream Mining: From Algorithms to Applications
AUTHORS: Shonali Krishnaswamy; João Gama ; Mohamed Medhat Gaber;
PUBLISHED: 2012, SOURCE: MDM, PAGES: 360-363
INDEXED IN: Scopus DBLP CrossRef: 21
7977
TITLE: Mobile edoclink: a mobile workflow and document management application for healthcare institutions
AUTHORS: Pedro Gomes; Mario Antunes ;
PUBLISHED: 2012, SOURCE: 4th Conference on ENTERprise Information Systems (CENTERIS) - Aligning Technology, Organizations and People / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in 4TH CONFERENCE OF ENTERPRISE INFORMATION SYSTEMS - ALIGNING TECHNOLOGY, ORGANIZATIONS AND PEOPLE (CENTERIS 2012), VOLUME: 5, PAGES: 932-940
INDEXED IN: WOS CrossRef: 2
7978
TITLE: Mode-Directed Tabling and Applications in the YapTab System
AUTHORS: João Santos ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: SLATE, PAGES: 25-40
INDEXED IN: DBLP
7979
TITLE: Model-Based Programming Environments for Spreadsheets
AUTHORS: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLISHED: 2012, SOURCE: SBLP, VOLUME: 7554 LNCS, PAGES: 117-133
INDEXED IN: Scopus DBLP CrossRef: 1 Handle
7980
TITLE: Modeling and Programming with Roles: Introducing JavaStage
AUTHORS: Barbosa, FS; Aguiar, A ;
PUBLISHED: 2012, SOURCE: 11th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SoMeT) in NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, VOLUME: 246, PAGES: 124-145
INDEXED IN: Scopus WOS DBLP CrossRef Handle

Results per Page: 20.
Page 399 of 533. Total results: 10645.