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

531 Team Members
Filters -> Year: 2024
8301
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
8302
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
8303
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
8304
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
8305
TITLE: VisAll: A universal tool to visualise the parallel execution of logic programs
AUTHORS: Fonseca, N ; Costa, VS ; Dutra, ID ;
PUBLISHED: 1998, SOURCE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, PAGES: 100-114
INDEXED IN: WOS DBLP
8306
TITLE: Balloon Types: Controlling Sharing of State in Data Types
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1997, SOURCE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PAGES: 32-59
INDEXED IN: Scopus DBLP CrossRef: 61
8307
TITLE: Biometry: the characterisation of chestnut-tree leaves using computer vision
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
INDEXED IN: Scopus WOS CrossRef: 13
8308
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PAGES: 554-559
INDEXED IN: Scopus DBLP CrossRef Handle
8309
TITLE: Enhancing load distribution strategies through simulation
AUTHORS: Cunha, A ; Santos, LP ; Belo, O ;
PUBLISHED: 1997, SOURCE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, PAGES: 416-420
INDEXED IN: WOS
8310
TITLE: Evaluating parallel logic programming systems on scalable multiprocessors
AUTHORS: Vitor Santos Costa ; Ricardo Bianchini; Castro Dutra Ines de ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 2nd International Symposium on Parallel Symbolic Computation, PASCO in International Symposium on Parallel Symbolic Computation, Proceedings, PASCO, PAGES: 58-67
INDEXED IN: Scopus DBLP CrossRef: 4
8311
TITLE: Evaluating the impact of coherence protocols on parallel logic programming systems
AUTHORS: Vítor Santos Costa ; Ricardo Bianchini; Inês de Castro Dutra ;
PUBLISHED: 1997, SOURCE: Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK, PAGES: 376-381
INDEXED IN: DBLP
8312
TITLE: Evaluation of the communication performance on a parallel processing system  Full Text
AUTHORS: Santos, LP ; Castro, V; Proenca, A ;
PUBLISHED: 1997, SOURCE: 4th European PVM/MPI Users Group Meeting in RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, VOLUME: 1332, PAGES: 41-48
INDEXED IN: Scopus WOS
8313
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain, PAGES: 109-124
INDEXED IN: DBLP
8314
TITLE: Integrity constraints in ILP using a Monte Carlo approach  Full Text
AUTHORS: Jorge, A ; Brazdil, PB ;
PUBLISHED: 1997, SOURCE: 6th International Workshop on Logic Program Synthesis and Transformation (LOPSTR 96) / 6th Inductive Logic Programming Workshop (ILP 96) in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 1314, PAGES: 229-244
INDEXED IN: Scopus WOS DBLP CrossRef: 2
8315
TITLE: Magic sets with full sharing  Full Text
AUTHORS: Azevedo, PJ ;
PUBLISHED: 1997, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 30, ISSUE: 3, PAGES: 223-237
INDEXED IN: Scopus WOS DBLP CrossRef: 4
8316
TITLE: Number plate reading using computer vision
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
INDEXED IN: Scopus WOS CrossRef: 55
8317
TITLE: Oblique linear tree
AUTHORS: Gama, J ;
PUBLISHED: 1997, SOURCE: 2nd International Symposium on Advances in Intelligent Data Analysis - Reasoning About Data (IDA-97) in ADVANCES IN INTELLIGENT DATA ANALYSIS: REASONING ABOUT DATA, VOLUME: 1280, PAGES: 187-198
INDEXED IN: Scopus WOS DBLP CrossRef: 15
8318
TITLE: Parallel neural network recognition - a multi-agent system approach
AUTHORS: Cunha, A ; Biscaia, C; Torres, M; Sobral, L; Belo, O ;
PUBLISHED: 1997, SOURCE: 5th International Conference on the Application of High-Performance Computers in Engineering (HPC 97) in APPLICATIONS OF HIGH PERFORMANCE COMPUTING IN ENGINEERING V, VOLUME: 3, PAGES: 103-112
INDEXED IN: Scopus WOS Handle
8319
TITLE: Probabilistic Linear Tree
AUTHORS: João Gama ;
PUBLISHED: 1997, SOURCE: Proceedings of the Fourteenth International Conference on Machine Learning (ICML 1997), Nashville, Tennessee, USA, July 8-12, 1997, PAGES: 134-142
INDEXED IN: DBLP
8320
TITLE: Real-time number plate reading
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
INDEXED IN: WOS

Results per Page: 20.
Page 416 of 422. Total results: 8435.