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

535 Team Members
Filters -> Year: 2026
7961
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
7962
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
7963
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
7964
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
7965
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
7966
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
7967
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
7968
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
7969
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
7970
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
7971
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
7972
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
7973
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
7974
TITLE: Modeling crosscutting concerns with roles
AUTHORS: F.S. Barbosa; Ademar Aguiar ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Software Engineering Advances (ICSEA 2012)
INDEXED IN: Handle
7975
TITLE: Modeling the Trustworthiness of a Supplier Agent in a B2B Relationship
AUTHORS: Patricia Alves; Pedro Campos ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PAGES: 675-686
INDEXED IN: Scopus WOS DBLP CrossRef: 5
7976
TITLE: Modeling Urban Environments from Geospatial Data: A Pipeline for Procedural Modeling
AUTHORS: Diego Jesus; António Coelho ; Carlos Rebelo; André Cardoso;
PUBLISHED: 2012, SOURCE: 3rd Workshop on Procedural Content Generation in Games, PCG 2012, Organized in Conjunction with the Foundations of Digital Games Conference, FDG 2012 in Proceedings of the The third workshop on Procedural Content Generation in Games, PCG@FDG 2012, Raleigh, NC, USA, May 29 - June 1, 2012, PAGES: 5:1-5:8
INDEXED IN: Scopus DBLP
7977
TITLE: Modelling interval data with Normal and Skew-Normal distributions  Full Text
AUTHORS: Brito, P ; Silva, APD ;
PUBLISHED: 2012, SOURCE: JOURNAL OF APPLIED STATISTICS, VOLUME: 39, ISSUE: 1, PAGES: 3-20
INDEXED IN: Scopus WOS CrossRef: 58 Unpaywall Handle
7978
TITLE: Motif Mining in Weighted Networks
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PAGES: 210-217
INDEXED IN: Scopus WOS DBLP CrossRef: 9
7979
TITLE: MOW: Augmented Reality Game to Learn Words in Different Languages Case study: learning english names of animals in elementary school
AUTHORS: Joao Barreira ; Maximino Bessa ; Luciana C Pereira ; Telmo Adao ; Emanuel Peres ; Luis Magalhaes ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: Scopus WOS
7980
TITLE: Multi-Agent Simulation of Continental, Regional, and Micro Electricity Markets  Full Text
AUTHORS: Santos, G; Pinto, T ; Morais, H; Vale, Z ; Praca, I ;
PUBLISHED: 2012, SOURCE: 23rd International Workshop on Database and Expert Systems Applications (DEXA) in 2012 23RD INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), PAGES: 331-335
INDEXED IN: Scopus WOS DBLP CrossRef: 2

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