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

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 18105

1699 Team Members
Filters -> Year: 2024
11321
TÍTULO: AJITTS: Adaptive just-in-time transaction scheduling
AUTORES: Nunes, A ; Oliveira, R ; Pereira, J ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 57-70
INDEXADO EM: Scopus DBLP CrossRef: 2
11322
TÍTULO: Alloy Meets the Algebra of Programming: A Case Study
AUTORES: Oliveira, JN ; Ferreira, MA;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, NÚMERO: 3, PÁGINAS: 305-326
INDEXADO EM: Scopus WOS CrossRef Handle
11323
TÍTULO: An Adaptive Duty-Cycle Methodology for PV Power Maximization Using a Single Variable
AUTORES: Andre A Vidal; Vitor Grade Tavares ; Jose C Principe;
PUBLICAÇÃO: 2013, FONTE: IEEE EUROCON Conference in 2013 IEEE EUROCON, PÁGINAS: 795-802
INDEXADO EM: Scopus WOS CrossRef
11324
TÍTULO: An agent-based architecture for online dispute resolution services
AUTORES: Davide Carneiro ;
PUBLICAÇÃO: 2013
INDEXADO EM: DBLP Handle
11325
TÍTULO: An agent-based electronic market simulator enhanced with ontology matching services and emergent social networks
AUTORES: Nascimento, V; Viamonte, MJ ; Canito, A; Silva, N ;
PUBLICAÇÃO: 2013, FONTE: 25th European Modeling and Simulation Symposium, EMSS 2013 in 25th European Modeling and Simulation Symposium, EMSS 2013, PÁGINAS: 134-141
INDEXADO EM: Scopus
11326
TÍTULO: An agent-based framework for intelligent optimization of interactive visualizations
AUTORES: Moreira, PM ; Reis, LP ; Augusto Sousa, A ;
PUBLICAÇÃO: 2013, FONTE: 5th International Conference on Agents and Artificial Intelligence, ICAART 2013 in ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, VOLUME: 1, PÁGINAS: 154-159
INDEXADO EM: Scopus DBLP
11327
TÍTULO: An approach for integrated design of flexible production systems
AUTORES: Alexandra F Marques ; Antonio C Alves; Jorge P Sousa ;
PUBLICAÇÃO: 2013, FONTE: 46th CIRP Conference on Manufacturing Systems (CIRP CMS) in FORTY SIXTH CIRP CONFERENCE ON MANUFACTURING SYSTEMS 2013, VOLUME: 7, PÁGINAS: 586-591
INDEXADO EM: Scopus WOS CrossRef: 2
11328
TÍTULO: An Approach for Populating and Enriching Ontology-based Repositories  Full Text
AUTORES: Alda Canito; Paulo Maio ; Nuno Silva ;
PUBLICAÇÃO: 2013, FONTE: 24th International Workshop on Database and Expert Systems Applications (DEXA) in 2013 24TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2013), PÁGINAS: 123-127
INDEXADO EM: Scopus WOS CrossRef
11329
TÍTULO: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTORES: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLICAÇÃO: 2013, FONTE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
INDEXADO EM: Scopus WOS CrossRef: 1
11330
TÍTULO: An Automatic Method for the Estimation of Arteriolar-to-Venular Ratio in Retinal Images
AUTORES: Behdad Dashtbozorg; Ana Maria Mendonca ; Aurelio Campilho ;
PUBLICAÇÃO: 2013, FONTE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 512-513
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
11331
TÍTULO: An automatic tool flow for the combined implementation of multi-mode circuits  Full Text
AUTORES: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLICAÇÃO: 2013, FONTE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PÁGINAS: 821-826
INDEXADO EM: Scopus DBLP CrossRef: 5
11332
TÍTULO: An effective scalable SQL engine for NoSQL databases
AUTORES: Vilaca, R ; Cruz, F ; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 155-168
INDEXADO EM: Scopus DBLP CrossRef: 12
11333
TÍTULO: An empirical study on immersive prototyping dimensions
AUTORES: Moreira, S; Jose, R ; Campos, JC ;
PUBLICAÇÃO: 2013, FONTE: 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, NÚMERO: PART 1, PÁGINAS: 421-430
INDEXADO EM: Scopus DBLP CrossRef: 2
11334
TÍTULO: An evaluation of heuristics for scheduling a non-delay permutation flow shop with family setups to minimize total earliness and tardiness
AUTORES: Schaller, J; Valente, JMS ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 64, NÚMERO: 6, PÁGINAS: 805-816
INDEXADO EM: Scopus WOS CrossRef: 12
11335
TÍTULO: An Example-Based Generator of XSLT Programs
AUTORES: Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PÁGINAS: 1-20
INDEXADO EM: Scopus WOS CrossRef Handle
11336
TÍTULO: An FPGA-based multi-core approach for pipelining computing stages  Full Text
AUTORES: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1533-1540
INDEXADO EM: Scopus DBLP CrossRef: 4
11337
TÍTULO: An Industrial Robotics Course Based on a Graphical Simulation Package
AUTORES: Manuel F Silva ;
PUBLICAÇÃO: 2013, FONTE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
INDEXADO EM: Scopus WOS CrossRef: 2
11338
TÍTULO: An innovative framework for the simulation of manufacturing systems: An application to the footwear industry
AUTORES: Marques, AF ; Mujica, M; de Sousa, JP; Marques, PS; Rebelo, R; Alves, AC ;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Mechanical Engineering, VOLUME: 7, PÁGINAS: 219-231
INDEXADO EM: Scopus CrossRef
11339
TÍTULO: An innovative strategy for power system restoration using utility scale wind parks
AUTORES: Seca, L ; Costa, H ; Moreira, CL ; Lopes, JAP ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus CrossRef: 16
11340
TÍTULO: An Institution for Alloy and Its Translation to Second-Order Logic
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 45-75
INDEXADO EM: Scopus DBLP CrossRef: 2

Results per Page: 20.
Página 567 de 906. Total de resultados: 18105.