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

531 Team Members
Filters -> Year: 2024
6301
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
6302
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
6303
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
6304
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
6305
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
6306
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
6307
TITLE: Clustering from Data Streams
AUTHORS: Thomas R Shultz; Scott E Fahlman; Susan Craw; Periklis Andritsos; Panayiotis Tsaparas; Ricardo Silva; Chris Drummond; Charles X Ling; Victor S Sheng; Chris Drummond; Pier Luca Lanzi; João Gama ; Paul P Wiegand; Prithviraj Sen; Galileo Namata; Mustafa Bilgic; Lise Getoor; Jun He; Sanjay Jain; Frank Stephan; Sanjay Jain; Frank Stephan; Claude Sammut; Michael Harries; Claude Sammut; Kai Ming Ting; Bernhard Pfahringer; John Case; Sanjay Jain; Kiri L Wagstaff; Siegfried Nijssen; Anthony Wirth; Charles X Ling; Victor S Sheng; Xinhua Zhang; Claude Sammut; Nicola Cancedda; Jean-Michel Renders; Pietro Michelucci; Daniel Oblinger; Eamonn Keogh; Abdullah Mueen; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 180-183
INDEXED IN: DBLP CrossRef: 1
6308
TITLE: Clustering Time Series of Sea Levels: Extreme Value Approach  Full Text
AUTHORS: Manuel G Scotto ; Andres M Alonso; Susana M Barbosa ;
PUBLISHED: 2010, SOURCE: JOURNAL OF WATERWAY PORT COASTAL AND OCEAN ENGINEERING-ASCE, VOLUME: 136, ISSUE: 4, PAGES: 215-225
INDEXED IN: Scopus WOS CrossRef: 21
6309
TITLE: Collective intelligence on dynamic manufacturing scheduling optimization
AUTHORS: Ana Madureira ; Ivo Pereira ; Nelson Sousa;
PUBLISHED: 2010, SOURCE: 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 in Fifth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, University of Hunan, Liverpool Hope University, Liverpool, United Kingdom / Changsha, China, September 8-10 and September 23-26, 2010, PAGES: 1693-1697
INDEXED IN: Scopus DBLP CrossRef Handle
6310
TITLE: Compact Lists for Tabled Evaluation
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 249-263
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6311
TITLE: COMPARISON OF INTERNET USAGE HABITS IN TWO GENERATIONS OF HIGHER EDUCATION STUDENTS A Case Study
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Computer Supported Education in CSEDU 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1, VOLUME: 1, PAGES: 415-418
INDEXED IN: Scopus WOS DBLP
6312
TITLE: Compiling for Reconfigurable Computing: A Survey. A survey  Full Text
AUTHORS: Joao M P Cardoso ; Pedro C Diniz ; Markus Weinhardt;
PUBLISHED: 2010, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 42, ISSUE: 4, PAGES: 1-65
INDEXED IN: Scopus WOS DBLP CrossRef: 61
6313
TITLE: Confirmatory Factorial Analysis of TEOSQp  Full Text
AUTHORS: Fernandes, HM ; Jose Jacinto B Branco Vasconcelos Raposo ;
PUBLISHED: 2010, SOURCE: PSICOLOGIA-REFLEXAO E CRITICA, VOLUME: 23, ISSUE: 1, PAGES: 92-101
INDEXED IN: Scopus WOS CrossRef: 3
6314
TITLE: Confirmatory Factorial Analysis of the Brazilian Version of the Competitive State Anxiety Inventory-2 (CSAI-2)
AUTHORS: Eduarda Maria Coelho ; Jose Vasconcelos Raposo ; Alvaro Cielo Mahl;
PUBLISHED: 2010, SOURCE: SPANISH JOURNAL OF PSYCHOLOGY, VOLUME: 13, ISSUE: 1, PAGES: 453-460
INDEXED IN: Scopus WOS CrossRef: 4
6315
TITLE: Constrains associated to e-business evolution
AUTHORS: Morais, EP; Pires, JA; Goncalves, R ;
PUBLISHED: 2010, SOURCE: E-Business Issues, Challenges and Opportunities for SMEs: Driving Competitiveness, PAGES: 335-349
INDEXED IN: Scopus CrossRef: 2
6316
TITLE: Contact center: information systems design  Full Text
AUTHORS: Rui Rijo; João Varajão; Ramiro Gonçalves ;
PUBLISHED: 2010, SOURCE: J Intell Manuf - Journal of Intelligent Manufacturing, VOLUME: 23, ISSUE: 3, PAGES: 497-515
INDEXED IN: CrossRef: 11
6317
TITLE: Context effect on query formulation and subjective relevance in health searches
AUTHORS: Teixeira Lopes, C ; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 3rd Information Interaction in Context Symposium, IIiX'10 in IIiX 2010 - Proceedings of the 2010 Information Interaction in Context Symposium, PAGES: 205-214
INDEXED IN: Scopus DBLP CrossRef: 5
6318
TITLE: Contextualized Ubiquity: A new opportunity for rendering business information and services PDF
AUTHORS: Carlos R Cunha ; Emanuel Peres ; Raul Morais ; Maximino Bessa ; Manuel Cabral Reis ;
PUBLISHED: 2010, SOURCE: J. Theor. Appl. Electron. Commer. Res., VOLUME: 5, ISSUE: 3, PAGES: 55-64
INDEXED IN: Scopus DBLP CrossRef: 4 Handle
6319
TITLE: Contract-Based Slicing
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 106-120
INDEXED IN: Scopus WOS DBLP CrossRef
6320
TITLE: Contract-based slicing helps on safety reuse
AUTHORS: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension, PAGES: 62-63
INDEXED IN: Scopus DBLP CrossRef

Results per Page: 20.
Página 316 de 406. Total de resultados: 8103.