Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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 MembersFilters -> Year: 2026
1881
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: PLACES, VOLUME: 137, PAGES: 103-113
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: PLACES, VOLUME: 137, PAGES: 103-113
1882
TITLE: Transcriptome analyses of primitively eusocial wasps reveal novel insights into the evolution of sociality and the origin of alternative phenotypes
AUTHORS: Pedro G Ferreira ; Solenn Patalano; Ritika Chauhan; Richard Ffrench Constant; Toni Gabaldon; Roderic Guigo; Seirian Sumner;
PUBLISHED: 2013, SOURCE: GENOME BIOLOGY, VOLUME: 14, ISSUE: 2
AUTHORS: Pedro G Ferreira ; Solenn Patalano; Ritika Chauhan; Richard Ffrench Constant; Toni Gabaldon; Roderic Guigo; Seirian Sumner;
PUBLISHED: 2013, SOURCE: GENOME BIOLOGY, VOLUME: 14, ISSUE: 2
1883
TITLE: Transcriptome and genome sequencing uncovers functional variation in humans Full Text
AUTHORS: 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; ...More
PUBLISHED: 2013, SOURCE: NATURE, VOLUME: 501, ISSUE: 7468, PAGES: 506-511
AUTHORS: 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; ...More
PUBLISHED: 2013, SOURCE: NATURE, VOLUME: 501, ISSUE: 7468, PAGES: 506-511
1884
TITLE: Tree search for the stacking problem
AUTHORS: Rei, R; Pedroso, JP ;
PUBLISHED: 2013, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 203, ISSUE: 1, PAGES: 371-388
AUTHORS: Rei, R; Pedroso, JP ;
PUBLISHED: 2013, SOURCE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 203, ISSUE: 1, PAGES: 371-388
1885
TITLE: Understanding User's Emotional Engagement to the Contents on a Smartphone Display : Psychiatric Prospective
AUTHORS: Mankodiya, K; Sharma, V; Martins, R ; Pandel, I; Jain, S; Ryan, N; Gandhi, R;
PUBLISHED: 2013, SOURCE: 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 631-637
AUTHORS: Mankodiya, K; Sharma, V; Martins, R ; Pandel, I; Jain, S; Ryan, N; Gandhi, R;
PUBLISHED: 2013, SOURCE: 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 631-637
1886
TITLE: Using machine learning to identify benign cases with non-definitive biopsy
AUTHORS: Finn Kuusisto; Inês de Castro Dutra ; Houssam Nassif; Yirong Wu; Molly E Klein; Heather B Neuman; Jude W Shavlik; Elizabeth S Burnside ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 283-285
AUTHORS: Finn Kuusisto; Inês de Castro Dutra ; Houssam Nassif; Yirong Wu; Molly E Klein; Heather B Neuman; Jude W Shavlik; Elizabeth S Burnside ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 283-285
1887
TITLE: Using proximity to compute semantic relatedness in RDF graphs Full Text
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1727-1746
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1727-1746
1888
TITLE: Using statistics, visualization and data mining for monitoring the quality of meta-data in web portals
AUTHORS: Domingues, MA; Soares, C ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, VOLUME: 11, ISSUE: 4, PAGES: 569-595
AUTHORS: Domingues, MA; Soares, C ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, VOLUME: 11, ISSUE: 4, PAGES: 569-595
1889
TITLE: Virtual Traffic Lights in Partial Deployment Scenarios
AUTHORS: Conceiçao, H ; Ferreira, M ; Steenkiste, P;
PUBLISHED: 2013, SOURCE: IEEE Intelligent Vehicles Symposium in 2013 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PAGES: 988-993
AUTHORS: Conceiçao, H ; Ferreira, M ; Steenkiste, P;
PUBLISHED: 2013, SOURCE: IEEE Intelligent Vehicles Symposium in 2013 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PAGES: 988-993
1890
TITLE: A Cooperative Protocol for Jamming Eavesdroppers in Wireless Networks
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Communications (ICC) in 2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 841-845
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Communications (ICC) in 2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 841-845
1891
TITLE: A demo of a facial UI design approach for digital artists
AUTHORS: Pedro Bastos; Xenxo Alvarez Blanco; Verónica Orvalho ;
PUBLISHED: 2012, SOURCE: IUI, PAGES: 307-308
AUTHORS: Pedro Bastos; Xenxo Alvarez Blanco; Verónica Orvalho ;
PUBLISHED: 2012, SOURCE: IUI, PAGES: 307-308
1893
TITLE: A distributed system for learning programming on-line
AUTHORS: Verdú, E; Regueras, LM; Verdú, MJ; Leal, JP ; de Castro, JP; Queirós, R ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 58, ISSUE: 1, PAGES: 1-10
AUTHORS: Verdú, E; Regueras, LM; Verdú, MJ; Leal, JP ; de Castro, JP; Queirós, R ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 58, ISSUE: 1, PAGES: 1-10
1894
TITLE: A Facial Rigging Survey
AUTHORS: Verónica Orvalho ; Pedro Bastos; Frederic I Parke; Bruno Oliveira; Xenxo Alvarez;
PUBLISHED: 2012, SOURCE: Eurographics (State of the Art Reports), PAGES: 183-204
AUTHORS: Verónica Orvalho ; Pedro Bastos; Frederic I Parke; Bruno Oliveira; Xenxo Alvarez;
PUBLISHED: 2012, SOURCE: Eurographics (State of the Art Reports), PAGES: 183-204
INDEXED IN: 
DBLP
DBLP1895
TITLE: A Literature Review of Security Mechanisms Employed by Mobile Agents
AUTHORS: Rui A Martins; Manuel E Correia ; Alexandre B Augusto ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
AUTHORS: Rui A Martins; Manuel E Correia ; Alexandre B Augusto ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: 
Scopus 
WOS
Scopus WOS1896
TITLE: A Mobile Based Authorization Mechanism for Patient Managed Role Based Access Control
AUTHORS: Cátia Santos Pereira; Alexandre B Augusto; Manuel Eduardo Correia ; Ana Ferreira ; Ricardo João Cruz Correia ;
PUBLISHED: 2012, SOURCE: ITBAM, VOLUME: 7451 LNCS, PAGES: 54-68
AUTHORS: Cátia Santos Pereira; Alexandre B Augusto; Manuel Eduardo Correia ; Ana Ferreira ; Ricardo João Cruz Correia ;
PUBLISHED: 2012, SOURCE: ITBAM, VOLUME: 7451 LNCS, PAGES: 54-68
1897
TITLE: A Multi-agent Recommender System
AUTHORS: A. Jorge Morais ; Oliveira, E ; Jorge, AM ;
PUBLISHED: 2012, SOURCE: 9th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2012) in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 151, PAGES: 281-+
AUTHORS: A. Jorge Morais ; Oliveira, E ; Jorge, AM ;
PUBLISHED: 2012, SOURCE: 9th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2012) in DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, VOLUME: 151, PAGES: 281-+
1898
TITLE: A New Marker-Less 3D Kinect-Based System for Facial Anthropometric Measurements
AUTHORS: Loconsole, C; Barbosa, N; Frisoli, A; Orvalho, VC ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Articulated Motion and Deformable Objects (AMDO) in ARTICULATED MOTION AND DEFORMABLE OBJECTS, VOLUME: 7378, PAGES: 124-133
AUTHORS: Loconsole, C; Barbosa, N; Frisoli, A; Orvalho, VC ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Articulated Motion and Deformable Objects (AMDO) in ARTICULATED MOTION AND DEFORMABLE OBJECTS, VOLUME: 7378, PAGES: 124-133
1899
TITLE: A Predictive Model for the Passenger Demand on a Taxi Network
AUTHORS: Moreira Matias, L ; Gama, J ; Ferreira, M ; Damas, L ;
PUBLISHED: 2012, SOURCE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1014-1019
AUTHORS: Moreira Matias, L ; Gama, J ; Ferreira, M ; Damas, L ;
PUBLISHED: 2012, SOURCE: 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1014-1019
1900
TITLE: A Problog Model for Analyzing Gene Regulatory Networks
AUTHORS: António Gonçalves; Irene M Ong; Jeffrey A Lewis; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ILP (Late Breaking Papers), VOLUME: 975, PAGES: 38-43
AUTHORS: António Gonçalves; Irene M Ong; Jeffrey A Lewis; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ILP (Late Breaking Papers), VOLUME: 975, PAGES: 38-43
INDEXED IN: Scopus DBLP
Scopus DBLP