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: 2858
47 Team MembersFilters -> Year: 2026
1721
TITLE: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: PADL, VOLUME: 8324 LNCS, PAGES: 168-183
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: PADL, VOLUME: 8324 LNCS, PAGES: 168-183
1722
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: CiE, VOLUME: 8493 LNCS, PAGES: 73-83
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: CiE, VOLUME: 8493 LNCS, PAGES: 73-83
1723
TITLE: ON THE INVERTIBILITY OF FINITE LINEAR TRANSDUCERS
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2014, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 1, PAGES: 107-125
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2014, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 1, PAGES: 107-125
1724
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
1725
TITLE: Parallel Subgraph Counting for Multicore Architectures
AUTHORS: Aparício, D ; Ribeiro, P ; Silva, F ;
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: Aparício, D ; Ribeiro, P ; Silva, F ;
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
1726
TITLE: Partial Derivative and Position Bisimilarity Automata
AUTHORS: Maia, E ; Moreira, N ; Reis, R ;
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: Maia, E ; Moreira, N ; Reis, R ;
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
1727
TITLE: Physical activity levels and nutritional knowledge’s among children and adolescents
AUTHORS: José C Ribeiro; Helena Ramos; Vera Ferro Lebres; Luísa Aires; Jorge Mota; Nuno Guimarães ; Raquel Esteves; Pedro Moreira; Gustavo Marçal;
PUBLISHED: 2014, SOURCE: 19th ANNUAL CONGRESS OF THE EUROPEAN COLLEGE OF SPORT SCIENCE
AUTHORS: José C Ribeiro; Helena Ramos; Vera Ferro Lebres; Luísa Aires; Jorge Mota; Nuno Guimarães ; Raquel Esteves; Pedro Moreira; Gustavo Marçal;
PUBLISHED: 2014, SOURCE: 19th ANNUAL CONGRESS OF THE EUROPEAN COLLEGE OF SPORT SCIENCE
INDEXED IN: 
Handle
Handle1728
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
CrossRef1730
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
DBLP1731
TITLE: Preface
AUTHORS: Pereira, MJV ; Leal, JP ; Simões, A;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38
AUTHORS: Pereira, MJV ; Leal, JP ; Simões, A;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38
INDEXED IN: 
Scopus
Scopus1732
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
Scopus1733
TITLE: PrologCheck - Property-Based Testing in Prolog
AUTHORS: Amaral, C ; Florido, M ; Costa, VS ;
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: Amaral, C ; Florido, M ; Costa, VS ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 1-17
1734
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
1735
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
1736
TITLE: Real-time Emotion Recognition <i>Novel Method for Geometrical Facial Features Extraction</i>
AUTHORS: Loconsole, C; Miranda, CR; Augusto, G; Frisoli, A; Orvalho, V ;
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: Loconsole, C; Miranda, CR; Augusto, G; Frisoli, A; Orvalho, V ;
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
1737
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
1738
TITLE: reject option paradigm for the reduction of support vectors
AUTHORS: Ricardo Gamelas Sousa; Ajalmar da d Rocha Neto; Guilherme A Barreto; Jaime S Cardoso ; Miguel T Coimbra ;
PUBLISHED: 2014, SOURCE: ESANN, PAGES: 331-336
AUTHORS: Ricardo Gamelas Sousa; Ajalmar da d Rocha Neto; Guilherme A Barreto; Jaime S Cardoso ; Miguel T Coimbra ;
PUBLISHED: 2014, SOURCE: ESANN, PAGES: 331-336
INDEXED IN: Scopus DBLP
Scopus DBLP1739
TITLE: Relational machine learning for electronic health record-driven phenotyping Full Text
AUTHORS: Peissig, PL; Costa, VS ; Caldwell, MD; Rottscheit, C; Berg, RL; Mendonca, EA; Page, D;
PUBLISHED: 2014, SOURCE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 52, PAGES: 260-270
AUTHORS: Peissig, PL; Costa, VS ; Caldwell, MD; Rottscheit, C; Berg, RL; Mendonca, EA; Page, D;
PUBLISHED: 2014, SOURCE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 52, PAGES: 260-270
1740
TITLE: Resampling Approaches to Improve News Importance Prediction
AUTHORS: Moniz, N ; Torgo, L ; Rodrigues, F ;
PUBLISHED: 2014, SOURCE: 13th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XIII, VOLUME: 8819, PAGES: 215-226
AUTHORS: Moniz, N ; Torgo, L ; Rodrigues, F ;
PUBLISHED: 2014, SOURCE: 13th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XIII, VOLUME: 8819, PAGES: 215-226
