Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 2644

43 Team Members
Filters -> Year: 2025
1961
TÍTULO: Usable Access Control Policy and Model for Healthcare
AUTORES: Ferreira, A ; Correia, R ; Brito, M; Antunes, L ;
PUBLICAÇÃO: 2011, FONTE: 24th International Symposium on Computer-Based Medical Systems (CBMS) in 2011 24TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 1-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
1962
TÍTULO: Using the Common Cartridge Profile to Enhance Learning Content Interoperability
AUTORES: Ricardo Queiros ; Jose Paulo Leal ;
PUBLICAÇÃO: 2011, FONTE: 10th European Conference on e-Learning (ECEL) in PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON E-LEARNING, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 637-645
INDEXADO EM: Scopus WOS
1963
TÍTULO: Using the Common Cartridge profile to enhance learning content interoperability
AUTORES: Ricardo Queirós; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the European Conference on E-Learning
INDEXADO EM: Handle
1964
TÍTULO: Using the learning tools interoperability framework for LMS integration in service oriented architectures
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2011, FONTE: Technology Enhanced Learning TECH-EDUCATION'11
INDEXADO EM: Handle
1965
TÍTULO: Utility-Based Fraud Detection
AUTORES: Luís Torgo ; Elsa Lopes;
PUBLICAÇÃO: 2011, FONTE: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 in IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, PÁGINAS: 1517-1522
INDEXADO EM: Scopus DBLP
1966
TÍTULO: Variability modelling in the ABS language
AUTORES: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLICAÇÃO: 2011, FONTE: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6957 LNCS, PÁGINAS: 204-224
INDEXADO EM: Scopus DBLP CrossRef: 23
1967
TÍTULO: Visualizing online interactions in Moodle
AUTORES: Silva, A; Figueira, A ;
PUBLICAÇÃO: 2011, FONTE: IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, VOLUME: 2, PÁGINAS: 207-210
INDEXADO EM: Scopus
1968
TÍTULO: What is the temporal value of web snippets? PDF
AUTORES: Campos, R ; Dias, G; Jorge, AM ;
PUBLICAÇÃO: 2011, FONTE: 1st International Temporal Web Analytics Workshop 2011, TWAW 2011 - In Conjunction with the International World Wide Web Conference, WWW 2011 in CEUR Workshop Proceedings, VOLUME: 707, PÁGINAS: 9-16
INDEXADO EM: Scopus DBLP
1969
TÍTULO: Wireless Secrecy Regions With Friendly Jamming
AUTORES: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, NÚMERO: 2, PÁGINAS: 256-266
INDEXADO EM: Scopus WOS CrossRef: 141
1970
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PÁGINAS: 151-167
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
1971
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2010, PÁGINAS: 339
INDEXADO EM: DBLP
1972
1973
TÍTULO: A Deductive Verification Platform for Cryptographic Software
AUTORES: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: DBLP
1974
TÍTULO: A Practical Appearance Model for Dynamic Facial Color  Full Text
AUTORES: Jimenez, J; Scully, T; Barbosa, N; Donner, C; Alvarez, X; Vieira, T; Matts, P; Orvalho, V ; Gutierrez, D; Weyrich, T;
PUBLICAÇÃO: 2010, FONTE: ACM SIGGRAPH Asia 2010, SIGGRAPH Asia 2010 in ACM TRANSACTIONS ON GRAPHICS, VOLUME: 29, NÚMERO: 6, PÁGINAS: 141
INDEXADO EM: Scopus WOS DBLP CrossRef: 30
1975
TÍTULO: A Rule-Based Approach to XML Processing and Web Reasoning  Full Text
AUTORES: Jorge Coelho ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2010, FONTE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333, PÁGINAS: 164-172
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1976
TÍTULO: Access Control in Healthcare: the methodology from legislation to practice
AUTORES: Ana Ferreira ; Ricardo Correia ; David Chadwick; Luis Antunes ;
PUBLICAÇÃO: 2010, FONTE: 13th World Congress on Medical and Health Informatics of International-Medical-Informatics-Association (Medinfo) in MEDINFO 2010, PTS I AND II, VOLUME: 160, NÚMERO: PART 1, PÁGINAS: 666-670
INDEXADO EM: Scopus WOS DBLP
1977
TÍTULO: Ainda o totobola: o singular caso dos 5
AUTORES: António Machiavelo; Rogério Reis ;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
1978
TÍTULO: An Accurate and Interpretable Model for BCCT.core
AUTORES: Oliveira, HP ; Magalhaes, A; Cardoso, MJ ; Cardoso, JS ;
PUBLICAÇÃO: 2010, FONTE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PÁGINAS: 6158-6161
INDEXADO EM: Scopus WOS CrossRef: 8 Handle
1979
TÍTULO: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PÁGINAS: 279-293
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1980
TÍTULO: An integrated system for submission, assessment, feedback and publication of online digital portfolios
AUTORES: Figueira, A ; Felix, C ; Ferreira, C;
PUBLICAÇÃO: 2010, FONTE: 8th IASTED International Conference on Web-Based Education, WBE 2010 in Proceedings of the 8th IASTED International Conference on Web-Based Education, WBE 2010, PÁGINAS: 108-113
INDEXADO EM: Scopus CrossRef: 1

Results per Page: 20.
Página 99 de 133. Total de resultados: 2644.