CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

535 Team Members
Filters -> Year: 2026
7061
TÍTULO: Writing bidirectional model transformations as intentional updates
AUTORES: Tao Zan; Hugo Pacheco ; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering, ICSE 2014 in 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014, PÁGINAS: 488-491
INDEXADO EM: Scopus DBLP CrossRef: 5
7062
TÍTULO: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal
AUTORES: José Paulo Leal ; Ricardo Rocha ; Alberto Simões;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: DBLP
7063
TÍTULO: 3D Simulators in Professional Training Learning complex tasks overcoming material, economic, and human constraints
AUTORES: Bernardino Lopes, JB ; Jose Paulo Cravino ; Ana Margarida Maia; Leonel Morgado ; Paulo Martins ; Goncalo Cruz ; Paulo Fernandes; Andre Pinheiro;
PUBLICAÇÃO: 2013, FONTE: 2nd Experiment at International Conference (Exp at) in 2013 2ND EXPERIMENT@ INTERNATIONAL CONFERENCE (EXP.AT'13), PÁGINAS: 6-10
INDEXADO EM: Scopus WOS DBLP CrossRef
7064
TÍTULO: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4, PÁGINAS: 783-825
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
7065
TÍTULO: A comparison of metaheuristic procedures to schedule jobs in a permutation flow shop to minimise total earliness and tardiness  Full Text
AUTORES: Jeffrey Schaller; Jorge M S Valente ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 51, NÚMERO: 3, PÁGINAS: 772-779
INDEXADO EM: Scopus WOS CrossRef: 29
7066
TÍTULO: A datalog engine for GPUs
AUTORES: Martinez Angeles, CA; Dutra, I ; Costa, VS; Buenabad Chavez, J;
PUBLICAÇÃO: 2013, FONTE: Kiel Declarative Programming Days 2013 - 20th Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2013, 22nd Int. Workshop on Functional and (Constraint) Logic Programming, WFLP 2013 and 27th WLP 2013 in Technische Berichte des Instituts fur Informatik der Christian-Albrechts-Universitat zu Kiel, NÚMERO: 1306 REPORT NO., PÁGINAS: 239-253
INDEXADO EM: Scopus
7067
TÍTULO: A Design Approach for Implementing 3D Educational Collaborative Virtual Environments on Virtual World Platforms
AUTORES: Rosa Reis; Benjamin Fonseca ; Paula Escudeiro;
PUBLICAÇÃO: 2013, FONTE: 7th European Conference on Games Based Learning in PROCEEDINGS OF THE 7TH EUROPEAN CONFERENCE ON GAMES BASED LEARNING, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 785-789
INDEXADO EM: Scopus WOS
7068
TÍTULO: A Framework for Modular and Customizable Software Analysis
AUTORES: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, NÚMERO: PART 2, PÁGINAS: 443-458
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
7069
TÍTULO: A Generic Scheme and Properties of Bidirectional Transformations PDF
AUTORES: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.4473
INDEXADO EM: DBLP arXiv
7070
TÍTULO: A Hybrid Approach at Emotional State Detection: Merging Theoretical Models of Emotion with Data-Driven Statistical Classifiers
AUTORES: Pedro A Nogueira ; Rui Rodrigues ; Eugenio Oliveira ; Lennart E Nacke;
PUBLICAÇÃO: 2013, FONTE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PÁGINAS: 253-260
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
7071
TÍTULO: A method for the development of Dublin core application profiles (me4dcap v0.2): Detailed description
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2013, FONTE: 2013 International Conference on Dublin Core and Metadata Applications: Linking to the Future, DC 2013 in Proceedings of the International Conference on Dublin Core and Metadata Applications, PÁGINAS: 90-103
INDEXADO EM: Scopus Handle
7072
TÍTULO: A mobile-based attribute aggregation architecture for user-centric identity management
AUTORES: Augusto, AB; Correia, ME ;
PUBLICAÇÃO: 2013, FONTE: Architectures and Protocols for Secure Information Technology Infrastructures, PÁGINAS: 266-287
INDEXADO EM: Scopus CrossRef: 1
7073
TÍTULO: A Model-based Approach for Test Cases Generation
AUTORES: Silva, JC; Silva, JL ; Campos, JC ; Saraiva, JA ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS
7074
TÍTULO: A Multi-Agents Framework for Contextual and Affective Decision Making
AUTORES: Freitas, CF; Marreiros, G ; Santos, R ; Barroso, J ; Ramos, C;
PUBLICAÇÃO: 2013, FONTE: 9th International Conference on Intelligent Environments (IE) in WORKSHOP PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENVIRONMENTS, VOLUME: 17, PÁGINAS: 347-355
INDEXADO EM: WOS DBLP CrossRef
7075
TÍTULO: A multi-population hybrid biased random key genetic algorithm for hop-constrained trees in nonlinear cost flow networks  Full Text
AUTORES: Dalila B M M Fontes ; Jose Fernando Goncalves ;
PUBLICAÇÃO: 2013, FONTE: OPTIMIZATION LETTERS, VOLUME: 7, NÚMERO: 6, PÁGINAS: 1303-1324
INDEXADO EM: Scopus WOS DBLP CrossRef: 25
7076
TÍTULO: A multiadaptive sampling technique for cost-effective network measurements  Full Text
AUTORES: Silva, JMC ; Carvalho, P ; Lima, SR ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER NETWORKS, VOLUME: 57, NÚMERO: 17, PÁGINAS: 3357-3369
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
7077
TÍTULO: A new Branch and Bound method for a discrete truss topology design problem  Full Text
AUTORES: Adelaide Cerveira ; Agostinho Agra ; Fernando Bastos; Joaquim Gromicho;
PUBLICAÇÃO: 2013, FONTE: COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, VOLUME: 54, NÚMERO: 1, PÁGINAS: 163-187
INDEXADO EM: Scopus WOS CrossRef: 11
7078
TÍTULO: A Nonlinear Continuous-Discrete Filter with Model Parameter Uncertainty and Application to Anesthesia
AUTORES: Joao M Lemos; Conceicao Rocha ; Teresa F Mendonca ; Maria Eduarda Silva ;
PUBLICAÇÃO: 2013, FONTE: 52nd IEEE Annual Conference on Decision and Control (CDC) in 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PÁGINAS: 2072-2077
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
7079
TÍTULO: A Pattern-Based Approach for GUI Modeling and Testing
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLICAÇÃO: 2013, FONTE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), PÁGINAS: 288-297
INDEXADO EM: Scopus WOS DBLP CrossRef: 41
7080
TÍTULO: A PDF based digital signed document format for interoperable institutional structured data integrity
AUTORES: Luís A. Maia; Luís M. Valente; Manuel E. Correia ; Lígia M. Ribeiro; Luís Antunes ;
PUBLICAÇÃO: 2013, FONTE: EUNIS 2013 Congress Proceedings: 2013: ICT Role for Next Generation Universities, VOLUME: 1, NÚMERO: 1
INDEXADO EM: CrossRef Unpaywall Handle

Results per Page: 20.
Página 354 de 527. Total de resultados: 10521.