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
1601
TÍTULO: Creating Interopearable e-Portfolios for Different Educational Levels
AUTORES: Sandra Soares ; Alvaro Figueira ;
PUBLICAÇÃO: 2013, FONTE: IEEE Global Engineering Education Conference (EDUCON) in 2013 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON), PÁGINAS: 1049-1054
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1602
TÍTULO: crimsonHex: a learning objects repository for programming exercises. crimsonHex: A LEARNING OBJECTS REPOSITORY FOR PROGRAMMING EXERCISES  Full Text
AUTORES: Queiros, R ; Leal, JP ;
PUBLICAÇÃO: 2013, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 43, NÚMERO: 8, PÁGINAS: 911-935
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
1603
TÍTULO: Data Abstraction in Coordination Constraints
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 in Communications in Computer and Information Science, VOLUME: 393 CCIS, PÁGINAS: 159-173
INDEXADO EM: Scopus DBLP CrossRef: 3
1604
TÍTULO: Descriptional Complexity of Formal Systems
AUTORES: Helmut Jurgensen; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
1605
TÍTULO: Descriptional Complexity of Formal Systems - 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
AUTORES: Helmut Jürgensen; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: DCFS, VOLUME: 8031
INDEXADO EM: DBLP
1606
TÍTULO: Dimensions as Virtual Items: Improving the predictive ability of top-N recommender systems  Full Text
AUTORES: Marcos Aurelio Domingues; Alipio Mario Jorge ; Carlos Soares ;
PUBLICAÇÃO: 2013, FONTE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 49, NÚMERO: 3, PÁGINAS: 698-720
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
1607
TÍTULO: Does My Face FIT?: A Face Image Task Reveals Structure and Distortions of Facial Feature Representation  Full Text
AUTORES: Christina T Fuentes; Catarina Runa; Xenxo Alvarez Blanco; Veronica Orvalho ; Patrick Haggard;
PUBLICAÇÃO: 2013, FONTE: PLOS ONE, VOLUME: 8, NÚMERO: 10
INDEXADO EM: Scopus WOS CrossRef: 27
1608
TÍTULO: Efficient Support for Mode-Directed Tabling in the YapTab Tabling System PDF
AUTORES: João Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.7680
INDEXADO EM: DBLP arXiv
1609
TÍTULO: Endoscopic assessment and grading of Barrett's esophagus using magnification endoscopy and narrow band imaging: Impact of structured learning and experience on the accuracy of the Amsterdam classification system  Full Text
AUTORES: Francisco Baldaque Silva; Margarida Marques; Nuno Lunet ; Goncalo Themudo; Kenichi Goda; Ervin Toth; Jose Soares; Pedro Bastos; Rosa Ramalho; Pedro Pereira; Nuno Marques; Miguel Coimbra ; Michael Vieth; Mario Dinis Ribeiro ; Guilherme Macedo ; Lars Lundell; Hanns Ulrich Marschall;
PUBLICAÇÃO: 2013, FONTE: SCANDINAVIAN JOURNAL OF GASTROENTEROLOGY, VOLUME: 48, NÚMERO: 2, PÁGINAS: 160-167
INDEXADO EM: Scopus WOS CrossRef: 26
1610
TÍTULO: Enhancing Abstract Multiparty Transport through Network Coding
AUTORES: Nuno Coutinho; Susana Sargento ; Rui Prior ;
PUBLICAÇÃO: 2013, FONTE: IEEE Globecom Workshops (GC Wkshps) in 2013 IEEE GLOBECOM WORKSHOPS (GC WKSHPS), PÁGINAS: 531-537
INDEXADO EM: Scopus WOS DBLP CrossRef
1611
TÍTULO: Ensemble - an E-Learning Framework  Full Text
AUTORES: Ricardo Queiros ; Jose Paulo Leal ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 19, NÚMERO: 14, PÁGINAS: 2127-2149
INDEXADO EM: Scopus WOS DBLP
1612
TÍTULO: Ensemble: an e-learning framework  Full Text
AUTORES: Ricardo Queirós ; José P Leal ;
PUBLICAÇÃO: 2013, FONTE: Journal of Universal Computer Science, VOLUME: 19, 14
INDEXADO EM: Handle
1613
TÍTULO: Entropy and compression: two measures of complexity. Measures of complexity  Full Text
AUTORES: Henriques, T ; Goncalves, H ; Antunes, L ; Matias, M; Bernardes, J ; Costa Santos, C ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF EVALUATION IN CLINICAL PRACTICE, VOLUME: 19, NÚMERO: 6, PÁGINAS: 1101-1106
INDEXADO EM: Scopus WOS CrossRef: 25
1614
TÍTULO: Evaluating inference algorithms for the Prolog factor language
AUTORES: Gomes, T; Santos Costa, V ;
PUBLICAÇÃO: 2013, FONTE: 22nd International Conference on Inductive Logic Programming, ILP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7842 LNAI, PÁGINAS: 74-85
INDEXADO EM: Scopus DBLP CrossRef: 1
1615
TÍTULO: Executable modelling of dynamic software product lines in the ABS language
AUTORES: Muschevici, R; Clarke, D; Proenca, J ;
PUBLICAÇÃO: 2013, FONTE: 5th Int. Workshop on Feature-Oriented Software Development, FOSD 2013 - Co-located with 12th Int. Conf. on Generative Programming: Concepts and Experiences, GPCE 2013 and the ACM SIGPLAN Conf. SPLASH 2013 in ACM International Conference Proceeding Series, PÁGINAS: 17-24
INDEXADO EM: Scopus DBLP CrossRef: 2
1616
TÍTULO: Experiences with fault-injection in a Byzantine fault-tolerant protocol
AUTORES: Rolando Martins ; Gandhi, R; Narasimhan, P ; Pertet, S; Casimiro, A; Kreutz, D; Verissimo, P ;
PUBLICAÇÃO: 2013, FONTE: 14th ACM/IFIP/USENIX Middleware Conference, Middleware 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8275 LNCS, PÁGINAS: 41-61
INDEXADO EM: Scopus DBLP CrossRef: 8
1617
TÍTULO: Exploring the Stationary Wavelet Transform Detail Coefficients for Detection and Identification of the S1 and S2 Heart Sounds PDF
AUTORES: Marques, N; Rute Almeida ; Ana Paula Rocha ; Coimbra, M ;
PUBLICAÇÃO: 2013, FONTE: 40th Annual Meeting on Computing in Cardiology (CinC) in 2013 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOLUME: 40, PÁGINAS: 891-894
INDEXADO EM: Scopus WOS DBLP
1618
TÍTULO: Fine-grained Patches for Java Software Upgrades
AUTORES: Eduardo R B Marques ;
PUBLICAÇÃO: 2013, FONTE: 5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013
INDEXADO EM: DBLP
1619
TÍTULO: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTORES: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 7, PÁGINAS: 796-812
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
1620
TÍTULO: Guarding thin orthogonal polygons is hard
AUTORES: Tomas, AP ;
PUBLICAÇÃO: 2013, FONTE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8070 LNCS, PÁGINAS: 305-316
INDEXADO EM: Scopus DBLP CrossRef: 8

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