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

1716 Team Members
Filters -> Year: 2026
16781
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: 6 Handle
16782
TÍTULO: Ambiente de geração, mutação e execução de casos de teste para aplicações Web
AUTORES: Paulo J Cruz; Campos, J. Creissac ;
PUBLICAÇÃO: 2013
INDEXADO EM: Handle
16783
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
16784
TÍTULO: An agent-based architecture for online dispute resolution services
AUTORES: Davide Carneiro ;
PUBLICAÇÃO: 2013
INDEXADO EM: DBLP Handle
16785
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
16786
TÍTULO: An Agent-based Framework for Intelligent Optimization of Interactive Visualizations
AUTORES: Pedro Miguel Moreira ; Luís Paulo Reis ; António Augusto de Sousa ;
PUBLICAÇÃO: 2013, FONTE: ICAART (1), VOLUME: 1, PÁGINAS: 154-159
INDEXADO EM: Scopus DBLP
16787
TÍTULO: An Agent-Based Security Framework for Cooperative Business Networks
AUTORES: Carlos R Cunha ; Joao Pedro Gomes; Elisabete Paulo Morais;
PUBLICAÇÃO: 2013, FONTE: 20th International-Business-Information-Management-Assoc Conf on Entrepreneurship Vision 2020: Innovatio, Development Sustainability, and Economic Growth in ENTREPRENEURSHIP VISION 2020: INNOVATION, DEVELOPMENT SUSTAINABILITY, AND ECONOMIC GROWTH, VOLS 1 AND 2, VOLUME: 1, PÁGINAS: 902-907
INDEXADO EM: Scopus WOS
16788
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: 7
16789
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: 1
16790
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
16791
TÍTULO: An automatic approach to extract goal plans from soccer simulated matches
AUTORES: Almeida, F; Abreu, PH ; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2013, FONTE: SOFT COMPUTING, VOLUME: 17, NÚMERO: 5, PÁGINAS: 835-848
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
16792
TÍTULO: An automatic clinical document importance estimator for an existing electronic patient record - architecture and implementation
AUTORES: Santos, B; Rodrigues, P ; Cruz Correia, R ;
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: 537-539
INDEXADO EM: Scopus WOS DBLP CrossRef
16793
TÍTULO: An Automatic Method for the Estimation of Arteriolar-to-Venular Ratio in Retinal Images
AUTORES: Dashtbozorg, B; Mendonça, AM ; Campilho, A ;
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: 8
16794
TÍTULO: An automatic tool flow for the combined implementation of multi-mode circuits
AUTORES: Brahim Al Farisi; Karel Bruneel; João M P Cardoso ; Dirk Stroobandt;
PUBLICAÇÃO: 2013, FONTE: DATE, PÁGINAS: 821-826
INDEXADO EM: Scopus DBLP CrossRef: 6
16795
TÍTULO: An automatic tool to Extract, Transform and Load data from real electricity markets
AUTORES: Ivo F Pereira; Isabel Praça; Tiago Pinto ; Tiago Sousa; Ana Freitas; Zita Vale;
PUBLICAÇÃO: 2013, FONTE: First ELECON Workshop – Towards Efficient European and Brazilian Electricity Markets
INDEXADO EM: Handle
16796
TÍTULO: An Effective Scalable SQL Engine for NoSQL Databases
AUTORES: Ricardo Vilaça ; Francisco Cruz ; José Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2013, FONTE: DAIS, VOLUME: 7891 LNCS, PÁGINAS: 155-168
INDEXADO EM: Scopus DBLP CrossRef: 11 Handle
16797
TÍTULO: An Empirical Study on Immersive Prototyping Dimensions
AUTORES: Samuel Moreira; Rui José ; José Creissac Campos ;
PUBLICAÇÃO: 2013, FONTE: HCI (1), VOLUME: 8004 LNCS, NÚMERO: PART 1, PÁGINAS: 421-430
INDEXADO EM: Scopus DBLP CrossRef: 3
16798
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: 13
16799
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
16800
TÍTULO: An FPGA-based multi-core approach for pipelining computing stages
AUTORES: Ali Azarian ; João M P Cardoso ; Stephan Werner; Jürgen Becker;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 1533-1540
INDEXADO EM: Scopus DBLP CrossRef: 4

Results per Page: 20.
Página 840 de 1250. Total de resultados: 24992.