CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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
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!
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!
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!
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: 10660
536 Team MembersFilters -> Year: 2026
10541
TITLE: The SBA: Exploiting orthogonality in AND-OR parallel systems
AUTHORS: Correia, ME ; Silva, F ; Costa, VS ;
PUBLISHED: 1997, SOURCE: 1997 International Logic Programming Symposium (ILPS 97) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, PAGES: 117-131
AUTHORS: Correia, ME ; Silva, F ; Costa, VS ;
PUBLISHED: 1997, SOURCE: 1997 International Logic Programming Symposium (ILPS 97) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, PAGES: 117-131
INDEXED IN: 
WOS 
DBLP
WOS DBLP10542
TITLE: Thread- and process-based implementations of the pSystem parallel programming environment
AUTHORS: Lopes, LMB ; Silva, FMA ;
PUBLISHED: 1997, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 3, PAGES: 329-351
AUTHORS: Lopes, LMB ; Silva, FMA ;
PUBLISHED: 1997, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 3, PAGES: 329-351
10543
TITLE: A method to create graphical user interfaces in telecommunication services specified in SDL
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: 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
INDEXED IN: 
Scopus WOS
Scopus WOS10544
TITLE: A Scalable Implementation of an Interactive Increasing Realism Ray-Tracing Algorithm
AUTHORS: António Augusto de Sousa ; Fernando Nunes Ferreira;
PUBLISHED: 1996, SOURCE: VECPAR, VOLUME: 1215, PAGES: 458-469
AUTHORS: António Augusto de Sousa ; Fernando Nunes Ferreira;
PUBLISHED: 1996, SOURCE: VECPAR, VOLUME: 1215, PAGES: 458-469
10545
TITLE: Andorra-I Compilation
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1996, SOURCE: New Gener. Comput., VOLUME: 14, ISSUE: 1, PAGES: 3-30
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1996, SOURCE: New Gener. Comput., VOLUME: 14, ISSUE: 1, PAGES: 3-30
10546
TITLE: Cuts and side-effects in and-or parallel prolog
AUTHORS: Gupta, G; Costa, VS ;
PUBLISHED: 1996, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 27, ISSUE: 1, PAGES: 45-71
AUTHORS: Gupta, G; Costa, VS ;
PUBLISHED: 1996, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 27, ISSUE: 1, PAGES: 45-71
10547
TITLE: Distributed telecommunications services
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: 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
INDEXED IN: Scopus WOS
Scopus WOS10548
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
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
10549
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)
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)
10550
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
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
CrossRef10551
TITLE: Regression by Classification
AUTHORS: Luís Torgo ; João Gama ;
PUBLISHED: 1996, SOURCE: SBIA, VOLUME: 1159, PAGES: 51-60
AUTHORS: Luís Torgo ; João Gama ;
PUBLISHED: 1996, SOURCE: SBIA, VOLUME: 1159, PAGES: 51-60
10552
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
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
WOS CrossRef10553
TITLE: Using Internet technology for course support
AUTHORS: José Eduardo Pina Miranda; Jorge Sousa Pinto ;
PUBLISHED: 1996, SOURCE: ITiCSE, VOLUME: 28, ISSUE: Special Issu, PAGES: 96-100
AUTHORS: José Eduardo Pina Miranda; Jorge Sousa Pinto ;
PUBLISHED: 1996, SOURCE: ITiCSE, VOLUME: 28, ISSUE: Special Issu, PAGES: 96-100
10554
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
AUTHORS: SANTOS, LP ; CHALMERS, A; PROENCA, A ;
PUBLISHED: 1995, SOURCE: PROGRAMMING AND COMPUTER SOFTWARE, VOLUME: 21, ISSUE: 1, PAGES: 51-55
INDEXED IN: WOS
WOS10555
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
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
DBLP10556
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
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
10557
TITLE: Behavioral Cloning A Correction
AUTHORS: Rui Camacho ; Donald Michie;
PUBLISHED: 1995, SOURCE: AI Mag., VOLUME: 16, ISSUE: 2, PAGES: 92
AUTHORS: Rui Camacho ; Donald Michie;
PUBLISHED: 1995, SOURCE: AI Mag., VOLUME: 16, ISSUE: 2, PAGES: 92
INDEXED IN: DBLP
DBLP10558
TITLE: Characterization of Classification Algorithms
AUTHORS: João Gama ; Pavel Brazdil ;
PUBLISHED: 1995, SOURCE: EPIA, VOLUME: 990, PAGES: 189-200
AUTHORS: João Gama ; Pavel Brazdil ;
PUBLISHED: 1995, SOURCE: EPIA, VOLUME: 990, PAGES: 189-200
10559
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
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 1995, SOURCE: Ergodic Theory and Dynamical Systems, VOLUME: 15, ISSUE: 4, PAGES: 697-734
10560
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
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 1995, SOURCE: Ergodic Theory and Dynamical Systems, VOLUME: 15, ISSUE: 5, PAGES: 969-992
