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

1699 Team Members
Filters -> Year: 2024
11162
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
11163
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: 14
11164
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 Handle
11165
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
11166
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: 28
11167
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
11168
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
11169
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: 16
11170
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
11171
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
11172
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
11173
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
11174
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
11175
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: 27
11176
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
11177
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
11178
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
11179
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
11180
TITLE: Multi-agent simulation of bilateral contracting in competitive electricity markets  Full Text
AUTHORS: Lopes, F; Algarvio, H; Sousa, JAM; Coelho, H; Pinto, T ; Santos, G; Vale, Z; Praca, I;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 131-135
INDEXED IN: Scopus CrossRef Handle

Results per Page: 20.
Page 559 of 921. Total results: 18407.