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: 10656
535 Team MembersFilters -> Year: 2026
7641
TITLE: The mobile context framework: Providing context to mobile applications
AUTHORS: Oliveira, L; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 1st International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8028 LNCS, PAGES: 144-153
AUTHORS: Oliveira, L; Ribeiro, AN ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 1st International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8028 LNCS, PAGES: 144-153
7642
TITLE: The REFLECT design-flow
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 13-34
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 13-34
7643
TITLE: TimeMesh - A Serious Game for European Citizenship
AUTHORS: Ricardo Baptista ; Carlos Vaz de Carvalho;
PUBLISHED: 2013, SOURCE: EAI Endorsed Trans. Serious Games, VOLUME: 1, ISSUE: 1
AUTHORS: Ricardo Baptista ; Carlos Vaz de Carvalho;
PUBLISHED: 2013, SOURCE: EAI Endorsed Trans. Serious Games, VOLUME: 1, ISSUE: 1
7644
TITLE: Topic 8: Distributed Systems and Algorithms - (Introduction)
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PAGES: 367-368
AUTHORS: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLISHED: 2013, SOURCE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PAGES: 367-368
7645
TITLE: Towards a Faster Network-Centric Subgraph Census
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2013, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PAGES: 270-277
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2013, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PAGES: 270-277
7646
TITLE: Towards a mostly-automated prover for bit-vector arithmetic
AUTHORS: Abal, I; Pinto, JS ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 132-133
AUTHORS: Abal, I; Pinto, JS ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 132-133
7647
TITLE: Towards an accurate evaluation of deduplicated storage systems
AUTHORS: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
AUTHORS: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP7648
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
7649
TITLE: Towards effective and efficient search-based deterministic replay
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013, PAGES: 10:1-10:6
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013, PAGES: 10:1-10:6
7650
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
7651
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
7652
TITLE: Towards transparent parallel/distributed support for real-time embedded applications
AUTHORS: Ricardo Garibay Martínez; Luis Lino Ferreira ; Cláudio Maia; Luís Miguel Pinho;
PUBLISHED: 2013, SOURCE: 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19-21, 2013, PAGES: 114-117
AUTHORS: Ricardo Garibay Martínez; Luis Lino Ferreira ; Cláudio Maia; Luís Miguel Pinho;
PUBLISHED: 2013, SOURCE: 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19-21, 2013, PAGES: 114-117
INDEXED IN: DBLP
DBLP7653
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
7654
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
7655
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
CrossRef7656
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
7657
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
7658
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
7659
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
7660
TITLE: Uma abordagem para a geração de casos de teste baseada em modelos. A Model-based Approach for Test Cases Generation
AUTHORS: João C Silva; José L C Silva; Campos, J. Creissac ; João A Saraiva;
PUBLISHED: 2013
AUTHORS: João C Silva; José L C Silva; Campos, J. Creissac ; João A Saraiva;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle