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

531 Team Members
Filters -> Year: 2024
5101
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: 26
5102
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
5103
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 Handle
5104
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
5105
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: 9
5106
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
5107
TÍTULO: A mobile-based attribute aggregation architecture for user-centric identity management
AUTORES: Augusto, AB; Manuel E. Correia ;
PUBLICAÇÃO: 2013, FONTE: Architectures and Protocols for Secure Information Technology Infrastructures, PÁGINAS: 266-287
INDEXADO EM: Scopus CrossRef: 1
5108
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
5109
TÍTULO: A Multi-Agents Framework for Contextual and Affective Decision Making
AUTORES: Carlos Filipe Freitas; Goreti Marreiros ; Ricardo Santos ; Joao Barroso ; Carlos Ramos;
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
5110
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: 24
5111
TÍTULO: A multiadaptive sampling technique for cost-effective network measurements  Full Text
AUTORES: Joao Marco C Silva ; Paulo Carvalho ; Solange Rito Lima ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER NETWORKS, VOLUME: 57, NÚMERO: 17, PÁGINAS: 3357-3369
INDEXADO EM: Scopus WOS CrossRef: 7
5112
TÍTULO: A multiadaptive sampling technique for cost-effective network measurements
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2013, FONTE: Comput. Networks, VOLUME: 57, NÚMERO: 17, PÁGINAS: 3357-3369
INDEXADO EM: DBLP
5113
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: 8
5114
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
5115
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: 39
5116
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
5117
TÍTULO: A pilot project on non-conventional learning
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 18th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2013 in Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, PÁGINAS: 346
INDEXADO EM: Scopus DBLP CrossRef
5118
TÍTULO: A Potpourri of authentication mechanisms The mobile device way
AUTORES: Rui A Martins; Alexandre B Augusto ; Manuel E. Correia ;
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
5119
TÍTULO: A preliminary investigation into predictive models for adverse drug events
AUTORES: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLICAÇÃO: 2013, FONTE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PÁGINAS: 8-13
INDEXADO EM: Scopus
5120
TÍTULO: A projected gradient dynamical system modelling the dynamics of bargaining  Full Text
AUTORES: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 19, NÚMERO: 1, PÁGINAS: 59-95
INDEXADO EM: Scopus WOS CrossRef: 2

Results per Page: 20.
Página 256 de 408. Total de resultados: 8154.