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
6301
TITLE: Boolean satisfiability in Electronic Design Automation Full Text
AUTHORS: Marques Silva, JP ; Sakallah, KA;
PUBLISHED: 2000, SOURCE: 37th Annual Design Automation Conference (DAC) in 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, PAGES: 675-680
AUTHORS: Marques Silva, JP ; Sakallah, KA;
PUBLISHED: 2000, SOURCE: 37th Annual Design Automation Conference (DAC) in 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, PAGES: 675-680
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP6302
TITLE: Bringing drama into a virtual stage
AUTHORS: Machado, I; Prada, R ; Paiva, A ;
PUBLISHED: 2000, SOURCE: Proceedings of the Third International Conference on Collaborative Virtual Environments (CVE 2000) in Proceedings of the Third International Conference on Collaborative Virtual Environments, PAGES: 111-117
AUTHORS: Machado, I; Prada, R ; Paiva, A ;
PUBLISHED: 2000, SOURCE: Proceedings of the Third International Conference on Collaborative Virtual Environments (CVE 2000) in Proceedings of the Third International Conference on Collaborative Virtual Environments, PAGES: 111-117
INDEXED IN: Scopus
Scopus6303
TITLE: Building a digital library of web news
AUTHORS: Maria, N; Silva, MJ ;
PUBLISHED: 2000, SOURCE: 4th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2000) in RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, PROCEEDINGS, VOLUME: 1923, PAGES: 344-347
AUTHORS: Maria, N; Silva, MJ ;
PUBLISHED: 2000, SOURCE: 4th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2000) in RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, PROCEEDINGS, VOLUME: 1923, PAGES: 344-347
INDEXED IN: Scopus WOS
Scopus WOS6304
TITLE: Calligraphic interfaces: towards a new generation of interactive systems - Guest editors' introduction Full Text
AUTHORS: Jorge, J ; Glinert, EP;
PUBLISHED: 2000, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 24, ISSUE: 6, PAGES: 817-818
AUTHORS: Jorge, J ; Glinert, EP;
PUBLISHED: 2000, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 24, ISSUE: 6, PAGES: 817-818
INDEXED IN: WOS
WOS6305
TITLE: Coil by coil optimization algorithm for the design of a nuclear magnetic resonance fast field cycling air cored magnet
AUTHORS: Sousa, DM ; Marques, GD ;
PUBLISHED: 2000, SOURCE: 2000 IEEE International Magnetics Conference-2000 IEEE INTERMAG in Digests of the Intermag Conference
AUTHORS: Sousa, DM ; Marques, GD ;
PUBLISHED: 2000, SOURCE: 2000 IEEE International Magnetics Conference-2000 IEEE INTERMAG in Digests of the Intermag Conference
INDEXED IN: Scopus
Scopus6306
TITLE: Communication over electric power lines [Comunicacion sobre lineas de suministro de energia]
AUTHORS: Ortigueira, MD ; Gerald, JAB ; Inacio, JAL;
PUBLISHED: 2000, SOURCE: Informacion Tecnologica, VOLUME: 11, ISSUE: 6, PAGES: 181-188
AUTHORS: Ortigueira, MD ; Gerald, JAB ; Inacio, JAL;
PUBLISHED: 2000, SOURCE: Informacion Tecnologica, VOLUME: 11, ISSUE: 6, PAGES: 181-188
INDEXED IN: Scopus
Scopus6307
TITLE: Cooperative information retrieval dialogues through clustering
AUTHORS: Quaresma, P ; Rodrigues, IP ;
PUBLISHED: 2000, SOURCE: 3rd International Workshop on Text, Speech and Dialogue (TSD 2000) in TEXT, SPEECH AND DIALOGUE, PROCEEDINGS, VOLUME: 1902, PAGES: 415-420
AUTHORS: Quaresma, P ; Rodrigues, IP ;
PUBLISHED: 2000, SOURCE: 3rd International Workshop on Text, Speech and Dialogue (TSD 2000) in TEXT, SPEECH AND DIALOGUE, PROCEEDINGS, VOLUME: 1902, PAGES: 415-420
6308
TITLE: Deadline-constrained causal order
AUTHORS: Rodrigues, L ; Baldoni, R; Anceaume, E; Raynal, M;
PUBLISHED: 2000, SOURCE: 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000 in Proceedings - 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000, PAGES: 234-241
AUTHORS: Rodrigues, L ; Baldoni, R; Anceaume, E; Raynal, M;
PUBLISHED: 2000, SOURCE: 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000 in Proceedings - 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000, PAGES: 234-241
6309
TITLE: Declaratively Cleaning your Data with AJAX
AUTHORS: Helena Galhardas ; Daniela Florescu; Dennis E. Shasha; Eric Simon;
PUBLISHED: 2000, SOURCE: 16èmes Journées Bases de Données Avancées, BDA 2000, 24-27 octobre 2000, Blois, Actes (Informal Proceedings).
AUTHORS: Helena Galhardas ; Daniela Florescu; Dennis E. Shasha; Eric Simon;
PUBLISHED: 2000, SOURCE: 16èmes Journées Bases de Données Avancées, BDA 2000, 24-27 octobre 2000, Blois, Actes (Informal Proceedings).
INDEXED IN: DBLP
DBLP6310
TITLE: Detection of reference currents for active filters using the Darrieus definition of reactive power
AUTHORS: Marques, GD ;
PUBLISHED: 2000, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 2000) in PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, VOLUME: 1, PAGES: 73-77
AUTHORS: Marques, GD ;
PUBLISHED: 2000, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 2000) in PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, VOLUME: 1, PAGES: 73-77
INDEXED IN: Scopus WOS
Scopus WOS6311
TITLE: Distributed object invocation in OBIWAN
AUTHORS: Luís Veiga ; João Garcia; João M Silva; Paulo Ferreira ;
PUBLISHED: 2000, SOURCE: Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, PAGES: 247-252
AUTHORS: Luís Veiga ; João Garcia; João M Silva; Paulo Ferreira ;
PUBLISHED: 2000, SOURCE: Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, PAGES: 247-252
6312
TITLE: Distribution network expansion planning under uncertainty: A hedging algorithm in an evolutionary approach
AUTHORS: Carvalho, PMS ; Ferreira, LAFM ; Lobo, FG ; Barruncho, LMF;
PUBLISHED: 2000, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 15, ISSUE: 1, PAGES: 412-416
AUTHORS: Carvalho, PMS ; Ferreira, LAFM ; Lobo, FG ; Barruncho, LMF;
PUBLISHED: 2000, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 15, ISSUE: 1, PAGES: 412-416
6313
TITLE: Dynamic knowledge representation and its applications
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLISHED: 2000, SOURCE: 9th International Conference on Artificial Intelligence - Methodology, Systems, and Applications (AIMSA 2000) in ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, VOLUME: 1904, PAGES: 1-10
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLISHED: 2000, SOURCE: 9th International Conference on Artificial Intelligence - Methodology, Systems, and Applications (AIMSA 2000) in ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, VOLUME: 1904, PAGES: 1-10
6314
TITLE: Dynamic knowledge representation and its applications
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLISHED: 2000, SOURCE: 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1904, PAGES: 1-10
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLISHED: 2000, SOURCE: 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1904, PAGES: 1-10
INDEXED IN: Scopus
Scopus6315
TITLE: Emotions for a motion: Rapid development of believable pathematic agents in intelligent virtual environments Full Text
AUTHORS: Martinho, CA ; Paiva, AM ; Gomes, MR;
PUBLISHED: 2000, SOURCE: APPLIED ARTIFICIAL INTELLIGENCE, VOLUME: 14, ISSUE: 1, PAGES: 33-68
AUTHORS: Martinho, CA ; Paiva, AM ; Gomes, MR;
PUBLISHED: 2000, SOURCE: APPLIED ARTIFICIAL INTELLIGENCE, VOLUME: 14, ISSUE: 1, PAGES: 33-68
6316
TITLE: Experience on quality of service support by exploiting reservation in IP and ATM networks
AUTHORS: Rigolio, G; Casaca, A ; Shepherd, D; Giordano, S; Rossi, F; Edwards, C;
PUBLISHED: 2000, SOURCE: Joint IEEE ATM Workshop 2000/3rd International Conference on ATM (ICATM 2000) in ATM 2000: PROCEEDINGS OF THE IEEE CONFERENCE 2000 ON HIGH PERFORMANCE SWITCHING AND ROUTING, PAGES: 323-331
AUTHORS: Rigolio, G; Casaca, A ; Shepherd, D; Giordano, S; Rossi, F; Edwards, C;
PUBLISHED: 2000, SOURCE: Joint IEEE ATM Workshop 2000/3rd International Conference on ATM (ICATM 2000) in ATM 2000: PROCEEDINGS OF THE IEEE CONFERENCE 2000 ON HIGH PERFORMANCE SWITCHING AND ROUTING, PAGES: 323-331
6317
TITLE: Experience with the PerDiS Large-Scale Data-Sharing Middleware
AUTHORS: Marc Shapiro; Paulo Ferreira ; Nicolas Richer;
PUBLISHED: 2000, SOURCE: 9th International Workshop on Persistent Object Systems, POS 2000 in Persistent Object Systems, 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers, VOLUME: 2135, PAGES: 55-69
AUTHORS: Marc Shapiro; Paulo Ferreira ; Nicolas Richer;
PUBLISHED: 2000, SOURCE: 9th International Workshop on Persistent Object Systems, POS 2000 in Persistent Object Systems, 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers, VOLUME: 2135, PAGES: 55-69
6318
TITLE: FSM decomposition by direct circuit manipulation applied to low power design
AUTHORS: Monteiro, JC ; Oliveira, AL ;
PUBLISHED: 2000, SOURCE: 2000 Asia and South Pacific Design Automation Conference, ASP-DAC 2000 in Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, PAGES: 351-358
AUTHORS: Monteiro, JC ; Oliveira, AL ;
PUBLISHED: 2000, SOURCE: 2000 Asia and South Pacific Design Automation Conference, ASP-DAC 2000 in Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, PAGES: 351-358
6319
TITLE: General method for eliminating redundant computations in video coding
AUTHORS: Sousa, LA ;
PUBLISHED: 2000, SOURCE: ELECTRONICS LETTERS, VOLUME: 36, ISSUE: 4, PAGES: 306-307
AUTHORS: Sousa, LA ;
PUBLISHED: 2000, SOURCE: ELECTRONICS LETTERS, VOLUME: 36, ISSUE: 4, PAGES: 306-307
6320
TITLE: Grammatical Inference: Algorithms and Applications, 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000, Proceedings
AUTHORS: Arlindo L Oliveira ;
PUBLISHED: 2000, SOURCE: ICGI, VOLUME: 1891
AUTHORS: Arlindo L Oliveira ;
PUBLISHED: 2000, SOURCE: ICGI, VOLUME: 1891
INDEXED IN: DBLP
DBLP