CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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: 8959

531 Team Members
Filters -> Year: 2024
8801
TITLE: Computer Graphics as an Enabling Technology for Cooperative, Global Applications  Full Text
AUTHORS: Marcos, AF ; Chesnais, A; Encarnacao, J;
PUBLISHED: 1998, SOURCE: Computer Graphics (ACM), VOLUME: 32, ISSUE: 4, PAGES: 22-24
INDEXED IN: Scopus
8802
TITLE: Distance: A New Metric for Controlling Granularity for Parallel Execution
AUTHORS: Kish Shen; Vítor Santos Costa ; Andy King;
PUBLISHED: 1998, SOURCE: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, PAGES: 85-99
INDEXED IN: DBLP
8803
TITLE: Distribution and Mobility with Lexical Scoping in Process Calculi
AUTHORS: Vasco Thudichum Vasconcelos ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1998, SOURCE: HLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98) in Electr. Notes Theor. Comput. Sci., VOLUME: 16, ISSUE: 3, PAGES: 189-204
INDEXED IN: Scopus DBLP CrossRef: 8
8804
TITLE: Dynamic discretization of continuous attributes
AUTHORS: Gama, J ; Torgo, L ; Soares, C ;
PUBLISHED: 1998, SOURCE: 6th Ibero-American Congress on Artificial Intelligence (IBERAMIA 98) in PROGRESS IN ARTIFICIAL INTELLIGENCE-IBERAMIA 98, VOLUME: 1484, PAGES: 160-169
INDEXED IN: Scopus WOS DBLP CrossRef: 14
8805
TITLE: Improving causality logging in mobile computing networks  Full Text
AUTHORS: Carlos Baquero ; Francisco Moura ;
PUBLISHED: 1998, SOURCE: Mobile Computing and Communications Review, VOLUME: 2, ISSUE: 4, PAGES: 62-66
INDEXED IN: DBLP CrossRef: 3
8806
TITLE: Inducing Models of human Control Skills
AUTHORS: Rui Camacho ;
PUBLISHED: 1998, SOURCE: Machine Learning: ECML-98, 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings, VOLUME: 1398, PAGES: 107-118
INDEXED IN: DBLP
8807
TITLE: Local Cascade Generalization
AUTHORS: João Gama ;
PUBLISHED: 1998, SOURCE: Proceedings of the Fifteenth International Conference on Machine Learning (ICML 1998), Madison, Wisconsin, USA, July 24-27, 1998, PAGES: 206-214
INDEXED IN: DBLP
8808
TITLE: Lrc - A generator for incremental language-oriented tools  Full Text
AUTHORS: Kuiper, M; Saraiva, J ;
PUBLISHED: 1998, SOURCE: 7th International Conference on Compiler Construction (CC 98) at the Joint European Conferences on Theory and Practice of Software (ETAPS 98) in COMPILER CONSTRUCTION, VOLUME: 1383, PAGES: 298-301
INDEXED IN: Scopus WOS DBLP CrossRef: 17
8809
TITLE: Multi-μ. an Ada 95 based architecture for fault tolerance support of real-time systems
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1998, SOURCE: ACM SIGAda Ada Letters - Ada Lett., VOLUME: XVIII, ISSUE: 6, PAGES: 52-60
INDEXED IN: CrossRef
8810
TITLE: Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. an Ada 95 based architecture for fault tolerance support of real-time systems  Full Text
AUTHORS: Luís Miguel Pinho ; Francisco Vasques ;
PUBLISHED: 1998, SOURCE: 1998 Annual ACM SIGAda International Conference on Ada, SIGAda 1998 in SIGAda, VOLUME: Part F129235, PAGES: 52-60
INDEXED IN: Scopus DBLP CrossRef: 2
8811
TITLE: Numerical algorithm for recursive subspace identification  Full Text
AUTHORS: Delgado, CJM ; dos Santos, PL ; de Carvalho, JLM ;
PUBLISHED: 1998, SOURCE: 37th IEEE Conference on Decision and Control in PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, VOLUME: 2, PAGES: 1848-1849
INDEXED IN: Scopus WOS CrossRef: 2
8812
TITLE: On the optimal management of project risk  Full Text
AUTHORS: Tavares, LV ; Ferreira, JAA ; Coelho, JS ;
PUBLISHED: 1998, SOURCE: 5th International Workshop on Project Management and Scheduling in EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 107, ISSUE: 2, PAGES: 451-469
INDEXED IN: Scopus WOS CrossRef: 49
8813
TITLE: Optimising parallel logic programming systems for scalable machines
AUTHORS: Costa, VS ; Bianchini, R;
PUBLISHED: 1998, SOURCE: 4th International Euro-Par Conference on Parallel Processing in EURO-PAR '98 PARALLEL PROCESSING, VOLUME: 1470, PAGES: 831-841
INDEXED IN: Scopus WOS DBLP CrossRef: 3
8814
TITLE: Perspectives on the implementation of a videotelephony based DAVIC system
AUTHORS: Pavao, JA ; Carvalho, P; da Rocha, NP ;
PUBLISHED: 1998, SOURCE: 9th Mediterranean Electrotechnical Conference (Melecon 98) in MELECON '98 - 9TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1 AND 2, VOLUME: 2, PAGES: 1361-1365
INDEXED IN: Scopus WOS
8815
TITLE: Redundant Covering with Global Evaluation in the RC1 Inductive Learner
AUTHORS: Alneu de Andrade Lopes; Pavel Brazdil ;
PUBLISHED: 1998, SOURCE: 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998 in Advances in Artificial Intelligence, 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998, Proceedings, VOLUME: 1515, PAGES: 111-120
INDEXED IN: Scopus DBLP CrossRef
8816
TITLE: Simulating a gas distribution network in a distributed object oriented system
AUTHORS: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLISHED: 1998, SOURCE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, PAGES: 283-287
INDEXED IN: WOS
8817
TITLE: Symbolic Clustering Of Probabilistic Data
AUTHORS: Paula Brito ;
PUBLISHED: 1998, SOURCE: Studies in Classification, Data Analysis, and Knowledge Organization - Advances in Data Science and Classification, PAGES: 385-390
INDEXED IN: CrossRef: 2
8818
TITLE: The role of verification in interactive systems design
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1, PAGES: 155-170
INDEXED IN: WOS DBLP
8819
TITLE: Towards an automatic path from JavaTM bytecodes to hardware through high-level synthesis
AUTHORS: João M P Cardoso ; Horácio C Neto;
PUBLISHED: 1998, SOURCE: 5th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1998, Surfing the Waves of Science and Technology, Lisbon, Portugal, September 7-10, 1998 , PAGES: 85-88
INDEXED IN: DBLP CrossRef: 6
8820
TITLE: Towards an automatic path from JavaTM bytecodes to hardware through high-level synthesis
AUTHORS: Cardoso Joao, MP ; Neto Horacio, C;
PUBLISHED: 1998, SOURCE: Proceedings of the 1998 5th IEEE International Conference on Electronics, Circuits and Systems (ICECS'98) - Surfing the Waves of Science and Technology in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 1, PAGES: 85-88
INDEXED IN: Scopus

Results per Page: 20.
Page 441 of 448. Total results: 8959.