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

531 Team Members
Filters -> Year: 2025
6461
TÍTULO: On combining linear-based strategies for tabled evaluation of logic programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5, PÁGINAS: 681-696
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
6462
TÍTULO: On performance of group key distribution techniques when applied to IPTV services  Full Text
AUTORES: Antonio Pinto ; Manuel Ricardo ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER COMMUNICATIONS, VOLUME: 34, NÚMERO: 14, PÁGINAS: 1708-1721
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
6463
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
6464
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
6465
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
6466
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
6467
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: 24
6468
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
6469
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
6470
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
6471
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
6472
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
6473
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
6474
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
6475
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
6476
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
6477
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
6478
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
6479
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
6480
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

Results per Page: 20.
Página 324 de 424. Total de resultados: 8461.