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: 6818
112 Team MembersFilters -> Year: 2024
6041
TITLE: Solving satisfiability in combinational circuits Full Text
AUTHORS: Marques Silva, J ; Silva, LGE ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 4, PAGES: 16-21
AUTHORS: Marques Silva, J ; Silva, LGE ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 4, PAGES: 16-21
6042
TITLE: String Processing and Information Retrieval, 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings
AUTHORS: Mario A Nascimento; Edleno Silva de Moura; Arlindo L Oliveira ;
PUBLISHED: 2003, SOURCE: SPIRE, VOLUME: 2857
AUTHORS: Mario A Nascimento; Edleno Silva de Moura; Arlindo L Oliveira ;
PUBLISHED: 2003, SOURCE: SPIRE, VOLUME: 2857
INDEXED IN: 
DBLP
DBLP6043
TITLE: Supporting evolution in workflow definition languages
AUTHORS: Fernandes, SM; Cachopo, J ; Silva, AR ;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2932, PAGES: 208-217
AUTHORS: Fernandes, SM; Cachopo, J ; Silva, AR ;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2932, PAGES: 208-217
INDEXED IN: 
Scopus
Scopus6044
TITLE: Symbolic Solution of Kepler's Generalized Equation
AUTHORS: Juan Félix San Juan; Alberto Abad ;
PUBLISHED: 2003, SOURCE: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, VOLUME: 2657, PAGES: 858-868
AUTHORS: Juan Félix San Juan; Alberto Abad ;
PUBLISHED: 2003, SOURCE: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, VOLUME: 2657, PAGES: 858-868
INDEXED IN: DBLP
DBLP6045
TITLE: Synthetic emotension building believability
AUTHORS: Martinho, C ; Gomes, M; Paiva, A ;
PUBLISHED: 2003, SOURCE: 4th International Workshop on Intelligent Virtual Agents in INTELLIGENT VIRTUAL AGENTS, VOLUME: 2792, PAGES: 57-61
AUTHORS: Martinho, C ; Gomes, M; Paiva, A ;
PUBLISHED: 2003, SOURCE: 4th International Workshop on Intelligent Virtual Agents in INTELLIGENT VIRTUAL AGENTS, VOLUME: 2792, PAGES: 57-61
INDEXED IN: Scopus 
WOS
Scopus WOS6046
TITLE: Technical feasibility assessment of oleic sunflower methyl ester utilisation in Diesel bus engines Full Text
AUTHORS: da Silva, FN ; Prata, AS; Teixeira, JR;
PUBLISHED: 2003, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 44, ISSUE: 18, PAGES: 2857-2878
AUTHORS: da Silva, FN ; Prata, AS; Teixeira, JR;
PUBLISHED: 2003, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 44, ISSUE: 18, PAGES: 2857-2878
6047
TITLE: Tell me that bit again... Bringing interactivity to a virtual storyteller
AUTHORS: Silva, A; Raimundo, G; Paiva, A ;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Virtual Storytelling in VIRTUAL STORYTELLING, PROCEEDINGS: USING VIRTUAL REALITY TECHNOLOGIES FOR STORYTELLING, VOLUME: 2897, PAGES: 146-154
AUTHORS: Silva, A; Raimundo, G; Paiva, A ;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Virtual Storytelling in VIRTUAL STORYTELLING, PROCEEDINGS: USING VIRTUAL REALITY TECHNOLOGIES FOR STORYTELLING, VOLUME: 2897, PAGES: 146-154
INDEXED IN: Scopus WOS
Scopus WOS6048
TITLE: The effect of nogood recording in DPLL-CBJ SAT algorithms Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2003, SOURCE: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming in RECENT ADVANCES IN CONSTRAINTS, VOLUME: 2627, PAGES: 144-158
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2003, SOURCE: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming in RECENT ADVANCES IN CONSTRAINTS, VOLUME: 2627, PAGES: 144-158
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP6049
TITLE: The road to a more configurable and adaptive communication and coordination support
AUTHORS: Rodrigues, L ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Workshop on Future Trends of Distributed Computing Systems in NINTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, VOLUME: 2003-January, PAGES: 16-22
AUTHORS: Rodrigues, L ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Workshop on Future Trends of Distributed Computing Systems in NINTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, VOLUME: 2003-January, PAGES: 16-22
6050
TITLE: The transformer thermal loss of life: Part 1 - Improved deterministic approach for thermal and ageing models Full Text
AUTHORS: Resende, MJ ; Pierrat, L; Santana, J ;
PUBLISHED: 2003, SOURCE: EUROPEAN TRANSACTIONS ON ELECTRICAL POWER, VOLUME: 13, ISSUE: 4, PAGES: 259-265
AUTHORS: Resende, MJ ; Pierrat, L; Santana, J ;
PUBLISHED: 2003, SOURCE: EUROPEAN TRANSACTIONS ON ELECTRICAL POWER, VOLUME: 13, ISSUE: 4, PAGES: 259-265
6051
TITLE: The XIS approach and principles Full Text
AUTHORS: da Silva, AR ;
PUBLISHED: 2003, SOURCE: 29th EUROMICRO Conference in PROCEEDINGS OF THE 29TH EUROMICRO CONFERENCE: NEW WAVES IN SYSTEM ARCHITECTURE, PAGES: 33-40
AUTHORS: da Silva, AR ;
PUBLISHED: 2003, SOURCE: 29th EUROMICRO Conference in PROCEEDINGS OF THE 29TH EUROMICRO CONFERENCE: NEW WAVES IN SYSTEM ARCHITECTURE, PAGES: 33-40
6052
TITLE: The XIS generative programming techniques
AUTHORS: da Silva, AR ; Lemos, G; Matias, T; Costa, M;
PUBLISHED: 2003, SOURCE: 27th Annual International Computer Software and Applications Conference in 27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, PAGES: 236-241
AUTHORS: da Silva, AR ; Lemos, G; Matias, T; Costa, M;
PUBLISHED: 2003, SOURCE: 27th Annual International Computer Software and Applications Conference in 27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, PAGES: 236-241
INDEXED IN: Scopus WOS
Scopus WOS6054
TITLE: Topic indexing of TV broadcast news programs
AUTHORS: Amaral, R; Trancoso, I ;
PUBLISHED: 2003, SOURCE: 6th International Workshop on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANAGUAGE, PROCEEDINGS, VOLUME: 2721, PAGES: 219-226
AUTHORS: Amaral, R; Trancoso, I ;
PUBLISHED: 2003, SOURCE: 6th International Workshop on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANAGUAGE, PROCEEDINGS, VOLUME: 2721, PAGES: 219-226
INDEXED IN: Scopus WOS
Scopus WOS6055
TITLE: Towards content-based retrieval of technical drawings through high-dimensional indexing Full Text
AUTHORS: Fonseca, MJ ; Jorge, JA ;
PUBLISHED: 2003, SOURCE: 1st Ibero-American Symposium in Computer Graphics (SIACG 2002) in COMPUTERS & GRAPHICS-UK, VOLUME: 27, ISSUE: 1, PAGES: 61-69
AUTHORS: Fonseca, MJ ; Jorge, JA ;
PUBLISHED: 2003, SOURCE: 1st Ibero-American Symposium in Computer Graphics (SIACG 2002) in COMPUTERS & GRAPHICS-UK, VOLUME: 27, ISSUE: 1, PAGES: 61-69
6056
TITLE: Towards tangibility in gameplay: Building a tangible affective interface for a computer game
AUTHORS: Paiva, A ; Prada, R ; Chaves, R ; Vala, M; Bullock, A; Andersson, G; Hook, K;
PUBLISHED: 2003, SOURCE: ICMI'03: Fifth International Conference on Multimodal Interfaces in ICMI'03: Fifth International Conference on Multimodal Interfaces, PAGES: 60-67
AUTHORS: Paiva, A ; Prada, R ; Chaves, R ; Vala, M; Bullock, A; Andersson, G; Hook, K;
PUBLISHED: 2003, SOURCE: ICMI'03: Fifth International Conference on Multimodal Interfaces in ICMI'03: Fifth International Conference on Multimodal Interfaces, PAGES: 60-67
INDEXED IN: Scopus
Scopus6057
TITLE: Usability evaluation of tangible user interfaces for augmented reality
AUTHORS: Dias, M; Jorge, J ; Carvalho, J; Santos, P; Luzio, J;
PUBLISHED: 2003, SOURCE: 2nd IEEE International Augmented Reality Toolkit Workshop in IEEE INTERNATIONAL AUGMENTED REALITY TOOLKIT WORKSHOP, PAGES: 54-61
AUTHORS: Dias, M; Jorge, J ; Carvalho, J; Santos, P; Luzio, J;
PUBLISHED: 2003, SOURCE: 2nd IEEE International Augmented Reality Toolkit Workshop in IEEE INTERNATIONAL AUGMENTED REALITY TOOLKIT WORKSHOP, PAGES: 54-61
6058
TITLE: User Modelling and User-Adapted Interaction: Editorial Full Text
AUTHORS: Andre, E; Paiva, A ;
PUBLISHED: 2003, SOURCE: User Modelling and User-Adapted Interaction, VOLUME: 13, ISSUE: 1-2, PAGES: 1-3
AUTHORS: Andre, E; Paiva, A ;
PUBLISHED: 2003, SOURCE: User Modelling and User-Adapted Interaction, VOLUME: 13, ISSUE: 1-2, PAGES: 1-3
6059
TITLE: Using dialogues to access semantic knowledge in a web IR system
AUTHORS: Quaresma, P ; Rodrigues, I ;
PUBLISHED: 2003, SOURCE: 6th International Workshop on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANAGUAGE, PROCEEDINGS, VOLUME: 2721, PAGES: 201-205
AUTHORS: Quaresma, P ; Rodrigues, I ;
PUBLISHED: 2003, SOURCE: 6th International Workshop on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANAGUAGE, PROCEEDINGS, VOLUME: 2721, PAGES: 201-205
6060
TITLE: Using dynamic logic programming to model legal reasoning
AUTHORS: Graca, N; Paulo Quaresma ;
PUBLISHED: 2003, SOURCE: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, PAGES: 217-225
AUTHORS: Graca, N; Paulo Quaresma ;
PUBLISHED: 2003, SOURCE: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, PAGES: 217-225
INDEXED IN: DBLP
DBLP