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
1341
TITLE: Liquid Intersection Types Full Text
AUTHORS: Mario Pereira; Sandra Alves ; Mario Florido ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, ISSUE: 177, PAGES: 24-42
AUTHORS: Mario Pereira; Sandra Alves ; Mario Florido ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, ISSUE: 177, PAGES: 24-42
1342
TITLE: Long term goal oriented recommender systems
AUTHORS: Nabizadeh, AH ; Jorge, AM ; Leal, JP ;
PUBLISHED: 2015, SOURCE: 11th International Conference on Web Information Systems and Technologies, WEBIST 2015 in WEBIST 2015 - 11th International Conference on Web Information Systems and Technologies, Proceedings, PAGES: 552-557
AUTHORS: Nabizadeh, AH ; Jorge, AM ; Leal, JP ;
PUBLISHED: 2015, SOURCE: 11th International Conference on Web Information Systems and Technologies, WEBIST 2015 in WEBIST 2015 - 11th International Conference on Web Information Systems and Technologies, Proceedings, PAGES: 552-557
1343
TITLE: Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I
AUTHORS: Annalisa Appice; Pedro Pereira Rodrigues ; Vítor Santos Costa ; Carlos Soares ; João Gama ; Alípio Jorge ;
PUBLISHED: 2015, SOURCE: ECML/PKDD (1), VOLUME: 9284
AUTHORS: Annalisa Appice; Pedro Pereira Rodrigues ; Vítor Santos Costa ; Carlos Soares ; João Gama ; Alípio Jorge ;
PUBLISHED: 2015, SOURCE: ECML/PKDD (1), VOLUME: 9284
1344
TITLE: Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II
AUTHORS: Annalisa Appice; Pedro Pereira Rodrigues ; Vítor Santos Costa ; João Gama ; Alípio Jorge ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: ECML/PKDD (2), VOLUME: 9285
AUTHORS: Annalisa Appice; Pedro Pereira Rodrigues ; Vítor Santos Costa ; João Gama ; Alípio Jorge ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: ECML/PKDD (2), VOLUME: 9285
1345
TITLE: Metalearning for multiple-domain transfer learning PDF
AUTHORS: Félix, C ; Soares, C ; Jorge, A ;
PUBLISHED: 2015, SOURCE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2015 - co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2015, ECMLPKDD 2015 in CEUR Workshop Proceedings, VOLUME: 1455, PAGES: 67-79
AUTHORS: Félix, C ; Soares, C ; Jorge, A ;
PUBLISHED: 2015, SOURCE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2015 - co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2015, ECMLPKDD 2015 in CEUR Workshop Proceedings, VOLUME: 1455, PAGES: 67-79
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1346
TITLE: Mismatch in the classification of linear subspaces: Upper bound to the probability of error
AUTHORS: Sokolić, J; Renna, F ; Calderbank, R; Rodrigues, MRD ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Information Theory, ISIT 2015 in IEEE International Symposium on Information Theory - Proceedings, VOLUME: 2015-June, PAGES: 2201-2205
AUTHORS: Sokolić, J; Renna, F ; Calderbank, R; Rodrigues, MRD ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Information Theory, ISIT 2015 in IEEE International Symposium on Information Theory - Proceedings, VOLUME: 2015-June, PAGES: 2201-2205
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1347
TITLE: Molecular signatures of plastic phenotypes in two eusocial insect species with simple societies
AUTHORS: Solenn Patalano; Anna Vlasova; Chris Wyatt; Philip Ewels; Francisco Camara; Pedro G Ferreirab ; Claire L Asher; Tomasz P Jurkowski; Anne Segonds Pichon; Martin Bachman; Irene Gonzalez Navarrete; Andre E Minoche; Felix Krueger; Ernesto Lowy; Marina Marcet Houben; Jose Luis Rodriguez Ales; Fabio S Nascimento; Shankar Balasubramanian; Toni Gabaldon; James E Tarver; ...More
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 112, ISSUE: 45, PAGES: 13970-13975
AUTHORS: Solenn Patalano; Anna Vlasova; Chris Wyatt; Philip Ewels; Francisco Camara; Pedro G Ferreirab ; Claire L Asher; Tomasz P Jurkowski; Anne Segonds Pichon; Martin Bachman; Irene Gonzalez Navarrete; Andre E Minoche; Felix Krueger; Ernesto Lowy; Marina Marcet Houben; Jose Luis Rodriguez Ales; Fabio S Nascimento; Shankar Balasubramanian; Toni Gabaldon; James E Tarver; ...More
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 112, ISSUE: 45, PAGES: 13970-13975
1348
TITLE: Most probable explanation for MetaProbLog and its application in heart sound segmentation PDF
AUTHORS: Mantadelis, T ; Oliveira, J ; Coimbra, M ;
PUBLISHED: 2015, SOURCE: 2nd International Workshop on Probabilistic Logic Programming, PLP 2015 - co-located with 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1413, PAGES: 39-45
AUTHORS: Mantadelis, T ; Oliveira, J ; Coimbra, M ;
PUBLISHED: 2015, SOURCE: 2nd International Workshop on Probabilistic Logic Programming, PLP 2015 - co-located with 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1413, PAGES: 39-45
INDEXED IN: Scopus DBLP
Scopus DBLP1349
TITLE: Network comparison using directed graphlets PDF
AUTHORS: David Oliveira Aparício ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.01964
AUTHORS: David Oliveira Aparício ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.01964
INDEXED IN: DBLP 
arXiv
DBLP arXiv1350
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
1351
TITLE: Odin: A Service for Gamification of Learning Activities
AUTHORS: Jose Carlos Paiva ; Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
AUTHORS: Jose Carlos Paiva ; Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
1352
TITLE: Odin: a service for gamification of learning activities
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
INDEXED IN: 
Handle
Handle1353
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
1354
TITLE: On the enumeration of permutominoes
AUTHORS: Tomás, AP ;
PUBLISHED: 2015, SOURCE: 20th International Symposium on Fundamentals of Computation Theory, FCT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9210, PAGES: 41-52
AUTHORS: Tomás, AP ;
PUBLISHED: 2015, SOURCE: 20th International Symposium on Fundamentals of Computation Theory, FCT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9210, PAGES: 41-52
1355
TITLE: On the Number of Linear Finite Transducers Full Text
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7, PAGES: 873-893
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7, PAGES: 873-893
1356
TITLE: Optimal State Reductions of Automata with Partially Specified Behaviors
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: 41st International Conference on Current Trends in Theory and Practice of Computer Science ((SOFSEM) in SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 8939, PAGES: 339-351
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: 41st International Conference on Current Trends in Theory and Practice of Computer Science ((SOFSEM) in SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 8939, PAGES: 339-351
1357
TITLE: ORCHESTRATING ONLINE GROUP WORK WHILE ASSESSING INDIVIDUAL PARTICIPATIONS
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2015, SOURCE: 9th International Technology, Education and Development Conference (INTED) in INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 2996-3005
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2015, SOURCE: 9th International Technology, Education and Development Conference (INTED) in INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 2996-3005
INDEXED IN: 
WOS
WOS1358
TITLE: Pairwise structural role mining for user categorization in information cascades
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2015), PAGES: 137-144
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2015), PAGES: 137-144
1359
TITLE: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118, PAGES: 21-32
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118, PAGES: 21-32
1360
TITLE: Performance Evaluation of Statistical Functions
AUTHORS: Andre Rodrigues ; Carla Silva ; Paulo Borges; Sergio Silva; Ines Dutra ;
PUBLISHED: 2015, SOURCE: IEEE Int Conf on Smart City/8th IEEE Int Conf on Soc Comp and Networking (SocialCom)/5th IEEE Int Conf on Sustainable Comp and Commun (SustainCom)/Int Conf on Big Data Intelligence and Comp (DataCom)/5th Int Symposium on Cloud and Serv Comp (SC2) in 2015 IEEE INTERNATIONAL CONFERENCE ON SMART CITY/SOCIALCOM/SUSTAINCOM (SMARTCITY), PAGES: 754-760
AUTHORS: Andre Rodrigues ; Carla Silva ; Paulo Borges; Sergio Silva; Ines Dutra ;
PUBLISHED: 2015, SOURCE: IEEE Int Conf on Smart City/8th IEEE Int Conf on Soc Comp and Networking (SocialCom)/5th IEEE Int Conf on Sustainable Comp and Commun (SustainCom)/Int Conf on Big Data Intelligence and Comp (DataCom)/5th Int Symposium on Cloud and Serv Comp (SC2) in 2015 IEEE INTERNATIONAL CONFERENCE ON SMART CITY/SOCIALCOM/SUSTAINCOM (SMARTCITY), PAGES: 754-760
