Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

43 Team Members
Filters -> Year: 2025
2521
TITLE: Inductive learning of tree-based regression models  Full Text
AUTHORS: Torgo, L ;
PUBLISHED: 2000, SOURCE: AI COMMUNICATIONS, VOLUME: 13, ISSUE: 2, PAGES: 137-138
INDEXED IN: WOS DBLP
2522
TITLE: Integrating rules and cases in learning via case explanation and paradigm shift  Full Text
AUTHORS: Lopes, AD; Jorge, A ;
PUBLISHED: 2000, SOURCE: International Joint Conference of the 7th Ibero-American Conference on AI/15th Brazilian Symposium on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 1952, PAGES: 33-42
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2523
TITLE: Novel models for or-parallel logic programs: A performance analysis
AUTHORS: Costa, VS ; Rocha, R ; Silva, F ;
PUBLISHED: 2000, SOURCE: 6th International Euro-Par 2000 Conference in EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 1900, PAGES: 744-753
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2524
TITLE: On principal types of combinators  Full Text
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2000, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 247, ISSUE: 1-2, PAGES: 277-290
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2525
TITLE: Optimisation on support vector machines  Full Text
AUTHORS: Pedroso, JP ; Murata, N;
PUBLISHED: 2000, SOURCE: IEEE/INNS/ENNS International Joint Conference on Neural Networks (IJCNN 2000) in IJCNN 2000: PROCEEDINGS OF THE IEEE-INNS-ENNS INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOL VI, VOLUME: 6, PAGES: 399-404
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2526
TITLE: Or-parallel Prolog on a distributed memory architecture  Full Text
AUTHORS: Silva, F ; Watson, P;
PUBLISHED: 2000, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 43, ISSUE: 2, PAGES: 173-186
INDEXED IN: Scopus WOS DBLP CrossRef: 6
2527
TITLE: PADL '00: Workshop on Practical Aspects of Declarative Languages
AUTHORS: Enrico Pontelli; Vítor Santos Costa ;
PUBLISHED: 2000, SOURCE: SIGPLAN Notices, VOLUME: 35, ISSUE: 3, PAGES: 16-17
INDEXED IN: DBLP CrossRef: 2
2528
TITLE: Parallel logic programming systems on scalable architectures  Full Text
AUTHORS: Costa, VS ; Bianchini, R; Dutra, ID ;
PUBLISHED: 2000, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 60, ISSUE: 7, PAGES: 835-852
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2529
TITLE: Partial Linear Trees
AUTHORS: Luís Torgo ;
PUBLISHED: 2000, SOURCE: Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29 - July 2, 2000, PAGES: 1007-1014
INDEXED IN: DBLP
2531
TITLE: The impact of cache coherence protocols on parallel logic programming systems
AUTHORS: Dutra, ID ; Costa, VS ; Bianchini, R;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic, CL 2000 in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861, PAGES: 1285-1299
INDEXED IN: Scopus WOS DBLP CrossRef
2532
TITLE: A virtual machine for a process calculus
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702, PAGES: 244-260
INDEXED IN: Scopus WOS DBLP CrossRef: 7
2533
TITLE: ALEPH: An Environment for Managing Web Database Applications
AUTHORS: José Paulo Leal ;
PUBLISHED: 1999, SOURCE: ICEIS, PAGES: 792
INDEXED IN: DBLP
2534
TITLE: An introduction to CANonen
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: Computing and Control Engineering Journal, VOLUME: 10, ISSUE: 4, PAGES: 161-168
INDEXED IN: Scopus
2535
TITLE: An introduction to CANopen
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 4, PAGES: 161-168
INDEXED IN: WOS CrossRef: 16
2536
TITLE: An overview of Controller Area Network
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 3, PAGES: 113-120
INDEXED IN: Scopus WOS CrossRef: 160
2537
TITLE: Combining Graphic and Alphanumeric Information in Java Applications
AUTHORS: Ricardo João Cruz Correia ; José Paulo Leal ;
PUBLISHED: 1999, SOURCE: ICEIS, PAGES: 606-611
INDEXED IN: DBLP
2538
TITLE: Counting a type's principal inhabitants - (Extended abstract)  Full Text
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 1999, SOURCE: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99) in TYPED LAMBDA CALCULI AND APPLICATIONS, VOLUME: 1581, PAGES: 69-82
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2539
TITLE: COWL: Copy-on-write for logic programs  Full Text
AUTHORS: Costa, VS ;
PUBLISHED: 1999, SOURCE: 13th Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS/SPDP 1999) in IPPS/SPDP 1999: 13TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & 10TH SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, PAGES: 720-727
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2540
TITLE: DAOS - Scalable And-Or parallelism
AUTHORS: Castro, LF; Costa, VS ; Geyer, CFR; Silva, F ; Vargas, PK; Manuel E. Correia ;
PUBLISHED: 1999, SOURCE: 5th International Euro-Par Conference in EURO-PAR'99: PARALLEL PROCESSING, VOLUME: 1685, PAGES: 899-908
INDEXED IN: Scopus WOS DBLP CrossRef: 3

Results per Page: 20.
Page 127 of 133. Total results: 2644.