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

1699 Team Members
Filters -> Year: 2024
11361
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
11362
TITLE: An Automatic Method for the Estimation of Arteriolar-to-Venular Ratio in Retinal Images
AUTHORS: Behdad Dashtbozorg; Ana Maria Mendonca ; Aurelio Campilho ;
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: 512-513
INDEXED IN: Scopus WOS DBLP CrossRef: 6
11363
TITLE: An automatic tool flow for the combined implementation of multi-mode circuits  Full Text
AUTHORS: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLISHED: 2013, SOURCE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PAGES: 821-826
INDEXED IN: Scopus DBLP CrossRef: 5
11364
TITLE: An effective scalable SQL engine for NoSQL databases
AUTHORS: Vilaca, R ; Cruz, F ; Pereira, J ; Oliveira, R ;
PUBLISHED: 2013, SOURCE: 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7891 LNCS, PAGES: 155-168
INDEXED IN: Scopus DBLP CrossRef: 12
11365
TITLE: An empirical study on immersive prototyping dimensions
AUTHORS: Moreira, S; Jose, R ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8004 LNCS, ISSUE: PART 1, PAGES: 421-430
INDEXED IN: Scopus DBLP CrossRef: 2
11366
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: 12
11367
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
11368
TITLE: An FPGA-based multi-core approach for pipelining computing stages  Full Text
AUTHORS: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1533-1540
INDEXED IN: Scopus DBLP CrossRef: 4
11369
TITLE: An Industrial Robotics Course Based on a Graphical Simulation Package
AUTHORS: Manuel F Silva ;
PUBLISHED: 2013, SOURCE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
INDEXED IN: Scopus WOS CrossRef: 2
11370
TITLE: An innovative framework for the simulation of manufacturing systems: An application to the footwear industry
AUTHORS: Marques, AF ; Mujica, M; de Sousa, JP; Marques, PS; Rebelo, R; Alves, AC ;
PUBLISHED: 2013, SOURCE: Lecture Notes in Mechanical Engineering, VOLUME: 7, PAGES: 219-231
INDEXED IN: Scopus CrossRef
11371
TITLE: An innovative strategy for power system restoration using utility scale wind parks
AUTHORS: Seca, L ; Costa, H ; Moreira, CL ; Lopes, JAP ;
PUBLISHED: 2013, SOURCE: 2013 IREP Symposium on Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid, IREP 2013 in Proceedings of IREP Symposium: Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid, IREP 2013
INDEXED IN: Scopus CrossRef: 16
11372
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: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263, PAGES: 45-75
INDEXED IN: Scopus DBLP CrossRef: 2
11373
TITLE: An objective assessment of cosmetic outcome after intraoperative radiotherapy or external beam radiotherapy for early breast cancer in patients from a randomized controlled trial  Full Text
AUTHORS: Keshtgar, M; Williams, NR; Corica, T; Bulsara, M; Saunders, C; Flyger, H; Bentzon, N; Cardoso, J ; Michalopoulos, N; Joseph, D;
PUBLISHED: 2013, SOURCE: European Cancer Congress 2013 - 17th ECCO / 38th ESMO / 32nd ESTRO in EUROPEAN JOURNAL OF CANCER, VOLUME: 49
INDEXED IN: WOS
11374
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
11375
TITLE: An operating theater planning decision support system
AUTHORS: Gomes, C; Sperandio, F; Peles, A; Borges, J ; Brito, AC ; Almada Lobo, B ;
PUBLISHED: 2013, SOURCE: Information Systems and Technologies for Enhancing Health and Social Care, PAGES: 69-86
INDEXED IN: Scopus CrossRef Unpaywall
11376
TITLE: An optimization model for the vehicle routing problem with practical three-dimensional loading constraints  Full Text
AUTHORS: Leonardo Junqueira; Jose F Oliveira ; Maria Antonia Carravilla ; Reinaldo Morabito;
PUBLISHED: 2013, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 20, ISSUE: 5, PAGES: 645-666
INDEXED IN: Scopus WOS CrossRef: 20
11377
11378
TITLE: Analysis of object description methods in a video object tracking environment  Full Text
AUTHORS: Carvalho, P ; Oliveira, T; Ciobanu, L ; Gaspar, F; Luis F. Teixeira ; Bastos, R; Cardoso, JS ; Dias, MS ; Corte Real, L ;
PUBLISHED: 2013, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 24, ISSUE: 6, PAGES: 1149-1165
INDEXED IN: Scopus WOS DBLP CrossRef Handle
11379
TITLE: Analysis of phase interrogation in SPR-based sensing supported by tapered optical fibres
AUTHORS: Moayyed, H ; Leite, IT; Coelho, L ; Santos, JL ; Viegas, D ;
PUBLISHED: 2013, SOURCE: 5th European Workshop on Optical Fibre Sensors in FIFTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS, VOLUME: 8794
INDEXED IN: Scopus WOS CrossRef: 2
11380
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

Results per Page: 20.
Page 569 of 908. Total results: 18146.