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
6321
TITLE: Ada User Journal: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 1, PAGES: 3
INDEXED IN: Scopus
6322
TITLE: AGILIPO: Embedding Social Software Features into Business Process Tools
AUTHORS: Antonio Rito Silva ; Rachid Meziani; Rodrigo Magalhaes; David Martinho; Ademar Aguiar ; Nuno Flores ;
PUBLISHED: 2010, SOURCE: International Workshop on Business Process Management (BPM 2009) in BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2009, VOLUME: 43, PAGES: 219-230
INDEXED IN: Scopus WOS DBLP CrossRef: 19
6323
TITLE: AN ARCHITECTURE FOR COLLABORATIVE DATA MINING
AUTHORS: Correia, F; Camacho, R ; Lopes, JC ;
PUBLISHED: 2010, SOURCE: International Conference on Knowledge Discovery and Information Retrieval (KDIR 2010) in KDIR 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND INFORMATION RETRIEVAL, PAGES: 467-470
INDEXED IN: Scopus WOS DBLP Handle
6324
TITLE: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 279-293
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6325
TITLE: An integrated system for submission, assessment, feedback and publication of online digital portfolios
AUTHORS: Figueira, A ; Felix, C ; Ferreira, C;
PUBLISHED: 2010, SOURCE: 8th IASTED International Conference on Web-Based Education, WBE 2010 in Proceedings of the 8th IASTED International Conference on Web-Based Education, WBE 2010, PAGES: 108-113
INDEXED IN: Scopus CrossRef: 1
6326
TITLE: An integrated system to support electricity tariff contract definition
AUTHORS: Rodrigues, F ; Figueiredo, V; Vale, Z ;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218, PAGES: 99-109
INDEXED IN: Scopus
6327
TITLE: Arc exchange systems and renormalization  Full Text
AUTHORS: Pinto, AA ; Rand, DA; Ferreira, F ;
PUBLISHED: 2010, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 16, ISSUE: 4, PAGES: 347-371
INDEXED IN: Scopus WOS CrossRef: 3
6328
TITLE: Architecture for transparent helpdesk system with multimodal presence
AUTHORS: Leonel Morgado ; Paulo Reis; Fausto de Carvalho; Tiago Ribeiro; Pedro Mestre ; C. Serôdio ;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2010 in IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2010, 13-15 December 2010, Perth, Australia, PAGES: 1-4
INDEXED IN: Scopus DBLP CrossRef
6329
TITLE: Assertion-based slicing and slice graphs
AUTHORS: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010, PAGES: 93-102
INDEXED IN: Scopus DBLP CrossRef: 6
6330
TITLE: Automated endoscopic capsule analysis using a Grid computing environment
AUTHORS: Ilidio C Oliveira ; Luis Alves; Eduardo Dias; David Pacheco; Sergio Lima; Joao Barros; Miguel P Monteiro ; Jorge A Silva ; Jose Maria Fernandes ; Cunha, JPS ; Antonio Sousa Pereira;
PUBLISHED: 2010, SOURCE: 4th Iberian Grid Infrastructure Conference (IBERGRID) in IBERGRID: 4TH IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 319-330
INDEXED IN: WOS
6331
TITLE: Automatic identification of drops in images of agitated liquid-liquid dispersion
AUTHORS: Gomes, EF ; Bras, LMR; M. M. M. Ribeiro ;
PUBLISHED: 2010, SOURCE: International Journal of Imaging, VOLUME: 4, ISSUE: 10 A, PAGES: 2-17
INDEXED IN: Scopus
6332
TITLE: Automatically inferring classsheet models from spreadsheets
AUTHORS: Cunha, J ; Erwig, M; Saraiva, J ;
PUBLISHED: 2010, SOURCE: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 in Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, PAGES: 93-100
INDEXED IN: Scopus DBLP CrossRef: 34
6333
TITLE: Beam search heuristics for quadratic earliness and tardiness scheduling
AUTHORS: Valente, JMS ;
PUBLISHED: 2010, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 61, ISSUE: 4, PAGES: 620-631
INDEXED IN: Scopus WOS CrossRef: 14
6334
TITLE: Bipartite Graphs for Monitoring Clusters Transitions
AUTHORS: Marcia Oliveira ; Joao Gama ;
PUBLISHED: 2010, SOURCE: 9th International Symposium on Intelligent Data Analysis in ADVANCES IN INTELLIGENT DATA ANALYSIS IX, PROCEEDINGS, VOLUME: 6065, PAGES: 114-124
INDEXED IN: Scopus WOS DBLP CrossRef: 12
6335
TITLE: Bringing class diagrams to life  Full Text
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2010, SOURCE: Innovations in Systems and Software Engineering, VOLUME: 6, ISSUE: 1, PAGES: 91-98
INDEXED IN: Scopus DBLP CrossRef
6336
TITLE: Case-based Reasoning for Self-Optimizing Behavior  Full Text
AUTHORS: Pereira, I ; Madureira, A ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), PAGES: 4236-4243
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6337
TITLE: Certification of open-source software: A role for formal methods?
AUTHORS: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 273-281
INDEXED IN: Scopus WOS DBLP
6338
TITLE: Change Detection with Kalman Filter and CUSUM
AUTHORS: Milton Severo ; João Gama ;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications, VOLUME: 6202, PAGES: 148-162
INDEXED IN: Scopus DBLP CrossRef: 5
6339
TITLE: Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples  Full Text
AUTHORS: Stephen Muggleton; Aline Paes; Vitor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-130
INDEXED IN: Scopus WOS DBLP CrossRef: 7
6340
TITLE: Clustering data streams with weightless neural networks PDF
AUTHORS: Cardoso, DO; Lima, PMV; De Gregorio, M; Gama, J ; Franca, FMG;
PUBLISHED: 2010, SOURCE: ESANN 2011 proceedings, 19th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, PAGES: 201-206
INDEXED IN: Scopus DBLP

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