Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 25071

1717 Team Members
Filters -> Year: 2026
23701
TITLE: A formal validation approach for holonic control system specifications
AUTHORS: Paulo Leitão ; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation
INDEXED IN: Handle
23702
TITLE: A generalized net model of the treatment of mechanically ventilated patients with nosocomial pneumonia
AUTHORS: Todorova, L; Bentes, I. ; Barroso, J ; Temelkov, A;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1057-1063
INDEXED IN: Scopus WOS
23703
TITLE: A Goal Programming Model for Rescheduling of Generation Power in Deregulated Markets  Full Text
AUTHORS: Centeno E.; Vitoriano B.; Campos A.; Muñoz A.; Villar J. ; Sánchez-Úbeda E.;
PUBLISHED: 2003, SOURCE: Annals of Operations Research, VOLUME: 120, ISSUE: 1-4, PAGES: 45-57
INDEXED IN: Scopus
23704
TITLE: A high performance IMU based navigation system for a small size ROV
AUTHORS: Correia, MD; Matod, AC ;
PUBLISHED: 2003, SOURCE: MTS/IEEE Conference on Celebrating the Past - Teaming Toward the Future in OCEANS 2003 MTS/IEEE: CELEBRATING THE PAST...TEAMING TOWARD THE FUTURE, VOLUME: 1, PAGES: 362-362
INDEXED IN: Scopus WOS
23705
TITLE: A low cost solution for laboratory experiments in induction motor control
AUTHORS: Rui E Araújo ; V. Leite; Diamantino S Freitas;
PUBLISHED: 2003, SOURCE: Proceedings of 10th European Conference on Power Electronics and Applications – EPE 2003
INDEXED IN: Handle
23706
TITLE: A multi-agent system for automated timetabling with shared resources
AUTHORS: Pedroso, JP ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 359-363
INDEXED IN: Scopus WOS
23707
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
INDEXED IN: Scopus WOS DBLP CrossRef: 6
23708
TITLE: A multidimensional dynamic regulation model for E-marketplaces: DYNEX
AUTHORS: Tavares, LV ; Pereira, MJ; Coelho, JS ;
PUBLISHED: 2003, SOURCE: 2nd IFIP Conference on E-Commerce, E-Business, E-Government (13E 2002) in TOWARDS THE KNOWLEDGE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, VOLUME: 105, PAGES: 67-81
INDEXED IN: Scopus WOS
23709
TITLE: A new online identification methodology for flux and parameters estimation of vector controlled induction motors
AUTHORS: Leite, V; Araujo, R ; Freitas, D ;
PUBLISHED: 2003, SOURCE: IEEE International Electronic Machines and Drives Conference in IEEE IEMDC'03: IEEE INTERNATIONAL ELECTRIC MACHINES AND DRIVES CONFERENCE, VOLS 1-3, VOLUME: 1, PAGES: 449-455
INDEXED IN: Scopus WOS CrossRef: 9 Handle
23710
TITLE: A new power flow method for radial networks
AUTHORS: Matos, MA ;
PUBLISHED: 2003, SOURCE: 2003 IEEE Bologna PowerTech Conference in 2003 IEEE Bologna PowerTech - Conference Proceedings, VOLUME: 2, PAGES: 359-365
INDEXED IN: Scopus CrossRef: 4
23711
TITLE: A new technical contribution for quantified analysis of seizure semiology
AUTHORS: Cunha, JPS ; Vollmar, C; Li, ZJ; Fernandes, J; Feddersen, B; Noachtar, S;
PUBLISHED: 2003, SOURCE: 25th International Epilepsy Congress in EPILEPSIA, VOLUME: 44, PAGES: 185-185
INDEXED IN: WOS
23712
TITLE: A note on scheduling on a single processor with variable speed
AUTHORS: Jorge M S Valente ; Rui A F S Alves;
PUBLISHED: 2003, SOURCE: Pesquisa Operacional, VOLUME: 23, ISSUE: 3, PAGES: 457-462
INDEXED IN: CrossRef
23713
TITLE: A Numerical Tool for Multiattribute Ranking Problems  Full Text
AUTHORS: Cardoso, DM ; de Sousa, JF ;
PUBLISHED: 2003, SOURCE: NETWORKS, VOLUME: 41, ISSUE: 4, PAGES: 229-234
INDEXED IN: Scopus WOS DBLP CrossRef: 3
23714
TITLE: A parallel ILP algorithm that incorporates incremental batch learning
AUTHORS: Nuno Fonseca; Rui Camacho ; Fernado Silva;
PUBLISHED: 2003
INDEXED IN: Handle
23715
TITLE: A Probabilistic model for the cooperative modular neural network
AUTHORS: Alexandre, LA ; Campilho, A ; Kamel, M;
PUBLISHED: 2003, SOURCE: 1st Iberian Conference on Pattern Recognition and Image Analysis in PATTERN RECOGNITION AND IMAGE ANALYSIS, PROCEEDINGS, VOLUME: 2652, PAGES: 11-18
INDEXED IN: Scopus WOS DBLP CrossRef: 1
23716
TITLE: A real-time monitoring instrument of induction machines for an integrated teaching test bench
AUTHORS: V. Leite; Francisco Casais; Henrique J A Teixeira; Rui E Araújo ; Diamantino S Freitas;
PUBLISHED: 2003, SOURCE: Proceedings of 8th Portuguese-Spanish Congress on Electrical Engineering - 8CLEEE
INDEXED IN: Handle
23717
TITLE: A role based model for the normative specification of organized collective agency and agents interaction  Full Text
AUTHORS: Pacheco, O ; Carmo, J ;
PUBLISHED: 2003, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 6, ISSUE: 2, PAGES: 145-184
INDEXED IN: Scopus WOS CrossRef: 53
23718
TITLE: A statistical framework to enlarge the potential of digital TV broadcasting
AUTHORS: Andrade, MT ; Alves, AP;
PUBLISHED: 2003, SOURCE: 3rd International Symposium on Image and Signal Processing and Analysis (ISPA) in ISPA 2003: PROCEEDINGS OF THE 3RD INTERNATIONAL SYMPOSIUM ON IMAGE AND SIGNAL PROCESSING AND ANALYSIS, PTS 1 AND 2, PAGES: 17-22
INDEXED IN: WOS
23719
TITLE: A statistical framework to enlarge the potential of digital TV broadcasting  Full Text
AUTHORS: Andrade, MT ; Alves, AP;
PUBLISHED: 2003, SOURCE: 3rd International Symposium on Image and Signal Processing and Analysis, ISPA 2003 in International Symposium on Image and Signal Processing and Analysis, ISPA, VOLUME: 1, PAGES: 17-22
INDEXED IN: Scopus CrossRef
23720
TITLE: Acceleration of the gaussian emissions computation in a multi-stream based continuous speech recogniser
AUTHORS: Pera, VC; Araujo, AJ ;
PUBLISHED: 2003, SOURCE: Proceedings of the IASTED International Conference on Signal Processing, Pattern Recognition and Applications in Proceedings of the IASTED International Conference on Signal Processing, Pattern Reconition, and Applications, PAGES: 180-184
INDEXED IN: Scopus

Results per Page: 20.
Page 1186 of 1254. Total results: 25071.