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

531 Team Members
Filters -> Year: 2024
4641
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
INDEXED IN: Scopus WOS DBLP CrossRef
4642
TITLE: "Generic Shooter 3000": a realistic first person shooter powered by biofeedback
AUTHORS: Gonçalo Amaral da Silva; Pedro Alves Nogueira; Rui Rodrigues ;
PUBLISHED: 2014, SOURCE: 1st ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2014 in Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19 - 22, 2014, PAGES: 371-374
INDEXED IN: Scopus DBLP
4643
TITLE: 18th International Database Engineering & Applications Symposium, IDEAS 2014, Porto, Portugal, July 7-9, 2014
AUTHORS: Bipin C Desai; Ana Maria de Almeida; Jorge Bernardino; Elsa Ferreira Gomes ;
PUBLISHED: 2014, SOURCE: IDEAS
INDEXED IN: DBLP
4644
TITLE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal
AUTHORS: Maria João Varanda Pereira; José Paulo Leal ; Alberto Simões;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38
INDEXED IN: DBLP
4645
TITLE: A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PAGES: 314-317
INDEXED IN: Scopus WOS DBLP CrossRef
4646
TITLE: A Bounded Model Checker for SPARK Programs
AUTHORS: Claudio Belo Lourenco ; Maria Joao Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Automated Technology for Verification and Analysis (ATVA) in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, VOLUME: 8837, PAGES: 24-30
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4647
TITLE: A Characterization of Uncoordinated Frequency Hopping for Wireless Secrecy
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC)
INDEXED IN: Scopus WOS CrossRef: 7
4648
TITLE: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2436-2443
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4649
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Pedro, AD ; Pereira, D ; Pinho, LM ; Pinto, JS ;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PAGES: 16-30
INDEXED IN: Scopus WOS DBLP CrossRef Handle
4650
TITLE: A Critical Embedded System product line model-based approach
AUTHORS: Paulo G G Queiroz ; Rosana T V Braga;
PUBLISHED: 2014, SOURCE: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, VOLUME: 2014-January, ISSUE: January, PAGES: 71-75
INDEXED IN: Scopus
4651
TITLE: A data warehouse to support web site automation
AUTHORS: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLISHED: 2014, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 20, ISSUE: 1, PAGES: 1-16
INDEXED IN: Scopus DBLP CrossRef: 2
4652
TITLE: A Datalog Engine for GPUs
AUTHORS: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLISHED: 2014, SOURCE: Kiel Declarative Programming Days (KDPD) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 8439, PAGES: 152-168
INDEXED IN: Scopus WOS DBLP CrossRef: 7
4653
TITLE: A Distributed Architecture for Remote Validation of Software Licenses Using USB/IP Protocol
AUTHORS: Mario J Antunes ; Albano Afonso; Filipe Mota Pinto;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 269-279
INDEXED IN: Scopus WOS DBLP CrossRef
4654
TITLE: A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation  Full Text
AUTHORS: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLISHED: 2014, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, ISSUE: 3, PAGES: 1218-1248
INDEXED IN: Scopus WOS DBLP CrossRef: 2
4655
TITLE: A Framework for a Multimodal Transportation Network: an Agent-Based Model Approach
AUTHORS: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLISHED: 2014, SOURCE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PAGES: 213-227
INDEXED IN: Scopus WOS CrossRef: 16
4656
TITLE: A framework to decompose and develop metafeatures PDF
AUTHORS: Pinto, F; Soares, C ; Mendes Moreira, J ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 32-36
INDEXED IN: Scopus DBLP
4657
TITLE: A game for robot operation training in Search and Rescue missions
AUTHORS: Goncalves, R; Baptista, R ; Coelho, A ; Matos, A ; de Carvalho, CV; Bedkowski, J; Musialik, P; Ostrowski, I; Majek, K;
PUBLISHED: 2014, SOURCE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV), PAGES: 262-267
INDEXED IN: Scopus WOS CrossRef: 2
4658
TITLE: A graph-based approach for interference free integration of commercial off-the-shelf elements in pervasive computing systems  Full Text
AUTHORS: Christophe Soares ; Rui S Moreira ; Ricardo Morla ; José Manuel Torres ; Pedro Sobral ;
PUBLISHED: 2014, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF GRID COMPUTING AND ESCIENCE, VOLUME: 39, PAGES: 3-15
INDEXED IN: Scopus WOS DBLP CrossRef: 3
4659
TITLE: A GUI Modeling DSL for Pattern-Based GUI Testing PARADIGM
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 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), PAGES: 126-135
INDEXED IN: Scopus WOS DBLP CrossRef
4660
TITLE: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTHORS: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, ISSUE: 1, PAGES: 31-52
INDEXED IN: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 233 de 406. Total de resultados: 8107.