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: 8280
531 Team MembersFilters -> Year: 2024
7941
TITLE: Preface Full Text
AUTHORS: Roland Backhouse; José Oliveira ;
PUBLISHED: 2002, SOURCE: Science of Computer Programming, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
AUTHORS: Roland Backhouse; José Oliveira ;
PUBLISHED: 2002, SOURCE: Science of Computer Programming, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
INDEXED IN: 
CrossRef
CrossRef7942
TITLE: Querying XML Databases Full Text
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 142-150
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 142-150
7943
TITLE: Reducing the cost of group communication with semantic view synchrony
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 293-302
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 293-302
7944
TITLE: Remote collaborative data mining through online knowledge sharing
AUTHORS: Jorge, A ; Moyle, S; Voss, A;
PUBLISHED: 2002, SOURCE: 3rd Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 02) in COLLABORATIVE BUSINESS ECOSYSTEMS AND VIRTUAL ENTERPRISES, VOLUME: 85, PAGES: 497-504
AUTHORS: Jorge, A ; Moyle, S; Voss, A;
PUBLISHED: 2002, SOURCE: 3rd Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 02) in COLLABORATIVE BUSINESS ECOSYSTEMS AND VIRTUAL ENTERPRISES, VOLUME: 85, PAGES: 497-504
INDEXED IN: 
WOS 
DBLP
WOS DBLP7945
TITLE: Retail promotion objectives: Evidence from New Zealand, Portugal and Hungary
AUTHORS: Fam, KS; Merrilees, B; Brito, P ; Jozsa, L;
PUBLISHED: 2002, SOURCE: Journal of Euromarketing, VOLUME: 11, ISSUE: 4, PAGES: 5-26
AUTHORS: Fam, KS; Merrilees, B; Brito, P ; Jozsa, L;
PUBLISHED: 2002, SOURCE: Journal of Euromarketing, VOLUME: 11, ISSUE: 4, PAGES: 5-26
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef7946
TITLE: Semantically reliable group communication
AUTHORS: José Pereira ;
PUBLISHED: 2002
AUTHORS: José Pereira ;
PUBLISHED: 2002
INDEXED IN: DBLP
DBLP7948
TITLE: Special issue on Mathematics of Program Construction (MPC 2000) Preface Full Text
AUTHORS: Backhouse, R; Oliveira, J ;
PUBLISHED: 2002, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
AUTHORS: Backhouse, R; Oliveira, J ;
PUBLISHED: 2002, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
INDEXED IN: Scopus WOS
Scopus WOS7949
TITLE: Teichmuller spaces and HR structures for hyperbolic surface dynamics
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2002, SOURCE: ERGODIC THEORY AND DYNAMICAL SYSTEMS, VOLUME: 22, ISSUE: 6, PAGES: 1905-1931
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2002, SOURCE: ERGODIC THEORY AND DYNAMICAL SYSTEMS, VOLUME: 22, ISSUE: 6, PAGES: 1905-1931
7950
TITLE: Towards Temporal Reasoning in ISCO PDF
AUTHORS: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 311-324
AUTHORS: Vítor Beires Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 311-324
INDEXED IN: DBLP
DBLP7951
TITLE: Transparent environment for replicated Ravenscar applications
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2002, SOURCE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361, PAGES: 297-308
AUTHORS: Pinho, LM ; Vasques, F ;
PUBLISHED: 2002, SOURCE: 7th International Conference on Reliable Software Technologies - Ada Europe 2002 in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, VOLUME: 2361, PAGES: 297-308
7952
TITLE: Type inference using constraint handling rules
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2002, SOURCE: WFLP 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers in Electronic Notes in Theoretical Computer Science, VOLUME: 64, PAGES: 59-75
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2002, SOURCE: WFLP 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers in Electronic Notes in Theoretical Computer Science, VOLUME: 64, PAGES: 59-75
7953
TITLE: Using Constraint Logic Programming to Generate Drills in Mathematics PDF
AUTHORS: Ana Paula Tomás ; José Paulo Leal ; Pedro Vasconcelos;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 155-172
AUTHORS: Ana Paula Tomás ; José Paulo Leal ; Pedro Vasconcelos;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 155-172
INDEXED IN: DBLP
DBLP7954
TITLE: Using Ravenscar to support fault-tolerant real-time applications
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, ISSUE: 4, PAGES: 47
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XXII, ISSUE: 4, PAGES: 47
7955
TITLE: Using Ravenscar to support fault-tolerant real-time applications Full Text
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: 11th International Real-Time Ada Workshop, IRTAW 2002 in Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002, PAGES: 47-52
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 2002, SOURCE: 11th International Real-Time Ada Workshop, IRTAW 2002 in Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002, PAGES: 47-52
7956
TITLE: Version stamps - Decentralized version vectors Full Text
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
7957
TITLE: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PAGES: 864-874
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PAGES: 864-874
7958
TITLE: "Bagatelle in C arranged for VDM SoLo"
AUTHORS: Oliveira, JN ;
PUBLISHED: 2001, SOURCE: Colloquium on Formal Aspects of Software Engineering in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 7, ISSUE: 8, PAGES: 754-781
AUTHORS: Oliveira, JN ;
PUBLISHED: 2001, SOURCE: Colloquium on Formal Aspects of Software Engineering in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 7, ISSUE: 8, PAGES: 754-781
INDEXED IN: WOS
WOS7959
TITLE: A Bayesian RunTime load manager on a shared cluster
AUTHORS: Santos, LP ; Proenca, A ;
PUBLISHED: 2001, SOURCE: 1st IEEE/AMC International Symposium on Cluster Computing and the Grid in FIRST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, PAGES: 674-679
AUTHORS: Santos, LP ; Proenca, A ;
PUBLISHED: 2001, SOURCE: 1st IEEE/AMC International Symposium on Cluster Computing and the Grid in FIRST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, PAGES: 674-679
7960
TITLE: A different approach to real web accessibility
AUTHORS: António Ramires Fernandes; Fernando Mário Martins; Hugo Paredes ; Jorge Ribeiro Pereira;
PUBLISHED: 2001, SOURCE: Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction), New Orleans, USA, August 5-10, 2001, Volume 3, PAGES: 723-727
AUTHORS: António Ramires Fernandes; Fernando Mário Martins; Hugo Paredes ; Jorge Ribeiro Pereira;
PUBLISHED: 2001, SOURCE: Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction), New Orleans, USA, August 5-10, 2001, Volume 3, PAGES: 723-727
INDEXED IN: DBLP
DBLP