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: 2791
43 Team MembersFilters -> Year: 2026
2081
TITLE: Network Node Label Acquisition and Tracking Full Text
AUTHORS: Sarvenaz Choobdar ; Fernando Silva ; Pedro Ribeiro ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 418-430
AUTHORS: Sarvenaz Choobdar ; Fernando Silva ; Pedro Ribeiro ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 418-430
2082
TITLE: On combining linear-based strategies for tabled evaluation of logic programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5, PAGES: 681-696
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5, PAGES: 681-696
2083
TITLE: ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, ISSUE: 7, PAGES: 1593-1606
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, ISSUE: 7, PAGES: 1593-1606
2084
TITLE: On the implementation of the probabilistic logic programming language ProbLog
AUTHORS: Angelika Kimmig; Bart Demoen; Luc De Raedt; Vitor Santos Costa ; Ricardo Rocha ;
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: Angelika Kimmig; Bart Demoen; Luc De Raedt; Vitor Santos Costa ; Ricardo Rocha ;
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
2085
TITLE: On the Portability of Prolog Applications Full Text
AUTHORS: Jan Wielemaker; Vitor Santos Costa ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PAGES: 69-83
AUTHORS: Jan Wielemaker; Vitor Santos Costa ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PAGES: 69-83
2086
TITLE: Online Proceedings of the 11th PDF
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 
arXiv
DBLP arXiv2087
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-68
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-68
2088
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
Handle2089
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
2090
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
2091
TITLE: Practical realisation and elimination of an ECC-related software bug attack
AUTHORS: Billy Bob Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLISHED: 2011, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2011, PAGES: 633
AUTHORS: Billy Bob Brumley; Manuel Barbosa ; Dan Page; Frederik Vercauteren;
PUBLISHED: 2011, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2011, PAGES: 633
INDEXED IN: DBLP
DBLP2092
TITLE: Predicting Malignancy from Mammography Findings and Surgical Biopsies
AUTHORS: Pedro Ferreira ; Nuno A Fonseca ; Ines Dutra ; Ryan Woods; Elizabeth Burnside ;
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: Pedro Ferreira ; Nuno A Fonseca ; Ines Dutra ; Ryan Woods; Elizabeth Burnside ;
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
2093
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
Scopus2094
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
Handle2095
TITLE: Runtime programming through model-preserving, scalable runtime patches Full Text
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2011, SOURCE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD, PAGES: 77-86
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2011, SOURCE: 11th International Conference on Application of Concurrency to System Design, ACSD 2011 in Proceedings - International Conference on Application of Concurrency to System Design, ACSD, PAGES: 77-86
2096
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
2097
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
2098
TITLE: SEPARATING SOURCES FROM SEQUENTIALLY ACQUIRED MIXTURES OF HEART SIGNALS
AUTHORS: Fabio L Hedayioglu; Maria G Jafari; Sandra S Mattos; Mark D Plumbley; Miguel T Coimbra ;
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: Fabio L Hedayioglu; Maria G Jafari; Sandra S Mattos; Mark D Plumbley; Miguel T Coimbra ;
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
2099
TITLE: Single Time-Stamped Tries for Retroactive Call Subsumption PDF
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 arXiv
DBLP arXiv2100
TITLE: Sketch Express: Facial Expressions Made Easy. facial expressions made easy
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: ACM SIGGRAPH / Eurographics Symposium on Sketch-Based Interfaces and Modeling, SBIM 2011 in Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August 2011. Proceedings, PAGES: 87-94
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: ACM SIGGRAPH / Eurographics Symposium on Sketch-Based Interfaces and Modeling, SBIM 2011 in Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August 2011. Proceedings, PAGES: 87-94
