Instituto de Engenharia de Sistemas e Computadores (INESC ID)
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: 6881
112 Team MembersFilters -> Year: 2024
4001
TITLE: Collective Evolutionary Dynamics and Spatial Reciprocity under the N-Person Snowdrift Game
AUTHORS: Marta D Santos ; Francisco C Santos ; Jorge M Pacheco ;
PUBLISHED: 2010, SOURCE: 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2010 in Bio-Inspired Models of Network, Information, and Computing Systems - 5th International ICST Conference, BIONETICS 2010, Boston, MA, USA, December 1-3, 2010, Revised Selected Papers, VOLUME: 87, PAGES: 178-188
AUTHORS: Marta D Santos ; Francisco C Santos ; Jorge M Pacheco ;
PUBLISHED: 2010, SOURCE: 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2010 in Bio-Inspired Models of Network, Information, and Computing Systems - 5th International ICST Conference, BIONETICS 2010, Boston, MA, USA, December 1-3, 2010, Revised Selected Papers, VOLUME: 87, PAGES: 178-188
4002
TITLE: Combination of measures distinguishes pre-miRNAs from other stem-loops in the genome of the newly sequenced Anopheles darlingi Full Text
AUTHORS: Nuno D Mendes ; Ana T Freitas ; Ana T Vasconcelos; Marie France Sagot;
PUBLISHED: 2010, SOURCE: BMC GENOMICS, VOLUME: 11, ISSUE: 1, PAGES: 529
AUTHORS: Nuno D Mendes ; Ana T Freitas ; Ana T Vasconcelos; Marie France Sagot;
PUBLISHED: 2010, SOURCE: BMC GENOMICS, VOLUME: 11, ISSUE: 1, PAGES: 529
4003
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Full Text
AUTHORS: Morgado, António ; Marques Silva, J ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 102, ISSUE: 3-4, PAGES: 363-389
AUTHORS: Morgado, António ; Marques Silva, J ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 102, ISSUE: 3-4, PAGES: 363-389
4004
TITLE: Communication and coordination support in ad hoc networks for emergency management scenarios
AUTHORS: Mocito, J; Rodrigues, L ; Miranda, H ;
PUBLISHED: 2010, SOURCE: 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010 in IWCMC 2010 - Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, PAGES: 499-503
AUTHORS: Mocito, J; Rodrigues, L ; Miranda, H ;
PUBLISHED: 2010, SOURCE: 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010 in IWCMC 2010 - Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, PAGES: 499-503
4005
TITLE: Comparing Argumentation Frameworks for Composite Ontology Matching Full Text
AUTHORS: Cassia Trojahn; Paulo Quaresma ; Renata Vieira; Antoine Isaac;
PUBLISHED: 2010, SOURCE: 6th International Workshop on Argumentation in Multi-Agent Systems in ARGUMENTATION IN MULTI-AGENT SYSTEMS, VOLUME: 6057, PAGES: 305-320
AUTHORS: Cassia Trojahn; Paulo Quaresma ; Renata Vieira; Antoine Isaac;
PUBLISHED: 2010, SOURCE: 6th International Workshop on Argumentation in Multi-Agent Systems in ARGUMENTATION IN MULTI-AGENT SYSTEMS, VOLUME: 6057, PAGES: 305-320
4006
TITLE: Competitive and cost effective copper/low-k interconnect (BEOL) for 28nm CMOS technologies
AUTHORS: Augur, R; Child, C; Ahn, JH; Tang, TJ; Clevenger, L; Kioussis, D; Masuda, H; Srivastava, R; Oda, Y; Oguma, H; Quon, R; Kim, B; Sheng, H; Hirooka, S; Gupta, R; Thomas, A; Singh, SM; Fang, Q; Schiwon, R; Hamieh, B; ...More
PUBLISHED: 2010, SOURCE: Advanced Metallization Conference 2010 in Advanced Metallization Conference (AMC), PAGES: 41-42
AUTHORS: Augur, R; Child, C; Ahn, JH; Tang, TJ; Clevenger, L; Kioussis, D; Masuda, H; Srivastava, R; Oda, Y; Oguma, H; Quon, R; Kim, B; Sheng, H; Hirooka, S; Gupta, R; Thomas, A; Singh, SM; Fang, Q; Schiwon, R; Hamieh, B; ...More
PUBLISHED: 2010, SOURCE: Advanced Metallization Conference 2010 in Advanced Metallization Conference (AMC), PAGES: 41-42
INDEXED IN: 
Scopus
Scopus4007
TITLE: Computer Vision, Imaging and Computer Graphics. Theory and Applications - International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers
AUTHORS: Alpesh Ranchordas; João Madeiras Pereira ; Helder Araújo; João Manuel R. S. Tavares ;
PUBLISHED: 2010, SOURCE: VISIGRAPP (Selected Papers), VOLUME: 68
AUTHORS: Alpesh Ranchordas; João Madeiras Pereira ; Helder Araújo; João Manuel R. S. Tavares ;
PUBLISHED: 2010, SOURCE: VISIGRAPP (Selected Papers), VOLUME: 68
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef4008
TITLE: Computers and Graphics (Pergamon): Editorial
AUTHORS: Jorge, J ;
PUBLISHED: 2010, SOURCE: Computers and Graphics (Pergamon), VOLUME: 34, ISSUE: 6, PAGES: 640
AUTHORS: Jorge, J ;
PUBLISHED: 2010, SOURCE: Computers and Graphics (Pergamon), VOLUME: 34, ISSUE: 6, PAGES: 640
INDEXED IN: Scopus
Scopus4009
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTHORS: Delgado, J; Lynce, I ; Manquinho, V;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9, PAGES: 1243-1265
AUTHORS: Delgado, J; Lynce, I ; Manquinho, V;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9, PAGES: 1243-1265
4010
TITLE: Connectionist Transformation Network Features for Speaker Recognition
AUTHORS: Alberto Abad ; Jordi Luque;
PUBLISHED: 2010, SOURCE: Speaker and Language Recognition Workshop, Odyssey 2010 in Odyssey 2010: The Speaker and Language Recognition Workshop, Brno, Czech Republic, June 28 - July 1, 2010, PAGES: 5
AUTHORS: Alberto Abad ; Jordi Luque;
PUBLISHED: 2010, SOURCE: Speaker and Language Recognition Workshop, Odyssey 2010 in Odyssey 2010: The Speaker and Language Recognition Workshop, Brno, Czech Republic, June 28 - July 1, 2010, PAGES: 5
INDEXED IN: Scopus DBLP
Scopus DBLP4011
TITLE: Connectionist Transformation Network Features for Speaker Recognition
AUTHORS: Alberto Abad ; Jordi Luque;
PUBLISHED: 2010, SOURCE: Speaker and Language Recognition Workshop (Odyssey) in ODYSSEY 2010: THE SPEAKER AND LANGUAGE RECOGNITION WORKSHOP, PAGES: 20-27
AUTHORS: Alberto Abad ; Jordi Luque;
PUBLISHED: 2010, SOURCE: Speaker and Language Recognition Workshop (Odyssey) in ODYSSEY 2010: THE SPEAKER AND LANGUAGE RECOGNITION WORKSHOP, PAGES: 20-27
INDEXED IN: 
WOS
WOS4012
TITLE: Context dependent modelling approaches for hybrid speech recognizers
AUTHORS: Abad, A ; Pellegrini, T; Trancoso, I ; Neto, J ;
PUBLISHED: 2010, SOURCE: 11th Annual Conference of the International-Speech-Communication-Association 2010 in 11TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2010 (INTERSPEECH 2010), VOLS 3 AND 4, PAGES: 2950-2953
AUTHORS: Abad, A ; Pellegrini, T; Trancoso, I ; Neto, J ;
PUBLISHED: 2010, SOURCE: 11th Annual Conference of the International-Speech-Communication-Association 2010 in 11TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2010 (INTERSPEECH 2010), VOLS 3 AND 4, PAGES: 2950-2953
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP4013
TITLE: Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLISHED: 2010, SOURCE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, PAGES: 160-169
AUTHORS: Lucas C Cordeiro; Bernd Fischer; João Marques Silva ;
PUBLISHED: 2010, SOURCE: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, PAGES: 160-169
4014
TITLE: Coordinated learning in multiagent MDPs with infinite state-space Full Text
AUTHORS: Francisco S Melo ; Isabel I Ribeiro ;
PUBLISHED: 2010, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 21, ISSUE: 3, PAGES: 321-367
AUTHORS: Francisco S Melo ; Isabel I Ribeiro ;
PUBLISHED: 2010, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 21, ISSUE: 3, PAGES: 321-367
4015
TITLE: Coordinating towards a Common Good
AUTHORS: Francisco C Santos ; Jorge M Pacheco ;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 1540-1540
AUTHORS: Francisco C Santos ; Jorge M Pacheco ;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 1540-1540
INDEXED IN: WOS
WOS4016
TITLE: Coordinating towards a Common Good
AUTHORS: Francisco C Santos ; Jorge M Pacheco; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2010
AUTHORS: Francisco C Santos ; Jorge M Pacheco; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2010
4017
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTHORS: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 195-207
AUTHORS: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 195-207
4018
TITLE: Creating Individual Agents through Personality Traits
AUTHORS: Tiago Doce; Joao Dias; Rui Prada ; Ana Paiva ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Intelligent Virtual Agents (IVA) in INTELLIGENT VIRTUAL AGENTS, IVA 2010, VOLUME: 6356, PAGES: 257-264
AUTHORS: Tiago Doce; Joao Dias; Rui Prada ; Ana Paiva ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Intelligent Virtual Agents (IVA) in INTELLIGENT VIRTUAL AGENTS, IVA 2010, VOLUME: 6356, PAGES: 257-264
4019
TITLE: CRM-OO-VM: a checkpointing-enabled Java VM for efficient and reliable e-science applications in grids
AUTHORS: Tiago Garrochinho; Luís Veiga ;
PUBLISHED: 2010, SOURCE: Proceedings of the 8th International Workshop on Middleware for Grids, Clouds and e-Science, MCG 2010, Bangalore, India, November 29 - December 3, 2010, PAGES: 1
AUTHORS: Tiago Garrochinho; Luís Veiga ;
PUBLISHED: 2010, SOURCE: Proceedings of the 8th International Workshop on Middleware for Grids, Clouds and e-Science, MCG 2010, Bangalore, India, November 29 - December 3, 2010, PAGES: 1
INDEXED IN: Scopus DBLP
Scopus DBLP4020
TITLE: Cu CMP edge uniformity improvement studies for 32 nm technology node and beyond
AUTHORS: Zhang, JH; Economikos, L; Tseng, WT; Choi, J; Fang, Q; Tang, TJ; Salfelder, J; Truong, C; Ferreira, P ;
PUBLISHED: 2010, SOURCE: 2010 MRS Spring Meeting in Materials Research Society Symposium Proceedings, VOLUME: 1249, PAGES: 21-26
AUTHORS: Zhang, JH; Economikos, L; Tseng, WT; Choi, J; Fang, Q; Tang, TJ; Salfelder, J; Truong, C; Ferreira, P ;
PUBLISHED: 2010, SOURCE: 2010 MRS Spring Meeting in Materials Research Society Symposium Proceedings, VOLUME: 1249, PAGES: 21-26
INDEXED IN: Scopus
Scopus