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: 25101

1717 Team Members
Filters -> Year: 2026
24661
TITLE: Evaluating the impact of coherence protocols on parallel logic programming systems  Full Text
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: PDP, PAGES: 376-381
INDEXED IN: DBLP
24662
TITLE: Evaluation of the communication performance on a parallel processing system  Full Text
AUTHORS: Santos, LP ; Castro, V; Proenca, A ;
PUBLISHED: 1997, SOURCE: 4th European PVM/MPI Users Group Meeting in RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, VOLUME: 1332, PAGES: 41-48
INDEXED IN: Scopus WOS
24663
TITLE: Experiences in information systems development for maintenance management: A techno-organisational view
AUTHORS: Silva, PA; Soares, AL ; Mendonca, JM ;
PUBLISHED: 1997, SOURCE: OE/IFIP/IEEE International Conference on Integrated and Sustainable Industrial Production in RE-ENGINEERING FOR SUSTAINABLE INDUSTRIAL PRODUCTION, PAGES: 431-440
INDEXED IN: WOS
24664
TITLE: Experiences learned from the on-line internal monitoring of the behaviour of a transformer
AUTHORS: Miguel A Sanz Bobi; Aurelio Garcia Cerrada; Rafael Palacios; Jose Villar ; Jose Rolan; Bernardo Moran;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 IEEE International Electric Machines and Drives Conference, IEMDC in IEEE International Electric Machines and Drives Conference Record, IEMDC
INDEXED IN: Scopus
24665
TITLE: Extraction of semiconductor intrinsic laser parameters by intermodulation distortion analysis
AUTHORS: Salgado, HM ; Ferreira, JM ; OReilly, JJ;
PUBLISHED: 1997, SOURCE: IEEE PHOTONICS TECHNOLOGY LETTERS, VOLUME: 9, ISSUE: 10, PAGES: 1331-1333
INDEXED IN: Scopus WOS CrossRef: 9
24666
TITLE: Firing condition of fuzzy rules, generalized possibility and necessity measures  Full Text
AUTHORS: Jose Villar ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 6th IEEE International Conference on Fussy Systems, FUZZ-IEEE'97. Part 1 (of 3) in IEEE International Conference on Fuzzy Systems, VOLUME: 1, PAGES: 543-548
INDEXED IN: Scopus
24667
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: DSV-IS, PAGES: 109-124
INDEXED IN: DBLP
24668
TITLE: From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: LPE, PAGES: 60-69
INDEXED IN: DBLP
24669
TITLE: Genetic Design of Robust PID Controllers
AUTHORS: Jones, AH; de B d Moura Oliveira ;
PUBLISHED: 1997, SOURCE: ICANNGA, ISSUE: 414, PAGES: 575-578
INDEXED IN: Scopus DBLP
24671
TITLE: Implementation and evaluation of mixed current / voltage testing using the IEEE P1149.4 infrastructure
AUTHORS: Da Silva, JM ; Alves, JC ; Matos, JS ;
PUBLISHED: 1997, SOURCE: IEE Colloquium (Digest), ISSUE: 361, PAGES: 6/1-6/5
INDEXED IN: Scopus CrossRef
24672
TITLE: Implementation of mixed current/voltage testing using the IEEE P1149.4 infrastructure  Full Text
AUTHORS: da Silva, JM ; Leao, AC; Alves, JC ; Matos, JS;
PUBLISHED: 1997, SOURCE: International Test Conference 1997 (ITC) in ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, PAGES: 509-517
INDEXED IN: Scopus WOS DBLP CrossRef
24673
TITLE: Integrating infrastructures for manufacturing a comparative analysis
AUTHORS: Santos, JPO; Ferreira, JJ ; Mendonca, JM;
PUBLISHED: 1997, SOURCE: OE/IFIP/IEEE International Conference on Integrated and Sustainable Industrial Production in RE-ENGINEERING FOR SUSTAINABLE INDUSTRIAL PRODUCTION, PAGES: 308-321
INDEXED IN: WOS
24674
TITLE: Integrity constraints in ILP using a Monte Carlo approach  Full Text
AUTHORS: Jorge, A ; Brazdil, PB ;
PUBLISHED: 1997, SOURCE: 6th International Workshop on Logic Program Synthesis and Transformation (LOPSTR 96) / 6th Inductive Logic Programming Workshop (ILP 96) in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 1314, PAGES: 229-244
INDEXED IN: Scopus WOS DBLP CrossRef: 2
24675
TITLE: Intelligent and low cost continuous relative density measurement in batch fermenters
AUTHORS: Moreira, APGM ; de Carvalho, JLM;
PUBLISHED: 1997, SOURCE: 3rd IFAC Symposium on Intelligent Components and Instruments for Control Applications (SICICA 97) in INTELLIGENT COMPONENTS AND INSTRUMENTS FOR CONTROL APPLICATIONS 1997 (SICICA'97), PAGES: 183-188
INDEXED IN: WOS
24676
TITLE: Intelligent correction of telemetric data in public transport systems
AUTHORS: Cunha, A ; Bulas Cruz, J; Monteiro, JL ;
PUBLISHED: 1997, SOURCE: 1997 IEEE Conference on Intelligent Transportation Systems (ITSC 997) in IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, PAGES: 356-361
INDEXED IN: Scopus WOS CrossRef: 1
24677
TITLE: Intranet security: an increasing concern in industrial environments
AUTHORS: Sousa, JP; Mendonca, JM ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 1, PAGES: 35-38
INDEXED IN: Scopus WOS
24678
TITLE: Localisation system for an autonomous mobile platform
AUTHORS: Ramos, P ; Pereira, FL ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 3, PAGES: 807-812
INDEXED IN: Scopus WOS CrossRef
24679
TITLE: Magic sets with full sharing  Full Text
AUTHORS: Azevedo, PJ ;
PUBLISHED: 1997, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, ISSUE: 3, PAGES: 223-237
INDEXED IN: Scopus WOS DBLP CrossRef: 4
24680
TITLE: MNet-DACS: Multi-level network data acquisition and control system
AUTHORS: C. Serôdio ; Cunha, JB ; Cordeiro, M; Valente, A ; Morais, R ; Salgado, P; Couto, C;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 1, PAGES: 39-43
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 1234 of 1256. Total results: 25101.