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: 8097
531 Team MembersFilters -> Year: 2024
7961
TITLE: Optimising parallel logic programming systems for scalable machines
AUTHORS: Costa, VS ; Bianchini, R;
PUBLISHED: 1998, SOURCE: 4th International Euro-Par Conference on Parallel Processing in EURO-PAR '98 PARALLEL PROCESSING, VOLUME: 1470, PAGES: 831-841
AUTHORS: Costa, VS ; Bianchini, R;
PUBLISHED: 1998, SOURCE: 4th International Euro-Par Conference on Parallel Processing in EURO-PAR '98 PARALLEL PROCESSING, VOLUME: 1470, PAGES: 831-841
7962
TITLE: Perspectives on the implementation of a videotelephony based DAVIC system
AUTHORS: Pavao, JA ; Carvalho, P; da Rocha, NP ;
PUBLISHED: 1998, SOURCE: 9th Mediterranean Electrotechnical Conference (Melecon 98) in MELECON '98 - 9TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1 AND 2, VOLUME: 2, PAGES: 1361-1365
AUTHORS: Pavao, JA ; Carvalho, P; da Rocha, NP ;
PUBLISHED: 1998, SOURCE: 9th Mediterranean Electrotechnical Conference (Melecon 98) in MELECON '98 - 9TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1 AND 2, VOLUME: 2, PAGES: 1361-1365
INDEXED IN: 
Scopus 
WOS
Scopus WOS7963
TITLE: Redundant Covering with Global Evaluation in the RC1 Inductive Learner
AUTHORS: Alneu de Andrade Lopes; Pavel Brazdil ;
PUBLISHED: 1998, SOURCE: 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998 in Advances in Artificial Intelligence, 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998, Proceedings, VOLUME: 1515, PAGES: 111-120
AUTHORS: Alneu de Andrade Lopes; Pavel Brazdil ;
PUBLISHED: 1998, SOURCE: 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998 in Advances in Artificial Intelligence, 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998, Proceedings, VOLUME: 1515, PAGES: 111-120
7964
TITLE: Simulating a gas distribution network in a distributed object oriented system
AUTHORS: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLISHED: 1998, SOURCE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, PAGES: 283-287
AUTHORS: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLISHED: 1998, SOURCE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, PAGES: 283-287
INDEXED IN: WOS
WOS7965
TITLE: Symbolic Clustering Of Probabilistic Data
AUTHORS: Paula Brito ;
PUBLISHED: 1998, SOURCE: Studies in Classification, Data Analysis, and Knowledge Organization - Advances in Data Science and Classification, PAGES: 385-390
AUTHORS: Paula Brito ;
PUBLISHED: 1998, SOURCE: Studies in Classification, Data Analysis, and Knowledge Organization - Advances in Data Science and Classification, PAGES: 385-390
7966
TITLE: The role of verification in interactive systems design
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1, PAGES: 155-170
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1, PAGES: 155-170
INDEXED IN: WOS 
DBLP
WOS DBLP7967
TITLE: Towards an automatic path from JavaTM bytecodes to hardware through high-level synthesis
AUTHORS: Cardoso Joao, MP ; Neto Horacio, C;
PUBLISHED: 1998, SOURCE: Proceedings of the 1998 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS'98) - Surfing the Waves of Science and Technology in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 1, PAGES: 85-88
AUTHORS: Cardoso Joao, MP ; Neto Horacio, C;
PUBLISHED: 1998, SOURCE: Proceedings of the 1998 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS'98) - Surfing the Waves of Science and Technology in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 1, PAGES: 85-88
INDEXED IN: Scopus
Scopus7968
TITLE: Towards an automatic path from JavaTM bytecodes to hardware through high-level synthesis
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 1998, SOURCE: 5th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998 , PAGES: 85-88
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 1998, SOURCE: 5th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998 , PAGES: 85-88
7969
TITLE: VisAll: A universal tool to visualise the parallel execution of logic programs
AUTHORS: Fonseca, N ; Costa, VS ; Dutra, ID ;
PUBLISHED: 1998, SOURCE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, PAGES: 100-114
AUTHORS: Fonseca, N ; Costa, VS ; Dutra, ID ;
PUBLISHED: 1998, SOURCE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, PAGES: 100-114
INDEXED IN: WOS DBLP
WOS DBLP7970
TITLE: Balloon Types: Controlling Sharing of State in Data Types
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1997, SOURCE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PAGES: 32-59
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1997, SOURCE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PAGES: 32-59
7971
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
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
7972
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PAGES: 554-559
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PAGES: 554-559
7973
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
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
WOS7974
TITLE: Evaluating parallel logic programming systems on scalable multiprocessors
AUTHORS: Vitor Santos Costa ; Ricardo Bianchini; Castro Dutra Ines de ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 2nd International Symposium on Parallel Symbolic Computation, PASCO in International Symposium on Parallel Symbolic Computation, Proceedings, PASCO, PAGES: 58-67
AUTHORS: Vitor Santos Costa ; Ricardo Bianchini; Castro Dutra Ines de ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 2nd International Symposium on Parallel Symbolic Computation, PASCO in International Symposium on Parallel Symbolic Computation, Proceedings, PASCO, PAGES: 58-67
7975
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
DBLP7976
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 WOS7977
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
DBLP7978
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
7979
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
7980
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
