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: 2849
46 Team MembersFilters -> Year: 2026
2121
TITLE: ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, ISSUE: 7, PAGES: 1593-1606
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, ISSUE: 7, PAGES: 1593-1606
2122
TITLE: On the implementation of the probabilistic logic programming language ProbLog
AUTHORS: Kimmig, A; Demoen, B; De Raedt, L; Costa, VS ; Rocha, R ;
PUBLISHED: 2011, SOURCE: 24th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 2-3, PAGES: 235-262
AUTHORS: Kimmig, A; Demoen, B; De Raedt, L; Costa, VS ; Rocha, R ;
PUBLISHED: 2011, SOURCE: 24th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 2-3, PAGES: 235-262
2123
TITLE: On the Portability of Prolog Applications
AUTHORS: Wielemaker, J; Costa, VS ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PAGES: 69-+
AUTHORS: Wielemaker, J; Costa, VS ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PAGES: 69-+
2124
TITLE: Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011
AUTHORS: Salvador Abreu ; Vítor Santos Costa ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.4993
AUTHORS: Salvador Abreu ; Vítor Santos Costa ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.4993
INDEXED IN: 
DBLP
DBLP2125
TITLE: Partial Derivative Automata Formalized in Coq
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-+
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-+
2126
TITLE: PExIL: Programming Exercises Interoperability Language
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2011, SOURCE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2011, SOURCE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
INDEXED IN: 
Handle
Handle2127
TITLE: Position-Based Jamming for Enhanced Wireless Secrecy
AUTHORS: Joao P Vilela ; Pedro C Pinto; Joao Barros ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 3, PAGES: 616-627
AUTHORS: Joao P Vilela ; Pedro C Pinto; Joao Barros ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 3, PAGES: 616-627
2128
TITLE: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
AUTHORS: Ricardo Rocha ; John Launchbury;
PUBLISHED: 2011, SOURCE: PADL, VOLUME: 6539
AUTHORS: Ricardo Rocha ; John Launchbury;
PUBLISHED: 2011, SOURCE: PADL, VOLUME: 6539
2129
TITLE: Predicting Malignancy from Mammography Findings and Surgical Biopsies
AUTHORS: Ferreira, P ; Fonseca, NA ; Dutra, I ; Woods, R; Burnside, E ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (BIBM) in 2011 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM 2011), PAGES: 339-344
AUTHORS: Ferreira, P ; Fonseca, NA ; Dutra, I ; Woods, R; Burnside, E ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (BIBM) in 2011 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM 2011), PAGES: 339-344
2130
TITLE: Predictive Sequence Miner in ILP Learning
AUTHORS: Carlos Abreu Ferreira ; João Gama ; Vítor Santos Costa ;
PUBLISHED: 2011, SOURCE: ILP, VOLUME: 7207 LNAI, PAGES: 130-144
AUTHORS: Carlos Abreu Ferreira ; João Gama ; Vítor Santos Costa ;
PUBLISHED: 2011, SOURCE: ILP, VOLUME: 7207 LNAI, PAGES: 130-144
2131
TITLE: Preface
AUTHORS: Rocha, R ; Launchbury, J;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
AUTHORS: Rocha, R ; Launchbury, J;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
INDEXED IN: 
Scopus
Scopus2132
TITLE: Programming exercises interoperability language
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2011, SOURCE: ACM International Collegiate Programming Contest World Finals, Collaborative Learning Institute Symposium
INDEXED IN: Handle
Handle2133
TITLE: Runtime Programming through Model-Preserving, Scalable Runtime Patches
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2011, SOURCE: ACSD, PAGES: 77-86
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2011, SOURCE: ACSD, PAGES: 77-86
2134
TITLE: Semantic Verification in an Open Collaboration Scenario
AUTHORS: Jorge Coelho ; Mario Florido ;
PUBLISHED: 2011, SOURCE: 6th International Conference on future Information Technology (FutureTech 2011) in FUTURE INFORMATION TECHNOLOGY, PT II, VOLUME: 185, ISSUE: PART 2, PAGES: 44-53
AUTHORS: Jorge Coelho ; Mario Florido ;
PUBLISHED: 2011, SOURCE: 6th International Conference on future Information Technology (FutureTech 2011) in FUTURE INFORMATION TECHNOLOGY, PT II, VOLUME: 185, ISSUE: PART 2, PAGES: 44-53
2135
TITLE: Semi-blind key-agreement over MIMO fading channels
AUTHORS: Renna, F ; Bloch, M; Laurenti, N;
PUBLISHED: 2011, SOURCE: 2011 IEEE International Conference on Communications, ICC 2011 in IEEE International Conference on Communications
AUTHORS: Renna, F ; Bloch, M; Laurenti, N;
PUBLISHED: 2011, SOURCE: 2011 IEEE International Conference on Communications, ICC 2011 in IEEE International Conference on Communications
2136
TITLE: SEPARATING SOURCES FROM SEQUENTIALLY ACQUIRED MIXTURES OF HEART SIGNALS
AUTHORS: Hedayioglu, FL; Jafari, MG; Mattos, SS; Plumbley, MD; Coimbra, MT ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PAGES: 653-656
AUTHORS: Hedayioglu, FL; Jafari, MG; Mattos, SS; Plumbley, MD; Coimbra, MT ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PAGES: 653-656
2137
TITLE: Single Time-Stamped Tries for Retroactive Call Subsumption
AUTHORS: Flávio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3779
AUTHORS: Flávio Cruz ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.3779
INDEXED IN: DBLP
DBLP2138
TITLE: Sketch Express: Facial Expressions Made Easy. facial expressions made easy
AUTHORS: José Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: SBIM, PAGES: 87-94
AUTHORS: José Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: SBIM, PAGES: 87-94
2139
TITLE: STUDYING THE RELEVANCE OF BREAST IMAGING FEATURES
AUTHORS: Ferreira, P ; Dutra, I ; Fonseca, NA ; Woods, R; Burnside, E ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Health Informatics (HEALTHINF 2011) in HEALTHINF 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 337-342
AUTHORS: Ferreira, P ; Dutra, I ; Fonseca, NA ; Woods, R; Burnside, E ;
PUBLISHED: 2011, SOURCE: 4th International Conference on Health Informatics (HEALTHINF 2011) in HEALTHINF 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 337-342
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP2140
TITLE: Systematic network coding for packet loss concealment in broadcast distribution
AUTHORS: Rui Prior ; André Rodrigues;
PUBLISHED: 2011, SOURCE: ICOIN, PAGES: 245-250
AUTHORS: Rui Prior ; André Rodrigues;
PUBLISHED: 2011, SOURCE: ICOIN, PAGES: 245-250
