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: 25031
1715 Team MembersFilters -> Year: 2026
23741
TITLE: Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, PAGES: 263-272
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, PAGES: 263-272
23742
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
Scopus23743
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 WOS23744
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
INDEXED IN: Scopus WOS
Scopus WOS23745
TITLE: Fractional Order Dynamical Phenomena in a GA
AUTHORS: Eduardo José Solteiro Pires ; José António Tenreiro Machado; Paulo de Moura M Oliveira ;
PUBLISHED: 2003, SOURCE: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I, VOLUME: 2723, PAGES: 510-511
AUTHORS: Eduardo José Solteiro Pires ; José António Tenreiro Machado; Paulo de Moura M Oliveira ;
PUBLISHED: 2003, SOURCE: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part I, VOLUME: 2723, PAGES: 510-511
23746
TITLE: Fractional order dynamics in a GA planner Full Text
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
23747
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
WOS23748
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
WOS23749
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
Handle23750
TITLE: From C programs to the configure-execute model Full Text
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
23751
TITLE: From HCI to Software Engineering and Back PDF
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA, PAGES: 49-56
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2003, SOURCE: Proceedings of ICSE 2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, May 3-4, 2003, Portland, Oregon, USA, PAGES: 49-56
INDEXED IN: 
DBLP
DBLP23752
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
23753
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 WOS23754
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, 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, PROCEEDINGS, VOLUME: 2830, PAGES: 307-323
23755
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
Handle23756
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
23757
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
23758
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
23759
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
WOS23760
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
