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: 6820
112 Team MembersFilters -> Year: 2024
5261
TITLE: Topological constraints in the evolution of idiotypic networks
AUTHORS: Hart, E; Santos, F ; Bersini, H;
PUBLISHED: 2007, SOURCE: 6th International Conference on Artificial Immune Systems, ICARIS 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4628 LNCS, PAGES: 252-263
AUTHORS: Hart, E; Santos, F ; Bersini, H;
PUBLISHED: 2007, SOURCE: 6th International Conference on Artificial Immune Systems, ICARIS 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4628 LNCS, PAGES: 252-263
INDEXED IN: 
Scopus
Scopus5262
TITLE: Towards creative visual expression in virtual humans
AUTHORS: De Melo, C; Paiva, A ;
PUBLISHED: 2007, SOURCE: 4th International Joint Workshop on Computational Creativity, IJWCC 2007 in Proceedings of the 4th International Joint Workshop on Computational Creativity, PAGES: 148
AUTHORS: De Melo, C; Paiva, A ;
PUBLISHED: 2007, SOURCE: 4th International Joint Workshop on Computational Creativity, IJWCC 2007 in Proceedings of the 4th International Joint Workshop on Computational Creativity, PAGES: 148
INDEXED IN: Scopus
Scopus5263
TITLE: Towards equivalence checking between TLM and RTL models
AUTHORS: Bombieri, N; Fummi, F; Pravadelli, G; Marques Silva, J ;
PUBLISHED: 2007, SOURCE: 5th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'07 in MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, PAGES: 113-+
AUTHORS: Bombieri, N; Fummi, F; Pravadelli, G; Marques Silva, J ;
PUBLISHED: 2007, SOURCE: 5th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'07 in MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, PAGES: 113-+
5264
TITLE: Towards robust CNF encodings of cardinality constraints
AUTHORS: Marques Silva, J ; Lynce, I ;
PUBLISHED: 2007, SOURCE: 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, VOLUME: 4741, PAGES: 483-+
AUTHORS: Marques Silva, J ; Lynce, I ;
PUBLISHED: 2007, SOURCE: 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, VOLUME: 4741, PAGES: 483-+
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP5265
TITLE: Towards semantics-based ontology similarity
AUTHORS: Araujo, R; Pinto, HS ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Ontology Matching, OM-2007 - Collocated with the 6th International Semantic Web Conference, ISWC-2007 and the 2nd Asian Semantic Web Conference, ASWC-2007 in CEUR Workshop Proceedings, VOLUME: 304
AUTHORS: Araujo, R; Pinto, HS ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Ontology Matching, OM-2007 - Collocated with the 6th International Semantic Web Conference, ISWC-2007 and the 2nd Asian Semantic Web Conference, ASWC-2007 in CEUR Workshop Proceedings, VOLUME: 304
INDEXED IN: Scopus
Scopus5266
TITLE: Two-input fuzzy TPE systems Full Text
AUTHORS: Joao P Carvalho ; Jose Tome; Daniel Chang Yan;
PUBLISHED: 2007, SOURCE: IFSA 2007 World Congress in ANALYSIS AND DESIGN OF INTELLIGENT SYSTEMS USING SOFT COMPUTING TECHNIQUES, VOLUME: 41, PAGES: 539-548
AUTHORS: Joao P Carvalho ; Jose Tome; Daniel Chang Yan;
PUBLISHED: 2007, SOURCE: IFSA 2007 World Congress in ANALYSIS AND DESIGN OF INTELLIGENT SYSTEMS USING SOFT COMPUTING TECHNIQUES, VOLUME: 41, PAGES: 539-548
5267
TITLE: Unsupervised neural-network-based algorithm for an on-line diagnosis of three-phase induction motor stator fault Full Text
AUTHORS: Martins, JF ; Fernao F Pires ; Pires, AJ ;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 54, ISSUE: 1, PAGES: 259-264
AUTHORS: Martins, JF ; Fernao F Pires ; Pires, AJ ;
PUBLISHED: 2007, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 54, ISSUE: 1, PAGES: 259-264
5268
TITLE: Using autobiographic information to retrieve real and electronic documents
AUTHORS: Daniel Goncalves ; Tiago Guerreiro ; Renata Marin; Joaquim A Jorge ;
PUBLISHED: 2007, SOURCE: Symposium on Human Interface held at the HCI International 2007 in HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: METHODS, TECHNIQUES AND TOOLS IN INFORMATION DESIGN, PT 1, PROCEEDINGS, VOLUME: 4557, ISSUE: PART 1, PAGES: 427-436
AUTHORS: Daniel Goncalves ; Tiago Guerreiro ; Renata Marin; Joaquim A Jorge ;
PUBLISHED: 2007, SOURCE: Symposium on Human Interface held at the HCI International 2007 in HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: METHODS, TECHNIQUES AND TOOLS IN INFORMATION DESIGN, PT 1, PROCEEDINGS, VOLUME: 4557, ISSUE: PART 1, PAGES: 427-436
INDEXED IN: Scopus WOS
Scopus WOS5269
TITLE: Vector-field consistency for ad-hoc gaming
AUTHORS: Nuno Santos; Luis Veiga ; Paulo Ferreira ;
PUBLISHED: 2007, SOURCE: 8th International Middleware Conference in MIDDLEWARE 2007, PROCEEDINGS, VOLUME: 4834, PAGES: 80-100
AUTHORS: Nuno Santos; Luis Veiga ; Paulo Ferreira ;
PUBLISHED: 2007, SOURCE: 8th International Middleware Conference in MIDDLEWARE 2007, PROCEEDINGS, VOLUME: 4834, PAGES: 80-100
5270
TITLE: Verme: Worm Containment in Peer-to-Peer Overlays PDF
AUTHORS: Filipe Freitas; Rodrigo Rodrigues ; Carlos Ribeiro; Paulo Ferreira ; Luís Rodrigues ;
PUBLISHED: 2007, SOURCE: 6th International workshop on Peer-To-Peer Systems, IPTPS 2007, Bellevue, WA, USA, February 26-27, 2007
AUTHORS: Filipe Freitas; Rodrigo Rodrigues ; Carlos Ribeiro; Paulo Ferreira ; Luís Rodrigues ;
PUBLISHED: 2007, SOURCE: 6th International workshop on Peer-To-Peer Systems, IPTPS 2007, Bellevue, WA, USA, February 26-27, 2007
INDEXED IN: DBLP
DBLP5271
TITLE: Version Vector weighted voting protocol: efficient and fault-tolerant commitment for weakly connected replicas Full Text
AUTHORS: Joao Barreto ; Paulo Ferreira ;
PUBLISHED: 2007, SOURCE: EuroPar 2005 Conference in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 19, ISSUE: 17, PAGES: 2271-2283
AUTHORS: Joao Barreto ; Paulo Ferreira ;
PUBLISHED: 2007, SOURCE: EuroPar 2005 Conference in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 19, ISSUE: 17, PAGES: 2271-2283
5272
TITLE: Virtual private network to spanning tree mapping
AUTHORS: Yannick Brehon; Daniel Kofman; Augusto Casaca ;
PUBLISHED: 2007, SOURCE: 6th International IFIP-TC 6 Networking Conference in NETWORKING 2007: Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet, Proceedings, VOLUME: 4479, PAGES: 703-713
AUTHORS: Yannick Brehon; Daniel Kofman; Augusto Casaca ;
PUBLISHED: 2007, SOURCE: 6th International IFIP-TC 6 Networking Conference in NETWORKING 2007: Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet, Proceedings, VOLUME: 4479, PAGES: 703-713
INDEXED IN: Scopus WOS
Scopus WOS5273
TITLE: Vocabulary Selection for a Broadcast News Transcription System using a Morpho-syntatic Approach
AUTHORS: Ciro Martins; Antonio Teixeira ; Joao Neto ;
PUBLISHED: 2007, SOURCE: Interspeech Conference 2007 in INTERSPEECH 2007: 8TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION, VOLS 1-4, VOLUME: 4, PAGES: 2336-2339
AUTHORS: Ciro Martins; Antonio Teixeira ; Joao Neto ;
PUBLISHED: 2007, SOURCE: Interspeech Conference 2007 in INTERSPEECH 2007: 8TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION, VOLS 1-4, VOLUME: 4, PAGES: 2336-2339
INDEXED IN: Scopus WOS
Scopus WOS5274
TITLE: W19 - WEISE '07: 1st International Workshop on Enterprise Information Systems Engineering
AUTHORS: Tribolet, J ; Winter, R; Ferreira, D; Caetano, A; Schaad, A; Silva, AR ; List, B; Korherr, B; Aveiro, D ; Verner, J; Cox, K; Carrico, L ; Zacarias, M ; Miguel Mira da Silva; Antunes, P; Sousa, P; Jung, R; Magalhaes, R; Leist, S; Strahringer, S; ...More
PUBLISHED: 2007, SOURCE: DEXA 2007 18th International Workshop on Database and Expert Systems Applications in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 825-826
AUTHORS: Tribolet, J ; Winter, R; Ferreira, D; Caetano, A; Schaad, A; Silva, AR ; List, B; Korherr, B; Aveiro, D ; Verner, J; Cox, K; Carrico, L ; Zacarias, M ; Miguel Mira da Silva; Antunes, P; Sousa, P; Jung, R; Magalhaes, R; Leist, S; Strahringer, S; ...More
PUBLISHED: 2007, SOURCE: DEXA 2007 18th International Workshop on Database and Expert Systems Applications in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 825-826
INDEXED IN: Scopus
Scopus5275
TITLE: When 3f+1 is not enough: Tradeoffs for decentralized asynchronous Byzantine consensus
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Henrique Moniz ; Nunc Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 21st International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4731, PAGES: 480-481
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Henrique Moniz ; Nunc Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 21st International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4731, PAGES: 480-481
5276
TITLE: Worm-IT - A wormhole-based intrusion-tolerant group communication system Full Text
AUTHORS: Miguel Correia ; Nuno Ferreira Neves ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, ISSUE: 2, PAGES: 178-197
AUTHORS: Miguel Correia ; Nuno Ferreira Neves ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, ISSUE: 2, PAGES: 178-197
5277
TITLE: XIS-UML Profile for eXtreme Modeling Interactive Systems
AUTHORS: Alberto Rodrigues da Silva ; João de Sousa Saraiva ; Rui Silva; Carlos Martins;
PUBLISHED: 2007, SOURCE: 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007 in Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, PAGES: 55-66
AUTHORS: Alberto Rodrigues da Silva ; João de Sousa Saraiva ; Rui Silva; Carlos Martins;
PUBLISHED: 2007, SOURCE: 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007 in Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, PAGES: 55-66
5278
TITLE: A 5-GHz combined oscillator/mixer
AUTHORS: Van Den Bos, C; Oliveira, LB ; Fernandes, JR ; Verhoeven, CJM;
PUBLISHED: 2006, SOURCE: ISCAS 2006: 2006 IEEE International Symposium on Circuits and Systems in Proceedings - IEEE International Symposium on Circuits and Systems, PAGES: 85-88
AUTHORS: Van Den Bos, C; Oliveira, LB ; Fernandes, JR ; Verhoeven, CJM;
PUBLISHED: 2006, SOURCE: ISCAS 2006: 2006 IEEE International Symposium on Circuits and Systems in Proceedings - IEEE International Symposium on Circuits and Systems, PAGES: 85-88
INDEXED IN: Scopus
Scopus5279
TITLE: A Calligraphic Interface for Managing Agents
AUTHORS: Alfredo Ferreira ; Marco Vala; Madeiras Pereira, JAM ; Joaquim A Jorge ; Ana Paiva ;
PUBLISHED: 2006, SOURCE: 14th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2006: SHORT PAPERS PROCEEDINGS: 14TH INTERNATIONAL CONFERENCE IN CENTRAL EUROPE ON COMPUTER GRAPHICS, VISUALIZATION AND COMPUTER VISION 2006, PAGES: 25-31
AUTHORS: Alfredo Ferreira ; Marco Vala; Madeiras Pereira, JAM ; Joaquim A Jorge ; Ana Paiva ;
PUBLISHED: 2006, SOURCE: 14th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2006: SHORT PAPERS PROCEEDINGS: 14TH INTERNATIONAL CONFERENCE IN CENTRAL EUROPE ON COMPUTER GRAPHICS, VISUALIZATION AND COMPUTER VISION 2006, PAGES: 25-31
INDEXED IN: Scopus WOS
Scopus WOS5280
TITLE: A case study applying process and project alignment methodology
AUTHORS: Martins, PV; da Silva, AR ;
PUBLISHED: 2006, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 12, ISSUE: 3, PAGES: 65-82
AUTHORS: Martins, PV; da Silva, AR ;
PUBLISHED: 2006, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 12, ISSUE: 3, PAGES: 65-82
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef