Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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: 19998
1706 Team MembersFilters -> Year: 2025
19301
TITLE: On-line dynamic security assessment based on Kernel regression trees
AUTHORS: Lopes, JAP ; Vasconcelos, MH ;
PUBLISHED: 2000, SOURCE: 2000 Winter Meeting of the IEEE Power Engineering-Society in 2000 IEEE POWER ENGINEERING SOCIETY WINTER MEETING - VOLS 1-4, CONFERENCE PROCEEDINGS, VOLUME: 2, PAGES: 1075-1080
AUTHORS: Lopes, JAP ; Vasconcelos, MH ;
PUBLISHED: 2000, SOURCE: 2000 Winter Meeting of the IEEE Power Engineering-Society in 2000 IEEE POWER ENGINEERING SOCIETY WINTER MEETING - VOLS 1-4, CONFERENCE PROCEEDINGS, VOLUME: 2, PAGES: 1075-1080
19302
TITLE: Operation and control of island systems - The Crete case
AUTHORS: Hatziargyriou, N; Contaxis, G; Papadopoulos, M; Papadias, B; Matos, MA ; Peças Lopes, JA; Nogaret, E; Kariniotakis, G; Halliday, J; Dutton, G; Dokopoulos, P; Bakirtzis, A; Androutsos, A; Stefanakis, J; Gigantidou, ABA;
PUBLISHED: 2000, SOURCE: IEEE Power Engineering Society Winter Meeting, 2000 in 2000 IEEE Power Engineering Society, Conference Proceedings, VOLUME: 2, PAGES: 1053-1056
AUTHORS: Hatziargyriou, N; Contaxis, G; Papadopoulos, M; Papadias, B; Matos, MA ; Peças Lopes, JA; Nogaret, E; Kariniotakis, G; Halliday, J; Dutton, G; Dokopoulos, P; Bakirtzis, A; Androutsos, A; Stefanakis, J; Gigantidou, ABA;
PUBLISHED: 2000, SOURCE: IEEE Power Engineering Society Winter Meeting, 2000 in 2000 IEEE Power Engineering Society, Conference Proceedings, VOLUME: 2, PAGES: 1053-1056
19303
TITLE: Optical spatial shock waves in photorefractive media
AUTHORS: Carvalho, MI ; Grandpierre, AG; Christodoulides, DN; Segev, M;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW E, VOLUME: 62, ISSUE: 6, PAGES: 8657-8662
AUTHORS: Carvalho, MI ; Grandpierre, AG; Christodoulides, DN; Segev, M;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW E, VOLUME: 62, ISSUE: 6, PAGES: 8657-8662
19304
TITLE: Or-parallel Prolog on a distributed memory architecture Full Text
AUTHORS: Silva, F ; Watson, P;
PUBLISHED: 2000, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 43, ISSUE: 2, PAGES: 173-186
AUTHORS: Silva, F ; Watson, P;
PUBLISHED: 2000, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 43, ISSUE: 2, PAGES: 173-186
19305
TITLE: Order planning for networked make-to-order enterprises - a case study
AUTHORS: Azevedo, AL ; Sousa, JP ;
PUBLISHED: 2000, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 51, ISSUE: 10, PAGES: 1116-1127
AUTHORS: Azevedo, AL ; Sousa, JP ;
PUBLISHED: 2000, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 51, ISSUE: 10, PAGES: 1116-1127
19306
TITLE: PADL '00: Workshop on Practical Aspects of Declarative Languages
AUTHORS: Enrico Pontelli; Vítor Santos Costa ;
PUBLISHED: 2000, SOURCE: SIGPLAN Notices, VOLUME: 35, ISSUE: 3, PAGES: 16-17
AUTHORS: Enrico Pontelli; Vítor Santos Costa ;
PUBLISHED: 2000, SOURCE: SIGPLAN Notices, VOLUME: 35, ISSUE: 3, PAGES: 16-17
19307
TITLE: Panasync: dependency tracking among file copies. dependency tracking among file copies
AUTHORS: Paulo Sérgio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2000, SOURCE: Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, PAGES: 7-12
AUTHORS: Paulo Sérgio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2000, SOURCE: Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, PAGES: 7-12
19309
TITLE: Performance analysis of a time-division-multiplexed fiber Bragg grating sensor array by use of a tunable laser source Full Text
AUTHORS: Misas, CJ; Araujo, FMM; Ferreira, LA; Santos, JL ; Lopez Higuera, JM;
PUBLISHED: 2000, SOURCE: IEEE Journal on Selected Topics in Quantum Electronics, VOLUME: 6, ISSUE: 5, PAGES: 741-749
AUTHORS: Misas, CJ; Araujo, FMM; Ferreira, LA; Santos, JL ; Lopez Higuera, JM;
PUBLISHED: 2000, SOURCE: IEEE Journal on Selected Topics in Quantum Electronics, VOLUME: 6, ISSUE: 5, PAGES: 741-749
19310
TITLE: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings
AUTHORS: Enrico Pontelli; Vítor Santos Costa ;
PUBLISHED: 2000, SOURCE: PADL, VOLUME: 1753
AUTHORS: Enrico Pontelli; Vítor Santos Costa ;
PUBLISHED: 2000, SOURCE: PADL, VOLUME: 1753
INDEXED IN: 
DBLP
DBLP19311
TITLE: Preface
AUTHORS: Backhouse, R; Oliveira, JN ;
PUBLISHED: 2000, SOURCE: 5th International Conference on Mathematics of Program Construction, MPC 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1837
AUTHORS: Backhouse, R; Oliveira, JN ;
PUBLISHED: 2000, SOURCE: 5th International Conference on Mathematics of Program Construction, MPC 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1837
INDEXED IN: 
Scopus
Scopus19312
TITLE: Programming atomic multicast in CAN
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ; Luis Lino Ferreira ;
PUBLISHED: 2000, SOURCE: 10th International Real-Time Ada Workshop, IRTAW 2000 in Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000, VOLUME: 21, PAGES: 79-84
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ; Luis Lino Ferreira ;
PUBLISHED: 2000, SOURCE: 10th International Real-Time Ada Workshop, IRTAW 2000 in Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000, VOLUME: 21, PAGES: 79-84
19313
TITLE: Progression monitoring of the flow front in RTM process using fibre Bragg grating sensors
AUTHORS: Novo, C; Frazao, O ; Costa, AN; Vieira, A ; Correia, N ; Dias, I ; Araujo, FM; Marques, AT ;
PUBLISHED: 2000, SOURCE: 14th International Conference on Optical Fiber Sensors in 14TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 4185, PAGES: 808-811
AUTHORS: Novo, C; Frazao, O ; Costa, AN; Vieira, A ; Correia, N ; Dias, I ; Araujo, FM; Marques, AT ;
PUBLISHED: 2000, SOURCE: 14th International Conference on Optical Fiber Sensors in 14TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 4185, PAGES: 808-811
INDEXED IN: Scopus 
WOS
Scopus WOS19314
TITLE: Qualitative signals of new physics in B-B mixing
AUTHORS: Silva, JP ; Wolfenstein, L;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW D, VOLUME: 62, ISSUE: 1
AUTHORS: Silva, JP ; Wolfenstein, L;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW D, VOLUME: 62, ISSUE: 1
19315
TITLE: Quantum theory of time refraction
AUTHORS: Mendonca, JT ; Guerreiro, A ; Martins, AM;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW A, VOLUME: 62, ISSUE: 3, PAGES: 4
AUTHORS: Mendonca, JT ; Guerreiro, A ; Martins, AM;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW A, VOLUME: 62, ISSUE: 3, PAGES: 4
19316
TITLE: Query operations for moving objects database systems
AUTHORS: Moreira, J ; Ribeiro, C ; Abdessalem, T;
PUBLISHED: 2000, SOURCE: 8th ACM Workshop on Advances in Geographic Information Systems in Proceedings of the ACM Workshop on Advances in Geographic Information Systems, PAGES: 108-114
AUTHORS: Moreira, J ; Ribeiro, C ; Abdessalem, T;
PUBLISHED: 2000, SOURCE: 8th ACM Workshop on Advances in Geographic Information Systems in Proceedings of the ACM Workshop on Advances in Geographic Information Systems, PAGES: 108-114
19317
TITLE: Reflections on the users involvement in the development of an information system for team centred quality management
AUTHORS: Soares, A ; Schmidt, C; Gaida, W;
PUBLISHED: 2000, SOURCE: 7th IFAC Symposium on Automated Systems Based on Human Skill in AUTOMATED SYSTEMS BASED ON HUMAN SKILL 2000: JOINT DESIGN OF TECHNOLOGY AND ORGANISATION, PAGES: 79-82
AUTHORS: Soares, A ; Schmidt, C; Gaida, W;
PUBLISHED: 2000, SOURCE: 7th IFAC Symposium on Automated Systems Based on Human Skill in AUTOMATED SYSTEMS BASED ON HUMAN SKILL 2000: JOINT DESIGN OF TECHNOLOGY AND ORGANISATION, PAGES: 79-82
INDEXED IN: WOS
WOS19318
TITLE: Representational Reasoning and Verification Full Text
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4, PAGES: 260-277
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4, PAGES: 260-277
19319
TITLE: Self-referenced fibre optic intensity sensor based on a multiple beam Sagnac topology Full Text
AUTHORS: Baptista, JM ; Santos, JL ; Lage, AS;
PUBLISHED: 2000, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 181, ISSUE: 4-6, PAGES: 287-294
AUTHORS: Baptista, JM ; Santos, JL ; Lage, AS;
PUBLISHED: 2000, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 181, ISSUE: 4-6, PAGES: 287-294
19320
TITLE: Semantically reliable multicast protocols Full Text
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2000, SOURCE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PAGES: 60-69
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2000, SOURCE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PAGES: 60-69
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP