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: 2675
43 Team MembersFilters -> Year: 2025
1541
TITLE: Network Coding Protocols for Smart Grid Communications
AUTHORS: Rui Prior ; Daniel E Lucani; Yannick Phulpin; Maricica Nistor; Joao Barros ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 5, ISSUE: 3, PAGES: 1523-1531
AUTHORS: Rui Prior ; Daniel E Lucani; Yannick Phulpin; Maricica Nistor; Joao Barros ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 5, ISSUE: 3, PAGES: 1523-1531
1542
TITLE: Noninvasive Blood Pressure and the Second Heart Sound Analysis
AUTHORS: Ana Castro ; Sandra S Mattos; Miguel T Coimbra ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 5494-5497
AUTHORS: Ana Castro ; Sandra S Mattos; Miguel T Coimbra ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 5494-5497
1543
TITLE: On predicting a call center's workload: A discretization-based approach
AUTHORS: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2014, SOURCE: 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8502 LNAI, PAGES: 548-553
AUTHORS: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2014, SOURCE: 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8502 LNAI, PAGES: 548-553
1544
TITLE: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
1545
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: 10th Conference on Computability in Europe, CiE 2014 in Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, VOLUME: 8493, PAGES: 73-83
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: 10th Conference on Computability in Europe, CiE 2014 in Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, VOLUME: 8493, PAGES: 73-83
1546
TITLE: ON THE INVERTIBILITY OF FINITE LINEAR TRANSDUCERS
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 1, PAGES: 107-125
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 1, PAGES: 107-125
1547
TITLE: Online Traffic Prediction in the Cloud: A Dynamic Window Approach
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Future Internet of Things and Cloud (FiCloud) in 2014 INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD), PAGES: 9-14
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Future Internet of Things and Cloud (FiCloud) in 2014 INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD), PAGES: 9-14
1548
TITLE: OpenML: networked science in machine learning PDF
AUTHORS: Joaquin Vanschoren; Jan van v Rijn; Bernd Bischl; Luis Torgo ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.7722
AUTHORS: Joaquin Vanschoren; Jan van v Rijn; Bernd Bischl; Luis Torgo ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.7722
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv1549
TITLE: Parallel Subgraph Counting for Multicore Architectures
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 34-41
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 34-41
1550
TITLE: Partial Derivative and Position Bisimilarity Automata
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PAGES: 264-277
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PAGES: 264-277
1551
TITLE: Preface
AUTHORS: Silva, F ; Dutra, I ; Costa, VS ;
PUBLISHED: 2014, SOURCE: 20th International Conference on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8632 LNCS
AUTHORS: Silva, F ; Dutra, I ; Costa, VS ;
PUBLISHED: 2014, SOURCE: 20th International Conference on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8632 LNCS
INDEXED IN: 
Scopus
Scopus1553
TITLE: Preface
AUTHORS: Helmut Jürgensen; Rogério Reis ;
PUBLISHED: 2014, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 25, ISSUE: 7, PAGES: 803-806
AUTHORS: Helmut Jürgensen; Rogério Reis ;
PUBLISHED: 2014, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 25, ISSUE: 7, PAGES: 803-806
INDEXED IN: DBLP
DBLP1554
TITLE: PREFACE Full Text
AUTHORS: HELMUT JÜRGENSEN; ROGÉRIO REIS ;
PUBLISHED: 2014, SOURCE: International Journal of Foundations of Computer Science, VOLUME: 25, ISSUE: 07, PAGES: 803-805
AUTHORS: HELMUT JÜRGENSEN; ROGÉRIO REIS ;
PUBLISHED: 2014, SOURCE: International Journal of Foundations of Computer Science, VOLUME: 25, ISSUE: 07, PAGES: 803-805
INDEXED IN: 
CrossRef
CrossRef1556
TITLE: PrologCheck - Property-Based Testing in Prolog
AUTHORS: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 1-17
AUTHORS: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 1-17
1557
TITLE: Putative cis-regulatory drivers in colorectal cancer Full Text
AUTHORS: Ongen, H; Andersen, CL; Bramsen, JB; Oster, B; Rasmussen, MH; Ferreira, PG ; Sandoval, J; Vidal, E; Whiffin, N; Planchon, A; Padioleau, I; Bielser, D; Romano, L; Tomlinson, I; Houlston, RS; Esteller, M; Orntoft, TF; Dermitzakis, ET;
PUBLISHED: 2014, SOURCE: Nature, VOLUME: 512, ISSUE: 1, PAGES: 87-90
AUTHORS: Ongen, H; Andersen, CL; Bramsen, JB; Oster, B; Rasmussen, MH; Ferreira, PG ; Sandoval, J; Vidal, E; Whiffin, N; Planchon, A; Padioleau, I; Bielser, D; Romano, L; Tomlinson, I; Houlston, RS; Esteller, M; Orntoft, TF; Dermitzakis, ET;
PUBLISHED: 2014, SOURCE: Nature, VOLUME: 512, ISSUE: 1, PAGES: 87-90
1558
TITLE: Querying Volatile and Dynamic Networks
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Encyclopedia of Social Network Analysis and Mining, PAGES: 1456-1463
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Encyclopedia of Social Network Analysis and Mining, PAGES: 1456-1463
INDEXED IN: DBLP CrossRef
DBLP CrossRef1559
TITLE: Real-time Emotion Recognition Novel Method for Geometrical Facial Features Extraction
AUTHORS: Claudio Loconsole; Catarina Runa Miranda; Gustavo Augusto; Antonio Frisoli; Veronica Orvalho ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Computer Vision Theory and Applications (VISAPP) in PROCEEDINGS OF THE 2014 9TH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS (VISAPP), VOL 1, VOLUME: 1, PAGES: 378-385
AUTHORS: Claudio Loconsole; Catarina Runa Miranda; Gustavo Augusto; Antonio Frisoli; Veronica Orvalho ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Computer Vision Theory and Applications (VISAPP) in PROCEEDINGS OF THE 2014 9TH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS (VISAPP), VOL 1, VOLUME: 1, PAGES: 378-385
1560
TITLE: Reconstruction of Signals Drawn From a Gaussian Mixture Via Noisy Compressive Measurements Full Text
AUTHORS: Francesco Renna ; Robert Calderbank; Lawrence Carin; Miguel R D Rodrigues ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOLUME: 62, ISSUE: 9, PAGES: 2265-2277
AUTHORS: Francesco Renna ; Robert Calderbank; Lawrence Carin; Miguel R D Rodrigues ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOLUME: 62, ISSUE: 9, PAGES: 2265-2277
