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: 2675
43 Team MembersFilters -> Year: 2025
1661
TITLE: Integrative functional statistics in logic programming
AUTHORS: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 190-205
AUTHORS: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 190-205
1662
TITLE: Interactive interaction constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages, COORDINATION 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: 7890 LNCS, PAGES: 211-225
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages, COORDINATION 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: 7890 LNCS, PAGES: 211-225
1663
TITLE: Interactive Shopping Experience through Immersive Store Environments
AUTHORS: Kunal Mankodiya; Rolando Martins ; Jonathan Francis; Elmer Garduno; Rajeev Gandhi; Priya Narasimhan;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Design, User Experience, and Usability: User Experience in Novel Technological Environments, DUXU 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Design, User Experience, and Usability. User Experience in Novel Technological Environments - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, VOLUME: 8014, ISSUE: PART 3, PAGES: 372-382
AUTHORS: Kunal Mankodiya; Rolando Martins ; Jonathan Francis; Elmer Garduno; Rajeev Gandhi; Priya Narasimhan;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Design, User Experience, and Usability: User Experience in Novel Technological Environments, DUXU 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Design, User Experience, and Usability. User Experience in Novel Technological Environments - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, VOLUME: 8014, ISSUE: PART 3, PAGES: 372-382
1664
TITLE: Is Kinect Depth Data Accurate for the Aesthetic Evaluation after Breast Cancer Surgeries?
AUTHORS: Helder P Oliveira ; Marco D Silva; Andre Magalhaes; Maria J Cardoso ; Jaime S Cardoso ;
PUBLISHED: 2013, SOURCE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PAGES: 261-268
AUTHORS: Helder P Oliveira ; Marco D Silva; Andre Magalhaes; Maria J Cardoso ; Jaime S Cardoso ;
PUBLISHED: 2013, SOURCE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PAGES: 261-268
1665
TITLE: Knowledge on Heart Condition of Children based on Demographic and Physiological Features
AUTHORS: Pedro Ferreira ; Tiago T V Vinhoza ; Ana Castro ; Felipe Mourato; Thiago Tavares; Sandra Mattos; Ines Dutra ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 314-319
AUTHORS: Pedro Ferreira ; Tiago T V Vinhoza ; Ana Castro ; Felipe Mourato; Thiago Tavares; Sandra Mattos; Ines Dutra ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 314-319
1666
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Jurgensen, H; Reis, R ;
PUBLISHED: 2013, SOURCE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS
AUTHORS: Jurgensen, H; Reis, R ;
PUBLISHED: 2013, SOURCE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS
INDEXED IN: 
Scopus
Scopus1667
TITLE: LIFEISGAME: A SERIOUS GAME ABOUT EMOTIONS FOR CHILDREN WITH AUTISM SPECTRUM DISORDERS PDF
AUTHORS: Alves, S; Marques, A; Queiros, C; Orvalho, V ;
PUBLISHED: 2013, SOURCE: International Psychological Applications Conference and Trends in INPACT 2013: INTERNATIONAL PSYCHOLOGICAL APPLICATIONS CONFERENCE AND TRENDS, VOLUME: 11, ISSUE: 3, PAGES: 323-323
AUTHORS: Alves, S; Marques, A; Queiros, C; Orvalho, V ;
PUBLISHED: 2013, SOURCE: International Psychological Applications Conference and Trends in INPACT 2013: INTERNATIONAL PSYCHOLOGICAL APPLICATIONS CONFERENCE AND TRENDS, VOLUME: 11, ISSUE: 3, PAGES: 323-323
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP1668
TITLE: Log Analysis of Human Computer Interactions Regarding Break The Glass Accesses to Genetic Reports
AUTHORS: Ana Ferreira ; Pedro Farinha ; Catia Santos Pereira; Ricardo Correia ; Pedro P Rodrigues ; Altamiro Costa Pereira ; Veronica Orvalho ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 3, VOLUME: 3, PAGES: 46-53
AUTHORS: Ana Ferreira ; Pedro Farinha ; Catia Santos Pereira; Ricardo Correia ; Pedro P Rodrigues ; Altamiro Costa Pereira ; Veronica Orvalho ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 3, VOLUME: 3, PAGES: 46-53
1669
TITLE: Low-power secret-key agreement over OFDM
AUTHORS: Renna, F ; Laurenti, N; Tomasin, S; Baldi, M; Maturo, N; Bianchi, M; Chiaraluce, F; Bloch, M;
PUBLISHED: 2013, SOURCE: 2013 2nd ACM Workshop on Hot Topics on Wireless Network Security and Privacy, HotWiSec 2013 in HotWiSec 2013 - Proceedings of the 2013 ACM Workshop on Hot Topics on Wireless Network Security and Privacy, PAGES: 43-47
AUTHORS: Renna, F ; Laurenti, N; Tomasin, S; Baldi, M; Maturo, N; Bianchi, M; Chiaraluce, F; Bloch, M;
PUBLISHED: 2013, SOURCE: 2013 2nd ACM Workshop on Hot Topics on Wireless Network Security and Privacy, HotWiSec 2013 in HotWiSec 2013 - Proceedings of the 2013 ACM Workshop on Hot Topics on Wireless Network Security and Privacy, PAGES: 43-47
1670
TITLE: Making Programming Exercises Interoperable with PExIL
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 38-56
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 38-56
1671
TITLE: Managing experiments on cognitive processes in writing with HandSpy Full Text
AUTHORS: Carlos Monteiro; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1747-1773
AUTHORS: Carlos Monteiro; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1747-1773
1672
TITLE: MetaBot: Automated and Dynamically Schedulable Robotic Behaviors in Retail Environments
AUTHORS: Francis, J; Drolia, U; Mankodiya, K; Rolando Martins ; Gandhi, R; Narasimhan, P;
PUBLISHED: 2013, SOURCE: 2013 11th IEEE International Symposium on Robotic and Sensors Environments, ROSE 2013 in 2013 IEEE INTERNATIONAL SYMPOSIUM ON ROBOTIC AND SENSORS ENVIRONMENTS (ROSE 2013), PAGES: 148-153
AUTHORS: Francis, J; Drolia, U; Mankodiya, K; Rolando Martins ; Gandhi, R; Narasimhan, P;
PUBLISHED: 2013, SOURCE: 2013 11th IEEE International Symposium on Robotic and Sensors Environments, ROSE 2013 in 2013 IEEE INTERNATIONAL SYMPOSIUM ON ROBOTIC AND SENSORS ENVIRONMENTS (ROSE 2013), PAGES: 148-153
1673
TITLE: Methods for the Aesthetic Evaluation of Breast Cancer Conservation Treatment: A Technological Review
AUTHORS: Oliveira, HP ; Cardoso, JS ; Magalhaes, A; Cardoso, MJ ;
PUBLISHED: 2013, SOURCE: CURRENT MEDICAL IMAGING, VOLUME: 9, ISSUE: 1, PAGES: 32-46
AUTHORS: Oliveira, HP ; Cardoso, JS ; Magalhaes, A; Cardoso, MJ ;
PUBLISHED: 2013, SOURCE: CURRENT MEDICAL IMAGING, VOLUME: 9, ISSUE: 1, PAGES: 32-46
1674
TITLE: Multi-interval Discretization of Continuous Attributes for Label Ranking Full Text
AUTHORS: de Sa, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
AUTHORS: de Sa, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
1675
TITLE: Multiple-choice Vector Bin Packing: Arc-flow Formulation with Graph Compression PDF
AUTHORS: Filipe Brandão; João Pedro Pedroso ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1312.3836
AUTHORS: Filipe Brandão; João Pedro Pedroso ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1312.3836
INDEXED IN: DBLP 
arXiv
DBLP arXiv1676
TITLE: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores PDF
AUTHORS: Rui Vieira; Ricardo Rocha ; Fernando M. A. Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.7690
AUTHORS: Rui Vieira; Ricardo Rocha ; Fernando M. A. Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.7690
INDEXED IN: DBLP arXiv
DBLP arXiv1677
TITLE: On Logical Depth and the Running Time of Shortest Programs PDF
AUTHORS: Luis Filipe Coelho Antunes ; Andre Souto ; Paul M. B. Vitányi;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.6976
AUTHORS: Luis Filipe Coelho Antunes ; Andre Souto ; Paul M. B. Vitányi;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.6976
INDEXED IN: DBLP arXiv
DBLP arXiv1678
TITLE: On Predicting the Taxi-Passenger Demand: A Real-Time Approach
AUTHORS: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 54-65
AUTHORS: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 54-65
1679
TITLE: On recommending urban hotspots to find our next passenger PDF
AUTHORS: Moreira Matias, L ; Fernandes, R; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2013, SOURCE: 3rd Workshop on Ubiquitous Data Mining, UDM 2013 - Co-located with the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in CEUR Workshop Proceedings, VOLUME: 1088, PAGES: 17-23
AUTHORS: Moreira Matias, L ; Fernandes, R; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2013, SOURCE: 3rd Workshop on Ubiquitous Data Mining, UDM 2013 - Co-located with the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in CEUR Workshop Proceedings, VOLUME: 1088, PAGES: 17-23
INDEXED IN: Scopus DBLP
Scopus DBLP1680
TITLE: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, VOLUME: 8070, PAGES: 72-83
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, VOLUME: 8070, PAGES: 72-83
