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

536 Team Members
Filters -> Year: 2026
8421
TÍTULO: On the Portability of Prolog Applications
AUTORES: Wielemaker, J; Costa, VS ;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PÁGINAS: 69-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
8422
TÍTULO: On the series expansion of the spatial SIS evolution operator  Full Text
AUTORES: Jose Martins ; Maira Aguiar ; Alberto Pinto ; Nico Stollenwerk ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, NÚMERO: 7, PÁGINAS: 1107-1118
INDEXADO EM: Scopus WOS CrossRef: 2
8423
TÍTULO: On the use of code mobility mechanisms in real-time systems  Full Text
AUTORES: Luis Lino Ferreira ; Luís Nogueira;
PUBLICAÇÃO: 2011, FONTE: SIGBED Rev., VOLUME: 8, NÚMERO: 4, PÁGINAS: 16-21
INDEXADO EM: DBLP CrossRef: 1
8424
TÍTULO: On the Weight-Constrained Minimum Spanning Tree Problem
AUTORES: Agostinho Agra ; Adelaide Cerveira ; Cristina Requejo ; Eulalia Santos;
PUBLICAÇÃO: 2011, FONTE: 5th International Network Optimization Conference (INOC) in NETWORK OPTIMIZATION, VOLUME: 6701, PÁGINAS: 156-161
INDEXADO EM: Scopus WOS CrossRef: 3
8425
TÍTULO: On using crowdsourcing and active learning to improve classification performance
AUTORES: Joana Cósta; Catarina Silva ; Mário Antunes ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: ISDA, PÁGINAS: 469-474
INDEXADO EM: Scopus DBLP CrossRef: 24
8426
TÍTULO: Online Evaluation of Email Streaming Classifiers Using GNUsmail
AUTORES: Carmona Cejudo, JM; Baena García, M; del Campo Avila, J; Bifet, A; Gama, J ; Morales Bueno, R;
PUBLICAÇÃO: 2011, FONTE: 10th International Symposium on Intelligent Data Analysis in ADVANCES IN INTELLIGENT DATA ANALYSIS X, VOLUME: 7014, PÁGINAS: 90-+
INDEXADO EM: Scopus WOS DBLP CrossRef
8428
TÍTULO: Ontologies for meeting contents awareness - MTO and IGMTO
AUTORES: Freitas, CF; Martins, H; Barroso, J ; Ramos, C;
PUBLICAÇÃO: 2011, FONTE: 7th International Conference on Intelligent Environments in WORKSHOP PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENVIRONMENTS, VOLUME: 10, PÁGINAS: 651-662
INDEXADO EM: WOS DBLP CrossRef
8429
TÍTULO: Optimization Approach to a Simulation Algorithm of a Mixer-Settler System in the Transient State
AUTORES: Gomes, EF ; Pinto, GA;
PUBLICAÇÃO: 2011, FONTE: International Conference DYNA 2008 in DYNAMICS, GAMES AND SCIENCE II, VOLUME: 2, PÁGINAS: 349-359
INDEXADO EM: Scopus WOS CrossRef
8430
TÍTULO: Parenting Scales: Contributions to the factorial validity of the Portuguese version
AUTORES: Cruz, O; Raposo, JV ; Ducharne, MAB; Almeida, LD; Teixeira, CM; Fernandes, HM ;
PUBLICAÇÃO: 2011, FONTE: REVISTA IBEROAMERICANA DE DIAGNOSTICO Y EVALUACION-E AVALIACAO PSICOLOGICA, VOLUME: 1, NÚMERO: 31, PÁGINAS: 157-176
INDEXADO EM: WOS Handle
8431
TÍTULO: Partial Derivative Automata Formalized in Coq
AUTORES: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PÁGINAS: 59-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Handle
8432
TÍTULO: Partial plant models in formal verification of industrial automation discrete systems
AUTORES: José M Machado; Campos, J. Creissac ;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
8433
TÍTULO: Patterns for Effectively Documenting Frameworks
AUTORES: Ademar Aguiar ; Gabriel David ;
PUBLICAÇÃO: 2011, FONTE: Trans. Pattern Lang. Program., VOLUME: 2, PÁGINAS: 79-124
INDEXADO EM: Scopus DBLP CrossRef: 4
8434
TÍTULO: Patterns of information classification
AUTORES: Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLICAÇÃO: 2011, FONTE: PLoP, PÁGINAS: 15:1-15:17
INDEXADO EM: Scopus DBLP CrossRef: 1
8435
TÍTULO: Periodic and transient radon variations at the Tiberias hot spring, Israel during 2000-2005
AUTORES: Heiko Woith; Susana Barbosa ; Claudia Gajewski; Gideon Steinitz; Oksana Piatibratova; Uri Malik; Jochen Zschau;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Gas Geochemistry (ICGG) in GEOCHEMICAL JOURNAL, VOLUME: 45, NÚMERO: 6, PÁGINAS: 473-482
INDEXADO EM: Scopus WOS
8436
TÍTULO: Personalized travel suggestions for tourism websites
AUTORES: Coelho, A ; Rodrigues, A;
PUBLICAÇÃO: 2011, FONTE: 2011 11th International Conference on Intelligent Systems Design and Applications, ISDA'11 in International Conference on Intelligent Systems Design and Applications, ISDA, PÁGINAS: 118-123
INDEXADO EM: Scopus CrossRef: 1
8437
TÍTULO: PExIL: Programming Exercises Interoperability Language
AUTORES: Ricardo Queirós ; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
INDEXADO EM: Handle
8439
TÍTULO: Planning of a usability test for 3D controllers in Second Life / OpenSimulator virtual worlds
AUTORES: Cátia Dias; Odete Fernandes; António Cunha ; Leonel Morgado ;
PUBLICAÇÃO: 2011, FONTE: SeGAH, PÁGINAS: 1-4
INDEXADO EM: Scopus DBLP CrossRef: 2
8440
TÍTULO: PopAffiliator: online calculator for individual affiliation to a major population group based on 17 autosomal short tandem repeat genotype profile  Full Text
AUTORES: Pereira, L ; Alshamali, F; Andreassen, R; Ballard, R; Chantratita, W; Cho, NS; Coudray, C; Dugoujon, JM; Espinoza, M; Gonzalez Andrade, F; Hadi, S; Immel, UD; Marian, C; Gonzalez Martin, A; Mertens, G; Parson, W; Perone, C; Prieto, L; Takeshita, H; Villalobos, HR; Zeng, ZS; Zhivotovsky, L; Camacho, R ; Fonseca, NA ; ...Mais
PUBLICAÇÃO: 2011, FONTE: INTERNATIONAL JOURNAL OF LEGAL MEDICINE, VOLUME: 125, NÚMERO: 5, PÁGINAS: 629-636
INDEXADO EM: Scopus WOS CrossRef: 41 Handle

Results per Page: 20.
Página 422 de 532. Total de resultados: 10637.