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: 2706
43 Team MembersFilters -> Year: 2025
2521
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
2522
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
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
2523
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
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
2524
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
2525
TITLE: Generating random orthogonal polygons Full Text
AUTHORS: Tomas, AP ; Bajuelos, AL ;
PUBLISHED: 2003, SOURCE: 10th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2003)/5th Conference on Technology Transfer (TTIA 2003) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 3040, PAGES: 364-373
AUTHORS: Tomas, AP ; Bajuelos, AL ;
PUBLISHED: 2003, SOURCE: 10th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2003)/5th Conference on Technology Transfer (TTIA 2003) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 3040, PAGES: 364-373
2526
TITLE: Lexically scoped distribution: What you see is what you get
AUTHORS: Ravara, A ; Matos, AG ; Vasconcelos, VT ; Lopes, L ;
PUBLISHED: 2003, SOURCE: FGC, Foundations of Global Computing , 2nd EATCS Workshop (Satellite Event of ICALP 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 85, ISSUE: 1, PAGES: 61-79
AUTHORS: Ravara, A ; Matos, AG ; Vasconcelos, VT ; Lopes, L ;
PUBLISHED: 2003, SOURCE: FGC, Foundations of Global Computing , 2nd EATCS Workshop (Satellite Event of ICALP 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 85, ISSUE: 1, PAGES: 61-79
2527
TITLE: Linearization by program transformation
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2003, SOURCE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRNSFORMATION, VOLUME: 3018, PAGES: 160-175
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2003, SOURCE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRNSFORMATION, VOLUME: 3018, PAGES: 160-175
2528
TITLE: Mob: A scripting language for mobile agents based on a process calculus
AUTHORS: Paulino, H ; Lopes, L ; Silva, F ;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Web Engineering (ICWE 2003) in WEB ENGINEERING, PROCEEDINGS, VOLUME: 2722, PAGES: 40-43
AUTHORS: Paulino, H ; Lopes, L ; Silva, F ;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Web Engineering (ICWE 2003) in WEB ENGINEERING, PROCEEDINGS, VOLUME: 2722, PAGES: 40-43
2532
TITLE: Performance Issues in Prolog Applications
AUTHORS: Costa, VS ;
PUBLISHED: 2003, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 8
AUTHORS: Costa, VS ;
PUBLISHED: 2003, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 8
2533
TITLE: Predicting harmful algae blooms Full Text
AUTHORS: Ribeiro, R ; Torgo, L ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 308-312
AUTHORS: Ribeiro, R ; Torgo, L ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 308-312
2534
TITLE: Predicting outliers
AUTHORS: Torgo, L ; Ribeiro, R ;
PUBLISHED: 2003, SOURCE: 7th European Conferenc on Priciples and Practice of Knowledge Discovery in Databases in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2003, PROCEEDINGS, VOLUME: 2838, PAGES: 447-458
AUTHORS: Torgo, L ; Ribeiro, R ;
PUBLISHED: 2003, SOURCE: 7th European Conferenc on Priciples and Practice of Knowledge Discovery in Databases in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2003, PROCEEDINGS, VOLUME: 2838, PAGES: 447-458
2535
TITLE: Sophistication revisited
AUTHORS: Antunes, L ; Fortnow, Lance ;
PUBLISHED: 2003, SOURCE: 30th International Colloquium on Automata, Languages and Programming (ICALP 2003) in AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, VOLUME: 2719, PAGES: 267-277
AUTHORS: Antunes, L ; Fortnow, Lance ;
PUBLISHED: 2003, SOURCE: 30th International Colloquium on Automata, Languages and Programming (ICALP 2003) in AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, VOLUME: 2719, PAGES: 267-277
2536
TITLE: The impact of linearity information on the performance of TyCO
AUTHORS: Martins, F ; Lopes, L ; Vasconcelos, VT ;
PUBLISHED: 2003, SOURCE: TIP'02, International Worshop in Types in Programming in Electronic Notes in Theoretical Computer Science, VOLUME: 75, PAGES: 43-62
AUTHORS: Martins, F ; Lopes, L ; Vasconcelos, VT ;
PUBLISHED: 2003, SOURCE: TIP'02, International Worshop in Types in Programming in Electronic Notes in Theoretical Computer Science, VOLUME: 75, PAGES: 43-62
2537
TITLE: The use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net project
AUTHORS: Alves, MA; Jorge, A ; Heaney, M;
PUBLISHED: 2003, SOURCE: 8th International Conference on reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, VOLUME: 2655, PAGES: 196-207
AUTHORS: Alves, MA; Jorge, A ; Heaney, M;
PUBLISHED: 2003, SOURCE: 8th International Conference on reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, VOLUME: 2655, PAGES: 196-207
2538
TITLE: Toward automatic management of embarrassingly parallel applications
AUTHORS: Dutra, I ; Page, D; Costa, VS ; Shavlik, J; Waddell, M;
PUBLISHED: 2003, SOURCE: 9th International Euro-Par Conference on Parallel Processing in EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 2790, PAGES: 509-516
AUTHORS: Dutra, I ; Page, D; Costa, VS ; Shavlik, J; Waddell, M;
PUBLISHED: 2003, SOURCE: 9th International Euro-Par Conference on Parallel Processing in EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 2790, PAGES: 509-516
2539
TITLE: Type-based XML processing in logic programming
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 273-285
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 273-285
2540
TITLE: Using depth to capture average-case complexity
AUTHORS: Antunes, L ; Fortnow, Lance ; Vinodchandran, NV;
PUBLISHED: 2003, SOURCE: 14th International Symposium on Fundamentals of Computation Theory in FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, VOLUME: 2751, PAGES: 303-310
AUTHORS: Antunes, L ; Fortnow, Lance ; Vinodchandran, NV;
PUBLISHED: 2003, SOURCE: 14th International Symposium on Fundamentals of Computation Theory in FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, VOLUME: 2751, PAGES: 303-310
