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

531 Team Members
Filters -> Year: 2024
5841
TÍTULO: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PÁGINAS: 146-161
INDEXADO EM: Scopus DBLP CrossRef: 2
5843
TÍTULO: Representation and management of spatiotemporal data in object-relational databases  Full Text
AUTORES: Matos, L; Moreira, J ; Carvalho, A ;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 13-20
INDEXADO EM: Scopus CrossRef: 2
5844
TÍTULO: Resource-Efficient Designs using an Aspect-Oriented Approach
AUTORES: Jose G F Coutinho; Sujit Bhattacharya; Wayne Luk; George A Constantinides; Joao M P Cardoso ; Tiago Carvalho ; Pedro C Diniz ; Zlatko Petrov;
PUBLICAÇÃO: 2012, FONTE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PÁGINAS: 399-406
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5845
TÍTULO: Restructuring in privatised firms: A statis approach
AUTORES: Figueiredo, A ; Figueiredo, F ; Monteiro, NP ; Straume, OR ;
PUBLICAÇÃO: 2012, FONTE: Structural Change and Economic Dynamics, VOLUME: 23, NÚMERO: 1, PÁGINAS: 108-116
INDEXADO EM: Scopus CrossRef Handle
5846
TÍTULO: RNA secondary structure mediates alternative 3 ' ss selection in Saccharomyces cerevisiae
AUTORES: Mireya Plass; Carles Codony Servat; Pedro G Gabriel Ferreira ; Josep Vilardell; Eduardo Eyras;
PUBLICAÇÃO: 2012, FONTE: RNA-A PUBLICATION OF THE RNA SOCIETY, VOLUME: 18, NÚMERO: 6, PÁGINAS: 1103-1115
INDEXADO EM: Scopus WOS CrossRef: 35
5847
TÍTULO: Roles as Modular Units of Composition
AUTORES: Fernando Sérgio Barbosa; Ademar Aguiar ;
PUBLICAÇÃO: 2012, FONTE: 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012 in ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012., PÁGINAS: 13-22
INDEXADO EM: Scopus DBLP Handle
5848
TÍTULO: Runtime programming through model-preserving, scalable runtime patches
AUTORES: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PÁGINAS: 290-294
INDEXADO EM: Scopus DBLP CrossRef
5849
TÍTULO: Scalable Integration of Multiple Health Sensor Data for Observing Medical Patterns
AUTORES: Hugo Sereno Ferreira ; Tiago Boldt Sousa ; Angelo Martins ;
PUBLICAÇÃO: 2012, FONTE: 9th Annual International Conference on Cooperative Design, Visualization, and Engineering (CDVE) in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING (CDVE), VOLUME: 7467, PÁGINAS: 78-84
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
5850
TÍTULO: Scaling of Stochasticity in Dengue Hemorrhagic Fever Epidemics  Full Text
AUTORES: Aguiar, M ; Kooi, BW; Martins, J ; Stollenwerk, N ;
PUBLICAÇÃO: 2012, FONTE: MATHEMATICAL MODELLING OF NATURAL PHENOMENA, VOLUME: 7, NÚMERO: 3, PÁGINAS: 1-11
INDEXADO EM: Scopus WOS CrossRef: 21
5851
TÍTULO: Scheduling cyclic task graphs with SCC-map
AUTORES: Sardinha, A; Alves, TAO; Marzulo, LAJ; Franca, FMG; Barbosa, VC; Costa, VS ;
PUBLICAÇÃO: 2012, FONTE: 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012 in Proceedings - 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012, PÁGINAS: 54-59
INDEXADO EM: Scopus CrossRef: 2
5852
TÍTULO: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTORES: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
PUBLICAÇÃO: 2012, FONTE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), PÁGINAS: 1581-1590
INDEXADO EM: Scopus WOS DBLP CrossRef
5853
TÍTULO: Searching a Mixed Corpus in the Light of the New Portuguese Orthographic Norm
AUTORES: Gracinda Carvalho ; Isabel Falé ; David Martins de Matos ; Vitor Rocio ;
PUBLICAÇÃO: 2012, FONTE: 10th International Conference on Computational Processing of Portuguese, PROPOR 2012 in Computational Processing of the Portuguese Language - 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012. Proceedings, VOLUME: 7243, PÁGINAS: 56-62
INDEXADO EM: Scopus DBLP CrossRef: 1
5854
TÍTULO: Security and privacy issues for the network of the future. Security and privacy issues for the network of the future  Full Text
AUTORES: Giannis F Marias; Joao Barros ; Markus Fiedler; Andreas Fischer; Harald Hauff; Ralph Herkenhoener; Antonio Grillo; Alessandro Lentini; Luisa Lima ; Charlott Lorentzen; Wojciech Mazurczyk; Hermann de Meer; Paulo F Oliveira; George C Polyzos; Enric Pujol; Krzysztof Szczypiorski; Joao P Vilela ; Tiago T V Vinhoza ;
PUBLICAÇÃO: 2012, FONTE: SECURITY AND COMMUNICATION NETWORKS, VOLUME: 5, NÚMERO: 9, PÁGINAS: 987-1005
INDEXADO EM: Scopus WOS CrossRef: 11
5855
TÍTULO: Selecting classification algorithms with active testing
AUTORES: Leite, R; Brazdil, P ; Vanschoren, J;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7376 LNAI, PÁGINAS: 117-131
INDEXADO EM: Scopus DBLP CrossRef: 51
5856
TÍTULO: Selecting classification algorithms with active testing on similar datasets
AUTORES: Leite, R ; Brazdil, P ; Vanschoren, J;
PUBLICAÇÃO: 2012, FONTE: 5th Planning to Learn Workshop, PlanLearn 2012 at 2012 European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 950, PÁGINAS: 20-27
INDEXADO EM: Scopus
5857
TÍTULO: Self tolerance by tuning T-cell activation: An artificial immune system for anomaly detection
AUTORES: Antunes, MJ ; Manuel E. Correia ;
PUBLICAÇÃO: 2012, FONTE: 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2010 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 87 LNICST, PÁGINAS: 1-15
INDEXADO EM: Scopus DBLP CrossRef: 2
5858
TÍTULO: Semantically Secure Functional Encryption, Revisited
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2012, PÁGINAS: 474
INDEXADO EM: DBLP
5859
TÍTULO: Semi-automated Application Profile Generation for Research Data Assets
AUTORES: Joao Rocha da Silva ; Cristina Ribeiro ; Joao Correia Lopes ;
PUBLICAÇÃO: 2012, FONTE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PÁGINAS: 98-106
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
5860
TÍTULO: Semi-supervised learning: Predicting activities in Android environment
AUTORES: Lopes, A; Mendes Moreira, J ; Gama, J ;
PUBLICAÇÃO: 2012, FONTE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PÁGINAS: 38-42
INDEXADO EM: Scopus

Results per Page: 20.
Página 293 de 408. Total de resultados: 8153.