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: 2673
43 Team MembersFilters -> Year: 2025
1881
TITLE: Type checking cryptography implementations
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PAGES: 316-334
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PAGES: 316-334
1882
TITLE: Unachievable region in precision-recall space and its effect on empirical evaluation
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
AUTHORS: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PAGES: 639-646
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1883
TITLE: Using the overlapping community structure of a network of tags to improve text clustering
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
1884
TITLE: Vehicular sensing: Emergence of a massive urban scanner
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 1-14
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 1-14
1885
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
1886
TITLE: Visual Analysis of Online Interactions through Social Network Patterns
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PAGES: 639-641
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PAGES: 639-641
1887
TITLE: Vital Analysis: Annotating sensed physiological signals with the stress levels of first responders in action
AUTHORS: Gomes, P; Kaiseler, M; Queiros, C ; Oliveira, M; Lopes, B; Coimbra, M ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6695-6698
AUTHORS: Gomes, P; Kaiseler, M; Queiros, C ; Oliveira, M; Lopes, B; Coimbra, M ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6695-6698
1888
TITLE: Vital Analysis: Field Validation of a Framework for Annotating Biological Signals of First Responders in Action
AUTHORS: Gomes, P; Lopes, B; Coimbra, M ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 2128-2131
AUTHORS: Gomes, P; Lopes, B; Coimbra, M ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 2128-2131
1889
TITLE: Vital responder - Wearable sensing challenges in uncontrolled critical environments
AUTHORS: Coimbra, M ; Silva Cunha, JP ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 45-62
AUTHORS: Coimbra, M ; Silva Cunha, JP ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 45-62
1890
TITLE: VNS: An Integrated Framework for Vehicular Networks Simulation
AUTHORS: Ricardo Fernandes; Fausto Vieira ; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 195-202
AUTHORS: Ricardo Fernandes; Fausto Vieira ; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 195-202
1891
TITLE: Wind speed forecasting using spatio-temporal indicators
AUTHORS: Ohashi, O; Torgo, L ;
PUBLISHED: 2012, SOURCE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242, PAGES: 975-980
AUTHORS: Ohashi, O; Torgo, L ;
PUBLISHED: 2012, SOURCE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242, PAGES: 975-980
1892
TITLE: 2D-interval predictions for time series
AUTHORS: Torgo, L ; Ohashi, O;
PUBLISHED: 2011, SOURCE: 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD'11 in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PAGES: 787-794
AUTHORS: Torgo, L ; Ohashi, O;
PUBLISHED: 2011, SOURCE: 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD'11 in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PAGES: 787-794
1893
TITLE: A comparative study on LMS interoperability
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 142-161
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 142-161
1894
TITLE: A contextual classification strategy for polarity analysis of direct quotations from financial news
AUTHORS: Drury, B; Dias, G; Torgo, L ;
PUBLISHED: 2011, SOURCE: 8th International Conference on Recent Advances in Natural Language Processing, RANLP 2011 in International Conference Recent Advances in Natural Language Processing, RANLP, PAGES: 434-440
AUTHORS: Drury, B; Dias, G; Torgo, L ;
PUBLISHED: 2011, SOURCE: 8th International Conference on Recent Advances in Natural Language Processing, RANLP 2011 in International Conference Recent Advances in Natural Language Processing, RANLP, PAGES: 434-440
INDEXED IN: Scopus DBLP
Scopus DBLP1895
TITLE: A Demo of a Dynamic Facial UI for Digital Artists
AUTHORS: Pedro Bastos; Xenxo Alvarez; Veronica Orvalho ;
PUBLISHED: 2011, SOURCE: 13th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2011, PT IV, VOLUME: 6949, ISSUE: PART 4, PAGES: 358-359
AUTHORS: Pedro Bastos; Xenxo Alvarez; Veronica Orvalho ;
PUBLISHED: 2011, SOURCE: 13th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2011, PT IV, VOLUME: 6949, ISSUE: PART 4, PAGES: 358-359
1896
TITLE: A framework to develop meta web interfaces
AUTHORS: Leal, JP ; Dias, H;
PUBLISHED: 2011, SOURCE: IADIS International Conference WWW/Internet 2011, ICWI 2011 in Proceedings of the IADIS International Conference WWW/Internet 2011, ICWI 2011, PAGES: 301-308
AUTHORS: Leal, JP ; Dias, H;
PUBLISHED: 2011, SOURCE: IADIS International Conference WWW/Internet 2011, ICWI 2011 in Proceedings of the IADIS International Conference WWW/Internet 2011, ICWI 2011, PAGES: 301-308
INDEXED IN: Scopus
Scopus1897
TITLE: A Functional Approach to Worst-Case Execution Time Analysis
AUTHORS: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816, PAGES: 86-103
AUTHORS: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816, PAGES: 86-103
1898
TITLE: A Hybrid AIS-SVM Ensemble Approach for Text Classification
AUTHORS: Mario Antunes ; Catarina Silva ; Bernardete Ribeiro ; Manuel E. Correia ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Artificial Neural Networks and Genetic Algorithms in ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT II, VOLUME: 6594, ISSUE: PART 2, PAGES: 342-352
AUTHORS: Mario Antunes ; Catarina Silva ; Bernardete Ribeiro ; Manuel E. Correia ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Artificial Neural Networks and Genetic Algorithms in ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT II, VOLUME: 6594, ISSUE: PART 2, PAGES: 342-352
1899
TITLE: A new graphical calculus of proofs Full Text
AUTHORS: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLISHED: 2011, SOURCE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48, PAGES: 69-84
AUTHORS: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLISHED: 2011, SOURCE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48, PAGES: 69-84
1900
TITLE: A Parallel Algorithm for Counting Subgraphs in Complex Networks Full Text
AUTHORS: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLISHED: 2011, SOURCE: 3rd International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 127, PAGES: 380-393
AUTHORS: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLISHED: 2011, SOURCE: 3rd International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 127, PAGES: 380-393
