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: 2637
43 Team MembersFilters -> Year: 2024
1421
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
1422
TITLE: A MILP-Based Approach for Hydrothermal Scheduling
AUTHORS: Dewan Fayzur Rahman ; Ana Viana ; Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: International Annual Conference of the German-Operations-Research-Society (GOR) in OPERATIONS RESEARCH PROCEEDINGS 2012, PAGES: 157-162
AUTHORS: Dewan Fayzur Rahman ; Ana Viana ; Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: International Annual Conference of the German-Operations-Research-Society (GOR) in OPERATIONS RESEARCH PROCEEDINGS 2012, PAGES: 157-162
1423
TITLE: A parallel virtual machine for executing forward-chaining linear logic programs
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
INDEXED IN: 
Scopus
Scopus1424
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
INDEXED IN: Scopus
Scopus1425
TITLE: A Safe Approximation for Kolmogorov Complexity
AUTHORS: Peter Bloem; Francisco Mota; Steven de Rooij; Luis Antunes ; Pieter Adriaans;
PUBLISHED: 2014, SOURCE: 25th International Conference on Algorithmic Learning Theory (ALT) in Algorithmic Learning Theory (ALT 2014), VOLUME: 8776, PAGES: 336-350
AUTHORS: Peter Bloem; Francisco Mota; Steven de Rooij; Luis Antunes ; Pieter Adriaans;
PUBLISHED: 2014, SOURCE: 25th International Conference on Algorithmic Learning Theory (ALT) in Algorithmic Learning Theory (ALT 2014), VOLUME: 8776, PAGES: 336-350
1426
TITLE: A Scalable Parallel Approach for Subgraph Census Computation
AUTHORS: David Aparicio ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
AUTHORS: David Aparicio ; Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
1427
TITLE: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling PDF
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2850
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2850
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv1428
TITLE: A study of machine learning methods for detecting user interest during web sessions
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
1429
TITLE: A Survey of E-learning Content Aggregation Standards
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PAGES: 204-214
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PAGES: 204-214
1430
TITLE: A tabu search for the permutation flow shop problem with sequence dependent setup times
AUTHORS: Nicolau Santos ; Rui Rebelo ; João Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: IJDATS, VOLUME: 6, ISSUE: 3, PAGES: 275-285
AUTHORS: Nicolau Santos ; Rui Rebelo ; João Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: IJDATS, VOLUME: 6, ISSUE: 3, PAGES: 275-285
1431
TITLE: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines Full Text
AUTHORS: Joao Santos ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1435-1454
AUTHORS: Joao Santos ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1435-1454
1432
TITLE: Achievable secrecy rates over MIMOME Gaussian channels with GMM signals in low-noise regime
AUTHORS: Renna, F ; Laurenti, N; Tomasin, S;
PUBLISHED: 2014, SOURCE: 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit in 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit
AUTHORS: Renna, F ; Laurenti, N; Tomasin, S;
PUBLISHED: 2014, SOURCE: 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit in 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit
1433
TITLE: Achievable Secrecy Rates over MIMOME Gaussian Channels with GMM Signals in Low-Noise Regime
AUTHORS: Francesco Renna ; Nicola Laurcnti; Stefano Tomasin;
PUBLISHED: 2014, SOURCE: 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE) in 2014 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, VEHICULAR TECHNOLOGY, INFORMATION THEORY AND AEROSPACE & ELECTRONIC SYSTEMS (VITAE)
AUTHORS: Francesco Renna ; Nicola Laurcnti; Stefano Tomasin;
PUBLISHED: 2014, SOURCE: 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE) in 2014 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, VEHICULAR TECHNOLOGY, INFORMATION THEORY AND AEROSPACE & ELECTRONIC SYSTEMS (VITAE)
INDEXED IN: 
WOS
WOS1434
TITLE: Achieving Participant Acceptance of their Avatars Full Text
AUTHORS: Kristopher J Blom; Anna I B Bellido Rivas; Xenxo Alvarez; Ozan Cetinaslan; Bruno Oliveira ; Veronica Orvalho ; Mel Slater;
PUBLISHED: 2014, SOURCE: PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS, VOLUME: 23, ISSUE: 3, PAGES: 287-299
AUTHORS: Kristopher J Blom; Anna I B Bellido Rivas; Xenxo Alvarez; Ozan Cetinaslan; Bruno Oliveira ; Veronica Orvalho ; Mel Slater;
PUBLISHED: 2014, SOURCE: PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS, VOLUME: 23, ISSUE: 3, PAGES: 287-299
1435
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
1436
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
Scopus DBLP1437
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
DBLP arXiv1438
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
DBLP arXiv1439
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
1440
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
