CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 10521

535 Team Members
Filters -> Year: 2026
8421
TITLE: Two new power indices based on winning coalitions  Full Text
AUTHORS: Alonso Meijide, JM; Ferreira, F ; Alvarez Mozos, M; Pinto, AA ;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1095-1100
INDEXED IN: Scopus WOS CrossRef: 6
8422
TITLE: Type-Safe Evolution of Spreadsheets  Full Text
AUTHORS: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-201
INDEXED IN: Scopus WOS DBLP CrossRef: 10 Handle
8423
TITLE: Ubiquitous Knowledge Discovery Introduction  Full Text
AUTHORS: Joao Gama ; Michael May;
PUBLISHED: 2011, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 15, ISSUE: 1, PAGES: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8424
TITLE: Uncertainty on a Bertrand Duopoly with Product Differentiation
AUTHORS: Ferreira, F. A. ; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: 2nd Conference on Nonlinear Science and Complexity (NSC'08) in NONLINEAR SCIENCE AND COMPLEXITY, PAGES: 389-395
INDEXED IN: Scopus WOS CrossRef: 6
8425
TITLE: Uncertainty Sampling Methods for Selecting Datasets in Active Meta-Learning
AUTHORS: Ricardo B C Prudencio; Carlos Soares ; Teresa B Ludermir;
PUBLISHED: 2011, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2011 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1082-1089
INDEXED IN: Scopus WOS DBLP CrossRef: 9
8426
TITLE: Uncertainty Sampling-Based Active Selection of Datasetoids for Meta-learning
AUTHORS: Ricardo B C Prudencio; Carlos Soares ; Teresa B Ludermir;
PUBLISHED: 2011, SOURCE: 21st International Conference on Artificial Neural Networks, ICANN 2011 in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2011, PT II, VOLUME: 6792, ISSUE: PART 2, PAGES: 454-461
INDEXED IN: Scopus WOS DBLP CrossRef: 5
8427
TITLE: Uniformly hyperbolic diffeomorphisms in every surfaces  Full Text
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1031-1047
INDEXED IN: Scopus WOS CrossRef
8428
TITLE: Universality in PSI20 fluctuations
AUTHORS: Rui Goncalves ; Helena Ferreira; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1, PAGES: 405-420
INDEXED IN: Scopus WOS
8429
TITLE: Universality in the stock exchange market  Full Text
AUTHORS: Goncalves, R ; Ferreira, H ; Pinto, AA ;
PUBLISHED: 2011, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 17, ISSUE: 7, PAGES: 1049-1063
INDEXED IN: Scopus WOS CrossRef: 5
8430
TITLE: UPData - A Data Curation Experiment at U.Porto using DSpace
AUTHORS: João Rocha da Silva ; João Correia Lopes ; Cristina Ribeiro ;
PUBLISHED: 2011, SOURCE: Proceedings of the 8th International Conference on Digital Preservation, iPRES 2011, Singapore, November 1-4, 2011
INDEXED IN: DBLP
8431
TITLE: Using GNUsmail to Compare Data Stream Mining Methods for On-line Email Classification PDF
AUTHORS: José Carmona C Cejudo; Manuel Baena García; Rafael Morales Bueno; João Gama ; Albert Bifet;
PUBLISHED: 2011, SOURCE: Proceedings of the Second Workshop on Applications of Pattern Analysis, WAPA 2011, Castro Urdiales, Spain, October 19-21, 2011, VOLUME: 17, PAGES: 12-18
INDEXED IN: DBLP
8432
TITLE: Using k-top Retrieved Web Snippets to Date Temporal Implicit Queries based on Web Content Analysis
AUTHORS: Campos, RNT ;
PUBLISHED: 2011, SOURCE: PROCEEDINGS OF THE 34TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR'11), PAGES: 1325-1325
INDEXED IN: WOS DBLP CrossRef
8433
TITLE: Using meta-learning to recommend meta-heuristics for the traveling salesman problem
AUTHORS: Kanda, JY; De Carvalho, ACPLF; Hruschka, ER; Soares, C ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Machine Learning and Applications, ICMLA 2011 in Proceedings - 10th International Conference on Machine Learning and Applications, ICMLA 2011, VOLUME: 1, PAGES: 346-351
INDEXED IN: Scopus DBLP CrossRef: 8
8434
TITLE: Using the Common Cartridge Profile to Enhance Learning Content Interoperability
AUTHORS: Ricardo Queiros ; Jose Paulo Leal ;
PUBLISHED: 2011, SOURCE: 10th European Conference on e-Learning (ECEL) in PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON E-LEARNING, VOLS 1 AND 2, VOLUME: 2, PAGES: 637-645
INDEXED IN: Scopus WOS
8435
TITLE: Using the Common Cartridge profile to enhance learning content interoperability
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2011, SOURCE: Proceedings of the European Conference on E-Learning
INDEXED IN: Handle
8436
TITLE: Using the H-Index to Estimate Blog Authority
AUTHORS: José Luís Devezas ; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2011, SOURCE: 5th International AAAI Conference on Weblogs and Social Media, ICWSM 2011 in Proceedings of the Fifth International Conference on Weblogs and Social Media, Barcelona, Catalonia, Spain, July 17-21, 2011, PAGES: 470-473
INDEXED IN: Scopus DBLP Handle
8437
TITLE: Using the learning tools interoperability framework for LMS integration in service oriented architectures
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: Technology Enhanced Learning TECH-EDUCATION'11
INDEXED IN: Handle
8438
TITLE: Variability modelling in the ABS language
AUTHORS: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLISHED: 2011, SOURCE: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6957 LNCS, PAGES: 204-224
INDEXED IN: Scopus DBLP CrossRef: 24
8439
TITLE: Variance of bioimpedance analysis measurements with physicalactivity and ingestion of food and water
AUTHORS: M. Garçês; C. Morais; G. Ribeiro; J. Pereira; M. Garcia; P. Rowcliffe; S. Taboada; A. Santos; Flora Correia; Bruno Oliveira ;
PUBLISHED: 2011
INDEXED IN: Handle
8440
TITLE: Verification conditions for source-level imperative programs  Full Text
AUTHORS: Frade, MJ ; Pinto, JS ;
PUBLISHED: 2011, SOURCE: Computer Science Review, VOLUME: 5, ISSUE: 3, PAGES: 252-277
INDEXED IN: Scopus DBLP CrossRef: 18

Results per Page: 20.
Page 422 of 527. Total results: 10521.