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

531 Team Members
Filters -> Year: 2024
6361
TITLE: Deductive verification of cryptographic software  Full Text
AUTHORS: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 3, PAGES: 203-218
INDEXED IN: Scopus DBLP CrossRef
6362
TITLE: Dependability in Aggregation by Averaging PDF
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.6596
INDEXED IN: DBLP arXiv
6364
TITLE: Design of an extensible metadata editor based on RDF
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Proceedings of the European Conference on Knowledge Management
INDEXED IN: Handle
6365
TITLE: Design of an extensible metadata editor based on RDF
AUTHORS: Lea, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PAGES: 1219-1222
INDEXED IN: Scopus
6366
TITLE: Determining the best classification algorithm with recourse to sampling and metalearning
AUTHORS: Brazdil, P ; Leite, R;
PUBLISHED: 2010, SOURCE: Studies in Computational Intelligence, VOLUME: 262, PAGES: 173-188
INDEXED IN: Scopus DBLP CrossRef: 8
6367
TITLE: Developing information services for the social solidarity institutions
AUTHORS: Queiros, A ; De Carvalho, SCS; Pavao, JA ; Da Rocha, NFP ;
PUBLISHED: 2010, SOURCE: IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010 in Proceedings of the IADIS International Conference e-Health 2010, EH, Part of the IADIS Multi Conference on Computer Science and Information Systems 2010, MCCSIS 2010, PAGES: 299-302
INDEXED IN: Scopus
6368
TITLE: DFT-based frequency estimation under harmonic interference
AUTHORS: Ferreira, A ; Sousa, R ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP-2010 in Final Program and Abstract Book - 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP 2010
INDEXED IN: Scopus CrossRef: 3
6369
TITLE: Dimensioning and Worst-Case Analysis of Cluster-Tree Sensor Networks
AUTHORS: Jurcik, P; Koubaa, A ; Severino, R ; Alves, M ; Tovar, E ;
PUBLISHED: 2010, SOURCE: ACM TRANSACTIONS ON SENSOR NETWORKS, VOLUME: 7, ISSUE: 2, PAGES: 1-47
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6370
TITLE: Discovering Coordination Patterns
AUTHORS: Rodrigues, NF ;
PUBLISHED: 2010, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 260, PAGES: 189-207
INDEXED IN: Scopus CrossRef
6371
TITLE: Distributed Informal Information Systems for Innovation: An Empirical Study of the Role of Social Networks
AUTHORS: Vasco Vasconcelos ; Pedro Campos ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2, PAGES: 208-217
INDEXED IN: Scopus WOS CrossRef: 1
6372
TITLE: Dois anos na vida de uma revista científica: Um olhar para o futuro  Full Text
AUTHORS: José Vasconcelos-Raposo ;
PUBLISHED: 2010, SOURCE: Motricidade, VOLUME: 6, ISSUE: 4
INDEXED IN: CrossRef
6373
TITLE: Domain engineering of software product lines with service-oriented architecture
AUTHORS: Paulo G G Queiroz ; Rosana T V Braga;
PUBLISHED: 2010, SOURCE: Proceedings - 4th Brazilian Symposium on Software Components, Architectures and Reuse, SBCARS 2010, PAGES: 80-89
INDEXED IN: Scopus CrossRef
6374
TITLE: Dotted Version Vectors: Logical Clocks for Optimistic Replication PDF
AUTHORS: Nuno M. Preguiça; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.5808
INDEXED IN: DBLP arXiv
6375
TITLE: Drift Severity Metric
AUTHORS: Petr Kosina; Joao Gama ; Raquel Sebastiao ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215, PAGES: 1119-1120
INDEXED IN: Scopus WOS DBLP
6376
TITLE: Dynamics of Epidemiological Models  Full Text
AUTHORS: Alberto Pinto ; Maira Aguiar ; Jose Martins ; Nico Stollenwerk ;
PUBLISHED: 2010, SOURCE: ACTA BIOTHEORETICA, VOLUME: 58, ISSUE: 4, PAGES: 381-389
INDEXED IN: Scopus WOS CrossRef: 8
6377
TITLE: Dynamics of Immunological Models  Full Text
AUTHORS: Pinto, AA ; Burroughs, NJ; Ferreira, M ; Oliveira, BMPM ;
PUBLISHED: 2010, SOURCE: ACTA BIOTHEORETICA, VOLUME: 58, ISSUE: 4, PAGES: 391-404
INDEXED IN: Scopus WOS CrossRef: 4
6378
TITLE: E-business Maturity and Information Technology In Portuguese SMEs  Full Text
AUTHORS: Ramiro Gonçalves ; Sónia Santos; Elisabete Morais;
PUBLISHED: 2010, SOURCE: Communications of the IBIMA - CIBIMA, PAGES: 1-8
INDEXED IN: CrossRef: 3
6379
TITLE: E-learning frameworks: a survey
AUTHORS: Ricardo Queirós; José P Leal ;
PUBLISHED: 2010, SOURCE: Proceedings of the 4th International Technology, Education and Development Conference
INDEXED IN: Handle
6380
TITLE: Efficient Parallel Subgraph Counting Using G-Tries
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ; Luís M B Lopes ;
PUBLISHED: 2010, SOURCE: Proceedings of the 2010 IEEE International Conference on Cluster Computing, Heraklion, Crete, Greece, 20-24 September, 2010, PAGES: 217-226
INDEXED IN: Scopus DBLP CrossRef: 17

Results per Page: 20.
Página 319 de 407. Total de resultados: 8139.