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: 2726
43 Team MembersFilters -> Year: 2025
1541
TITLE: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 285-301
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 285-301
1542
TITLE: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: 7th International Workshop on Network on Chip Architectures, NoCArc 2014 in 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, VOLUME: 13-December-2014, PAGES: 200-206
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: 7th International Workshop on Network on Chip Architectures, NoCArc 2014 in 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, VOLUME: 13-December-2014, PAGES: 200-206
1543
TITLE: Couillard: Parallel programming via coarse-grained Data-flow Compilation Full Text
AUTHORS: Leandro A J Marzulo; Tiago A O Alves; Felipe M G Franca; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: PARALLEL COMPUTING, VOLUME: 40, ISSUE: 10, PAGES: 661-680
AUTHORS: Leandro A J Marzulo; Tiago A O Alves; Felipe M G Franca; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: PARALLEL COMPUTING, VOLUME: 40, ISSUE: 10, PAGES: 661-680
1544
TITLE: Counting Equivalent Linear Finite Transducers Using a Canonical Form
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PAGES: 70-83
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PAGES: 70-83
1545
TITLE: Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
AUTHORS: Michael Hanus; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: KDPD, VOLUME: 8439
AUTHORS: Michael Hanus; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: KDPD, VOLUME: 8439
1546
TITLE: Demo: wireless IP mesh on android for fire-fighters monitoring. wireless IP mesh on android for fire-fighters monitoring
AUTHORS: Ana Aguiar ; Eduardo Soares ; Pedro Brandão ; Tiago Magalhães; José Maria Fernandes ; Ilídio Castro Oliveira;
PUBLISHED: 2014, SOURCE: 9th ACM MobiCom Workshop on Challenged Networks, CHANTS 2014 in Proceedings of the 9th ACM MobiCom workshop on Challenged networks, CHANTS '14, Maui, Hawaii, USA, September 7, 2014, PAGES: 89-92
AUTHORS: Ana Aguiar ; Eduardo Soares ; Pedro Brandão ; Tiago Magalhães; José Maria Fernandes ; Ilídio Castro Oliveira;
PUBLISHED: 2014, SOURCE: 9th ACM MobiCom Workshop on Challenged Networks, CHANTS 2014 in Proceedings of the 9th ACM MobiCom workshop on Challenged networks, CHANTS '14, Maui, Hawaii, USA, September 7, 2014, PAGES: 89-92
1547
TITLE: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, PAGES: 43-54
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, PAGES: 43-54
1548
TITLE: Detecting melanoma in dermoscopy images using scale adaptive local binary patterns
AUTHORS: Farhan Riaz; Ali Hassan; Muhammad Younus Javed; Miguel Tavares Coimbra ;
PUBLISHED: 2014, SOURCE: 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014 in 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, PAGES: 6758-6761
AUTHORS: Farhan Riaz; Ali Hassan; Muhammad Younus Javed; Miguel Tavares Coimbra ;
PUBLISHED: 2014, SOURCE: 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014 in 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, PAGES: 6758-6761
1549
TITLE: Detection and separation of overlapping cells based on contour concavity for Leishmania images. Automatic Annotation of Leishmania infections Full Text
AUTHORS: Joao C Neves; Helena Castro; Ana Tomas; Miguel Coimbra ; Hugo Proenca ;
PUBLISHED: 2014, SOURCE: CYTOMETRY PART A, VOLUME: 85A, ISSUE: 6, PAGES: 491-500
AUTHORS: Joao C Neves; Helena Castro; Ana Tomas; Miguel Coimbra ; Hugo Proenca ;
PUBLISHED: 2014, SOURCE: CYTOMETRY PART A, VOLUME: 85A, ISSUE: 6, PAGES: 491-500
1550
TITLE: DIABETES MANAGEMENT ON SMARTPHONES
AUTHORS: Graca, J; Brandao, P ; Neves, C; Esteves, C; Pereira, M; Belo, S; Sousa, Z; Carvalho, D;
PUBLISHED: 2014, SOURCE: DIABETES TECHNOLOGY & THERAPEUTICS, VOLUME: 16
AUTHORS: Graca, J; Brandao, P ; Neves, C; Esteves, C; Pereira, M; Belo, S; Sousa, Z; Carvalho, D;
PUBLISHED: 2014, SOURCE: DIABETES TECHNOLOGY & THERAPEUTICS, VOLUME: 16
INDEXED IN: 
WOS
WOS1551
TITLE: Discovering Colored Network Motifs
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Complex Networks V - Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Bologna, Italy, March 12-14, 2014, VOLUME: 549, PAGES: 107-118
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Complex Networks V - Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Bologna, Italy, March 12-14, 2014, VOLUME: 549, PAGES: 107-118
1552
TITLE: Discovering Differentially Expressed Genes in Yeast Stress Data
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 537-538
AUTHORS: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 537-538
1554
TITLE: Ensemble: An innovative approach to practice computer programming. An Innovative Approach to Practice Computer Programming
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 173-201
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 173-201
1555
TITLE: Ensembles for Time Series Forecasting
AUTHORS: Mariana Oliveira ; Luis Torgo ;
PUBLISHED: 2014, SOURCE: 6th Asian Conference on Machine Learning, ACML 2014 in Proceedings of the Sixth Asian Conference on Machine Learning, ACML 2014, Nha Trang City, Vietnam, November 26-28, 2014., VOLUME: 39, ISSUE: 2014, PAGES: 360-370
AUTHORS: Mariana Oliveira ; Luis Torgo ;
PUBLISHED: 2014, SOURCE: 6th Asian Conference on Machine Learning, ACML 2014 in Proceedings of the Sixth Asian Conference on Machine Learning, ACML 2014, Nha Trang City, Vietnam, November 26-28, 2014., VOLUME: 39, ISSUE: 2014, PAGES: 360-370
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1556
TITLE: Envisioning secure and usable access control for patients
AUTHORS: Ana Margarida Ferreira ; Gabriele Lenzini; Cátia Santos Pereira ; Alexandre B Augusto; Manuel Eduardo Correia ;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014 in 3nd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014, Rio de Janeiro, Brazil, May 14-16, 2014, PAGES: 1-8
AUTHORS: Ana Margarida Ferreira ; Gabriele Lenzini; Cátia Santos Pereira ; Alexandre B Augusto; Manuel Eduardo Correia ;
PUBLISHED: 2014, SOURCE: 3rd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014 in 3nd IEEE International Conference on Serious Games and Applications for Health, SeGAH 2014, Rio de Janeiro, Brazil, May 14-16, 2014, PAGES: 1-8
1557
TITLE: Equilibria on a Game with Discrete Variables PDF
AUTHORS: João Pedro Pedroso ; Yves Smees;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.8394
AUTHORS: João Pedro Pedroso ; Yves Smees;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.8394
INDEXED IN: DBLP 
arXiv
DBLP arXiv1558
TITLE: Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings
AUTHORS: Fernando M A Silva ; Inês de Castro Dutra ; Vítor Santos Costa ;
PUBLISHED: 2014, SOURCE: Euro-Par, VOLUME: 8632
AUTHORS: Fernando M A Silva ; Inês de Castro Dutra ; Vítor Santos Costa ;
PUBLISHED: 2014, SOURCE: Euro-Par, VOLUME: 8632
1559
TITLE: Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops Porto, Portugal, August 25-26, 2014 Revised Selected Papers, Part I
AUTHORS: Luís Lopes ; Julius Zilinskas; Alexandru Costan; Roberto G Cascella; Gabor Kecskemeti; Emmanuel Jeannot; Mario Cannataro; Laura Ricci; Siegfried Benkner; Salvador Petit; Vittorio Scarano; José Gracia; Sascha Hunold; Stephen L Scott; Stefan Lankes; Christian Lengauer; Jesús Carretero; Jens Breitbart; Michael Alexander;
PUBLISHED: 2014, SOURCE: International Workshops on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8805
AUTHORS: Luís Lopes ; Julius Zilinskas; Alexandru Costan; Roberto G Cascella; Gabor Kecskemeti; Emmanuel Jeannot; Mario Cannataro; Laura Ricci; Siegfried Benkner; Salvador Petit; Vittorio Scarano; José Gracia; Sascha Hunold; Stephen L Scott; Stefan Lankes; Christian Lengauer; Jesús Carretero; Jens Breitbart; Michael Alexander;
PUBLISHED: 2014, SOURCE: International Workshops on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8805
1560
TITLE: Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 InternationalWorkshops Porto, Portugal, August 25-26, 2014 Revised Selected Papers, Part II
AUTHORS: Luís Lopes ; Julius Zilinskas; Alexandru Costan; Roberto G Cascella; Gabor Kecskemeti; Emmanuel Jeannot; Mario Cannataro; Laura Ricci; Siegfried Benkner; Salvador Petit; Vittorio Scarano; José Gracia; Sascha Hunold; Stephen L Scott; Stefan Lankes; Christian Lengauer; Jesús Carretero; Jens Breitbart; Michael Alexander;
PUBLISHED: 2014, SOURCE: International Workshop on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8806
AUTHORS: Luís Lopes ; Julius Zilinskas; Alexandru Costan; Roberto G Cascella; Gabor Kecskemeti; Emmanuel Jeannot; Mario Cannataro; Laura Ricci; Siegfried Benkner; Salvador Petit; Vittorio Scarano; José Gracia; Sascha Hunold; Stephen L Scott; Stefan Lankes; Christian Lengauer; Jesús Carretero; Jens Breitbart; Michael Alexander;
PUBLISHED: 2014, SOURCE: International Workshop on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8806
