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

535 Team Members
Filters -> Year: 2026
7121
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
7122
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
7123
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
7124
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
7125
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
7126
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
7127
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
7128
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
7129
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
7130
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
7131
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
7132
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
7133
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
7134
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
7135
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
7136
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
7137
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
7138
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
7139
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
7140
TÍTULO: A Portable and Efficient Implementation of Coinductive Logic Programming
AUTORES: Paulo Moura ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PÁGINAS: 77-92
INDEXADO EM: Scopus DBLP CrossRef: 2

Results per Page: 20.
Página 357 de 530. Total de resultados: 10592.