Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

University of Porto (UP) :: Faculty of Engineering (FEUP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 3943

49 Team Members
Filters -> Year: 2024
3921
TITLE: CONTROLLING COOPERATIVE EXPERTS IN A REAL-TIME SYSTEM
AUTHORS: OLIVEIRA, E ; QIEGANG, L; CAMACHO, R ;
PUBLISHED: 1991, SOURCE: 3RD INTERNATIONAL CONF ON SOFTWARE ENGINEERING FOR REAL TIME SYSTEMS in THIRD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING FOR REAL TIME SYSTEMS, VOLUME: 344, ISSUE: 344, PAGES: 176-181
INDEXED IN: Scopus WOS
3922
TITLE: Integral transforms as a change of basis in a vectorial space
AUTHORS: Grilo Francisco, CV; Casimiro Antonio, MES; Correia C Lopes Joao ;
PUBLISHED: 1991, SOURCE: 1991 IEEE International Symposium on Circuits and Systems Part 4 (of 5) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 5, PAGES: 2773-2775
INDEXED IN: Scopus
3923
TITLE: INTELLIGENT TASK PLANNING AND EXECUTION ON ASSEMBLY ROBOTICS
AUTHORS: RAMOS, C; OLIVEIRA, E ;
PUBLISHED: 1991, SOURCE: EUROPEAN ROBOTICS AND INTELLIGENT SYSTEMS CONF ( EURISON 91 ) in ENGINEERING SYSTEMS WITH INTELLIGENCE: CONCEPTS, TOOLS AND APPLICATIONS, VOLUME: 9, PAGES: 99-106
INDEXED IN: WOS
3924
TITLE: INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE - CONFERENCE REPORT
AUTHORS: RIBEIRO, C ;
PUBLISHED: 1991, SOURCE: COMPUTERS AND ARTIFICIAL INTELLIGENCE, VOLUME: 10, ISSUE: 6, PAGES: 601-602
INDEXED IN: WOS
3925
TITLE: MAXIMAL INTERVALS - AN APPROACH TO TEMPORAL REASONING
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 180-194
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3926
TITLE: MULTIAGENT COOPERATION FOR ASSEMBLY ROBOTICS
AUTHORS: OLIVEIRA, E ; RAMOS, C;
PUBLISHED: 1991, SOURCE: EUROPEAN ROBOTICS AND INTELLIGENT SYSTEMS CONF ( EURISON 91 ) in ENGINEERING SYSTEMS WITH INTELLIGENCE: CONCEPTS, TOOLS AND APPLICATIONS, VOLUME: 9, PAGES: 107-115
INDEXED IN: WOS
3927
TITLE: REASONING WITH MAXIMAL TIME INTERVALS
AUTHORS: RIBEIRO, C ; PORTO, A ;
PUBLISHED: 1991, SOURCE: International Workshop on Processing Declarative Knowledge, PDK 1991 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 567, PAGES: 171-178
INDEXED IN: Scopus WOS DBLP CrossRef
3928
TITLE: Semantics of Property Inheritance in a Hierarchic System with Explicit Negation
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings, VOLUME: 541, PAGES: 135-150
INDEXED IN: Scopus DBLP CrossRef
3929
TITLE: SEMANTICS OF PROPERTY INHERITANCE IN A HIERARCHICAL SYSTEM WITH EXPLICIT NEGATION
AUTHORS: DAVID, G ; PORTO, A ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541, PAGES: 135-150
INDEXED IN: WOS
3930
TITLE: Shell for cooperating expert systems
AUTHORS: Oliveira, E ; Camacho, R ;
PUBLISHED: 1991, SOURCE: Expert Systems, VOLUME: 8, ISSUE: 2, PAGES: 75-85
INDEXED IN: Scopus CrossRef: 3
3931
TITLE: The right use of the Laplace transform in circuits
AUTHORS: Francisco Correia Velez Grilo; Casimiro Antonio Manuel, ES; Joao Antonio Correia Lopes ;
PUBLISHED: 1991, SOURCE: 33rd Midwest Symposium on Circuits and Systems in Midwest Symposium on Circuits and Systems, VOLUME: 2, PAGES: 906-908
INDEXED IN: Scopus
3932
TITLE: 3D GRAPHICS DEVELOPMENTS AND RESEARCH AT INESC NORTE  Full Text
AUTHORS: FERREIRA, FN; COSTA, AC; SOUSA, AA ; BRANCO, VA ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1, PAGES: 47-53
INDEXED IN: Scopus WOS CrossRef
3933
TITLE: 3D graphics developments and research at INESC.Norte
AUTHORS: Fernando Nunes Ferreira; António Cardoso Costa; António Augusto de Sousa ; Afonso A Branco;
PUBLISHED: 1990, SOURCE: Comput. Graph., VOLUME: 14, ISSUE: 1, PAGES: 47-53
INDEXED IN: DBLP
3934
TITLE: Generic Browsing: A Case for Contextual Logic Programming
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1990, SOURCE: Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, Eilat, Israel, June 16, 1990. Technical Report, ECRC IR-LP-31-25, PAGES: 68-73
INDEXED IN: DBLP
3935
TITLE: Interactive Ray-Tracing for Image production with Increasing Realism
AUTHORS: Augusto A de Sousa ; António M C Costa; Fernando N Ferreira;
PUBLISHED: 1990, SOURCE: 11th European Computer Graphics Conference and Exhibition, Eurographics 1990, Montreux, Switzerland, September 4-7, 1990, Proceedings
INDEXED IN: DBLP
3936
TITLE: Cooperation between Vision and Planning Agents in a Simple Simulated Robotics Environment
AUTHORS: Carlos Ramos; Eugenio Oliveira ;
PUBLISHED: 1989, SOURCE: Intelligent Autonomous Systems 2, An International Conference, Amsterdam, The Netherlands, 11-14 December 1989, PAGES: 950-957
INDEXED IN: DBLP
3937
TITLE: COOPERATION BETWEEN VISION AND PLANNING AGENTS IN A SIMPLE SIMULATED ROBOTICS ENVIRONMENT
AUTHORS: RAMOS, C; OLIVEIRA, E ;
PUBLISHED: 1989, SOURCE: INTERNATIONAL CONF ON INTELLIGENT AUTONOMOUS SYSTEMS in INTELLIGENT AUTONOMOUS SYSTEMS 2, VOLS 1 AND 2, PAGES: 950-957
INDEXED IN: WOS
3938
TITLE: ARCA - Integrated system for cardiac pathologies diagnosis and therapy
AUTHORS: Eugenio Oliveira ; Joao Rocha ; Abreu Lima, C; Marques de Sa, JP;
PUBLISHED: 1988, SOURCE: Computers in Cardiology 1988 in Computers in Cardiology, PAGES: 489-492
INDEXED IN: Scopus
3939
TITLE: Model-based expert system for diagnosis of cardiac arrhythmias
AUTHORS: Eugenio Oliveira ; Joao Rocha ; Paulo Cunha;
PUBLISHED: 1987, SOURCE: Computers in Cardiology Conference 1987 in Computers in Cardiology, PAGES: 639-642
INDEXED IN: Scopus
3940
TITLE: DEVELOPING EXPERT SYSTEMS BUILDERS IN LOGIC PROGRAMMING
AUTHORS: OLIVEIRA, E ;
PUBLISHED: 1984, SOURCE: NEW GENERATION COMPUTING, VOLUME: 2, ISSUE: 2, PAGES: 187-194
INDEXED IN: Scopus WOS DBLP CrossRef: 6

Results per Page: 20.
Page 197 of 198. Total results: 3943.