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

46 Team Members
Filters -> Year: 2026
2641
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2642
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
INDEXED IN: Scopus WOS DBLP CrossRef Handle
2643
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
2644
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
INDEXED IN: Scopus DBLP CrossRef: 4
2645
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 TRANSFORMATION, VOLUME: 3018, PAGES: 160-175
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2646
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2647
TITLE: Mooshak: a Web-based multi-site programming contest system
AUTHORS: Leal, JP ; Silva, F ;
PUBLISHED: 2003, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 33, ISSUE: 6, PAGES: 567-581
INDEXED IN: Scopus WOS DBLP CrossRef: 83
2648
TITLE: On deterministic computations in the extended Andorra model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2003, SOURCE: 19th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2916, PAGES: 407-421
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2649
TITLE: On the BEAM implementation
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 131-135
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2650
TITLE: Performance Issues in Prolog Applications
AUTHORS: Costa, VS ;
PUBLISHED: 2003, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 8
INDEXED IN: Scopus DBLP CrossRef: 1
2651
TITLE: Predicting harmful algae blooms
AUTHORS: Ribeiro, R ; Torgo, L ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 308-312
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2652
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
INDEXED IN: Scopus WOS DBLP CrossRef: 13
2653
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2654
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
INDEXED IN: Scopus WOS DBLP CrossRef
2655
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2656
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
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2657
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2658
TITLE: Visualization and evaluation support of knowledge discovery through the predictive model markup language
AUTHORS: Wettschereck, D; Jorge, A ; Moyle, S;
PUBLISHED: 2003, SOURCE: 7th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2003) in KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, VOLUME: 2773, PAGES: 493-501
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2659
TITLE: WAM local analysis
AUTHORS: Ferreira, M ; Damas, L ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 286-303
INDEXED IN: Scopus WOS DBLP CrossRef
2660
TITLE: YapDss: An Or-parallel prolog system for scalable Beowulf clusters
AUTHORS: Rocha, R ; Silva, F ; Martins, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE-B, VOLUME: 2902, PAGES: 136-150
INDEXED IN: Scopus WOS DBLP CrossRef: 2

Results per Page: 20.
Page 133 of 143. Total results: 2849.