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: 24965
1716 Team MembersFilters -> Year: 2026
23681
TITLE: Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets
AUTHORS: Leitão, P ; Colombo, AW; Restivo, F; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics, INDIN 2003 in IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2003-January, PAGES: 263-272
AUTHORS: Leitão, P ; Colombo, AW; Restivo, F; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics, INDIN 2003 in IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2003-January, PAGES: 263-272
INDEXED IN: 
Scopus
Scopus23682
TITLE: FORMAware: Framework of reflective components for managing architecture adaptation
AUTHORS: Moreira, R ; Blair, G; Carrapatoso, E;
PUBLISHED: 2003, SOURCE: 3rd International Workshop on Software Engineering and Middleware in SOFTWARE ENGINEERING AND MIDDLEWARE, VOLUME: 2596, PAGES: 115-129
AUTHORS: Moreira, R ; Blair, G; Carrapatoso, E;
PUBLISHED: 2003, SOURCE: 3rd International Workshop on Software Engineering and Middleware in SOFTWARE ENGINEERING AND MIDDLEWARE, VOLUME: 2596, PAGES: 115-129
INDEXED IN: Scopus 
WOS
Scopus WOS23683
TITLE: Fractional order dynamical phenomena in a GA
AUTHORS: Pires, EJS ; Machado, JAT ; Oliveira, PBD ;
PUBLISHED: 2003, SOURCE: 5th Annual Genetic and Evolutionary Computation Conference (GECCO 2003) in GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS, VOLUME: 2723, PAGES: 510-511
AUTHORS: Pires, EJS ; Machado, JAT ; Oliveira, PBD ;
PUBLISHED: 2003, SOURCE: 5th Annual Genetic and Evolutionary Computation Conference (GECCO 2003) in GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS, VOLUME: 2723, PAGES: 510-511
23684
TITLE: Fractional order dynamics in a GA planner
AUTHORS: Pires, EJS ; Machado, JAT ; Oliviera, PBD ;
PUBLISHED: 2003, SOURCE: SIGNAL PROCESSING, VOLUME: 83, ISSUE: 11, PAGES: 2377-2386
AUTHORS: Pires, EJS ; Machado, JAT ; Oliviera, PBD ;
PUBLISHED: 2003, SOURCE: SIGNAL PROCESSING, VOLUME: 83, ISSUE: 11, PAGES: 2377-2386
23685
TITLE: Fractional order dynamics in a genetic algorithm
AUTHORS: Pires, EJS ; Machado, JAT; Oliveira, PBD ;
PUBLISHED: 2003, SOURCE: 11th International Conference on Advanced Robotics (ICAR 2003) in PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS 2003, VOL 1-3, PAGES: 264-269
AUTHORS: Pires, EJS ; Machado, JAT; Oliveira, PBD ;
PUBLISHED: 2003, SOURCE: 11th International Conference on Advanced Robotics (ICAR 2003) in PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS 2003, VOL 1-3, PAGES: 264-269
INDEXED IN: WOS
WOS23686
TITLE: Fractional-order hybrid control of robotic manipulators
AUTHORS: Ferreira, NMF ; Machado, JAT;
PUBLISHED: 2003, SOURCE: 11th International Conference on Advanced Robotics (ICAR 2003) in PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS 2003, VOL 1-3, PAGES: 393-398
AUTHORS: Ferreira, NMF ; Machado, JAT;
PUBLISHED: 2003, SOURCE: 11th International Conference on Advanced Robotics (ICAR 2003) in PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS 2003, VOL 1-3, PAGES: 393-398
INDEXED IN: WOS
WOS23687
TITLE: Framework documentation : A minimalist approach
AUTHORS: Ademar M T d Aguiar ;
PUBLISHED: 2003
AUTHORS: Ademar M T d Aguiar ;
PUBLISHED: 2003
INDEXED IN: 
Handle
Handle23688
TITLE: From C programs to the configure-execute model
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
23689
TITLE: From HCI to Software Engineering and Back
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: ICSE Workshop on SE-HCI, PAGES: 49-56
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: ICSE Workshop on SE-HCI, PAGES: 49-56
INDEXED IN: 
DBLP
DBLP23690
TITLE: From simulation to practice: Cache performance study of a prolog system. cache performance study of a Prolog system
AUTHORS: Lopes, R ; Castro, LF ; Costa, VS ;
PUBLISHED: 2003, SOURCE: Workshop on Memory System Performance (MSP 2002) in ACM SIGPLAN NOTICES, VOLUME: 38, ISSUE: 2, PAGES: 56-64
AUTHORS: Lopes, R ; Castro, LF ; Costa, VS ;
PUBLISHED: 2003, SOURCE: Workshop on Memory System Performance (MSP 2002) in ACM SIGPLAN NOTICES, VOLUME: 38, ISSUE: 2, PAGES: 56-64
23691
TITLE: Generalized nets model for fixed-bed bioreactors
AUTHORS: Pencheva, T; Roeva, O; Bentes, I. ; Barroso, J ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1025-1028
AUTHORS: Pencheva, T; Roeva, O; Bentes, I. ; Barroso, J ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1025-1028
INDEXED IN: Scopus WOS
Scopus WOS23692
TITLE: Generating spreadsheet-like tools from strong attribute grammars
AUTHORS: Saraiva, J ; Swierstra, D;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2003, PROCEEDINGS, VOLUME: 2830, PAGES: 307-323
AUTHORS: Saraiva, J ; Swierstra, D;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2003, PROCEEDINGS, VOLUME: 2830, PAGES: 307-323
23693
TITLE: Guest-editorial: Mining official data
AUTHORS: Paula Brito ; Donato Malerba;
PUBLISHED: 2003, SOURCE: Intell. Data Anal., VOLUME: 7, ISSUE: 6, PAGES: 497-500
AUTHORS: Paula Brito ; Donato Malerba;
PUBLISHED: 2003, SOURCE: Intell. Data Anal., VOLUME: 7, ISSUE: 6, PAGES: 497-500
INDEXED IN: Scopus DBLP
Scopus DBLP23694
TITLE: Hedging Using Futures and Options Contracts in the Electricty Market
AUTHORS: Filipe Azevedo ; Zita Vale; António A Vale;
PUBLISHED: 2003, SOURCE: ICRPQ’03 – International Conference on Renewable Energies and Power Quality
AUTHORS: Filipe Azevedo ; Zita Vale; António A Vale;
PUBLISHED: 2003, SOURCE: ICRPQ’03 – International Conference on Renewable Energies and Power Quality
INDEXED IN: Handle
Handle23695
TITLE: Hierarchical and Pyramidal Clustering for Symbolic Data
AUTHORS: Paula Brito ;
PUBLISHED: 2003, SOURCE: Journal of the Japanese Society of Computational Statistics, VOLUME: 15, ISSUE: 2, PAGES: 231-244
AUTHORS: Paula Brito ;
PUBLISHED: 2003, SOURCE: Journal of the Japanese Society of Computational Statistics, VOLUME: 15, ISSUE: 2, PAGES: 231-244
23696
TITLE: High Performance Computing for Computational Science - VECPAR 2002, 5th International Conference, Porto, Portugal, June 26-28, 2002, Selected Papers and Invited Talks
AUTHORS: José Laginha L M Palma ; Jack Dongarra; Vicente Hernández; António Augusto de Sousa ;
PUBLISHED: 2003, SOURCE: VECPAR, VOLUME: 2565
AUTHORS: José Laginha L M Palma ; Jack Dongarra; Vicente Hernández; António Augusto de Sousa ;
PUBLISHED: 2003, SOURCE: VECPAR, VOLUME: 2565
23697
TITLE: High-order self-dispersion-compensation in a Ti : sapphire laser oscillator
AUTHORS: Crespo, H ; Cataluna, MA; Guerreiro, A ; Mendonca, JT ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Ultrafast Phenomena in ULTRAFAST PHENOMENA XIII, VOLUME: 71, PAGES: 161-163
AUTHORS: Crespo, H ; Cataluna, MA; Guerreiro, A ; Mendonca, JT ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Ultrafast Phenomena in ULTRAFAST PHENOMENA XIII, VOLUME: 71, PAGES: 161-163
23698
TITLE: Identification of ADACOR Holons for Manufacturing Control
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3, PAGES: 109-114
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3, PAGES: 109-114
23699
TITLE: Identification of adacor holons for manufacturing control
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2003, SOURCE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003, PAGES: 101-106
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2003, SOURCE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003, PAGES: 101-106
INDEXED IN: WOS
WOS23700
TITLE: Improving progressive sampling via meta-learning
AUTHORS: Leite, R ; Brazdil, P ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 313-323
AUTHORS: Leite, R ; Brazdil, P ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 313-323
