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: 10673
536 Team MembersFilters -> Year: 2026
7281
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 CrossRef7282
TITLE: Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species Full Text
AUTHORS: Keith R Bradnam; Joseph N Fass; Anton Alexandrov; Paul Baranay; Michael Bechner; Inanc Birol; Sebastien Boisvert; Jarrod A Chapman; Guillaume Chapuis; Rayan Chikhi; Hamidreza Chitsaz; Wen Chi Chou; Jacques Corbeil; Cristian Del Fabbro; Roderick R Docking; Richard Durbin; Dent Earl; Scott Emrich; Pavel Fedotov; Nuno A Fonseca ; ...More
PUBLISHED: 2013, SOURCE: GIGASCIENCE, VOLUME: 2, ISSUE: 1
AUTHORS: Keith R Bradnam; Joseph N Fass; Anton Alexandrov; Paul Baranay; Michael Bechner; Inanc Birol; Sebastien Boisvert; Jarrod A Chapman; Guillaume Chapuis; Rayan Chikhi; Hamidreza Chitsaz; Wen Chi Chou; Jacques Corbeil; Cristian Del Fabbro; Roderick R Docking; Richard Durbin; Dent Earl; Scott Emrich; Pavel Fedotov; Nuno A Fonseca ; ...More
PUBLISHED: 2013, SOURCE: GIGASCIENCE, VOLUME: 2, ISSUE: 1
7283
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
Scopus7284
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: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 69
AUTHORS: Michael D Harrison ; Paolo Masci ; José Creissac Campos ; Paul Curzon;
PUBLISHED: 2013, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 69
INDEXED IN: Scopus 
DBLP 
Handle
Scopus DBLP Handle7285
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
7286
TITLE: Automatic Generation and Delivery of Multiple-Choice Math Quizzes
AUTHORS: Tomás, AP ; Leal, JP ;
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: Tomás, AP ; Leal, JP ;
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
7287
TITLE: Automatic modeling of an orthotic bracing for nonoperative correction of Pectus Carinatum
AUTHORS: Vilaca, JL ; Rodrigues, PL; Moreira, AHJ; Fonseca, JG; Pinho, ACM ; Fonseca, JC; Rodrigues, N ;
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: 71-74
AUTHORS: Vilaca, JL ; Rodrigues, PL; Moreira, AHJ; Fonseca, JG; Pinho, ACM ; Fonseca, JC; Rodrigues, N ;
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: 71-74
INDEXED IN: Scopus
Scopus7288
TITLE: Automatic Street Surface Modeling for Web-Based Urban Information Systems Full Text
AUTHORS: Maria D Dolores Robles Ortega; Lidia Ortega; Antonio Coelho ; Francisco Feito; Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: JOURNAL OF URBAN PLANNING AND DEVELOPMENT-ASCE, VOLUME: 139, ISSUE: 1, PAGES: 40-48
AUTHORS: Maria D Dolores Robles Ortega; Lidia Ortega; Antonio Coelho ; Francisco Feito; Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: JOURNAL OF URBAN PLANNING AND DEVELOPMENT-ASCE, VOLUME: 139, ISSUE: 1, PAGES: 40-48
7289
TITLE: Avaliação de ambientes ubíquos na plataforma APEX
AUTHORS: Tiago Abade; Tiago E O Gomes; José L C Silva; Campos, J. Creissac ;
PUBLISHED: 2013
AUTHORS: Tiago Abade; Tiago E O Gomes; José L C Silva; Campos, J. Creissac ;
PUBLISHED: 2013
INDEXED IN: Handle
Handle7290
TITLE: Avoiding Anomalies in Data Stream Learning
AUTHORS: Gama, J ; Kosina, P; Almeida, E ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 49-63
AUTHORS: Gama, J ; Kosina, P; Almeida, E ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 49-63
7291
TITLE: BabeLO-An Extensible Converter of Programming Exercises Formats
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, VOLUME: 6, ISSUE: 1, PAGES: 38-45
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, VOLUME: 6, ISSUE: 1, PAGES: 38-45
7292
TITLE: Batched Evaluation of Linear Tabled Logic Programs
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1775-1797
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1775-1797
7293
TITLE: Beyond long memory in heart rate variability: An approach based on fractionally integrated autoregressive moving average time series models with conditional heteroscedasticity Full Text
AUTHORS: Argentina Leite ; Ana Paula Rocha ; Maria Eduarda Silva ;
PUBLISHED: 2013, SOURCE: CHAOS, VOLUME: 23, ISSUE: 2, PAGES: 023103
AUTHORS: Argentina Leite ; Ana Paula Rocha ; Maria Eduarda Silva ;
PUBLISHED: 2013, SOURCE: CHAOS, VOLUME: 23, ISSUE: 2, PAGES: 023103
7294
TITLE: BigYAP: Exo-compilation meets UDI
AUTHORS: Costa, VS ; Vaz, D;
PUBLISHED: 2013, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, ISSUE: 4-5, PAGES: 799-813
AUTHORS: Costa, VS ; Vaz, D;
PUBLISHED: 2013, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, ISSUE: 4-5, PAGES: 799-813
7295
TITLE: Binary recommender systems: Introduction, an application and outlook. introduction, an application and outlook
AUTHORS: Jorge, AM ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 1-2
AUTHORS: Jorge, AM ;
PUBLISHED: 2013, SOURCE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PAGES: 1-2
7296
TITLE: Bisimilarity and refinement for hybrid(ised) logics
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Refine@IFM, VOLUME: 115, PAGES: 84-98
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: Refine@IFM, VOLUME: 115, PAGES: 84-98
7297
TITLE: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTHORS: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129, PAGES: 75-89
AUTHORS: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129, PAGES: 75-89
7298
TITLE: Boosting the Detection of Transposable Elements Using Machine Learning
AUTHORS: Tiago Loureiro; Rui Camacho ; Jorge Vieira ; Nuno A Fonseca ;
PUBLISHED: 2013, SOURCE: PACBB, VOLUME: 222, PAGES: 85-91
AUTHORS: Tiago Loureiro; Rui Camacho ; Jorge Vieira ; Nuno A Fonseca ;
PUBLISHED: 2013, SOURCE: PACBB, VOLUME: 222, PAGES: 85-91
7299
TITLE: Breaking the Game: The traversal of the emergent narrative in video games. Full Text
AUTHORS: Pedro Cardoso; Miguel Carvalhais ;
PUBLISHED: 2013, SOURCE: CITAR Journal - Journal of Science and Technology of the Arts, VOLUME: 5, ISSUE: 1
AUTHORS: Pedro Cardoso; Miguel Carvalhais ;
PUBLISHED: 2013, SOURCE: CITAR Journal - Journal of Science and Technology of the Arts, VOLUME: 5, ISSUE: 1
7300
TITLE: Broadcast cancellation in search mechanisms
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 548-553
AUTHORS: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 548-553
