Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

1707 Team Members
Filters -> Year: 2025
12202
TITLE: Model-based programming environments for spreadsheets  Full Text
AUTHORS: Cunha, J ; Mendes, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, ISSUE: P2, PAGES: 254-275
INDEXED IN: Scopus WOS DBLP CrossRef: 12
12203
TITLE: Model-Based Test Case Generation for Web Applications
AUTHORS: Miguel Nabuco; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 248-262
INDEXED IN: Scopus WOS DBLP CrossRef: 18
12204
TITLE: Model-Driven Generation of Multi-user and Multi-domain Choreographies for Staging in Multiple Virtual World Platforms
AUTHORS: Silva, E; Silva, N ; Morgado, L ;
PUBLISHED: 2014, SOURCE: 4th International Conference on Model Engineering and Data Engineering (MEDI) in MODEL AND DATA ENGINEERING, MEDI 2014, VOLUME: 8748, PAGES: 77-91
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Handle
12205
TITLE: Modeling e-government processes using YAWL: half-way towards their effective real implementation. half-way towards their effective real implementation
AUTHORS: Orlando Belo ; José Luis Faria ; Antonio Nestor Ribeiro ; Bruno Oliveira ; Santos, Vasco ;
PUBLISHED: 2014, SOURCE: 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014 in Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014, VOLUME: 2014-January, PAGES: 288-291
INDEXED IN: Scopus DBLP CrossRef Handle
12206
TITLE: Modeling lotsizing and scheduling problems with sequence dependent setups  Full Text
AUTHORS: Luis Guimaraes ; Diego Klabjan; Bernardo Almada Lobo ;
PUBLISHED: 2014, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 239, ISSUE: 3, PAGES: 644-662
INDEXED IN: Scopus WOS CrossRef: 54
12207
TITLE: Modeling, dynamics, optimization and bioeconomics I: Contributions from ICMOD 2010 and the 5th Bioeconomy Conference 2012
AUTHORS: Pinto, AA ; Zilberman, D;
PUBLISHED: 2014, SOURCE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PAGES: 1-2
INDEXED IN: Scopus CrossRef: 3
12208
TITLE: Modelo de apoio à gestão da pescaria de bivalves com ganchorra no Algarve baseado em dinâmica de sistemas
AUTHORS: Ana S Camanho ; Joana H Martins ; Manuela M Oliveira ; Miguel B Gaspar;
PUBLISHED: 2014, SOURCE: Investigação operacional em ação: casos de aplicação, PAGES: 133-162
INDEXED IN: CrossRef
12209
TITLE: Models for capacitated lot-sizing problem with backlogging, setup carryover and crossover
AUTHORS: Marcio A F Belo Filho; Franklina M B Toledo; Bernardo Almada Lobo ;
PUBLISHED: 2014, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 65, ISSUE: 11, PAGES: 1735-1747
INDEXED IN: Scopus WOS CrossRef: 22
12210
TITLE: Monadic combinators for "Putback" style bidirectional programming
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, PAGES: 39-50
INDEXED IN: Scopus DBLP CrossRef: 20
12211
TITLE: Monitoring of plantar forces and surfboard's movement: alternative to understand the injuries mechanism.
AUTHORS: De Bona, DD; Marques, MA ; Borgonovo Santos, M; Correia, MV ;
PUBLISHED: 2014, SOURCE: 9th IEEE International Symposium on Medical Measurements and Applications (IEEE MeMeA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON MEDICAL MEASUREMENTS AND APPLICATIONS (MEMEA), PAGES: 233-236
INDEXED IN: Scopus WOS DBLP CrossRef Handle
12212
TITLE: Monitoring Recommender Systems: A Business Intelligence Approach
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Joao Vinagre ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 277-288
INDEXED IN: Scopus WOS DBLP CrossRef: 1
12213
TITLE: Monitoring the process variability using STATIS
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLISHED: 2014, SOURCE: Proceedings of COMPSTAT 2014 - 21st International Conference on Computational Statistics, PAGES: 443-450
INDEXED IN: Scopus Handle
12214
TITLE: Monitoring the shape parameter of a Weibull distribution
AUTHORS: Fernanda Figueiredo ; Ivette Gomes; Adelaide Figueiredo ;
PUBLISHED: 2014, SOURCE: 21st International Conference on Computational Statistics, COMPSTAT 2014 in Proceedings of COMPSTAT 2014 - 21st International Conference on Computational Statistics, PAGES: 395-402
INDEXED IN: Scopus
12215
TITLE: Monkeys time their pauses of movement and not their movement-kinematics during a synchronization-continuation rhythmic task
AUTHORS: Sophie Donnet; Ramon Bartolo; Jose Maria Fernandes ; Joao Paulo S Silva Cunha ; Luis Prado; Hugo Merchant;
PUBLISHED: 2014, SOURCE: JOURNAL OF NEUROPHYSIOLOGY, VOLUME: 111, ISSUE: 10, PAGES: 2138-2149
INDEXED IN: Scopus WOS CrossRef: 28
12216
TITLE: Morphometric Analysis of Sciatic Nerve Images: A Directional Gradient Approach
AUTHORS: Ines V Rodrigues; Pedro M Ferreira ; Ana R Malheiro; Pedro Brites; Eduardo M Pereira ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2014 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PAGES: 261-266
INDEXED IN: Scopus WOS DBLP CrossRef
12217
TITLE: Most Relevant Measurements for State Estimation According to Information Theoretic Criteria
AUTHORS: Andre A Augusto; Jorge Pereira ; Vladimiro Miranda ; Julio C S Stacchini de Souza; Milton B Do Coutto Filho;
PUBLISHED: 2014, SOURCE: International Conference on Probabilistic Methods Applied to Power Systems (PMAPS) in 2014 INTERNATIONAL CONFERENCE ON PROBABILISTIC METHODS APPLIED TO POWER SYSTEMS (PMAPS)
INDEXED IN: Scopus WOS CrossRef: 1
12218
TITLE: Motion capture: aplicações e-health e wellbeing
AUTHORS: Fausto d Carvalho; Verónica Orvalho; Leonel Morgado ;
PUBLISHED: 2014, SOURCE: Saber & Fazer Telecomunicações, ISSUE: 01/12/2014
INDEXED IN: Handle
12219
TITLE: MPL—A Mission Planning Language for Autonomous Surface Vehicles
AUTHORS: Henrique M P Cabral; José C Alves; Nuno A Cruz ; José F Valente; Diogo M Lopes;
PUBLISHED: 2014, SOURCE: Robotic Sailing 2013, PAGES: 137-148
INDEXED IN: CrossRef
12220
TITLE: Multi-agent Scheme to Handle Flexible Loads on Low Voltage Distribution Grids
AUTHORS: Blaauwbroek, N; Issicaba, D; Lopes, JAP ;
PUBLISHED: 2014, SOURCE: 2014 Power Systems Computation Conference (PSCC) in 2014 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC)
INDEXED IN: Scopus WOS CrossRef: 2

Results per Page: 20.
Page 611 of 979. Total results: 19580.