CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8103
531 Team MembersFilters -> Year: 2024
7981
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: Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK, PAGES: 376-381
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK, PAGES: 376-381
INDEXED IN: 
DBLP
DBLP7982
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
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
Scopus WOS7983
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PAGES: 109-124
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PAGES: 109-124
INDEXED IN: DBLP
DBLP7984
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
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
7985
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
AUTHORS: Azevedo, PJ ;
PUBLISHED: 1997, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, ISSUE: 3, PAGES: 223-237
7986
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
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
7987
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: REASONING ABOUT DATA, VOLUME: 1280, PAGES: 187-198
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: REASONING ABOUT DATA, VOLUME: 1280, PAGES: 187-198
7988
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
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
Scopus WOS Handle7989
TITLE: Probabilistic Linear Tree
AUTHORS: João Gama ;
PUBLISHED: 1997, SOURCE: Proceedings of the Fourteenth International Conference on Machine Learning (ICML 1997), Nashville, Tennessee, USA, July 8-12, 1997, PAGES: 134-142
AUTHORS: João Gama ;
PUBLISHED: 1997, SOURCE: Proceedings of the Fourteenth International Conference on Machine Learning (ICML 1997), Nashville, Tennessee, USA, July 8-12, 1997, PAGES: 134-142
INDEXED IN: DBLP
DBLP7990
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
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
WOS7991
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
AUTHORS: Bulas-Cruz, J; Barroso, J ; Rafael, A; E.L Dagless;
PUBLISHED: 1997, SOURCE: IFAC Proceedings Volumes, VOLUME: 30, ISSUE: 3, PAGES: 73-76
7992
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
AUTHORS: Luís Torgo ; João Gama ;
PUBLISHED: 1997, SOURCE: Intell. Data Anal., VOLUME: 1, ISSUE: 1-4, PAGES: 275-292
7993
TITLE: Resource Allocation on Agent Meta-Societies
AUTHORS: Alcino Cunha ; Orlando Belo ;
PUBLISHED: 1997, SOURCE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, VOLUME: 1323, PAGES: 343-348
AUTHORS: Alcino Cunha ; Orlando Belo ;
PUBLISHED: 1997, SOURCE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, VOLUME: 1323, PAGES: 343-348
7994
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
AUTHORS: Torgo, L ; Gama, J ;
PUBLISHED: 1997, SOURCE: 9th European Conference on Machine Learning in MACHINE LEARNING : ECML-97, VOLUME: 1224, PAGES: 266-273
7995
TITLE: The SBA: Exploiting orthogonality in AND-OR parallel systems
AUTHORS: Manuel E. Correia ; 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
AUTHORS: Manuel E. Correia ; 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
WOS DBLP7996
TITLE: Thread- and process-based implementations of the pSystem parallel programming environment Full Text
AUTHORS: Lopes, LMB ; Silva, FMA ;
PUBLISHED: 1997, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 3, PAGES: 329-351
AUTHORS: Lopes, LMB ; Silva, FMA ;
PUBLISHED: 1997, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 3, PAGES: 329-351
7997
TITLE: A method to create graphical user interfaces in telecommunication services specified in SDL
AUTHORS: Martins, PN ; Carrapatoso, EM ;
PUBLISHED: 1996, SOURCE: 19th Convention of Electrical and Electronics Engineers in Israel in NINETEENTH CONVENTION OF ELECTRICAL AND ELECTRONICS ENGINEERS IN ISRAEL, PAGES: 21-24
AUTHORS: Martins, PN ; Carrapatoso, EM ;
PUBLISHED: 1996, SOURCE: 19th Convention of Electrical and Electronics Engineers in Israel in NINETEENTH CONVENTION OF ELECTRICAL AND ELECTRONICS ENGINEERS IN ISRAEL, PAGES: 21-24
INDEXED IN: Scopus WOS
Scopus WOS7998
TITLE: A Scalable Implementation of an Interactive Increasing Realism Ray-Tracing Algorithm
AUTHORS: António Augusto de Sousa ; Fernando Nunes Ferreira;
PUBLISHED: 1996, SOURCE: 2nd International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR 1996 in Vector and Parallel Processing - VECPAR'96, Second International Conference, Porto, Portugal, September 25-27, Selected Papers, VOLUME: 1215, PAGES: 458-469
AUTHORS: António Augusto de Sousa ; Fernando Nunes Ferreira;
PUBLISHED: 1996, SOURCE: 2nd International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR 1996 in Vector and Parallel Processing - VECPAR'96, Second International Conference, Porto, Portugal, September 25-27, Selected Papers, VOLUME: 1215, PAGES: 458-469
7999
TITLE: Andorra-I Compilation
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1996, SOURCE: New Generation Comput., VOLUME: 14, ISSUE: 1, PAGES: 3-30
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1996, SOURCE: New Generation Comput., VOLUME: 14, ISSUE: 1, PAGES: 3-30
8000
TITLE: Cuts and side-effects in and-or parallel prolog Full Text
AUTHORS: Gupta, G; Costa, VS ;
PUBLISHED: 1996, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 27, ISSUE: 1, PAGES: 45-71
AUTHORS: Gupta, G; Costa, VS ;
PUBLISHED: 1996, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 27, ISSUE: 1, PAGES: 45-71
