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

535 Team Members
Filters -> Year: 2026
7961
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Lumpe, M; Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXED IN: Scopus
7962
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: De Carvalho, FH; Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS
INDEXED IN: Scopus
7963
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
7964
TITLE: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs  Full Text
AUTHORS: Nuno Machado ; Paolo Romano ; Luis Rodrigues ;
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
7965
TITLE: LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java. a linguistic symbiosis approach to bring the declarative power of Prolog to Java
AUTHORS: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLISHED: 2012, SOURCE: 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution, RAM-SE'12 in Proceedings of the 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution, RAM-SE 2012, Beijing, China, June 13, 2012, PAGES: 11-16
INDEXED IN: Scopus DBLP CrossRef: 2
7966
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
7968
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
7969
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 Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers, VOLUME: 7991, PAGES: 64-77
INDEXED IN: Scopus DBLP CrossRef
7970
TITLE: MDSheet: A Framework for Model-Driven Spreadsheet Engineering
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Joao Saraiva ;
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
7971
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
7972
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
7973
TITLE: Meta-learning for periodic algorithm selection in time-changing data  Full Text
AUTHORS: Rossi, ALD; Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2012, SOURCE: 2012 Brazilian Conference on Neural Networks, SBRN 2012 in Proceedings - Brazilian Symposium on Neural Networks, SBRN, PAGES: 7-12
INDEXED IN: Scopus DBLP CrossRef: 9
7974
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
7975
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
7976
TITLE: Mitigating SPIT with social strength
AUTHORS: Azad, MA ; Morla, R ;
PUBLISHED: 2012, SOURCE: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom-2012 in Proc. of the 11th IEEE Int. Conference on Trust, Security and Privacy in Computing and Communications, TrustCom-2012 - 11th IEEE Int. Conference on Ubiquitous Computing and Communications, IUCC-2012, PAGES: 1393-1398
INDEXED IN: Scopus DBLP CrossRef: 7
7977
TITLE: Mobile data stream mining: From algorithms to applications
AUTHORS: Krishnaswamy, S; Gama, J ; Gaber, MM;
PUBLISHED: 2012, SOURCE: 2012 IEEE 13th International Conference on Mobile Data Management, MDM 2012 in Proceedings - 2012 IEEE 13th International Conference on Mobile Data Management, MDM 2012, PAGES: 360-363
INDEXED IN: Scopus DBLP CrossRef: 21
7978
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
7979
TITLE: Mode-Directed Tabling and Applications in the YapTab System
AUTHORS: João Santos ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21, PAGES: 25-40
INDEXED IN: DBLP
7980
TITLE: Model-Based Programming Environments for Spreadsheets
AUTHORS: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, VOLUME: 7554, PAGES: 117-133
INDEXED IN: Scopus DBLP CrossRef: 1 Handle

Results per Page: 20.
Page 399 of 534. Total results: 10664.