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: 2858
47 Team MembersFilters -> Year: 2026
1561
TITLE: Incomplete operational transition complexity of regular languages Full Text
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2015, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 244, PAGES: 1-22
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
PUBLISHED: 2015, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 244, PAGES: 1-22
1562
TITLE: Interleaved Coding for Secrecy with a Hidden Key
AUTHORS: Dinis Sarmento; Joao P Vilela ; Willie K Harrison; Marco Gomes;
PUBLISHED: 2015, SOURCE: IEEE Globecom Workshops (GC Wkshps) in 2015 IEEE GLOBECOM WORKSHOPS (GC WKSHPS)
AUTHORS: Dinis Sarmento; Joao P Vilela ; Willie K Harrison; Marco Gomes;
PUBLISHED: 2015, SOURCE: IEEE Globecom Workshops (GC Wkshps) in 2015 IEEE GLOBECOM WORKSHOPS (GC WKSHPS)
INDEXED IN: 
WOS
WOS1563
TITLE: Interleaved coding for secrecy with a hidden key
AUTHORS: Sarmento, D; Vilela, J ; Harrison, WK; Gomes, M;
PUBLISHED: 2015, SOURCE: IEEE Globecom Workshops, GC Wkshps 2015 in 2015 IEEE Globecom Workshops, GC Wkshps 2015 - Proceedings
AUTHORS: Sarmento, D; Vilela, J ; Harrison, WK; Gomes, M;
PUBLISHED: 2015, SOURCE: IEEE Globecom Workshops, GC Wkshps 2015 in 2015 IEEE Globecom Workshops, GC Wkshps 2015 - Proceedings
1564
TITLE: Languages, Applications and Technologies. 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers
AUTHORS: José Luis Sierra Rodríguez; José Paulo Leal ; Alberto Simões;
PUBLISHED: 2015
AUTHORS: José Luis Sierra Rodríguez; José Paulo Leal ; Alberto Simões;
PUBLISHED: 2015
INDEXED IN: 
Openlibrary
Openlibrary1565
TITLE: Languages, Applications and Technologies - 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers
AUTHORS: José Luis Sierra Rodríguez; José Paulo Leal ; Alberto Simões ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies, SLATE 2015 in SLATE, VOLUME: 563
AUTHORS: José Luis Sierra Rodríguez; José Paulo Leal ; Alberto Simões ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies, SLATE 2015 in SLATE, VOLUME: 563
1566
TITLE: Liquid Intersection Types Full Text
AUTHORS: Pereira, M; Alves, S ; Florido, M ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, ISSUE: 177, PAGES: 24-42
AUTHORS: Pereira, M; Alves, S ; Florido, M ;
PUBLISHED: 2015, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 177, ISSUE: 177, PAGES: 24-42
1567
TITLE: Long Term Goal Oriented Recommender Systems
AUTHORS: Amir Hossein Nabizadeh ; Alípio Mário Jorge ; José Paulo Leal ;
PUBLISHED: 2015, SOURCE: WEBIST, PAGES: 552-557
AUTHORS: Amir Hossein Nabizadeh ; Alípio Mário Jorge ; José Paulo Leal ;
PUBLISHED: 2015, SOURCE: WEBIST, PAGES: 552-557
1568
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
1569
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
1570
TITLE: Maxwell's Equations based 3D model of Light Scattering in the Retina
AUTHORS: Miriam Santos ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Miguel Morgado; Luis Pinto; Pedro Serranho ; Rui Bernardes ;
PUBLISHED: 2015, SOURCE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
AUTHORS: Miriam Santos ; Aderito Araujo; Silvia Barbeiro; Francisco Caramelo; Antonio Correia; Maria Isabel Marques; Miguel Morgado; Luis Pinto; Pedro Serranho ; Rui Bernardes ;
PUBLISHED: 2015, SOURCE: IEEE 4th Portuguese meeting on bioengineering (enbeg) in 2015 IEEE 4TH PORTUGUESE MEETING ON BIOENGINEERING (ENBENG)
1571
TITLE: Metalearning for Multiple-Domain Transfer Learning
AUTHORS: Catarina Félix ; Carlos Soares ; Alípio Jorge ;
PUBLISHED: 2015, SOURCE: MetaSel@PKDD/ECML, VOLUME: 1455, PAGES: 67-79
AUTHORS: Catarina Félix ; Carlos Soares ; Alípio Jorge ;
PUBLISHED: 2015, SOURCE: MetaSel@PKDD/ECML, VOLUME: 1455, PAGES: 67-79
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1572
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 CrossRef1573
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
1574
TITLE: Most Probable Explanation for MetaProbLog and Its Application in Heart Sound Segmentation
AUTHORS: Theofrastos Mantadelis ; Jorge Oliveira ; Miguel Tavares Coimbra ;
PUBLISHED: 2015, SOURCE: PLP@ICLP, VOLUME: 1413, PAGES: 39-45
AUTHORS: Theofrastos Mantadelis ; Jorge Oliveira ; Miguel Tavares Coimbra ;
PUBLISHED: 2015, SOURCE: PLP@ICLP, VOLUME: 1413, PAGES: 39-45
INDEXED IN: Scopus DBLP
Scopus DBLP1575
TITLE: Multithreaded Tabling for Logic Programming
AUTHORS: Miguel Areias ;
PUBLISHED: 2015
AUTHORS: Miguel Areias ;
PUBLISHED: 2015
INDEXED IN: DBLP 
Handle
DBLP Handle1576
TITLE: Network comparison using directed graphlets
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
DBLP1577
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Marques, ERB ; Ribeiro, M; Pinto, J ; Sousa, JB ; Martins, F ;
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: Marques, ERB ; Ribeiro, M; Pinto, J ; Sousa, JB ; Martins, F ;
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
1578
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
Handle1579
TITLE: Odin: A Service for Gamification of Learning Activities
AUTHORS: Paiva, JC ; Leal, JP ; Queirós, R ;
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: Paiva, JC ; Leal, JP ; Queirós, R ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
1580
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Cruz, F ; Rocha, R ;
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: Cruz, F ; Rocha, R ;
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
