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: 18324
1699 Team MembersFilters -> Year: 2024
17581
TITLE: Components as processes: An exercise in coalgebraic modeling
AUTHORS: Barbosa, LS ;
PUBLISHED: 2000, SOURCE: IFIP TC6/WG6 1 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, VOLUME: 49, PAGES: 397-417
AUTHORS: Barbosa, LS ;
PUBLISHED: 2000, SOURCE: IFIP TC6/WG6 1 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, VOLUME: 49, PAGES: 397-417
17582
TITLE: Cylinder packing by simulated annealing Full Text
AUTHORS: Helena H Correia; José F Oliveira; Soeiro S Ferreira ;
PUBLISHED: 2000, SOURCE: Pesquisa Operacional - Pesqui. Oper., VOLUME: 20, ISSUE: 2
AUTHORS: Helena H Correia; José F Oliveira; Soeiro S Ferreira ;
PUBLISHED: 2000, SOURCE: Pesquisa Operacional - Pesqui. Oper., VOLUME: 20, ISSUE: 2
17583
TITLE: Data driven underwater transient detection based on time-frequency distributions
AUTHORS: Oliveira, PM ; Barroso, V ;
PUBLISHED: 2000, SOURCE: MTS/IEEE Oceans Conference and Exhibition on Where Marine Science and Technology Meet in OCEANS 2000 MTS/IEEE - WHERE MARINE SCIENCE AND TECHNOLOGY MEET, VOLS 1-3, CONFERENCE PROCEEDINGS, VOLUME: 2, PAGES: 1059-1063
AUTHORS: Oliveira, PM ; Barroso, V ;
PUBLISHED: 2000, SOURCE: MTS/IEEE Oceans Conference and Exhibition on Where Marine Science and Technology Meet in OCEANS 2000 MTS/IEEE - WHERE MARINE SCIENCE AND TECHNOLOGY MEET, VOLS 1-3, CONFERENCE PROCEEDINGS, VOLUME: 2, PAGES: 1059-1063
17584
TITLE: Data mining of user navigation patterns
AUTHORS: Borges, J ; Levene, M;
PUBLISHED: 2000, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1836, PAGES: 92-112
AUTHORS: Borges, J ; Levene, M;
PUBLISHED: 2000, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1836, PAGES: 92-112
17585
TITLE: Definitions of Instantaneous Frequency under physical constraints Full Text
AUTHORS: Oliveira, PM ; Barroso, V ;
PUBLISHED: 2000, SOURCE: JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, VOLUME: 337, ISSUE: 4, PAGES: 303-316
AUTHORS: Oliveira, PM ; Barroso, V ;
PUBLISHED: 2000, SOURCE: JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, VOLUME: 337, ISSUE: 4, PAGES: 303-316
17586
TITLE: Distributed planning and control systems for the virtual enterprise: organizational requirements and development life-cycle Full Text
AUTHORS: Soares, AL ; Azevedo, AL ; de Sousa, JP ;
PUBLISHED: 2000, SOURCE: JOURNAL OF INTELLIGENT MANUFACTURING, VOLUME: 11, ISSUE: 3, PAGES: 253-270
AUTHORS: Soares, AL ; Azevedo, AL ; de Sousa, JP ;
PUBLISHED: 2000, SOURCE: JOURNAL OF INTELLIGENT MANUFACTURING, VOLUME: 11, ISSUE: 3, PAGES: 253-270
17587
TITLE: DYNAD: a Framework IVSMT project addressed to the development of dynamic test techniques for analog-to-digital converters Full Text
AUTHORS: Morandi, C; Chiorboli, G; Dallet, D; Haddadi, D; Mazzoleni, S; da Silva, JM ; Pernull, H; Roy, PY;
PUBLISHED: 2000, SOURCE: COMPUTER STANDARDS & INTERFACES, VOLUME: 22, ISSUE: 2, PAGES: 113-119
AUTHORS: Morandi, C; Chiorboli, G; Dallet, D; Haddadi, D; Mazzoleni, S; da Silva, JM ; Pernull, H; Roy, PY;
PUBLISHED: 2000, SOURCE: COMPUTER STANDARDS & INTERFACES, VOLUME: 22, ISSUE: 2, PAGES: 113-119
17588
TITLE: Enacting dynamic distributed networks - The damascos project
AUTHORS: Goletz, T; João José Pinto Ferreira ;
PUBLISHED: 2000, SOURCE: Advanced Network Enterprises, Virtual Organizations, Balanced Automation, and Systems Integration, IFIP TC5/WG5.3 Forth IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacture and Transportation, September 27-29, 2000, Berlin, Germany, VOLUME: 181, PAGES: 73-80
AUTHORS: Goletz, T; João José Pinto Ferreira ;
PUBLISHED: 2000, SOURCE: Advanced Network Enterprises, Virtual Organizations, Balanced Automation, and Systems Integration, IFIP TC5/WG5.3 Forth IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacture and Transportation, September 27-29, 2000, Berlin, Germany, VOLUME: 181, PAGES: 73-80
INDEXED IN: 
DBLP
DBLP17589
TITLE: Estimating motion flow field in image sequences using Cellular Neural Networks
AUTHORS: Rubin, S; Milanova, M; Campilho, A ;
PUBLISHED: 2000, SOURCE: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PAGES: 1165-1171
AUTHORS: Rubin, S; Milanova, M; Campilho, A ;
PUBLISHED: 2000, SOURCE: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PAGES: 1165-1171
INDEXED IN: 
WOS DBLP
WOS DBLP17590
TITLE: Evaluation of workflow management technology for the co-ordination of telework
AUTHORS: Pedro Araújo; João José Pinto Ferreira ; Dirk Förster; Jörg Goletz; Heller, F; Mendes, E; Stoilas, E;
PUBLISHED: 2000, SOURCE: Advanced Network Enterprises, Virtual Organizations, Balanced Automation, and Systems Integration, IFIP TC5/WG5.3 Forth IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacture and Transportation, September 27-29, 2000, Berlin, Germany, VOLUME: 181, PAGES: 141-150
AUTHORS: Pedro Araújo; João José Pinto Ferreira ; Dirk Förster; Jörg Goletz; Heller, F; Mendes, E; Stoilas, E;
PUBLISHED: 2000, SOURCE: Advanced Network Enterprises, Virtual Organizations, Balanced Automation, and Systems Integration, IFIP TC5/WG5.3 Forth IFIP/IEEE International Conference on Information Technology for Balanced Automation Systems in Manufacture and Transportation, September 27-29, 2000, Berlin, Germany, VOLUME: 181, PAGES: 141-150
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef17591
TITLE: Experiments with dynamic multiplexing and UPC renegotiation for video over ATM
AUTHORS: Andrade, MT ; Alves, AP;
PUBLISHED: 2000, SOURCE: IFIP-TC6/European Commission International Conference on Networking, NETWORKING 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1815, PAGES: 895-907
AUTHORS: Andrade, MT ; Alves, AP;
PUBLISHED: 2000, SOURCE: IFIP-TC6/European Commission International Conference on Networking, NETWORKING 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1815, PAGES: 895-907
INDEXED IN: 
Scopus
Scopus17592
TITLE: Experiments with dynamic multiplexing and UPC renegotiation for video over ATM
AUTHORS: Andrade, MT ; Alves, AP ;
PUBLISHED: 2000, SOURCE: IFIP-TC6/European Commission International Conference in NETWORKING 2000, VOLUME: 1815, PAGES: 895-907
AUTHORS: Andrade, MT ; Alves, AP ;
PUBLISHED: 2000, SOURCE: IFIP-TC6/European Commission International Conference in NETWORKING 2000, VOLUME: 1815, PAGES: 895-907
17593
TITLE: Exploring alternative devices for blind users
AUTHORS: Fernandes, AR; Paredes, H ;
PUBLISHED: 2000, SOURCE: 6th International Conference on Virtual Systems and MultiMedia (VSMM 2000) in VSMM 2000: 6TH INTERNATIONAL CONFERENCE ON VIRTUAL SYSTEMS AND MULTIMEDIA, PAGES: 266-274
AUTHORS: Fernandes, AR; Paredes, H ;
PUBLISHED: 2000, SOURCE: 6th International Conference on Virtual Systems and MultiMedia (VSMM 2000) in VSMM 2000: 6TH INTERNATIONAL CONFERENCE ON VIRTUAL SYSTEMS AND MULTIMEDIA, PAGES: 266-274
INDEXED IN: WOS
WOS17594
TITLE: Fiber Bragg sensors interrogation based on carrier generation by modulating the coupling length of a wavelength-division multiplexer 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: 750-755
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: 750-755
17595
TITLE: Fiber optic intensity sensors based on a michelson head configuration with self-referentiation
AUTHORS: Baptista, JM ; Santos, JL ; Lage, AS;
PUBLISHED: 2000, SOURCE: 13th Annual Meeting of the IEEE Lasers-and-Electro-Optics-Society in LEOS 2000 - IEEE ANNUAL MEETING CONFERENCE PROCEEDINGS, VOLS. 1 & 2, VOLUME: 2, PAGES: 460-461
AUTHORS: Baptista, JM ; Santos, JL ; Lage, AS;
PUBLISHED: 2000, SOURCE: 13th Annual Meeting of the IEEE Lasers-and-Electro-Optics-Society in LEOS 2000 - IEEE ANNUAL MEETING CONFERENCE PROCEEDINGS, VOLS. 1 & 2, VOLUME: 2, PAGES: 460-461
INDEXED IN: Scopus WOS
Scopus WOS17596
TITLE: Field quantization in a plasma: Photon mass and charge
AUTHORS: Mendonca, JT ; Martins, AM; Guerreiro, A ;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW E, VOLUME: 62, ISSUE: 2, PAGES: 2989-2991
AUTHORS: Mendonca, JT ; Martins, AM; Guerreiro, A ;
PUBLISHED: 2000, SOURCE: PHYSICAL REVIEW E, VOLUME: 62, ISSUE: 2, PAGES: 2989-2991
17597
TITLE: Fieldbus networks: Real-time from the perspective of the application tasks
AUTHORS: Mendes, A; Ferreira, L ; Tovar, E ;
PUBLISHED: 2000, SOURCE: 3rd IEEE International Workshop on Factory Communications Systems (WFCS 2000) in 2000 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, PAGES: 275-282
AUTHORS: Mendes, A; Ferreira, L ; Tovar, E ;
PUBLISHED: 2000, SOURCE: 3rd IEEE International Workshop on Factory Communications Systems (WFCS 2000) in 2000 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, PAGES: 275-282
17598
TITLE: Fieldbus networks: Real-time from the perspective of the application tasks
AUTHORS: Andre Mendes; Luis Ferreira ; Eduardo Tovar;
PUBLISHED: 2000, SOURCE: 2000 IEEE International Workshop on Factory Communication Systems (WFCS 2000) in IEEE International Workshop on Factory Communication Systems, WPCS, Proceedings,, VOLUME: 2000, PAGES: 275-282
AUTHORS: Andre Mendes; Luis Ferreira ; Eduardo Tovar;
PUBLISHED: 2000, SOURCE: 2000 IEEE International Workshop on Factory Communication Systems (WFCS 2000) in IEEE International Workshop on Factory Communication Systems, WPCS, Proceedings,, VOLUME: 2000, PAGES: 275-282
INDEXED IN: Scopus
Scopus17599
TITLE: Fine grained multithreading with process calculi Full Text
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: International Conference on Parallel Architectures and Compilation Techniques in 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, PAGES: 217-226
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: International Conference on Parallel Architectures and Compilation Techniques in 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, PAGES: 217-226
17600
TITLE: Functional incremental attribute evaluation
AUTHORS: Saraiva, J ; Swierstra, D; Kuiper, M;
PUBLISHED: 2000, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 2000) in COMPILER CONSTRUCTION, PROCEEDINGS, VOLUME: 1781, PAGES: 279-294
AUTHORS: Saraiva, J ; Swierstra, D; Kuiper, M;
PUBLISHED: 2000, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 2000) in COMPILER CONSTRUCTION, PROCEEDINGS, VOLUME: 1781, PAGES: 279-294
