CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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
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!
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!
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!
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: 10639
536 Team MembersFilters -> Year: 2026
8381
TITLE: Linearity and Recursion in a Typed Lambda-Calculus
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
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
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
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
8382
TITLE: Location and Automatic Calculation of trajectory in Furniture Objects Using RFID
AUTHORS: Jose Xavier; Pedro Henriques Abreu ; Luis Paulo Reis ; Marcelo R. Petry ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 584-589
AUTHORS: Jose Xavier; Pedro Henriques Abreu ; Luis Paulo Reis ; Marcelo R. Petry ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 584-589
INDEXED IN: 
WOS
WOS8383
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
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
Scopus CrossRef8384
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
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
8385
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
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
8386
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
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
8387
TITLE: MAIN BARRIERS FOR QUALITY DATA COLLECTION IN EHR A Review
AUTHORS: Rui Mendes; Pedro Pereira Rodrigues ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Health Informatics (HEALTHINF 2011) in HEALTHINF 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 451-454
AUTHORS: Rui Mendes; Pedro Pereira Rodrigues ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Health Informatics (HEALTHINF 2011) in HEALTHINF 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 451-454
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP8388
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
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
8390
TITLE: MEC - Monitoring Clusters' Transitions
AUTHORS: Oliveira, M ; Gama, J ;
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
AUTHORS: Oliveira, M ; Gama, J ;
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
Scopus WOS DBLP8391
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: Future Internet Assembly, VOLUME: 6656, PAGES: 369-380
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: Future Internet Assembly, VOLUME: 6656, PAGES: 369-380
8392
TITLE: Meta-predicate Semantics
AUTHORS: Paulo Moura ;
PUBLISHED: 2011, SOURCE: 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011 in Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers, VOLUME: 7225, PAGES: 155-172
AUTHORS: Paulo Moura ;
PUBLISHED: 2011, SOURCE: 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011 in Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers, VOLUME: 7225, PAGES: 155-172
8393
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
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
8394
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
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
WOS8395
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
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
8396
TITLE: Mining Association Rules for Label Ranking
AUTHORS: de Sá, 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, VOLUME: 6635, ISSUE: PART 2, PAGES: 432-443
AUTHORS: de Sá, 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, VOLUME: 6635, ISSUE: PART 2, PAGES: 432-443
8397
TITLE: Mobile Learning in Organizations. Lessons Learned from Two Case Studies
AUTHORS: Amarolinda Zanela Saccol; Jorge Luis Victoria Barbosa; Eliane Schlemmer ; Nicolau Reinhard;
PUBLISHED: 2011, SOURCE: International Journal of Information and Communication Technology Education, VOLUME: 7, ISSUE: 3, PAGES: 11-24
AUTHORS: Amarolinda Zanela Saccol; Jorge Luis Victoria Barbosa; Eliane Schlemmer ; Nicolau Reinhard;
PUBLISHED: 2011, SOURCE: International Journal of Information and Communication Technology Education, VOLUME: 7, ISSUE: 3, PAGES: 11-24
8398
TITLE: Mobile learning in organizations: Lessons learned from two case studies
AUTHORS: Amarolinda Zanela Saccol; Jorge L V Barbosa; Eliane Schlemmer ; Nicolau Reinhard;
PUBLISHED: 2011, SOURCE: International Journal of Information and Communication Technology Education, VOLUME: 7, ISSUE: 3, PAGES: 11-24
AUTHORS: Amarolinda Zanela Saccol; Jorge L V Barbosa; Eliane Schlemmer ; Nicolau Reinhard;
PUBLISHED: 2011, SOURCE: International Journal of Information and Communication Technology Education, VOLUME: 7, ISSUE: 3, PAGES: 11-24
INDEXED IN: Scopus
Scopus8399
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
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
8400
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
AUTHORS: Scotto, MG ; Barbosa, SM ; Alonso, AM;
PUBLISHED: 2011, SOURCE: Sea Level Rise, Coastal Engineering, Shorelines and Tides, PAGES: 277-293
INDEXED IN: Scopus
Scopus