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

531 Team Members
Filters -> Year: 2024
6201
TÍTULO: On the implementation of the probabilistic logic programming language ProbLog
AUTORES: Angelika Kimmig; Bart Demoen; Luc De Raedt; Vitor Santos Costa ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 24th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 2-3, PÁGINAS: 235-262
INDEXADO EM: Scopus WOS DBLP CrossRef: 86
6202
TÍTULO: On the Portability of Prolog Applications  Full Text
AUTORES: Jan Wielemaker; Vitor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PÁGINAS: 69-83
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
6203
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
6204
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
6205
TÍTULO: On using crowdsourcing and active learning to improve classification performance
AUTORES: Costa, J; Silva, C; Antunes, M ; Bernardete Ribeiro ;
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: 469-474
INDEXADO EM: Scopus DBLP CrossRef: 22
6206
TÍTULO: Online Evaluation of Email Streaming Classifiers Using GNUsmail
AUTORES: Jose M Carmona Cejudo; Manuel Baena Garcia; Jose del Campo Avila; Albert Bifet; Joao Gama ; Rafael Morales Bueno;
PUBLICAÇÃO: 2011, FONTE: 10th International Symposium on Intelligent Data Analysis in ADVANCES IN INTELLIGENT DATA ANALYSIS X: IDA 2011, VOLUME: 7014, PÁGINAS: 90-+
INDEXADO EM: Scopus WOS DBLP CrossRef
6207
TÍTULO: Online Proceedings of the 11th PDF
AUTORES: Salvador Abreu ; Vítor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.4993
INDEXADO EM: DBLP arXiv
6208
TÍTULO: Ontologies for meeting contents awareness - MTO and IGMTO
AUTORES: Carlos Filipe Freitas; Helio Martins; Joao Barroso ; Carlos Ramos;
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
6209
TÍTULO: Operational modal monitoring of ancient structures using wireless technology
AUTORES: Aguilar, R; Ramos, LF ; Lourenco, PB; Severino, R; Gomes, R; Gandra, P; Alves, M ; Tovar, E ;
PUBLICAÇÃO: 2011, FONTE: 28th IMAC, A Conference on Structural Dynamics, 2010 in Conference Proceedings of the Society for Experimental Mechanics Series, VOLUME: 4, PÁGINAS: 247-256
INDEXADO EM: Scopus CrossRef: 2 Handle
6210
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
6211
TÍTULO: Parenting Scales: Contributions to the factorial validity of the Portuguese version
AUTORES: Orlanda Cruz; Jose Vasconcelos Raposo ; Maria Adelina B Barbosa Ducharne; Leandro da Silva Almeida; Carla M Teixeira; 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
6212
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-68
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
6213
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
6214
TÍTULO: Patterns for Effectively Documenting Frameworks
AUTORES: Ademar Aguiar ; Gabriel David ;
PUBLICAÇÃO: 2011, FONTE: Transactions on Pattern Languages of Programming II - Special Issue on Applying Patterns, VOLUME: 2, PÁGINAS: 79-124
INDEXADO EM: Scopus DBLP CrossRef: 4
6215
TÍTULO: Patterns of information classification
AUTORES: Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLICAÇÃO: 2011, FONTE: 18th Conference on Pattern Languages of Programs, PLoP 2011 in Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011, Portland, Oregon, USA, October 21-23, 2011, PÁGINAS: 15:1-15:17
INDEXADO EM: Scopus DBLP CrossRef: 1
6216
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
6217
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
6218
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
6220
TÍTULO: Planning of a usability test for 3D controllers in Second Life / OpenSimulator virtual worlds
AUTORES: Catia Dias; Odete Fernandes; António Cunha ; Leonel Morgado ;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011 in 2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011, Braga, Portugal, November 16-18, 2011, PÁGINAS: 1-4
INDEXADO EM: Scopus DBLP CrossRef: 2

Results per Page: 20.
Página 311 de 410. Total de resultados: 8181.