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
2441
TITLE: Segmentation of moving pedestrians within the compressed domain
AUTHORS: Miguel T Coimbra ; Mike Davies;
PUBLISHED: 2004, SOURCE: Proceedings - IEEE International Conference on Acoustics, Speech, and Signal Processing in 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2004, Montreal, Quebec, Canada, May 17-21, 2004, VOLUME: 3, PAGES: 605-608
INDEXED IN: Scopus DBLP CrossRef: 2
2442
TITLE: Speculative computations in or-parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132, PAGES: 254-268
INDEXED IN: Scopus WOS DBLP CrossRef
2443
TITLE: SRBQ and RSVPRAgg: A comparative study
AUTHORS: Prior, R ; Sargento, S ; Brandao, P ; Crisostomo, S ;
PUBLISHED: 2004, SOURCE: 11th International Conference on Telecommunications in TELECOMMUICATIONS AND NETWORKING - ICT 2004, VOLUME: 3124, PAGES: 1210-1217
INDEXED IN: Scopus WOS DBLP CrossRef
2444
TITLE: Study of hybrid coherence protocols for parallel logic programming systems
AUTHORS: De Oliveira, EPG; Ramos, F; De Dutra, IC ; De Castro, MCS;
PUBLISHED: 2004, SOURCE: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, VOLUME: 16, PAGES: 821-826
INDEXED IN: Scopus
2445
TITLE: The decidability of a fragment of BB ' IW-logic  Full Text
AUTHORS: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLISHED: 2004, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, ISSUE: 3, PAGES: 373-408
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2446
TITLE: The MyYapDB deductive database system
AUTHORS: Ferreira, M ; Rocha, R ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PAGES: 710-713
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2447
TITLE: A CLP-based tool for computer aided generation and solving of maths exercises
AUTHORS: Tomas, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
INDEXED IN: Scopus WOS DBLP CrossRef: 9
2448
TITLE: A multi-agent system for automated timetabling with shared resources
AUTHORS: Pedroso, JP ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 359-363
INDEXED IN: Scopus WOS
2449
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
INDEXED IN: Scopus WOS DBLP CrossRef: 6
2450
TITLE: An empirical evaluation of bagging in inductive logic programming  Full Text
AUTHORS: Dutra, ID ; Page, D; Costa, VS ; Shavlik, J;
PUBLISHED: 2003, SOURCE: 12th International Conference, ILP 2002 in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 2583, PAGES: 48-65
INDEXED IN: Scopus WOS DBLP CrossRef: 9
2451
TITLE: Applying scheduling by edge reversal to constraint partitioning
AUTHORS: Pereira, MR; Vargas, PK; França, FMG; de Castro, MCS; Dutra, ID ;
PUBLISHED: 2003, SOURCE: 15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, VOLUME: 2003-January, PAGES: 134-141
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2452
TITLE: Approximation algorithms to minimum vertex cover problems on polygons and terrains
AUTHORS: Tomas, AP ; Bajuelos, AL ; Marques, F;
PUBLISHED: 2003, SOURCE: International Conference on Computational Science (ICCS 2003) in COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS, VOLUME: 2657, PAGES: 869-878
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2453
TITLE: Automatic selection of table areas in documents for information extraction  Full Text
AUTHORS: Silva, ACE; Jorge, A ; Torgo, L ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 460-465
INDEXED IN: Scopus WOS DBLP CrossRef: 8
2454
TITLE: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
AUTHORS: Vítor Santos Costa ; David Page; Maleeha Qazi; James Cussens;
PUBLISHED: 2003, SOURCE: UAI '03, Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence, Acapulco, Mexico, August 7-10 2003, PAGES: 517-524
INDEXED IN: DBLP
2455
TITLE: Clustered partial linear regression  Full Text
AUTHORS: Torgo, L ; Da Costa, JP ;
PUBLISHED: 2003, SOURCE: MACHINE LEARNING, VOLUME: 50, ISSUE: 3, PAGES: 303-319
INDEXED IN: Scopus WOS DBLP CrossRef: 7
2456
TITLE: Distributed typed concurrent objects: a programming language for distributed computations with mobile resources
AUTHORS: Figueira, AR ; Paulino, H ; Lopes, L ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PAGES: 745-760
INDEXED IN: Scopus WOS DBLP
2457
TITLE: Efficient data structures for inductive logic programming
AUTHORS: Fonseca, N ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2835, PAGES: 130-145
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Handle
2458
TITLE: Efficient reservation-based QoS architecture
AUTHORS: Prior, R ; Sargento, S ; Brandao, P ; Crisostomo, S ;
PUBLISHED: 2003, SOURCE: 1st International Workshop on Multimedia Interactive Protocols and Systems in INTERACTIVE MULTIMEDIA ON NEXT GENERATION NETWORKS, VOLUME: 2899, PAGES: 168-181
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2459
TITLE: Experimental evaluation of a caching technique for ILP  Full Text
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 151-155
INDEXED IN: Scopus WOS DBLP CrossRef Handle
2460
TITLE: From simulation to practice: Cache performance study of a prolog system. cache performance study of a Prolog system
AUTHORS: Lopes, R ; Castro, LF ; Costa, VS ;
PUBLISHED: 2003, SOURCE: Workshop on Memory System Performance (MSP 2002) in ACM SIGPLAN NOTICES, VOLUME: 38, ISSUE: 2, PAGES: 56-64
INDEXED IN: Scopus WOS DBLP CrossRef: 1

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