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

531 Team Members
Filters -> Year: 2024
4781
TÍTULO: 18th International Database Engineering & Applications Symposium, IDEAS 2014, Porto, Portugal, July 7-9, 2014
AUTORES: Bipin C Desai; Ana Maria de Almeida; Jorge Bernardino ; Elsa Ferreira Gomes ;
PUBLICAÇÃO: 2014, FONTE: IDEAS
INDEXADO EM: DBLP
4782
TÍTULO: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal
AUTORES: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLICAÇÃO: 2014, FONTE: SLATE, VOLUME: 38
INDEXADO EM: DBLP
4783
TÍTULO: A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development
AUTORES: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PÁGINAS: 314-317
INDEXADO EM: Scopus WOS DBLP CrossRef
4784
TÍTULO: A Bounded Model Checker for SPARK Programs
AUTORES: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PÁGINAS: 24-30
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4785
TÍTULO: A Characterization of Uncoordinated Frequency Hopping for Wireless Secrecy
AUTORES: Joao Sa Sousa; Joao P Vilela ;
PUBLICAÇÃO: 2014, FONTE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC)
INDEXADO EM: Scopus WOS CrossRef: 7
4786
TÍTULO: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTORES: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLICAÇÃO: 2014, FONTE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 2436-2443
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4787
TÍTULO: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTORES: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PÁGINAS: 16-30
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
4788
TÍTULO: A Critical Embedded System product line model-based approach
AUTORES: Paulo G G Queiroz ; Rosana T V Braga;
PUBLICAÇÃO: 2014, FONTE: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, VOLUME: 2014-January, NÚMERO: January, PÁGINAS: 71-75
INDEXADO EM: Scopus
4789
TÍTULO: A data warehouse to support web site automation
AUTORES: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLICAÇÃO: 2014, FONTE: Journal of the Brazilian Computer Society, VOLUME: 20, NÚMERO: 1, PÁGINAS: 1-16
INDEXADO EM: Scopus DBLP CrossRef: 2
4790
TÍTULO: A Datalog Engine for GPUs
AUTORES: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLICAÇÃO: 2014, FONTE: Kiel Declarative Programming Days (KDPD) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 8439, PÁGINAS: 152-168
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
4791
TÍTULO: A Distributed Architecture for Remote Validation of Software Licenses Using USB/IP Protocol
AUTORES: Mario J Antunes ; Albano Afonso; Filipe Mota Pinto;
PUBLICAÇÃO: 2014, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PÁGINAS: 269-279
INDEXADO EM: Scopus WOS DBLP CrossRef
4792
TÍTULO: A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation  Full Text
AUTORES: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, NÚMERO: 3, PÁGINAS: 1218-1248
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
4793
TÍTULO: A Framework for a Multimodal Transportation Network: an Agent-Based Model Approach
AUTORES: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLICAÇÃO: 2014, FONTE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PÁGINAS: 213-227
INDEXADO EM: Scopus WOS CrossRef: 16
4794
TÍTULO: A framework to decompose and develop metafeatures PDF
AUTORES: Pinto, F; Soares, C ; Mendes Moreira, J ;
PUBLICAÇÃO: 2014, FONTE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014 in CEUR Workshop Proceedings, VOLUME: 1201, PÁGINAS: 32-36
INDEXADO EM: Scopus DBLP
4795
TÍTULO: A game for robot operation training in Search and Rescue missions
AUTORES: Goncalves, R; Baptista, R ; Coelho, A ; Matos, A ; de Carvalho, CV; Bedkowski, J; Musialik, P; Ostrowski, I; Majek, K;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV), PÁGINAS: 262-267
INDEXADO EM: Scopus WOS CrossRef: 2
4796
TÍTULO: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems  Full Text
AUTORES: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; Jose M Torres ; Pedro Sobral ;
PUBLICAÇÃO: 2014, FONTE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PÁGINAS: 3-15
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
4797
TÍTULO: A GUI Modeling DSL for Pattern-Based GUI Testing PARADIGM
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLICAÇÃO: 2014, FONTE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PÁGINAS: 126-135
INDEXADO EM: Scopus WOS DBLP CrossRef
4798
TÍTULO: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTORES: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, NÚMERO: 1, PÁGINAS: 31-52
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4799
TÍTULO: A hybrid biased random key genetic algorithm approach for the unit commitment problem  Full Text
AUTORES: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF COMBINATORIAL OPTIMIZATION, VOLUME: 28, NÚMERO: 1, PÁGINAS: 140-166
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
4800
TÍTULO: A Hybrid MapReduce Model for Prolog
AUTORES: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2014, FONTE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PÁGINAS: 340-343
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 240 de 414. Total de resultados: 8274.