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

531 Team Members
Filters -> Year: 2024
6261
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Rocha, R ; Launchbury, J;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
INDEXED IN: Scopus
6262
TITLE: LEVERAGING IDENTITY MANAGEMENT INTEROPERABILITY IN EHEALTH
AUTHORS: Campos, MJ; Manuel E. Correia ; Antunes, L ;
PUBLISHED: 2011, SOURCE: IEEE International Carnahan Conference on Security Technology (ICCST) in 2011 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), PAGES: 1-8
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6263
TITLE: Linearity and Recursion in a Typed Lambda-Calculus
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2011, SOURCE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, PAGES: 173-182
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6264
TITLE: Location based e-commerce system: An architecture. An Architecture
AUTHORS: Liberato, NAO; De Sousa Varajao, JEQA; Correia, ESP ; Bessa, MEC ;
PUBLISHED: 2011, SOURCE: Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts, PAGES: 881-892
INDEXED IN: Scopus CrossRef
6265
TITLE: Logic programming and fuzzy Monte Carlo for distribution network reconfiguration
AUTHORS: Vale, ZA ; Canizes, B; Soares, J; Oliveira, P; Sousa, T; Pinto, T ;
PUBLISHED: 2011, SOURCE: 2011 16th International Conference on Intelligent System Applications to Power Systems, ISAP 2011 in 2011 16th International Conference on Intelligent System Applications to Power Systems, ISAP 2011
INDEXED IN: Scopus CrossRef: 1
6266
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680, PAGES: 62-69
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Handle
6267
TITLE: Lot-sizing and scheduling in a glass container manufacture company
AUTHORS: Agra, A ; Avelino, C ; Cerveira, A ; Delgado, A; Poss, M;
PUBLISHED: 2011, SOURCE: International Journal of Mathematical Modelling and Numerical Optimisation, VOLUME: 2, ISSUE: 3, PAGES: 253-272
INDEXED IN: Scopus CrossRef: 1
6268
TITLE: Markers of metabolic syndrome in obese children before and after 1-year lifestyle intervention program  Full Text
AUTHORS: Pedrosa, C; Oliveira, BMPM ; Albuquerque, I; Simoes Pereira, C; Vaz de Almeida, MD; Flora Correia ;
PUBLISHED: 2011, SOURCE: EUROPEAN JOURNAL OF NUTRITION, VOLUME: 50, ISSUE: 6, PAGES: 391-400
INDEXED IN: Scopus WOS CrossRef: 25
6269
TITLE: MASCEM: Electricity Markets Simulation with Strategic Agents  Full Text
AUTHORS: Vale, Z ; Pinto, T ; Praca, I ; Morais, H;
PUBLISHED: 2011, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 26, ISSUE: 2, PAGES: 9-17
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6270
TITLE: MEC - Monitoring Clusters' Transitions
AUTHORS: Marcia Oliveira ; Joao Gama ;
PUBLISHED: 2011, SOURCE: 5th International Symposium for Artificial Intelligence Researchers (STAIRS) in STAIRS 2010: PROCEEDINGS OF THE FIFTH STARTING AI RESEARCHERS' SYMPOSIUM, VOLUME: 222, PAGES: 212-224
INDEXED IN: Scopus WOS DBLP
6271
TITLE: Media Ecosystems: A Novel Approach for Content-Awareness in Future Networks
AUTHORS: Harilaos Koumaras; Daniel Négru; Eugen Borcoci; Vaios Koumaras; Costas Troulos; Lapid, Y; Evangelos Pallis; Mamadou Sidibé; António Pinto ; Georgios Gardikis; Georgios Xilouris; Christian Timmerer;
PUBLISHED: 2011, SOURCE: The Future Internet - Future Internet Assembly 2011: Achievements and Technological Promises, VOLUME: 6656, PAGES: 369-380
INDEXED IN: Scopus DBLP CrossRef: 7
6272
TITLE: Metabolic syndrome, adipokines and ghrelin in overweight and obese schoolchildren: results of a 1-year lifestyle intervention programme  Full Text
AUTHORS: Pedrosa, C; Oliveira, BMPM ; Albuquerque, I; Simoes Pereira, C; Vaz de Almeida, M; Flora Correia ;
PUBLISHED: 2011, SOURCE: EUROPEAN JOURNAL OF PEDIATRICS, VOLUME: 170, ISSUE: 4, PAGES: 483-492
INDEXED IN: Scopus WOS CrossRef Handle
6273
TITLE: Method for the introduction of Creativity in the Information System planning process
AUTHORS: Vitor Santos; Luis Amaral ; Henrique Mamede ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 227-231
INDEXED IN: WOS
6274
TITLE: Microeconomic Model Based on MAS Framework: Modeling an Adaptive Producer
AUTHORS: Pavel Brazdil ; Frederico Teixeira;
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: 139-157
INDEXED IN: Scopus WOS CrossRef
6275
TITLE: Mining Association Rules for Label Ranking
AUTHORS: de Sa, CR ; Soares, C ; Jorge, AM ; Azevedo, P ; Costa, J ;
PUBLISHED: 2011, SOURCE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II: 15TH PACIFIC-ASIA CONFERENCE, PAKDD 2011, VOLUME: 6635, ISSUE: PART 2, PAGES: 432-443
INDEXED IN: Scopus WOS DBLP CrossRef: 20 Handle
6276
TITLE: Model of funcionalities for the development of B2B e-commerce solutions
AUTHORS: Pinto, M; Rodrigues, A; Varajao, J; Goncalves, R ;
PUBLISHED: 2011, SOURCE: Innovations in SMEs and Conducting E-Business: Technologies, Trends and Solutions, PAGES: 35-60
INDEXED IN: Scopus CrossRef: 5
6277
TITLE: Model-based clustering of extreme sea level heights
AUTHORS: Scotto, MG ; Barbosa, SM ; Alonso, AM;
PUBLISHED: 2011, SOURCE: Sea Level Rise, Coastal Engineering, Shorelines and Tides, PAGES: 277-293
INDEXED IN: Scopus
6278
TITLE: Model-based spreadsheet engineering
AUTHORS: Jácome Cunha ;
PUBLISHED: 2011
INDEXED IN: DBLP Handle
6279
TITLE: Modelling a network of heterogeneous e-learning systems
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2011, SOURCE: International Workshop on Enterprise Systems and Technology, 5th
INDEXED IN: Handle
6280
TITLE: Modelling an e-learning environment for learning programming languages  Full Text
AUTHORS: Ricardo Queirós; José P Leal ;
PUBLISHED: 2011, SOURCE: IEEE Learning Technology Newsletter, VOLUME: 13, 2
INDEXED IN: Handle

Results per Page: 20.
Page 314 of 414. Total results: 8279.