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: 2701
43 Team MembersFilters -> Year: 2025
1501
TITLE: An Adjustable Sensor Platform Using Dual Wavelength Measurements For Optical Colorimetric Sensitive Films
AUTHORS: Carlos Machado ; Carlos Gouveia; Joao Ferreira ; Barna Kovacs; Pedro Jorge ; Luis Lopes ;
PUBLISHED: 2014, SOURCE: 13th IEEE Sensors Conference in 2014 IEEE SENSORS, VOLUME: 2014-December, ISSUE: December, PAGES: 398-401
AUTHORS: Carlos Machado ; Carlos Gouveia; Joao Ferreira ; Barna Kovacs; Pedro Jorge ; Luis Lopes ;
PUBLISHED: 2014, SOURCE: 13th IEEE Sensors Conference in 2014 IEEE SENSORS, VOLUME: 2014-December, ISSUE: December, PAGES: 398-401
1502
TITLE: An Architecture for Seamless Configuration, Deployment, and Management of Wireless Sensor-actuator Networks
AUTHORS: Edgard Neto ; Rui Mendes; Luís M B Lopes ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Sensor Networks, SENSORNETS 2014 in SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7 - 9 January, 2014, PAGES: 73-81
AUTHORS: Edgard Neto ; Rui Mendes; Luís M B Lopes ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Sensor Networks, SENSORNETS 2014 in SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7 - 9 January, 2014, PAGES: 73-81
INDEXED IN:
Scopus
DBLP


1503
TITLE: An evolutionary solver for linear integer programming PDF
AUTHORS: João Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.7211
AUTHORS: João Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.7211
INDEXED IN:
DBLP
arXiv


1504
TITLE: An Infra-Structure for Performance Estimation and Experimental Comparison of Predictive Models in R PDF
AUTHORS: Luis Torgo ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1412.0436
AUTHORS: Luis Torgo ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1412.0436
INDEXED IN:
DBLP
arXiv


1505
TITLE: An Online Learning Framework for Predicting the Taxi Stand's Profitability
AUTHORS: Luis Moreira Matias ; Joao Mendes Moreira ; Michel Ferreira ; Joao Gama ; Luis Damas;
PUBLISHED: 2014, SOURCE: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) in 2014 IEEE 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 2009-2014
AUTHORS: Luis Moreira Matias ; Joao Mendes Moreira ; Michel Ferreira ; Joao Gama ; Luis Damas;
PUBLISHED: 2014, SOURCE: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) in 2014 IEEE 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 2009-2014
1506
TITLE: Assessing Cosmetic Results After Breast Conserving Surgery. The Evolution of Cosmetic Evaluation Full Text
AUTHORS: Maria Joao Cardoso ; Helder Oliveira ; Jaime Cardoso ;
PUBLISHED: 2014, SOURCE: JOURNAL OF SURGICAL ONCOLOGY, VOLUME: 110, ISSUE: 1, PAGES: 37-44
AUTHORS: Maria Joao Cardoso ; Helder Oliveira ; Jaime Cardoso ;
PUBLISHED: 2014, SOURCE: JOURNAL OF SURGICAL ONCOLOGY, VOLUME: 110, ISSUE: 1, PAGES: 37-44
1507
TITLE: Bidirectional Spreadsheet Formulas
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Nuno Rocha Sousa; Alcino Cunha ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PAGES: 161-168
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Nuno Rocha Sousa; Alcino Cunha ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PAGES: 161-168
1508
TITLE: BiFluX: A Bidirectional Functional Update Language for XML. A Bidirectional Functional Update Language for XML
AUTHORS: Hugo Pacheco ; Tao Zan; Zhenjiang Hu;
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: 147-158
AUTHORS: Hugo Pacheco ; Tao Zan; Zhenjiang Hu;
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: 147-158
1509
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 216-233
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 216-233
1510
TITLE: Challenges in Computing Semantic Relatedness for Large Semantic Graphs
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 376-377
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 376-377
1511
TITLE: Classifying Heart Sounds using SAX Motifs, Random Forests and Text Mining techniques
AUTHORS: Gomes, Elsa Ferreira ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 334-337
AUTHORS: Gomes, Elsa Ferreira ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 334-337
1512
TITLE: Compiling CAO: From cryptographic specifications to C implementations
AUTHORS: Barbosa, M ; Castro, D; Silva, PF ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS, PAGES: 240-244
AUTHORS: Barbosa, M ; Castro, D; Silva, PF ;
PUBLISHED: 2014, SOURCE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS, PAGES: 240-244
1513
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
1514
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
1515
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
1516
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
1517
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
1518
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
1519
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
1520
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