Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2845
47 Team MembersFilters -> Year: 2026
2621
TITLE: SRBQ and RSVPRAgg: A comparative study
AUTHORS: Prior, R ; Sargento, S ; Brandao, P ; Crisóstomo, S ;
PUBLISHED: 2004, SOURCE: 11th International Conference on Telecommunications in TELECOMMUNICATIONS AND NETWORKING - ICT 2004, VOLUME: 3124, PAGES: 1210-1217
AUTHORS: Prior, R ; Sargento, S ; Brandao, P ; Crisóstomo, S ;
PUBLISHED: 2004, SOURCE: 11th International Conference on Telecommunications in TELECOMMUNICATIONS AND NETWORKING - ICT 2004, VOLUME: 3124, PAGES: 1210-1217
2622
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
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
Scopus2623
TITLE: The decidability of a fragment of BB′IW-logic
AUTHORS: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLISHED: 2004, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, ISSUE: 3, PAGES: 373-408
AUTHORS: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLISHED: 2004, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, ISSUE: 3, PAGES: 373-408
2624
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
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
2625
TITLE: A CLP-based tool for computer aided generation and solving of maths exercises
AUTHORS: Tomás, 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
AUTHORS: Tomás, 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
2626
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
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
Scopus WOS2627
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
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
2628
TITLE: An empirical evaluation of bagging in inductive logic programming
AUTHORS: Dutra, ID ; Page, D; Costa, VS ; Shavlik, J;
PUBLISHED: 2003, SOURCE: INDUCTIVE LOGIC PROGRAMMING, VOLUME: 2583, PAGES: 48-65
AUTHORS: Dutra, ID ; Page, D; Costa, VS ; Shavlik, J;
PUBLISHED: 2003, SOURCE: INDUCTIVE LOGIC PROGRAMMING, VOLUME: 2583, PAGES: 48-65
2629
TITLE: An integrated information system powered by Prolog
AUTHORS: Porto, A ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 92-109
AUTHORS: Porto, A ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 92-109
2630
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
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
2631
TITLE: Approximation algorithms to minimum vertex cover problems on polygons and terrains
AUTHORS: Tomás, 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
AUTHORS: Tomás, 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
2632
TITLE: Automatic selection of table areas in documents for information extraction
AUTHORS: Silva, ACE; Jorge, A ; Torgo, L ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 460-465
AUTHORS: Silva, ACE; Jorge, A ; Torgo, L ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 460-465
2633
TITLE: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
AUTHORS: Vítor Santos Costa ; David Page; Maleeha Qazi; James Cussens;
PUBLISHED: 2003, SOURCE: UAI, PAGES: 517-524
AUTHORS: Vítor Santos Costa ; David Page; Maleeha Qazi; James Cussens;
PUBLISHED: 2003, SOURCE: UAI, PAGES: 517-524
INDEXED IN: 
DBLP
DBLP2634
TITLE: Clustered partial linear regression
AUTHORS: Torgo, L ; Da Costa, JP ;
PUBLISHED: 2003, SOURCE: MACHINE LEARNING, VOLUME: 50, ISSUE: 3, PAGES: 303-319
AUTHORS: Torgo, L ; Da Costa, JP ;
PUBLISHED: 2003, SOURCE: MACHINE LEARNING, VOLUME: 50, ISSUE: 3, PAGES: 303-319
2635
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
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
Scopus WOS DBLP2636
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
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
2637
TITLE: Efficient reservation-based QoS architecture
AUTHORS: Prior, R ; Sargento, S ; Brandao, P ; Crisóstomo, 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
AUTHORS: Prior, R ; Sargento, S ; Brandao, P ; Crisóstomo, 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
2638
TITLE: Experimental evaluation of a caching technique for ILP
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 151-155
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 151-155
2639
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
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
2640
TITLE: Lexically scoped distribution: what you see is what you get
AUTHORS: António Ravara ; Ana Gualdina Almeida Matos ; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2003, SOURCE: FGC, VOLUME: 85, ISSUE: 1, PAGES: 61-79
AUTHORS: António Ravara ; Ana Gualdina Almeida Matos ; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2003, SOURCE: FGC, VOLUME: 85, ISSUE: 1, PAGES: 61-79
