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: 6819
112 Team MembersFilters -> Year: 2024
6041
TITLE: Software development guided by models: The XIS UML profile
AUTHORS: Luz, M; Da Silva, AR ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 3, PAGES: 370-381
AUTHORS: Luz, M; Da Silva, AR ;
PUBLISHED: 2003, SOURCE: 5th International Conference on Enterprise Information Systems, ICEIS 2003 in ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems, VOLUME: 3, PAGES: 370-381
INDEXED IN: 
Scopus
Scopus6042
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
6043
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
DBLP6044
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
Scopus6045
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
DBLP6046
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 WOS6047
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
6048
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 WOS6049
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 DBLP6050
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
6051
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
6052
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
6053
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 WOS6055
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 WOS6056
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
6057
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
Scopus6058
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
6059
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
6060
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
