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: 8951
531 Team MembersFilters -> Year: 2024
8821
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
DBLP8822
TITLE: From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, PAGES: 60-69
AUTHORS: Carlos Soares ; Miguel Calejo ;
PUBLISHED: 1997, SOURCE: Proceedings of the 8th Workshop on Logic Programming Environments, LPE '97, post-conference workshop at ICLP 1997, Leuven, Belgium, July 11, 1997, PAGES: 60-69
INDEXED IN: DBLP
DBLP8823
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
8824
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
8825
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
8826
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
8827
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
Scopus WOS8828
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
DBLP8829
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
8830
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
WOS8831
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
8832
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
8833
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
8834
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
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
WOS DBLP8835
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
8836
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 WOS8837
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
8838
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
8839
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
8840
TITLE: Distributed telecommunications services
AUTHORS: Fonseca, JB ; 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: 13-16
AUTHORS: Fonseca, JB ; 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: 13-16
INDEXED IN: Scopus WOS
Scopus WOS