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
1921
TÍTULO: Interfacing Dynamically Typed Languages and the Why Tool: Reasoning about Lists and Tuples. reasoning about lists and tuples
AUTORES: Claudio Amaral ; Mario Florido ; Patrik Jansson;
PUBLICAÇÃO: 2011, FONTE: 10th ACM SIGPLAN Erlang Workshop in ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, PÁGINAS: 92-93
INDEXADO EM: Scopus WOS DBLP CrossRef
1922
TÍTULO: Jammer selection policies for secure wireless networks
AUTORES: Vilela, JP ; Pinto, PC; Barros, J ;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE International Conference on Communications Workshops, ICC 2011 Workshops in IEEE International Conference on Communications
INDEXADO EM: Scopus CrossRef: 6
1923
TÍTULO: L2GClust: local-to-global clustering of stream sources. local-to-global clustering of stream sources
AUTORES: Pedro Pereira Rodrigues ; João Gama ; João Araújo; Luís M B Lopes ;
PUBLICAÇÃO: 2011, FONTE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, PÁGINAS: 1006-1011
INDEXADO EM: Scopus DBLP CrossRef: 2
1924
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Rocha, R ; Launchbury, J;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6539 LNCS
INDEXADO EM: Scopus
1925
TÍTULO: LEVERAGING IDENTITY MANAGEMENT INTEROPERABILITY IN EHEALTH
AUTORES: Campos, MJ; Manuel E. Correia ; Antunes, L ;
PUBLICAÇÃO: 2011, FONTE: IEEE International Carnahan Conference on Security Technology (ICCST) in 2011 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1926
TÍTULO: LIFEisGAME: A Facial Character Animation System to Help Recognize Facial Expressions
AUTORES: Fernandes, T; Alves, S; Miranda, J; Queiros, C; Orvalho, V ;
PUBLICAÇÃO: 2011, FONTE: International Conference on Enterprise Information Systems in ENTERPRISE INFORMATION SYSTEMS, PT 3, VOLUME: 221, NÚMERO: PART 3, PÁGINAS: 423-432
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
1927
TÍTULO: Linearity and Recursion in a Typed Lambda-Calculus
AUTORES: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, PÁGINAS: 173-182
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1928
TÍTULO: Metaheuristics for the Asymmetric Hamiltonian Path Problem  Full Text
AUTORES: Joao Pedro Pedroso ;
PUBLICAÇÃO: 2011, FONTE: International Conference on Numerical Methods and Applications in NUMERICAL METHODS AND APPLICATIONS, VOLUME: 6046, PÁGINAS: 272-279
INDEXADO EM: Scopus WOS DBLP CrossRef
1929
TÍTULO: Mining Association Rules for Label Ranking
AUTORES: de Sa, CR ; Soares, C ; Jorge, AM ; Azevedo, P ; Costa, J ;
PUBLICAÇÃO: 2011, FONTE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II: 15TH PACIFIC-ASIA CONFERENCE, PAKDD 2011, VOLUME: 6635, NÚMERO: PART 2, PÁGINAS: 432-443
INDEXADO EM: Scopus WOS DBLP CrossRef: 20 Handle
1930
TÍTULO: Modelling a network of heterogeneous e-learning systems
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2011, FONTE: International Workshop on Enterprise Systems and Technology, 5th
INDEXADO EM: Handle
1931
TÍTULO: Modelling an e-learning environment for learning programming languages  Full Text
AUTORES: Ricardo Queirós; José P Leal ;
PUBLICAÇÃO: 2011, FONTE: IEEE Learning Technology Newsletter, VOLUME: 13, 2
INDEXADO EM: Handle
1932
TÍTULO: Modelling Text File Evaluation Processes
AUTORES: Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2011, FONTE: 1st International Workshop on Cognitive-Based Interactive Computing and Web Wisdom in NEW HORIZONS IN WEB-BASED LEARNING: ICWL 2010 WORKSHOPS, VOLUME: 6537, PÁGINAS: 66-74
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
1933
TÍTULO: Modular modelling of software product lines with feature nets
AUTORES: Muschevici, R; Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7041 LNCS, PÁGINAS: 318-333
INDEXADO EM: Scopus DBLP CrossRef: 9
1934
TÍTULO: Network Node Label Acquisition and Tracking  Full Text
AUTORES: Sarvenaz Choobdar ; Fernando Silva ; Pedro Ribeiro ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PÁGINAS: 418-430
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1935
TÍTULO: On combining linear-based strategies for tabled evaluation of logic programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5, PÁGINAS: 681-696
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1936
TÍTULO: ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2011, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, NÚMERO: 7, PÁGINAS: 1593-1606
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
1937
TÍTULO: On the implementation of the probabilistic logic programming language ProbLog
AUTORES: Angelika Kimmig; Bart Demoen; Luc De Raedt; Vitor Santos Costa ; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 24th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 2-3, PÁGINAS: 235-262
INDEXADO EM: Scopus WOS DBLP CrossRef: 86
1938
TÍTULO: On the Portability of Prolog Applications  Full Text
AUTORES: Jan Wielemaker; Vitor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539, PÁGINAS: 69-83
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1939
TÍTULO: Online Proceedings of the 11th PDF
AUTORES: Salvador Abreu ; Vítor Santos Costa ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.4993
INDEXADO EM: DBLP arXiv
1940
TÍTULO: Partial Derivative Automata Formalized in Coq
AUTORES: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PÁGINAS: 59-68
INDEXADO EM: Scopus WOS DBLP CrossRef Handle

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