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

531 Team Members
Filters -> Year: 2024
8841
TITLE: Distributing And-Work and Or-Work in Parallel Logic Programming Systems
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1996, SOURCE: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, VOLUME: 1, PAGES: 646-655
INDEXED IN: Scopus DBLP CrossRef
8842
TITLE: Performance of Sparse Binding Arrays for Or-Parallelism
AUTHORS: Vítor Santos Costa ; Manuel Eduardo Correia ; Fernando Silva ;
PUBLISHED: 1996, SOURCE: Anais do VIII International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 1996)
INDEXED IN: CrossRef: 1 Unpaywall
8843
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
INDEXED IN: CrossRef
8844
TITLE: Regression by Classification
AUTHORS: Luís Torgo ; João Gama ;
PUBLISHED: 1996, SOURCE: 13th Brazilian Symposium on Artificial Intelligence, SBIA 1996 in Advances in Artificial Intelligence, 13th Brazilian Symposium on Artificial Intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996, Proceedings, VOLUME: 1159, PAGES: 51-60
INDEXED IN: Scopus DBLP CrossRef: 30
8845
TITLE: Semantics of non-terminating rewrite systems using minimal coverings  Full Text
AUTHORS: Barros, J ; Goguen, J;
PUBLISHED: 1996, SOURCE: 9th International Workshop on Computer Science Logic (CSL 95) / Annual Conference of the EACSL in COMPUTER SCIENCE LOGIC, VOLUME: 1092, PAGES: 16-35
INDEXED IN: WOS CrossRef
8846
TITLE: Using Internet technology for course support
AUTHORS: Miranda, JEP; Pinto, JS ;
PUBLISHED: 1996, SOURCE: Proceedings of the 1996 Symposium on Integrating Technology into Computer Science Education in SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), VOLUME: 28, ISSUE: Special Issu, PAGES: 96-100
INDEXED IN: Scopus DBLP CrossRef
8847
TITLE: A MESSAGES-DENSITY MONITORING STRATEGY FOR DISTRIBUTED-MEMORY PARALLEL SYSTEMS
AUTHORS: SANTOS, LP ; CHALMERS, A; PROENCA, A ;
PUBLISHED: 1995, SOURCE: PROGRAMMING AND COMPUTER SOFTWARE, VOLUME: 21, ISSUE: 1, PAGES: 51-55
INDEXED IN: WOS
8848
TITLE: An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions
AUTHORS: Paulo Jorge de Sousa Azevedo ; Danilo Montesi;
PUBLISHED: 1995, SOURCE: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, VOLUME: 266, PAGES: 71-80
INDEXED IN: DBLP
8849
TITLE: Aurora vs muse: A portability study of two or-parallel prolog systems  Full Text
AUTHORS: Correia, ME ; Silva, FMA ; Costa, VS ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 345-349
INDEXED IN: Scopus WOS CrossRef: 1
8850
TITLE: Behavioral Cloning A Correction
AUTHORS: Rui Camacho ; Donald Michie;
PUBLISHED: 1995, SOURCE: AI Magazine, VOLUME: 16, ISSUE: 2, PAGES: 92
INDEXED IN: DBLP
8851
TITLE: Characterization of Classification Algorithms
AUTHORS: João Gama ; Pavel Brazdil ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 189-200
INDEXED IN: Scopus DBLP CrossRef: 51
8852
TITLE: Classifying C1+ structures on dynamical fractals: 1. The moduli space of solenoid functions for Markov maps on train tracks
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 1995, SOURCE: Ergodic Theory and Dynamical Systems, VOLUME: 15, ISSUE: 4, PAGES: 697-734
INDEXED IN: Scopus CrossRef: 6
8853
TITLE: Classifying C1+ structures on dynamical fractals: 2. Embedded trees
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 1995, SOURCE: Ergodic Theory and Dynamical Systems, VOLUME: 15, ISSUE: 5, PAGES: 969-992
INDEXED IN: Scopus CrossRef: 7
8854
TITLE: Concurrent attribute evaluation  Full Text
AUTHORS: Saraiva, J ; Henriques, P ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 451-457
INDEXED IN: Scopus WOS CrossRef: 1
8855
TITLE: Data Oriented LP with Magritte
AUTHORS: José Paulo Leal ;
PUBLISHED: 1995, SOURCE: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995
INDEXED IN: DBLP
8856
TITLE: Distributing and- and or-work in the Andorra-I parallel logic programming system
AUTHORS: Inês de Castro Dutra ;
PUBLISHED: 1995, SOURCE: British Library, EThOS
INDEXED IN: DBLP
8857
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
INDEXED IN: WOS DBLP
8858
TITLE: Learning recursion with iterative bootstrap induction
AUTHORS: Jorge, A ; Brazdil, P ;
PUBLISHED: 1995, SOURCE: 8th European Conference on Machine Learning in MACHINE LEARNING: ECML-95, VOLUME: 912, PAGES: 299-302
INDEXED IN: Scopus WOS DBLP CrossRef
8859
TITLE: On writing a router for message passing in a transputer network  Full Text
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
INDEXED IN: Scopus WOS CrossRef
8860
TITLE: Operating system support for parallel computation  Full Text
AUTHORS: deMoura, FS ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 307-312
INDEXED IN: Scopus WOS

Results per Page: 20.
Page 443 of 448. Total results: 8951.