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: 8470
531 Team MembersFilters -> Year: 2025
5421
TITLE: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
5422
TITLE: An automatic tool flow for the combined implementation of multi-mode circuits Full Text
AUTHORS: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLISHED: 2013, SOURCE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PAGES: 821-826
AUTHORS: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLISHED: 2013, SOURCE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PAGES: 821-826
5423
TITLE: An effective scalable SQL engine for NoSQL databases
AUTHORS: Vilaca, R ; Cruz, F ; Pereira, J ; Oliveira, R ;
PUBLISHED: 2013, SOURCE: 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7891 LNCS, PAGES: 155-168
AUTHORS: Vilaca, R ; Cruz, F ; Pereira, J ; Oliveira, R ;
PUBLISHED: 2013, SOURCE: 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7891 LNCS, PAGES: 155-168
5424
TITLE: An empirical study on immersive prototyping dimensions
AUTHORS: Moreira, S; Jose, R ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 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: 8004 LNCS, ISSUE: PART 1, PAGES: 421-430
AUTHORS: Moreira, S; Jose, R ; Campos, JC ;
PUBLISHED: 2013, SOURCE: 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: 8004 LNCS, ISSUE: PART 1, PAGES: 421-430
5425
TITLE: An evaluation of heuristics for scheduling a non-delay permutation flow shop with family setups to minimize total earliness and tardiness
AUTHORS: Schaller, J; Valente, JMS ;
PUBLISHED: 2013, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 64, ISSUE: 6, PAGES: 805-816
AUTHORS: Schaller, J; Valente, JMS ;
PUBLISHED: 2013, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 64, ISSUE: 6, PAGES: 805-816
5426
TITLE: An Example-Based Generator of XSLT Programs
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 1-20
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 1-20
5427
TITLE: An FPGA-based multi-core approach for pipelining computing stages Full Text
AUTHORS: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1533-1540
AUTHORS: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1533-1540
5428
TITLE: An Institution for Alloy and Its Translation to Second-Order Logic
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263, PAGES: 45-75
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263, PAGES: 45-75
5429
TITLE: An Online Tool to Manage and Assess Collaborative Group Work
AUTHORS: Alvaro Figueira ; Helena Leal;
PUBLISHED: 2013, SOURCE: 12th European Conference e-Learning (ECEL) in PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2013), PAGES: 112-120
AUTHORS: Alvaro Figueira ; Helena Leal;
PUBLISHED: 2013, SOURCE: 12th European Conference e-Learning (ECEL) in PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2013), PAGES: 112-120
INDEXED IN: 
Scopus 
WOS
Scopus WOS5430
TITLE: Análise da variabilidade da frequência cardíaca em indivíduos saudáveis, doentes com insuficiência cardíaca e doentes transplantados Full Text
AUTHORS: Leite, A ; Silva, ME ; Rocha, AP ;
PUBLISHED: 2013, SOURCE: Motricidade, VOLUME: 9, ISSUE: 4, PAGES: 54-63
AUTHORS: Leite, A ; Silva, ME ; Rocha, AP ;
PUBLISHED: 2013, SOURCE: Motricidade, VOLUME: 9, ISSUE: 4, PAGES: 54-63
5431
TITLE: ANOSOV DIFFEOMORPHISMS
AUTHORS: Almeida, JP ; Fisher, AM; Pinto, AA ; Rand, DA;
PUBLISHED: 2013, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: Special ISSUE, ISSUE: SUPPL., PAGES: 837-845
AUTHORS: Almeida, JP ; Fisher, AM; Pinto, AA ; Rand, DA;
PUBLISHED: 2013, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: Special ISSUE, ISSUE: SUPPL., PAGES: 837-845
INDEXED IN: Scopus WOS 
Handle
Scopus WOS Handle5432
TITLE: Application to quantify fetal lung branching on rat explants
AUTHORS: Rodrigues, PL; Granja, S; Moreira, A; Rodrigues, N ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 67-70
AUTHORS: Rodrigues, PL; Granja, S; Moreira, A; Rodrigues, N ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 67-70
INDEXED IN: Scopus
Scopus5433
TITLE: Architecture for Transparent Binary Acceleration of Loops with Memory Accesses Full Text
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2013, SOURCE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PAGES: 122-133
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2013, SOURCE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PAGES: 122-133
5434
TITLE: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTHORS: Nikolic, B; Ali, HI; Petters, SM; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 21st International Conference on Real-Time Networks and Systems, RTNS 2013 in ACM International Conference Proceeding Series, PAGES: 13-22
AUTHORS: Nikolic, B; Ali, HI; Petters, SM; Pinho, LM ;
PUBLISHED: 2013, SOURCE: 21st International Conference on Real-Time Networks and Systems, RTNS 2013 in ACM International Conference Proceeding Series, PAGES: 13-22
INDEXED IN: Scopus
Scopus5435
TITLE: Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?
AUTHORS: Borislav Nikolić; Hazem Ismail Ali; Stefan M Petters; Luís Miguel Pinho ;
PUBLISHED: 2013, SOURCE: Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS '13
AUTHORS: Borislav Nikolić; Hazem Ismail Ali; Stefan M Petters; Luís Miguel Pinho ;
PUBLISHED: 2013, SOURCE: Proceedings of the 21st International conference on Real-Time Networks and Systems - RTNS '13
INDEXED IN: 
CrossRef
CrossRef5436
TITLE: Aspect-based source to source transformations
AUTHORS: De F. Coutinho, JG; Cardoso, JMP ; Carvalho, T ; Bhattacharya, S; Luk, W; Constantinides, G; Diniz, PC ; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 71-103
AUTHORS: De F. Coutinho, JG; Cardoso, JMP ; Carvalho, T ; Bhattacharya, S; Luk, W; Constantinides, G; Diniz, PC ; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 71-103
INDEXED IN: Scopus CrossRef
Scopus CrossRef5437
TITLE: Assessment of 3D scanners for modeling pectus carinatum corrective bar
AUTHORS: Moreira, AHJ; Fonseca, JG; Rodrigues, PL; Fonseca, JC; Pinho, ACM ; Correia Pinto, J ; Rodrigues, NF ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 122-125
AUTHORS: Moreira, AHJ; Fonseca, JG; Rodrigues, PL; Fonseca, JC; Pinho, ACM ; Correia Pinto, J ; Rodrigues, NF ; Vilaca, JL ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Computer Vision Theory and Applications, VISAPP 2013 in VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications, VOLUME: 2, PAGES: 122-125
INDEXED IN: Scopus
Scopus5438
TITLE: Automated theorem proving for the systematic analysis of an infusion pump
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 69
INDEXED IN: Scopus 
DBLP
Scopus DBLP5439
TITLE: Automatic Emotional Reactions Identification: A Software Tool for Offline User Experience Research
AUTHORS: Nogueira, PA ; Torres, V; Rodrigues, R ;
PUBLISHED: 2013, SOURCE: 12th IFIP International Conference on Entertainment Computing (ICEC) in ENTERTAINMENT COMPUTING - ICEC 2013, VOLUME: 8215, PAGES: 164-167
AUTHORS: Nogueira, PA ; Torres, V; Rodrigues, R ;
PUBLISHED: 2013, SOURCE: 12th IFIP International Conference on Entertainment Computing (ICEC) in ENTERTAINMENT COMPUTING - ICEC 2013, VOLUME: 8215, PAGES: 164-167
5440
TITLE: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTHORS: Ana Paula Tomas ; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PAGES: 848-863
AUTHORS: Ana Paula Tomas ; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PAGES: 848-863
