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

47 Team Members
Filters -> Year: 2026
1881
TÍTULO: Towards deductive verification of MPI programs against session types
AUTORES: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLICAÇÃO: 2013, FONTE: PLACES, VOLUME: 137, PÁGINAS: 103-113
INDEXADO EM: Scopus DBLP CrossRef: 7
1882
TÍTULO: Transcriptome analyses of primitively eusocial wasps reveal novel insights into the evolution of sociality and the origin of alternative phenotypes
AUTORES: Pedro G Ferreira ; Solenn Patalano; Ritika Chauhan; Richard Ffrench Constant; Toni Gabaldon; Roderic Guigo; Seirian Sumner;
PUBLICAÇÃO: 2013, FONTE: GENOME BIOLOGY, VOLUME: 14, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 138
1883
TÍTULO: Transcriptome and genome sequencing uncovers functional variation in humans  Full Text
AUTORES: Tuuli Lappalainen; Michael Sammeth; Marc R Friedländer; Peter A C ‘t Hoen; Jean Monlong; Manuel A Rivas; Mar Gonzàlez-Porta; Natalja Kurbatova; Thasso Griebel; Pedro G Ferreira ; Matthias Barann; Thomas Wieland; Liliana Greger; Maarten van Iterson; Jonas Almlöf; Paolo Ribeca; Irina Pulyakhina; Daniela Esser; Thomas Giger; Andrew Tikhonov; Marc Sultan; Gabrielle Bertier; Daniel G MacArthur; Monkol Lek; Esther Lizano; Henk P J Buermans; Ismael Padioleau; Thomas Schwarzmayr; Olof Karlberg; Halit Ongen; Helena Kilpinen; Sergi Beltran; Marta Gut; Katja Kahlem; Vyacheslav Amstislavskiy; Oliver Stegle; Matti Pirinen; Stephen B Montgomery; Peter Donnelly; Mark I McCarthy; Paul Flicek; Tim M Strom; The Geuvadis Consortium, ; Hans Lehrach; Stefan Schreiber; Ralf Sudbrak; Ángel Carracedo; Stylianos E Antonarakis; Robert Häsler; Ann-Christine Syvänen; Gert-Jan van Ommen; Alvis Brazma; Thomas Meitinger; Philip Rosenstiel; Roderic Guigó; Ivo G Gut; Xavier Estivill; Emmanouil T Dermitzakis; ...Mais
PUBLICAÇÃO: 2013, FONTE: NATURE, VOLUME: 501, NÚMERO: 7468, PÁGINAS: 506-511
INDEXADO EM: Scopus WOS CrossRef: 1874
1884
TÍTULO: Tree search for the stacking problem
AUTORES: Rei, R; Pedroso, JP ;
PUBLICAÇÃO: 2013, FONTE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 203, NÚMERO: 1, PÁGINAS: 371-388
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
1885
TÍTULO: Understanding User's Emotional Engagement to the Contents on a Smartphone Display : Psychiatric Prospective
AUTORES: Mankodiya, K; Sharma, V; Martins, R ; Pandel, I; Jain, S; Ryan, N; Gandhi, R;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PÁGINAS: 631-637
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1886
TÍTULO: Using machine learning to identify benign cases with non-definitive biopsy
AUTORES: Finn Kuusisto; Inês de Castro Dutra ; Houssam Nassif; Yirong Wu; Molly E Klein; Heather B Neuman; Jude W Shavlik; Elizabeth S Burnside ;
PUBLICAÇÃO: 2013, FONTE: Healthcom, PÁGINAS: 283-285
INDEXADO EM: Scopus DBLP CrossRef: 2
1887
TÍTULO: Using proximity to compute semantic relatedness in RDF graphs  Full Text
AUTORES: Jose Paulo Leal ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4, PÁGINAS: 1727-1746
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
1888
TÍTULO: Using statistics, visualization and data mining for monitoring the quality of meta-data in web portals
AUTORES: Domingues, MA; Soares, C ; Jorge, AM ;
PUBLICAÇÃO: 2013, FONTE: INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, VOLUME: 11, NÚMERO: 4, PÁGINAS: 569-595
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1889
TÍTULO: Virtual Traffic Lights in Partial Deployment Scenarios
AUTORES: Conceiçao, H ; Ferreira, M ; Steenkiste, P;
PUBLICAÇÃO: 2013, FONTE: IEEE Intelligent Vehicles Symposium in 2013 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PÁGINAS: 988-993
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
1890
TÍTULO: A Cooperative Protocol for Jamming Eavesdroppers in Wireless Networks
AUTORES: Joao P Vilela ; Joao Barros ;
PUBLICAÇÃO: 2012, FONTE: IEEE International Conference on Communications (ICC) in 2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PÁGINAS: 841-845
INDEXADO EM: Scopus WOS CrossRef: 3
1891
TÍTULO: A demo of a facial UI design approach for digital artists
AUTORES: Pedro Bastos; Xenxo Alvarez Blanco; Verónica Orvalho ;
PUBLICAÇÃO: 2012, FONTE: IUI, PÁGINAS: 307-308
INDEXADO EM: Scopus DBLP CrossRef
1892
TÍTULO: A design and implementation of the Extended Andorra Model
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 3, PÁGINAS: 319-360
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1893
TÍTULO: A distributed system for learning programming on-line
AUTORES: Verdú, E; Regueras, LM; Verdú, MJ; Leal, JP ; de Castro, JP; Queirós, R ;
PUBLICAÇÃO: 2012, FONTE: COMPUTERS & EDUCATION, VOLUME: 58, NÚMERO: 1, PÁGINAS: 1-10
INDEXADO EM: Scopus WOS DBLP CrossRef: 79
1894
TÍTULO: A Facial Rigging Survey
AUTORES: Verónica Orvalho ; Pedro Bastos; Frederic I Parke; Bruno Oliveira; Xenxo Alvarez;
PUBLICAÇÃO: 2012, FONTE: Eurographics (State of the Art Reports), PÁGINAS: 183-204
INDEXADO EM: DBLP
1895
TÍTULO: A Literature Review of Security Mechanisms Employed by Mobile Agents
AUTORES: Rui A Martins; Manuel E Correia ; Alexandre B Augusto ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXADO EM: Scopus WOS
1896
TÍTULO: A Mobile Based Authorization Mechanism for Patient Managed Role Based Access Control
AUTORES: Cátia Santos Pereira; Alexandre B Augusto; Manuel Eduardo Correia ; Ana Ferreira ; Ricardo João Cruz Correia ;
PUBLICAÇÃO: 2012, FONTE: ITBAM, VOLUME: 7451 LNCS, PÁGINAS: 54-68
INDEXADO EM: Scopus DBLP CrossRef: 7
1897
TÍTULO: A Multi-agent Recommender System
AUTORES: A. Jorge Morais ; Oliveira, E ; Jorge, AM ;
PUBLICAÇÃO: 2012, FONTE: 9th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2012) in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 151, PÁGINAS: 281-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 16 Handle
1898
TÍTULO: A New Marker-Less 3D Kinect-Based System for Facial Anthropometric Measurements
AUTORES: Loconsole, C; Barbosa, N; Frisoli, A; Orvalho, VC ;
PUBLICAÇÃO: 2012, FONTE: 7th International Conference on Articulated Motion and Deformable Objects (AMDO) in ARTICULATED MOTION AND DEFORMABLE OBJECTS, VOLUME: 7378, PÁGINAS: 124-133
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1899
TÍTULO: A Predictive Model for the Passenger Demand on a Taxi Network
AUTORES: Moreira Matias, L ; Gama, J ; Ferreira, M ; Damas, L ;
PUBLICAÇÃO: 2012, FONTE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1014-1019
INDEXADO EM: Scopus WOS DBLP CrossRef: 41
1900
TÍTULO: A Problog Model for Analyzing Gene Regulatory Networks
AUTORES: António Gonçalves; Irene M Ong; Jeffrey A Lewis; Vítor Santos Costa ;
PUBLICAÇÃO: 2012, FONTE: ILP (Late Breaking Papers), VOLUME: 975, PÁGINAS: 38-43
INDEXADO EM: Scopus DBLP

Results per Page: 20.
Página 95 de 143. Total de resultados: 2846.