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: 2644
43 Team MembersFilters -> Year: 2025
2001
TITLE: Feature Petri Nets PDF
AUTHORS: Radu Muschevici; Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), PAGES: 99-106
AUTHORS: Radu Muschevici; Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), PAGES: 99-106
INDEXED IN: 
DBLP
DBLP2002
TITLE: Feeding the beast: managing your collections of problems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Edujudge system handbook: how to organize programming competitions in Moodle courses
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Edujudge system handbook: how to organize programming competitions in Moodle courses
INDEXED IN: 
Handle
Handle2003
TITLE: Friendly Jamming for Wireless Secrecy
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Communications in 2010 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Communications in 2010 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS
2004
TITLE: From e-learning systems to specialised e-learning services
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: A new learning paradigm: competition supported by technology
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: A new learning paradigm: competition supported by technology
INDEXED IN: Handle
Handle2005
TITLE: FROM LEGISLATION TO PRACTICE A Case Study of Break the Glass in Healthcare
AUTHORS: Farinha, P ; Cruz Correia, R ; Antunes, L ; Filipe Almeida; Ferreira, A ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Health Informatics (HEALTHINF 2010) in HEALTHINF 2010: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 114-120
AUTHORS: Farinha, P ; Cruz Correia, R ; Antunes, L ; Filipe Almeida; Ferreira, A ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Health Informatics (HEALTHINF 2010) in HEALTHINF 2010: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 114-120
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP2006
TITLE: g-tries: an efficient data structure for discovering network motifs. an efficient data structure for discovering network motifs
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, PAGES: 1559-1566
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, PAGES: 1559-1566
2007
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
2008
TITLE: Godel's system T revisited Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
2009
TITLE: Grounding information security in healthcare Full Text
AUTHORS: Ferreira, A ; Antunes, L ; Chadwick, D; Correia, R ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 79, ISSUE: 4, PAGES: 268-283
AUTHORS: Ferreira, A ; Antunes, L ; Chadwick, D; Correia, R ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 79, ISSUE: 4, PAGES: 268-283
2010
TITLE: Heuristics and exact methods for number partitioning Full Text
AUTHORS: Pedroso, JP ; Kubo, M;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 202, ISSUE: 1, PAGES: 73-81
AUTHORS: Pedroso, JP ; Kubo, M;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 202, ISSUE: 1, PAGES: 73-81
2011
TITLE: High SNR secrecy rates with OFDM signaling over fading channels
AUTHORS: Renna, F ; Laurenti, N; Poor, HV;
PUBLISHED: 2010, SOURCE: 2010 IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications, PIMRC 2010 in IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC, PAGES: 2692-2697
AUTHORS: Renna, F ; Laurenti, N; Poor, HV;
PUBLISHED: 2010, SOURCE: 2010 IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications, PIMRC 2010 in IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC, PAGES: 2692-2697
2012
TITLE: Improving the BCCT.core model with lateral information
AUTHORS: Oliveira, HP ; Magalhaes, A; Cardoso, MJ ; Cardoso, JS ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Information Technology and Applications in Biomedicine: Emerging Technologies for Patient Specific Healthcare, ITAB 2010 in Proceedings of the IEEE/EMBS Region 8 International Conference on Information Technology Applications in Biomedicine, ITAB
AUTHORS: Oliveira, HP ; Magalhaes, A; Cardoso, MJ ; Cardoso, JS ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Information Technology and Applications in Biomedicine: Emerging Technologies for Patient Specific Healthcare, ITAB 2010 in Proceedings of the IEEE/EMBS Region 8 International Conference on Information Technology Applications in Biomedicine, ITAB
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2013
TITLE: Information measures for infinite sequences Full Text
AUTHORS: Luis Antunes ; Andre Souto ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 26-28, PAGES: 2602-2611
AUTHORS: Luis Antunes ; Andre Souto ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 26-28, PAGES: 2602-2611
2014
TITLE: INTEGRATION OF REPOSITORIES IN ELEARNING SYSTEMS
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: 1 DISI, PAGES: 127-132
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: 1 DISI, PAGES: 127-132
INDEXED IN: Scopus WOS DBLP Handle
Scopus WOS DBLP Handle2015
TITLE: Integration of repositories in Moodle
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: XML, Associated Technologies and Applications
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: XML, Associated Technologies and Applications
INDEXED IN: Handle
Handle2016
TITLE: Interval Forecast of Water Quality Parameters
AUTHORS: Orlando Ohashi; Luis Torgo ; Rita P Ribeiro ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215, PAGES: 283-288
AUTHORS: Orlando Ohashi; Luis Torgo ; Rita P Ribeiro ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215, PAGES: 283-288
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP2017
TITLE: Investigation of human identification using two-lead Electrocardiogram (ECG) signals
AUTHORS: Ye, C; Coimbra, MT ; Kumar, BVKV;
PUBLISHED: 2010, SOURCE: 4th IEEE International Conference on Biometrics: Theory, Applications and Systems, BTAS 2010 in IEEE 4th International Conference on Biometrics: Theory, Applications and Systems, BTAS 2010, PAGES: 1-8
AUTHORS: Ye, C; Coimbra, MT ; Kumar, BVKV;
PUBLISHED: 2010, SOURCE: 4th IEEE International Conference on Biometrics: Theory, Applications and Systems, BTAS 2010 in IEEE 4th International Conference on Biometrics: Theory, Applications and Systems, BTAS 2010, PAGES: 1-8
2018
TITLE: Lightweight Fault-Tolerance for Peer-to-Peer Middleware Full Text
AUTHORS: Rolando Martins ; Priya Narasimhan ; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 313-317
AUTHORS: Rolando Martins ; Priya Narasimhan ; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 313-317
2019
TITLE: Linear Recursion PDF
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: DBLP 
arXiv
DBLP arXiv2020
TITLE: Linearity and iterator types for Gödel's System ℐ
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
