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: 2637
43 Team MembersFilters -> Year: 2024
1501
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
1502
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
1503
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
1504
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 arXiv1505
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
1506
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
1507
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
Scopus1509
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
DBLP1510
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
CrossRef1512
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
1513
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
1514
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 CrossRef1515
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
1516
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
1517
TITLE: Reject option paradigm for the reduction of support vectors PDF
AUTHORS: Sousa, R; Da Rocha Neto, AR; Barreto, GA; Cardoso, JS ; Coimbra, MT ;
PUBLISHED: 2014, SOURCE: 22nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2014 in 22nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2014 - Proceedings, PAGES: 331-336
AUTHORS: Sousa, R; Da Rocha Neto, AR; Barreto, GA; Cardoso, JS ; Coimbra, MT ;
PUBLISHED: 2014, SOURCE: 22nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2014 in 22nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2014 - Proceedings, PAGES: 331-336
INDEXED IN: Scopus DBLP
Scopus DBLP1518
TITLE: Relational machine learning for electronic health record-driven phenotyping Full Text
AUTHORS: Peggy L Peissig; Vitor Santos Costa ; Michael D Caldwell; Carla Rottscheit; Richard L Berg; Eneida A Mendonca; David Page;
PUBLISHED: 2014, SOURCE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 52, PAGES: 260-270
AUTHORS: Peggy L Peissig; Vitor Santos Costa ; Michael D Caldwell; Carla Rottscheit; Richard L Berg; Eneida A Mendonca; David Page;
PUBLISHED: 2014, SOURCE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 52, PAGES: 260-270
1519
TITLE: Resampling Approaches to Improve News Importance Prediction
AUTHORS: Nuno Moniz ; Luis Torgo ; Fatima Rodrigues ;
PUBLISHED: 2014, SOURCE: 13th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XIII, VOLUME: 8819, PAGES: 215-226
AUTHORS: Nuno Moniz ; Luis Torgo ; Fatima Rodrigues ;
PUBLISHED: 2014, SOURCE: 13th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XIII, VOLUME: 8819, PAGES: 215-226
1520
TITLE: Resource Allocation for Secret Transmissions on Parallel Rayleigh Channels
AUTHORS: Laurenti, N; Tomasin, S; Renna, F ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Communications (ICC) in 2014 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 2209-2214
AUTHORS: Laurenti, N; Tomasin, S; Renna, F ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Communications (ICC) in 2014 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 2209-2214
