CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

639 Team Members
Filters -> Year: 2026
10541
TITLE: Biometry: the characterisation of chestnut-tree leaves using computer vision
AUTHORS: Gouveia, F; Filipe, V ; Reis, M ; Couto, C ; Bulas Cruz, J;
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: 757-760
INDEXED IN: Scopus WOS CrossRef: 13
10542
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Luis L Neves; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: AMAST, VOLUME: 1349, PAGES: 554-559
INDEXED IN: Scopus DBLP CrossRef: 1 Handle
10543
TITLE: Enhancing load distribution strategies through simulation
AUTHORS: Cunha, A ; Santos, LP ; Belo, O ;
PUBLISHED: 1997, SOURCE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, PAGES: 416-420
INDEXED IN: WOS
10544
TITLE: Evaluating parallel logic programming systems on scalable multiprocessors
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: PASCO, PAGES: 58-67
INDEXED IN: Scopus DBLP CrossRef: 4
10545
TITLE: Evaluating the impact of coherence protocols on parallel logic programming systems
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: PDP, PAGES: 376-381
INDEXED IN: DBLP
10546
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
10547
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
10548
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
10549
TITLE: Integrity constraints in ILP using a Monte Carlo approach
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
10550
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
10551
TITLE: Number plate reading using computer vision
AUTHORS: Barroso, J ; Dagless, EL; Rafael, A; Bulas Cruz, J;
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: 761-766
INDEXED IN: Scopus WOS CrossRef: 57
10552
TITLE: Oblique linear tree
AUTHORS: Gama, J ;
PUBLISHED: 1997, SOURCE: 2nd International Symposium on Advances in Intelligent Data Analysis - Reasoning About Data (IDA-97) in ADVANCES IN INTELLIGENT DATA ANALYSIS, VOLUME: 1280, PAGES: 187-198
INDEXED IN: Scopus WOS DBLP CrossRef: 15
10553
TITLE: Parallel neural network recognition - a multi-agent system approach
AUTHORS: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLISHED: 1997, SOURCE: 5th International Conference on the Application of High-Performance Computers in Engineering (HPC 97) in APPLICATIONS OF HIGH PERFORMANCE COMPUTING IN ENGINEERING V, VOLUME: 3, PAGES: 103-112
INDEXED IN: Scopus WOS Handle
10554
TITLE: Probabilistic Linear Tree
AUTHORS: João Gama ;
PUBLISHED: 1997, SOURCE: ICML, PAGES: 134-142
INDEXED IN: DBLP
10555
TITLE: Real-Time Number Plate Reading
AUTHORS: Bulas-Cruz, J; Barroso, J ; Rafael, A; E.L Dagless;
PUBLISHED: 1997, SOURCE: IFAC Proceedings Volumes, VOLUME: 30, ISSUE: 3, PAGES: 73-76
INDEXED IN: CrossRef: 2
10556
TITLE: Real-time number plate reading
AUTHORS: Bulas Cruz, J; Barroso, J ; Rafael, A; Dagless, EL;
PUBLISHED: 1997, SOURCE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, PAGES: 73-76
INDEXED IN: WOS
10557
TITLE: Regression Using Classification Algorithms
AUTHORS: Luís Torgo ; João Gama ;
PUBLISHED: 1997, SOURCE: Intell. Data Anal., VOLUME: 1, ISSUE: 1-4, PAGES: 275-292
INDEXED IN: Scopus DBLP CrossRef: 32
10558
TITLE: Resource Allocation on Agent Meta-Societies
AUTHORS: Alcino Cunha ; Orlando Belo ;
PUBLISHED: 1997, SOURCE: EPIA, VOLUME: 1323, PAGES: 343-348
INDEXED IN: Scopus DBLP CrossRef Handle
10559
TITLE: Search-based class discretization
AUTHORS: Torgo, L ; Gama, J ;
PUBLISHED: 1997, SOURCE: 9th European Conference on Machine Learning in MACHINE LEARNING : ECML-97, VOLUME: 1224, PAGES: 266-273
INDEXED IN: Scopus WOS DBLP CrossRef: 19
10560
TITLE: The SBA: Exploiting orthogonality in AND-OR parallel systems
AUTHORS: Correia, ME ; Silva, F ; Costa, VS ;
PUBLISHED: 1997, SOURCE: 1997 International Logic Programming Symposium (ILPS 97) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, PAGES: 117-131
INDEXED IN: WOS DBLP

Results per Page: 20.
Page 528 of 534. Total results: 10672.