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: 8952
531 Team MembersFilters -> Year: 2024
8721
TITLE: Representational Reasoning and Verification Full Text
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4, PAGES: 260-277
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4, PAGES: 260-277
8722
TITLE: Semantically reliable multicast protocols Full Text
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2000, SOURCE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PAGES: 60-69
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2000, SOURCE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PAGES: 60-69
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP8723
TITLE: Sequential and concurrent abstract machines for interaction nets Full Text
AUTHORS: Pinto, JS ;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784, PAGES: 267-282
AUTHORS: Pinto, JS ;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784, PAGES: 267-282
8724
TITLE: The cash-point (ATM) 'problem'
AUTHORS: Denvir, T; Oliveira, J ; Plat, N;
PUBLISHED: 2000, SOURCE: Formal Aspects of Computing, VOLUME: 12, ISSUE: 4, PAGES: 211-215
AUTHORS: Denvir, T; Oliveira, J ; Plat, N;
PUBLISHED: 2000, SOURCE: Formal Aspects of Computing, VOLUME: 12, ISSUE: 4, PAGES: 211-215
INDEXED IN: Scopus
Scopus8725
TITLE: The effects of temporal aggregation on tests of linearity of a time series Full Text
AUTHORS: Teles, P ; Wei, WWS;
PUBLISHED: 2000, SOURCE: COMPUTATIONAL STATISTICS & DATA ANALYSIS, VOLUME: 34, ISSUE: 1, PAGES: 91-103
AUTHORS: Teles, P ; Wei, WWS;
PUBLISHED: 2000, SOURCE: COMPUTATIONAL STATISTICS & DATA ANALYSIS, VOLUME: 34, ISSUE: 1, PAGES: 91-103
8726
TITLE: The impact of cache coherence protocols on parallel logic programming systems
AUTHORS: Dutra, ID ; Costa, VS ; Bianchini, R;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic, CL 2000 in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861, PAGES: 1285-1299
AUTHORS: Dutra, ID ; Costa, VS ; Bianchini, R;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic, CL 2000 in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861, PAGES: 1285-1299
8727
TITLE: Thesis: Inductive learning classification algorithms
AUTHORS: João Gama ;
PUBLISHED: 2000, SOURCE: AI Commun., VOLUME: 13, ISSUE: 2, PAGES: 135-136
AUTHORS: João Gama ;
PUBLISHED: 2000, SOURCE: AI Commun., VOLUME: 13, ISSUE: 2, PAGES: 135-136
INDEXED IN: DBLP
DBLP8728
TITLE: Zoomed anking: Selection of Classification Algorithms Based on Relevant Performance Information
AUTHORS: Carlos Soares ; Pavel B Brazdil ;
PUBLISHED: 2000, SOURCE: 4th European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2000 in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 1910, PAGES: 126-135
AUTHORS: Carlos Soares ; Pavel B Brazdil ;
PUBLISHED: 2000, SOURCE: 4th European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD 2000 in LECTURE NOTES IN COMPUTER SCIENCE
8729
TITLE: A virtual machine for a process calculus
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702, PAGES: 244-260
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702, PAGES: 244-260
8730
TITLE: ALEPH: An Environment for Managing Web Database Applications
AUTHORS: José Paulo Leal ;
PUBLISHED: 1999, SOURCE: ICEIS, PAGES: 792
AUTHORS: José Paulo Leal ;
PUBLISHED: 1999, SOURCE: ICEIS, PAGES: 792
INDEXED IN: DBLP
DBLP8731
TITLE: Aliasing in object oriented systems Full Text
AUTHORS: Noble, J; Vitek, J; Lea, D; Almeida, PS ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PAGES: 136-163
AUTHORS: Noble, J; Vitek, J; Lea, D; Almeida, PS ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PAGES: 136-163
8732
TITLE: An image generation sub-system for a realistic driving simulator
AUTHORS: Leitao, JM ; Sousa, AA ; Ferreira, FN;
PUBLISHED: 1999, SOURCE: International Conference on Imaging Science, Systems, and Technology (CISST 99) in INTERNATIONAL CONFERENCE ON IMAGING SCIENCE, SYSTEMS, AND TECHNOLOGY, PROCEEDINGS, PAGES: 113-119
AUTHORS: Leitao, JM ; Sousa, AA ; Ferreira, FN;
PUBLISHED: 1999, SOURCE: International Conference on Imaging Science, Systems, and Technology (CISST 99) in INTERNATIONAL CONFERENCE ON IMAGING SCIENCE, SYSTEMS, AND TECHNOLOGY, PROCEEDINGS, PAGES: 113-119
INDEXED IN: WOS
WOS8733
TITLE: An introduction to CANonen
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: Computing and Control Engineering Journal, VOLUME: 10, ISSUE: 4, PAGES: 161-168
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: Computing and Control Engineering Journal, VOLUME: 10, ISSUE: 4, PAGES: 161-168
INDEXED IN: Scopus
Scopus8734
TITLE: An introduction to CANopen
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 4, PAGES: 161-168
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 4, PAGES: 161-168
8735
TITLE: An overview of Controller Area Network
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 3, PAGES: 113-120
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 3, PAGES: 113-120
8736
TITLE: Application of neural networks to the analysis of motion in image sequences [Aplicacion de redes neuronales en el analisis del movimiento en secuencias de imagenes]
AUTHORS: Filipe, V ; Proenca, A; Bulas Cruz, J;
PUBLISHED: 1999, SOURCE: Informacion Tecnologica, VOLUME: 10, ISSUE: 4, PAGES: 51-59
AUTHORS: Filipe, V ; Proenca, A; Bulas Cruz, J;
PUBLISHED: 1999, SOURCE: Informacion Tecnologica, VOLUME: 10, ISSUE: 4, PAGES: 51-59
INDEXED IN: Scopus
Scopus8737
TITLE: Architectures and compilers to support reconfigurable computing Full Text
AUTHORS: João M P Cardoso ; Mário P Vestístias;
PUBLISHED: 1999, SOURCE: XRDS, VOLUME: 5, ISSUE: 3, PAGES: 15-22
AUTHORS: João M P Cardoso ; Mário P Vestístias;
PUBLISHED: 1999, SOURCE: XRDS, VOLUME: 5, ISSUE: 3, PAGES: 15-22
8738
TITLE: Avaliação da auto-estima em jovens transmontanos
AUTHORS: José Vasconcelos Raposo ; Carlos Avelens Freitas;
PUBLISHED: 1999, SOURCE: Estudos de Psicologia (Campinas) - Estud. psicol. (Campinas), VOLUME: 16, ISSUE: 3, PAGES: 32-46
AUTHORS: José Vasconcelos Raposo ; Carlos Avelens Freitas;
PUBLISHED: 1999, SOURCE: Estudos de Psicologia (Campinas) - Estud. psicol. (Campinas), VOLUME: 16, ISSUE: 3, PAGES: 32-46
8739
TITLE: Building the extended enterprise on telework, a case study
AUTHORS: Martins, A ; Araujo, P; Mendonca, JM; Ferreira, JJP ;
PUBLISHED: 1999, SOURCE: IFIP TC5 WG5 3/PRODNET Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 99) in INFRASTRUCTURES FOR VIRTUAL ENTERPRISES: NETWORKING INDUSTRIAL ENTERPRISES, VOLUME: 27, PAGES: 461-470
AUTHORS: Martins, A ; Araujo, P; Mendonca, JM; Ferreira, JJP ;
PUBLISHED: 1999, SOURCE: IFIP TC5 WG5 3/PRODNET Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 99) in INFRASTRUCTURES FOR VIRTUAL ENTERPRISES: NETWORKING INDUSTRIAL ENTERPRISES, VOLUME: 27, PAGES: 461-470
INDEXED IN: WOS DBLP
WOS DBLP8740
TITLE: Combining Graphic and Alphanumeric Information in Java Applications
AUTHORS: Ricardo João Cruz Correia ; José Paulo Leal ;
PUBLISHED: 1999, SOURCE: ICEIS, PAGES: 606-611
AUTHORS: Ricardo João Cruz Correia ; José Paulo Leal ;
PUBLISHED: 1999, SOURCE: ICEIS, PAGES: 606-611
INDEXED IN: DBLP
DBLP