Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2858
47 Team MembersFilters -> Year: 2026
1341
TITLE: The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ; Jeffrey O Shallit;
PUBLISHED: 2017
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ; Jeffrey O Shallit;
PUBLISHED: 2017
INDEXED IN: 
DBLP
DBLP1342
TITLE: Time-dependent genetic effects on gene expression implicate aging processes
AUTHORS: Bryois, J; Buil, A; Ferreira, PG ; Panousis, NI; Brown, AA; Viñuela, A; Planchon, A; Bielser, D; Small, K; Spector, T; Dermitzakis, ET;
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 4, PAGES: 545-552
AUTHORS: Bryois, J; Buil, A; Ferreira, PG ; Panousis, NI; Brown, AA; Viñuela, A; Planchon, A; Bielser, D; Small, K; Spector, T; Dermitzakis, ET;
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 4, PAGES: 545-552
1343
TITLE: Towards a Lock-Free, Fixed Size and Persistent Hash Map Design Full Text
AUTHORS: Miguel Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLISHED: 2017, SOURCE: SBAC-PAD, PAGES: 145-152
AUTHORS: Miguel Areias ; Ricardo Jorge Gomes Lopes da Rocha ;
PUBLISHED: 2017, SOURCE: SBAC-PAD, PAGES: 145-152
1344
TITLE: Towards a middleware for mobile edge-cloud applications
AUTHORS: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: MECC@Middleware, PAGES: 1:1-1:6
AUTHORS: João Rodrigues ; Eduardo R B Marques ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: MECC@Middleware, PAGES: 1:1-1:6
1345
TITLE: Towards an Automated Test Bench Environment for Prolog Systems
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56, PAGES: 2:1-2:13
AUTHORS: Ricardo Gonçalves; Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56, PAGES: 2:1-2:13
INDEXED IN: 
Scopus DBLP
Scopus DBLP1346
TITLE: Tracking Large Anterior Mitral Leaflet Displacements by Incorporating Optical Flow in an Active Contours Framework Full Text
AUTHORS: Sultan, MS; Martins, N; Costa, E; Veiga, D; Ferreira, MJ; Mattos, S; Coimbra, MT ;
PUBLISHED: 2017, SOURCE: 39th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2017 39TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3244-3247
AUTHORS: Sultan, MS; Martins, N; Costa, E; Veiga, D; Ferreira, MJ; Mattos, S; Coimbra, MT ;
PUBLISHED: 2017, SOURCE: 39th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2017 39TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3244-3247
1347
TITLE: Transposition Based Blendshape Direct Manipulation
AUTHORS: Cetinaslan, O; Lewis, J; Orvalho, V ;
PUBLISHED: 2017, SOURCE: 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) in PROCEEDINGS OF THE 12TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (VISIGRAPP 2017), VOL 1, PAGES: 105-115
AUTHORS: Cetinaslan, O; Lewis, J; Orvalho, V ;
PUBLISHED: 2017, SOURCE: 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) in PROCEEDINGS OF THE 12TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (VISIGRAPP 2017), VOL 1, PAGES: 105-115
1348
TITLE: Tuberculosis in children from diagnosis to decision to treat
AUTHORS: Ramos, S; Rita Gaio ; Ferreira, F; Paulo Leal, JP ; Martins, S; Vasco Santos, JV ; Carvalho, I; Duarte, R ;
PUBLISHED: 2017, SOURCE: REVISTA PORTUGUESA DE PNEUMOLOGIA, VOLUME: 23, ISSUE: 6, PAGES: 317-322
AUTHORS: Ramos, S; Rita Gaio ; Ferreira, F; Paulo Leal, JP ; Martins, S; Vasco Santos, JV ; Carvalho, I; Duarte, R ;
PUBLISHED: 2017, SOURCE: REVISTA PORTUGUESA DE PNEUMOLOGIA, VOLUME: 23, ISSUE: 6, PAGES: 317-322
1349
TITLE: Type-Based Cost Analysis for Lazy Functional Languages Full Text
AUTHORS: Jost, S; Vasconcelos, P ; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1, PAGES: 87-120
AUTHORS: Jost, S; Vasconcelos, P ; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1, PAGES: 87-120
1350
TITLE: Typed connector families and their semantics
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2017, SOURCE: Sci. Comput. Program., VOLUME: 146, PAGES: 28-49
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2017, SOURCE: Sci. Comput. Program., VOLUME: 146, PAGES: 28-49
1351
TITLE: Understanding the Energy Saving Potential of Smart Scale Selection in the Viola and Jones Facial Detection Algorithm
AUTHORS: Perez, N; Faria, S ; Coimbra, M ;
PUBLISHED: 2017, SOURCE: 10th International Joint Conference on Biomedical Engineering Systems and Technologies in PROCEEDINGS OF THE 10TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 2: BIOIMAGING, VOLUME: 2017-January, PAGES: 122-127
AUTHORS: Perez, N; Faria, S ; Coimbra, M ;
PUBLISHED: 2017, SOURCE: 10th International Joint Conference on Biomedical Engineering Systems and Technologies in PROCEEDINGS OF THE 10TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 2: BIOIMAGING, VOLUME: 2017-January, PAGES: 122-127
1352
TITLE: Usability Assessment of a Health Kiosk
AUTHORS: Silva, J; Brandao, P ; Prior, R ;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 260-265
AUTHORS: Silva, J; Brandao, P ; Prior, R ;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 260-265
1353
TITLE: Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructures and Improve Quality of Experience
AUTHORS: Silva, PMP ; Rodrigues, J ; Silva, J ; Martins, R ; Lopes, L ; Silva, F ;
PUBLISHED: 2017, SOURCE: 1st IEEE International Conference on Fog and Edge Computing (ICFEC) in 2017 IEEE 1ST INTERNATIONAL CONFERENCE ON FOG AND EDGE COMPUTING (ICFEC), PAGES: 61-67
AUTHORS: Silva, PMP ; Rodrigues, J ; Silva, J ; Martins, R ; Lopes, L ; Silva, F ;
PUBLISHED: 2017, SOURCE: 1st IEEE International Conference on Fog and Edge Computing (ICFEC) in 2017 IEEE 1ST INTERNATIONAL CONFERENCE ON FOG AND EDGE COMPUTING (ICFEC), PAGES: 61-67
1354
TITLE: Using Iterative Deepening for Probabilistic Logic Inference
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: PADL, VOLUME: 10137 LNCS, PAGES: 198-213
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: PADL, VOLUME: 10137 LNCS, PAGES: 198-213
1355
TITLE: Visualization of sentiment spread on social networked content: Learning analytics for integrated learning environments
AUTHORS: Oliveiar, Luciana ; Figueira, Alvaro ;
PUBLISHED: 2017, SOURCE: 8th IEEE Global Engineering Education Conference (EDUCON) in PROCEEDINGS OF 2017 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON2017), PAGES: 1290-1298
AUTHORS: Oliveiar, Luciana ; Figueira, Alvaro ;
PUBLISHED: 2017, SOURCE: 8th IEEE Global Engineering Education Conference (EDUCON) in PROCEEDINGS OF 2017 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON2017), PAGES: 1290-1298
1356
TITLE: WHATSAPPENING OUTSIDE YOUR LMS? ANALYZING A SOCIAL MEDIA INSTANT MESSAGING POWERED LEARNING COMMUNITY
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8952-8960
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8952-8960
1357
TITLE: 3D Characters for Virtual Reality
AUTHORS: Verónica Orvalho ; Catarina Runa Miranda; John P Lewis;
PUBLISHED: 2016, SOURCE: Eurographics (Tutorials)
AUTHORS: Verónica Orvalho ; Catarina Runa Miranda; John P Lewis;
PUBLISHED: 2016, SOURCE: Eurographics (Tutorials)
INDEXED IN: DBLP
DBLP1358
TITLE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia
AUTHORS: Marjan Mernik; José Paulo Leal ; Hugo Gonçalo Oliveira;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51
AUTHORS: Marjan Mernik; José Paulo Leal ; Hugo Gonçalo Oliveira;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51
INDEXED IN: DBLP
DBLP1359
TITLE: A general framework for reconstruction and classification from compressive measurements with side information
AUTHORS: Wang, L; Renna, F ; Yuan, X; Rodrigues, M; Calderbank, R; Carin, L;
PUBLISHED: 2016, SOURCE: 41st IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, VOLUME: 2016-May, PAGES: 4239-4243
AUTHORS: Wang, L; Renna, F ; Yuan, X; Rodrigues, M; Calderbank, R; Carin, L;
PUBLISHED: 2016, SOURCE: 41st IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, VOLUME: 2016-May, PAGES: 4239-4243
1360
TITLE: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs Full Text
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 386-406
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 386-406
