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: 2673

43 Team Members
Filters -> Year: 2025
2101
TÍTULO: Analysis of Probabilistic Flooding: How do we Choose the Right Coin?
AUTORES: Sergio Crisostomo ; Udo Schilcher; Christian Bettstetter; Joao Barros ;
PUBLICAÇÃO: 2009, FONTE: IEEE International Conference on Communications (ICC 2009) in 2009 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-8, PÁGINAS: 2080-2085
INDEXADO EM: Scopus WOS CrossRef: 10
2102
TÍTULO: Antimirov and Mosses's Rewrite System Revisited  Full Text
AUTORES: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2009, FONTE: Int. J. Found. Comput. Sci., VOLUME: 20, NÚMERO: 4, PÁGINAS: 669-684
INDEXADO EM: Scopus DBLP CrossRef: 12
2103
TÍTULO: ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED  Full Text
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2009, FONTE: 13th International Conference on Implementation and Application of Automata in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 20, NÚMERO: 4, PÁGINAS: 669-684
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2104
TÍTULO: Applying reinforcement learning to scheduling strategies in an actual grid environment
AUTORES: Costa, BF; Mattoso, M; Dutra, I ;
PUBLICAÇÃO: 2009, FONTE: International Journal of High Performance Systems Architecture, VOLUME: 2, NÚMERO: 2, PÁGINAS: 116-128
INDEXADO EM: Scopus DBLP CrossRef: 3
2105
TÍTULO: BIORED - A Genetic Algorithm for Pattern Detection in Biosequences
AUTORES: Pedro Pereira; Fernando Silva ; Nuno A Fonseca ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 08) in 2ND INTERNATIONAL WORKSHOP ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY AND BIOINFORMATICS (IWPACBB 2008), VOLUME: 49, PÁGINAS: 156-165
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2106
TÍTULO: Body sensor networks: can we use them?. can we use them?
AUTORES: Pedro Brandão ; Jean Bacon;
PUBLICAÇÃO: 2009, FONTE: International Workshop on Middleware for Pervasive Mobile and Embedded Computing, M-MPAC 2009 co-located with ACM/IFIP/USENIX International Middleware Conference in Proceedings of the 1st International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2009), November 30, 2009, Urbana Champaign, Illinois, USA, PÁGINAS: 3
INDEXADO EM: Scopus DBLP CrossRef: 2
2107
TÍTULO: BSN MIDDLEWARE Abstracting Resources to Human Models
AUTORES: Pedro Brandao ; Jean Bacon;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Health Informatics (HEALTHINF 2009) in HEALTHINF 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PÁGINAS: 245-250
INDEXADO EM: Scopus WOS DBLP
2108
TÍTULO: Commitment and Authentication Systems  Full Text
AUTORES: Alexandre Pinto ; Andre Souto ; Armando Matos ; Luis Antunes ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Information Theoretic Security in INFORMATION THEORETIC SECURITY, VOLUME: 4883, PÁGINAS: 1-22
INDEXADO EM: Scopus WOS DBLP CrossRef
2109
TÍTULO: Commitment and authentication systems  Full Text
AUTORES: Alexandre Pinto ; Andre Souto ; Armando Matos ; Luis Antunes ;
PUBLICAÇÃO: 2009, FONTE: DESIGNS CODES AND CRYPTOGRAPHY, VOLUME: 53, NÚMERO: 3, PÁGINAS: 175-193
INDEXADO EM: Scopus WOS DBLP CrossRef
2110
TÍTULO: Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases
AUTORES: Pereira, M; Costa, VS ; Camacho, R ; Fonseca, NA ; Simoes, C; Brito, RMM ;
PUBLICAÇÃO: 2009, FONTE: 4th Brazilian Symposium on Bioinformatics (BSB 2009) in ADVANCES IN BIOINFORMATICS AND COMPUTATIONAL BIOLOGY, PROCEEDINGS, VOLUME: 5676, PÁGINAS: 121-132
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
2111
TÍTULO: Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography  Full Text
AUTORES: Barbosa, M ; Moss, A; Page, D;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF CRYPTOLOGY, VOLUME: 22, NÚMERO: 2, PÁGINAS: 259-281
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
2112
TÍTULO: Coordination via Interaction Constraints I: Local Logic  Full Text
AUTORES: Dave Clarke; José Proença ;
PUBLICAÇÃO: 2009, FONTE: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009., VOLUME: 12, PÁGINAS: 17-39
INDEXADO EM: DBLP CrossRef: 1
2113
TÍTULO: CrimsonHex: A Service Oriented Repository of Specialised Learning Objects
AUTORES: Leal, JP ; Qleiros, R ;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Enterprise Information Systems in ENTERPRISE INFORMATION SYSTEMS-BK, VOLUME: 24, PÁGINAS: 102-113
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Handle
2114
TÍTULO: CrimsonHex: an interoperable repository of programming problems
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2009, FONTE: ACM-ICPC 2nd Competitive Learning Symposium - CLIS 2009
INDEXADO EM: Handle
2115
TÍTULO: CrimsonHex: um repositório de objectos de aprendizagem
AUTORES: José P Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2009, FONTE: JLBE09: Jornadas Luso-Brasileiras de Ensino e Tecnologia em Engenharia
INDEXADO EM: Handle
2116
TÍTULO: Cryptographic Security of Individual Instances  Full Text
AUTORES: Antunes, L ; Laplante, S; Pinto, A ; Salvador, L;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Information Theoretic Security in INFORMATION THEORETIC SECURITY, VOLUME: 4883, PÁGINAS: 195-210
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2117
TÍTULO: Deconstructing Reo
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, NÚMERO: 2, PÁGINAS: 43-58
INDEXADO EM: Scopus DBLP CrossRef: 12
2118
TÍTULO: Deductive Verification of Cryptographic Software
AUTORES: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2009, FONTE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407, PÁGINAS: 146-155
INDEXADO EM: DBLP
2119
TÍTULO: Defining programming problems as learning objects
AUTORES: Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2009, FONTE: World Academy of Science, Engineering and Technology, VOLUME: 58, PÁGINAS: 188-195
INDEXADO EM: Scopus Handle
2120
TÍTULO: Depth as Randomness Deficiency  Full Text
AUTORES: Luis Antunes ; Armando Matos ; Andre Souto ; Paul Vitanyi;
PUBLICAÇÃO: 2009, FONTE: 3rd Computability in Europe Conference 2007 in THEORY OF COMPUTING SYSTEMS, VOLUME: 45, NÚMERO: 4, PÁGINAS: 724-739
INDEXADO EM: Scopus WOS DBLP CrossRef: 10

Results per Page: 20.
Página 106 de 134. Total de resultados: 2673.