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

536 Team Members
Filters -> Year: 2026
7301
TITLE: An agent-based electronic market simulator enhanced with ontology matching services and emergent social networks
AUTHORS: Nascimento, V; Viamonte, MJ ; Canito, A; Silva, N ;
PUBLISHED: 2013, SOURCE: 25th European Modeling and Simulation Symposium, EMSS 2013 in 25th European Modeling and Simulation Symposium, EMSS 2013, PAGES: 134-141
INDEXED IN: Scopus
7302
TITLE: An Agent-based Framework for Intelligent Optimization of Interactive Visualizations
AUTHORS: Pedro Miguel Moreira ; Luís Paulo Reis ; António Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: ICAART (1), VOLUME: 1, PAGES: 154-159
INDEXED IN: Scopus DBLP
7303
TITLE: An Approach for Populating and Enriching Ontology-based Repositories  Full Text
AUTHORS: Alda Canito; Paulo Maio ; Nuno Silva ;
PUBLISHED: 2013, SOURCE: 24th International Workshop on Database and Expert Systems Applications (DEXA) in 2013 24TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2013), PAGES: 123-127
INDEXED IN: Scopus WOS CrossRef: 1
7304
TITLE: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
INDEXED IN: Scopus WOS CrossRef: 1
7305
TITLE: An automatic approach to extract goal plans from soccer simulated matches  Full Text
AUTHORS: Almeida, F; Abreu, PH ; Lau, N ; Reis, LP ;
PUBLISHED: 2013, SOURCE: SOFT COMPUTING, VOLUME: 17, ISSUE: 5, PAGES: 835-848
INDEXED IN: Scopus WOS DBLP CrossRef: 16
7306
TITLE: An automatic clinical document importance estimator for an existing electronic patient record - architecture and implementation
AUTHORS: Santos, B; Rodrigues, P ; Cruz Correia, R ;
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: 537-539
INDEXED IN: Scopus WOS DBLP CrossRef
7307
TITLE: An automatic tool flow for the combined implementation of multi-mode circuits  Full Text
AUTHORS: Brahim Al Farisi; Karel Bruneel; João M P Cardoso ; Dirk Stroobandt;
PUBLISHED: 2013, SOURCE: DATE, PAGES: 821-826
INDEXED IN: Scopus DBLP CrossRef: 6
7308
TITLE: An automatic tool to Extract, Transform and Load data from real electricity markets
AUTHORS: Ivo F Pereira; Isabel Praça; Tiago Pinto ; Tiago Sousa; Ana Freitas; Zita Vale;
PUBLISHED: 2013, SOURCE: First ELECON Workshop – Towards Efficient European and Brazilian Electricity Markets
INDEXED IN: Handle
7309
TITLE: An Effective Scalable SQL Engine for NoSQL Databases
AUTHORS: Ricardo Vilaça ; Francisco Cruz ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2013, SOURCE: DAIS, VOLUME: 7891 LNCS, PAGES: 155-168
INDEXED IN: Scopus DBLP CrossRef: 11 Handle
7310
TITLE: An Empirical Study on Immersive Prototyping Dimensions
AUTHORS: Samuel Moreira; Rui José ; José Creissac Campos ;
PUBLISHED: 2013, SOURCE: HCI (1), VOLUME: 8004 LNCS, ISSUE: PART 1, PAGES: 421-430
INDEXED IN: Scopus DBLP CrossRef: 3
7311
TITLE: An evaluation of heuristics for scheduling a non-delay permutation flow shop with family setups to minimize total earliness and tardiness
AUTHORS: Schaller, J; Valente, JMS ;
PUBLISHED: 2013, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 64, ISSUE: 6, PAGES: 805-816
INDEXED IN: Scopus WOS CrossRef: 13
7312
TITLE: An Example-Based Generator of XSLT Programs
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 1-20
INDEXED IN: Scopus WOS CrossRef Handle
7313
TITLE: An FPGA-based multi-core approach for pipelining computing stages  Full Text
AUTHORS: Ali Azarian ; João M P Cardoso ; Stephan Werner; Jürgen Becker;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 1533-1540
INDEXED IN: Scopus DBLP CrossRef: 4
7314
TITLE: An Institution for Alloy and Its Translation to Second-Order Logic
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: IRI (best papers), VOLUME: 263, PAGES: 45-75
INDEXED IN: Scopus DBLP CrossRef: 2
7315
TITLE: An Online Tool to Manage and Assess Collaborative Group Work
AUTHORS: Alvaro Figueira ; Helena Leal;
PUBLISHED: 2013, SOURCE: 12th European Conference e-Learning (ECEL) in PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2013), PAGES: 112-120
INDEXED IN: Scopus WOS
7316
7317
TITLE: Analysis of the quality of hospital information systems audit trails  Full Text
AUTHORS: Cruz Correia, R ; Boldt, I; Lapao, L ; Santos Pereira, C; Rodrigues, PP ; Ferreira, AM ; Freitas, A ;
PUBLISHED: 2013, SOURCE: BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 13, ISSUE: 1, PAGES: 84
INDEXED IN: Scopus WOS DBLP CrossRef: 18 Handle
7318
TITLE: Android: introdução ao desenvolvimento de aplicações
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2013
INDEXED IN: Handle
7319
TITLE: ANOSOV DIFFEOMORPHISMS
AUTHORS: Almeida, JP ; Fisher, AM; Pinto, AA ; Rand, DA;
PUBLISHED: 2013, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: Special ISSUE, ISSUE: SUPPL., PAGES: 837-845
INDEXED IN: Scopus WOS Handle
7320
TITLE: Application to quantify fetal lung branching on rat explants
AUTHORS: Rodrigues, PL; Granja, S; Moreira, A; Rodrigues, N ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 67-70
INDEXED IN: Scopus

Results per Page: 20.
Page 366 of 536. Total results: 10703.