Human-Centered Computing and Information Science (HumanISE)
Computação Centrada No Humano e Ciência da Informação
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
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.
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 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: 3589
213 Team MembersFilters -> Year: 2024
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: Barroso, J ; Dagless, EL; Rafael, A; 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: 761-766
AUTHORS: Bulas Cruz, J; Barroso, J ; Rafael, A; Dagless, EL;
PUBLISHED: 1997, SOURCE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997, PAGES: 73-76
AUTHORS: Bulas-Cruz, J; Barroso, J ; Rafael, A; E.L Dagless;
PUBLISHED: 1997, SOURCE: IFAC Proceedings Volumes, VOLUME: 30, ISSUE: 3, PAGES: 73-76
AUTHORS: Martins, PN ; Carrapatoso, EM ;
PUBLISHED: 1996, SOURCE: 19th Convention of Electrical and Electronics Engineers in Israel in NINETEENTH CONVENTION OF ELECTRICAL AND ELECTRONICS ENGINEERS IN ISRAEL, PAGES: 21-24
AUTHORS: António Augusto de Sousa ; Fernando Nunes Ferreira;
PUBLISHED: 1996, SOURCE: 2nd International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR 1996 in Vector and Parallel Processing - VECPAR'96, Second International Conference, Porto, Portugal, September 25-27, Selected Papers, VOLUME: 1215, PAGES: 458-469
AUTHORS: Fonseca, JB ; Carrapatoso, EM ;
PUBLISHED: 1996, SOURCE: 19th Convention of Electrical and Electronics Engineers in Israel in NINETEENTH CONVENTION OF ELECTRICAL AND ELECTRONICS ENGINEERS IN ISRAEL, PAGES: 13-16
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: Sousa, AA ; Ferreira, FN;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 471-476
AUTHORS: Sousa, AA ; Ferreira, FN;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 409-414
AUTHORS: António Augusto de Sousa ;
PUBLISHED: 1995
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1994, SOURCE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827, PAGES: 349-364
AUTHORS: Gabriel David ; António Porto ;
PUBLISHED: 1993, SOURCE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727, PAGES: 77-92
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1993, SOURCE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798, PAGES: 322-332
AUTHORS: Leitāo, JM ; Sousa, AA ; Costa, AC; Ferreira, FN;
PUBLISHED: 1993, SOURCE: Beiträge zur Graphischen Datenverarbeitung - Graphics Modeling and Visualization in Science and Technology, PAGES: 23-32
AUTHORS: RIBEIRO, C ;
PUBLISHED: 1992, SOURCE: SIGPLAN NOTICES, VOLUME: 27, ISSUE: 2, PAGES: 7-25
AUTHORS: José Manuel Leitão; António Augusto de Sousa ; António Cardoso Costa; Fernando Nunes Ferreira;
PUBLISHED: 1992, SOURCE: Graphics Modeling and Visualization in Science and Technology, Selected Papers of the Workshop on Graphics Modeling and Visualization in Scientific, Engineering and Technical Applications, Darmstadt, Germany, April 13-14, 1992, PAGES: 23-32
AUTHORS: António Porto ; Cristina Ribeiro ;
PUBLISHED: 1992, SOURCE: ECAI, PAGES: 374-378
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
AUTHORS: RIBEIRO, C ;
PUBLISHED: 1991, SOURCE: COMPUTERS AND ARTIFICIAL INTELLIGENCE, VOLUME: 10, ISSUE: 6, PAGES: 601-602