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
8801
TITLE: Multi-μ. an Ada 95 based architecture for fault tolerance support of real-time systems
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1998, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XVIII, ISSUE: 6, PAGES: 52-60
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1998, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XVIII, ISSUE: 6, PAGES: 52-60
INDEXED IN: 
CrossRef
CrossRef8802
TITLE: Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. an Ada 95 based architecture for fault tolerance support of real-time systems Full Text
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1998, SOURCE: 1998 Annual ACM SIGAda International Conference on Ada, SIGAda 1998 in SIGAda, VOLUME: Part F129235, PAGES: 52-60
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1998, SOURCE: 1998 Annual ACM SIGAda International Conference on Ada, SIGAda 1998 in SIGAda, VOLUME: Part F129235, PAGES: 52-60
8803
TITLE: Numerical algorithm for recursive subspace identification Full Text
AUTHORS: Delgado, CJM ; dos Santos, PL ; de Carvalho, JLM ;
PUBLISHED: 1998, SOURCE: 37th IEEE Conference on Decision and Control in PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, VOLUME: 2, PAGES: 1848-1849
AUTHORS: Delgado, CJM ; dos Santos, PL ; de Carvalho, JLM ;
PUBLISHED: 1998, SOURCE: 37th IEEE Conference on Decision and Control in PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, VOLUME: 2, PAGES: 1848-1849
8804
TITLE: On the optimal management of project risk Full Text
AUTHORS: Tavares, LV ; Ferreira, JAA ; Coelho, JS ;
PUBLISHED: 1998, SOURCE: 5th International Workshop on Project Management and Scheduling in EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 107, ISSUE: 2, PAGES: 451-469
AUTHORS: Tavares, LV ; Ferreira, JAA ; Coelho, JS ;
PUBLISHED: 1998, SOURCE: 5th International Workshop on Project Management and Scheduling in EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 107, ISSUE: 2, PAGES: 451-469
8805
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
8806
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 WOS8807
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
8808
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
WOS8809
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
8810
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 DBLP8811
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
8812
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
Scopus8813
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 DBLP8814
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
8815
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
8816
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
8817
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
WOS8818
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
8819
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
DBLP8820
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 WOS