Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 4662
61 Team MembersFilters -> Year: 2026
4581
TITLE: Commutativity analysis: a technique for automatically parallelizing pointer-based computations Full Text
AUTHORS: Martin Rinard; Pedro Diniz ;
PUBLISHED: 1996, SOURCE: Proceedings of the 1996 10th International Parallel Processing Symposium in IEEE Symposium on Parallel and Distributed Processing - Proceedings, PAGES: 14-22
AUTHORS: Martin Rinard; Pedro Diniz ;
PUBLISHED: 1996, SOURCE: Proceedings of the 1996 10th International Parallel Processing Symposium in IEEE Symposium on Parallel and Distributed Processing - Proceedings, PAGES: 14-22
INDEXED IN: 
Scopus
Scopus4582
TITLE: Intelligent Distributed Environmental Decision Support System
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1996, SOURCE: SBIA, VOLUME: 1159, PAGES: 171-180
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1996, SOURCE: SBIA, VOLUME: 1159, PAGES: 171-180
4583
TITLE: Issues in techno-organisational development methods for complex manufacturing environments
AUTHORS: António Brandão Moniz ; Soares, AL ;
PUBLISHED: 1996, SOURCE: 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems in BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, PAGES: 500-507
AUTHORS: António Brandão Moniz ; Soares, AL ;
PUBLISHED: 1996, SOURCE: 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems in BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, PAGES: 500-507
4584
TITLE: MACIV - A DAI Based Resource Management System
AUTHORS: José M Fonseca; Eugénio C Oliveira ; Adolfo Steiger Garção;
PUBLISHED: 1996, SOURCE: PAAM, PAGES: 263-278
AUTHORS: José M Fonseca; Eugénio C Oliveira ; Adolfo Steiger Garção;
PUBLISHED: 1996, SOURCE: PAAM, PAGES: 263-278
INDEXED IN: 
DBLP
DBLP4585
TITLE: Maciv: A dai based resource management system Full Text
AUTHORS: De Oliveira, E ; Fonseca, JM ; Steiger Garcao, A ;
PUBLISHED: 1996, SOURCE: Applied Artificial Intelligence, VOLUME: 11, ISSUE: 6, PAGES: 525-550
AUTHORS: De Oliveira, E ; Fonseca, JM ; Steiger Garcao, A ;
PUBLISHED: 1996, SOURCE: Applied Artificial Intelligence, VOLUME: 11, ISSUE: 6, PAGES: 525-550
4586
TITLE: Negotiation between economically motivated agents
AUTHORS: Oliveira, E ; Fonseca, JM; SteigerGarcao, A;
PUBLISHED: 1996, SOURCE: 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems in BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, PAGES: 329-338
AUTHORS: Oliveira, E ; Fonseca, JM; SteigerGarcao, A;
PUBLISHED: 1996, SOURCE: 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems in BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, PAGES: 329-338
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef4587
TITLE: On the complexity of commutativity analysis
AUTHORS: Ibarra, O; Diniz, P ; Rinard, M;
PUBLISHED: 1996, SOURCE: 2nd Annual International Conference on Computing and Combinatorics, COCOON 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1090, PAGES: 323-332
AUTHORS: Ibarra, O; Diniz, P ; Rinard, M;
PUBLISHED: 1996, SOURCE: 2nd Annual International Conference on Computing and Combinatorics, COCOON 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1090, PAGES: 323-332
INDEXED IN: Scopus
Scopus4588
TITLE: Ray-Tracing for Stereoscopic Images
AUTHORS: Miguel M Leitão ; Augusto A Sousa ; Nunes N Ferreira;
PUBLISHED: 1996, SOURCE: Beiträge zur Graphischen Datenverarbeitung - Modelling and Graphics in Science and Technology, PAGES: 244-257
AUTHORS: Miguel M Leitão ; Augusto A Sousa ; Nunes N Ferreira;
PUBLISHED: 1996, SOURCE: Beiträge zur Graphischen Datenverarbeitung - Modelling and Graphics in Science and Technology, PAGES: 244-257
INDEXED IN: CrossRef
CrossRef4589
TITLE: Semantic foundations of commutativity analysis
AUTHORS: Rinard, MC; Diniz, PC ;
PUBLISHED: 1996, SOURCE: 2nd International European Conference on Parallel Processing, Euro-Par 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1123, PAGES: 414-423
AUTHORS: Rinard, MC; Diniz, PC ;
PUBLISHED: 1996, SOURCE: 2nd International European Conference on Parallel Processing, Euro-Par 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1123, PAGES: 414-423
INDEXED IN: Scopus
Scopus4590
TITLE: TARCA - An Integrated System for Diagnosis and Treatment of Cardiac Arrhythmias
AUTHORS: António José Ferreira da Silva; Eugénio Oliveira ;
PUBLISHED: 1996, SOURCE: SBIA, VOLUME: 1159, PAGES: 161-170
AUTHORS: António José Ferreira da Silva; Eugénio Oliveira ;
PUBLISHED: 1996, SOURCE: SBIA, VOLUME: 1159, PAGES: 161-170
4591
TITLE: An experimental evaluation of a peer-model monitoring system for the support of a parallel processing environment Full Text
AUTHORS: Cruz, JM ; Cunha, JFE ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 331-343
AUTHORS: Cruz, JM ; Cunha, JFE ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 331-343
4592
TITLE: An intelligent distributed system for environmental management
AUTHORS: MALHEIRO, B ; OLIVEIRA, E ;
PUBLISHED: 1995, SOURCE: Eurocourse on Environmental Informatics Applications in ENVIRONMENTAL INFORMATICS: METHODOLOGY AND APPLICATIONS OF ENVIRONMENTAL INFORMATION PROCESSING, VOLUME: 6, PAGES: 355-370
AUTHORS: MALHEIRO, B ; OLIVEIRA, E ;
PUBLISHED: 1995, SOURCE: Eurocourse on Environmental Informatics Applications in ENVIRONMENTAL INFORMATICS: METHODOLOGY AND APPLICATIONS OF ENVIRONMENTAL INFORMATION PROCESSING, VOLUME: 6, PAGES: 355-370
INDEXED IN: WOS
WOS4593
TITLE: An Intelligent Distributed System for Environmental Management
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: Environmental Informatics - EUROCOURSES, PAGES: 355-370
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: Environmental Informatics - EUROCOURSES, PAGES: 355-370
4594
TITLE: Behavioral Cloning A Correction
AUTHORS: Rui Camacho ; Donald Michie;
PUBLISHED: 1995, SOURCE: AI Mag., VOLUME: 16, ISSUE: 2, PAGES: 92
AUTHORS: Rui Camacho ; Donald Michie;
PUBLISHED: 1995, SOURCE: AI Mag., VOLUME: 16, ISSUE: 2, PAGES: 92
INDEXED IN: DBLP
DBLP4595
TITLE: Cognitive cooperation facilitators
AUTHORS: OLIVEIRA, E ; GARRIDO, P;
PUBLISHED: 1995, SOURCE: 1995 IEEE International Conference on Systems, Man and Cybernetics - Intelligent Systems for the 21st-Century in 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, VOLUME: 4, PAGES: 3806-3809
AUTHORS: OLIVEIRA, E ; GARRIDO, P;
PUBLISHED: 1995, SOURCE: 1995 IEEE International Conference on Systems, Man and Cybernetics - Intelligent Systems for the 21st-Century in 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, VOLUME: 4, PAGES: 3806-3809
INDEXED IN: Scopus WOS
Scopus WOS4596
TITLE: Consistency and Context Management in a Multi-Agent Belief Revision Testbed
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: ATAL, VOLUME: 1037, PAGES: 361-375
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: ATAL, VOLUME: 1037, PAGES: 361-375
4597
TITLE: Detecting the opportunities of learning from the interactions in a society of organizations
AUTHORS: Marcos Augusto; Hochuli Shmeil; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: 12th Brazilian Symposium on Artificial Intelligence, SBIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 991, PAGES: 242-252
AUTHORS: Marcos Augusto; Hochuli Shmeil; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: 12th Brazilian Symposium on Artificial Intelligence, SBIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 991, PAGES: 242-252
INDEXED IN: Scopus CrossRef
Scopus CrossRef4598
TITLE: Detecting the Opportunities of Learning from the Interactions in a Society of Organizations
AUTHORS: Marcos Augusto Hochuli Shmeil; Eugénio C Oliveira ;
PUBLISHED: 1995, SOURCE: SBIA, PAGES: 242-252
AUTHORS: Marcos Augusto Hochuli Shmeil; Eugénio C Oliveira ;
PUBLISHED: 1995, SOURCE: SBIA, PAGES: 242-252
INDEXED IN: DBLP
DBLP4599
TITLE: Improving assumption based distributed belief revision
AUTHORS: MALHEIRO, B ; OLIVEIRA, E ;
PUBLISHED: 1995, SOURCE: 5th Scandinavian Symposium on Artificial Intelligence (SCAI 95) in SCAI '95 - FIFTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 28, PAGES: 41-50
AUTHORS: MALHEIRO, B ; OLIVEIRA, E ;
PUBLISHED: 1995, SOURCE: 5th Scandinavian Symposium on Artificial Intelligence (SCAI 95) in SCAI '95 - FIFTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 28, PAGES: 41-50
INDEXED IN: WOS DBLP
WOS DBLP4600
TITLE: Integration of concurrency control in a language with subtyping and subclassing
AUTHORS: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
PUBLISHED: 1995, SOURCE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PAGES: 173-183
AUTHORS: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
PUBLISHED: 1995, SOURCE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PAGES: 173-183
INDEXED IN: WOS DBLP
WOS DBLP