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: 8846
531 Team MembersFilters -> Year: 2025
6101
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137, PAGES: 103-113
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137, PAGES: 103-113
6102
TITLE: Towards Scheduling Optimization through Artificial Bee Colony Approach
AUTHORS: Madureira, A ; Pereira, I ; Abraham, A;
PUBLISHED: 2013, SOURCE: World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2013 WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 253-258
AUTHORS: Madureira, A ; Pereira, I ; Abraham, A;
PUBLISHED: 2013, SOURCE: World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2013 WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 253-258
6103
TITLE: Towards Transparent Parallel/Distributed Support for Real-Time Embedded Applications
AUTHORS: Ricardo Garibay Martinez; Luis Lino Ferreira ; Claudio Maia; Luis Miguel Pinho ;
PUBLISHED: 2013, SOURCE: 8th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2018 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PAGES: 114-117
AUTHORS: Ricardo Garibay Martinez; Luis Lino Ferreira ; Claudio Maia; Luis Miguel Pinho ;
PUBLISHED: 2013, SOURCE: 8th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2018 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PAGES: 114-117
6104
TITLE: Transcriptome analyses of primitively eusocial wasps reveal novel insights into the evolution of sociality and the origin of alternative phenotypes
AUTHORS: Pedro G Ferreira ; Solenn Patalano; Ritika Chauhan; Richard Ffrench Constant; Toni Gabaldon; Roderic Guigo; Seirian Sumner;
PUBLISHED: 2013, SOURCE: GENOME BIOLOGY, VOLUME: 14, ISSUE: 2
AUTHORS: Pedro G Ferreira ; Solenn Patalano; Ritika Chauhan; Richard Ffrench Constant; Toni Gabaldon; Roderic Guigo; Seirian Sumner;
PUBLISHED: 2013, SOURCE: GENOME BIOLOGY, VOLUME: 14, ISSUE: 2
6105
TITLE: Transcriptome and genome sequencing uncovers functional variation in humans Full Text
AUTHORS: Tuuli Lappalainen; Michael Sammeth; Marc R Friedländer; Peter A C ‘t Hoen; Jean Monlong; Manuel A Rivas; Mar Gonzàlez-Porta; Natalja Kurbatova; Thasso Griebel; Pedro G Ferreira ; Matthias Barann; Thomas Wieland; Liliana Greger; Maarten van Iterson; Jonas Almlöf; Paolo Ribeca; Irina Pulyakhina; Daniela Esser; Thomas Giger; Andrew Tikhonov; ...More
PUBLISHED: 2013, SOURCE: NATURE, VOLUME: 501, ISSUE: 7468, PAGES: 506-511
AUTHORS: Tuuli Lappalainen; Michael Sammeth; Marc R Friedländer; Peter A C ‘t Hoen; Jean Monlong; Manuel A Rivas; Mar Gonzàlez-Porta; Natalja Kurbatova; Thasso Griebel; Pedro G Ferreira ; Matthias Barann; Thomas Wieland; Liliana Greger; Maarten van Iterson; Jonas Almlöf; Paolo Ribeca; Irina Pulyakhina; Daniela Esser; Thomas Giger; Andrew Tikhonov; ...More
PUBLISHED: 2013, SOURCE: NATURE, VOLUME: 501, ISSUE: 7468, PAGES: 506-511
6106
TITLE: Translation and preliminary study about validity of the Portuguese version of Goal Orientation in Exercise Scale (GOES). (548052012-631)
AUTHORS: Luis Cid; Joao Moutao; Pedro Sobreiro; Jose Vasconcelos-Raposo ; Jose Alves;
PUBLISHED: 2013, SOURCE: PsycEXTRA Dataset
AUTHORS: Luis Cid; Joao Moutao; Pedro Sobreiro; Jose Vasconcelos-Raposo ; Jose Alves;
PUBLISHED: 2013, SOURCE: PsycEXTRA Dataset
INDEXED IN: 
CrossRef
CrossRef6107
TITLE: Transparent runtime migration of loop-based traces of processor instructions to reconfigurable processing units Full Text
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2013, PAGES: 1-20
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2013, PAGES: 1-20
6108
TITLE: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTHORS: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
AUTHORS: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
6109
TITLE: Tuning Meta-Heuristics Using Multi-agent Learning in a Scheduling System
AUTHORS: Ivo Pereira ; Ana Madureira ; Paulo de d Moura Oliveira ; Ajith Abraham;
PUBLISHED: 2013, SOURCE: Transactions on Computational Science XXI - Special Issue on Innovations in Nature-Inspired Computing and Applications, VOLUME: 21, PAGES: 190-210
AUTHORS: Ivo Pereira ; Ana Madureira ; Paulo de d Moura Oliveira ; Ajith Abraham;
PUBLISHED: 2013, SOURCE: Transactions on Computational Science XXI - Special Issue on Innovations in Nature-Inspired Computing and Applications, VOLUME: 21, PAGES: 190-210
6110
TITLE: Typing linear algebra: A biproduct-oriented approach
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2160-2191
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2160-2191
6111
TITLE: Understanding User's Emotional Engagement to the Contents on a Smartphone Display : Psychiatric Prospective
AUTHORS: Mankodiya, K; Sharma, V; Martins, R ; Pandel, I; Jain, S; Ryan, N; Gandhi, R;
PUBLISHED: 2013, SOURCE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 631-637
AUTHORS: Mankodiya, K; Sharma, V; Martins, R ; Pandel, I; Jain, S; Ryan, N; Gandhi, R;
PUBLISHED: 2013, SOURCE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 631-637
6112
TITLE: UPBox and DataNotes: a collaborative data management environment for the long tail of research data
AUTHORS: João Rocha da Silva ; José Pedro Barbosa; Mariana Gouveia; João Correia Lopes ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013
AUTHORS: João Rocha da Silva ; José Pedro Barbosa; Mariana Gouveia; João Correia Lopes ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013
INDEXED IN: 
DBLP
DBLP6113
TITLE: UPBox e DataNotes: um ambiente de suporte à gestão colaborativa de dados científicos
AUTHORS: João Rocha da Silva ; Cristina Ribeiro ; João Correia Lopes ;
PUBLISHED: 2013, SOURCE: InCID: Revista de Ciência da Informação e Documentação - InCID: Rev. Ci. Inf. Doc., VOLUME: 4, ISSUE: 2, PAGES: 95
AUTHORS: João Rocha da Silva ; Cristina Ribeiro ; João Correia Lopes ;
PUBLISHED: 2013, SOURCE: InCID: Revista de Ciência da Informação e Documentação - InCID: Rev. Ci. Inf. Doc., VOLUME: 4, ISSUE: 2, PAGES: 95
INDEXED IN: CrossRef
CrossRef6114
TITLE: Upper Ontology for Multi-Agent Energy Systems' Applications
AUTHORS: Gabriel Santos; Tiago Pinto ; Zita A Vale; Hugo Morais; Isabel Praça;
PUBLISHED: 2013, SOURCE: Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013, VOLUME: 217, PAGES: 617-624
AUTHORS: Gabriel Santos; Tiago Pinto ; Zita A Vale; Hugo Morais; Isabel Praça;
PUBLISHED: 2013, SOURCE: Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013, VOLUME: 217, PAGES: 617-624
INDEXED IN: DBLP
DBLP6115
TITLE: Upper ontology for multi-agent energy systems' applications
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2013, SOURCE: 10th International Symposium on Distributed Computing and Artificial Intelligence 2013, DCAI 2013 in Advances in Intelligent Systems and Computing, VOLUME: 217, PAGES: 617-624
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2013, SOURCE: 10th International Symposium on Distributed Computing and Artificial Intelligence 2013, DCAI 2013 in Advances in Intelligent Systems and Computing, VOLUME: 217, PAGES: 617-624
6116
TITLE: Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions
AUTHORS: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLISHED: 2013, SOURCE: Advances in Data Mining, 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 2013. Workshop Proceedings, PAGES: 111-122
AUTHORS: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLISHED: 2013, SOURCE: Advances in Data Mining, 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 2013. Workshop Proceedings, PAGES: 111-122
INDEXED IN: DBLP
DBLP6117
TITLE: Using Device Detection Techniques in M-Learning Scenarios
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 118-134
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 118-134
6118
TITLE: Using Domain-Specific Term Frequencies to Identify and Classify Health Queries
AUTHORS: Carla Teixeira Lopes ; Daniela Dias; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 221-226
AUTHORS: Carla Teixeira Lopes ; Daniela Dias; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 221-226
6119
TITLE: Using Multivariate Adaptive Regression Splines in the Construction of Simulated Soccer Team's Behavior Models
AUTHORS: Abreu, PH ; Silva, DC ; Mendes Moreira, J ; Reis, LP ; Garganta, J ;
PUBLISHED: 2013, SOURCE: International Journal of Computational Intelligence Systems in INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 5, PAGES: 893-910
AUTHORS: Abreu, PH ; Silva, DC ; Mendes Moreira, J ; Reis, LP ; Garganta, J ;
PUBLISHED: 2013, SOURCE: International Journal of Computational Intelligence Systems in INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 5, PAGES: 893-910
6120
TITLE: Using proximity to compute semantic relatedness in RDF graphs Full Text
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1727-1746
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1727-1746
