Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-1RA
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: 1276
43 Team MembersFilters -> Year: 2026
1081
TITLE: On the Efficient Execution of ProbLog Programs
AUTHORS: Kimmig, A; Costa, VS ; Rocha, R ; Demoen, B; De Raedt, L;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 175-+
AUTHORS: Kimmig, A; Costa, VS ; Rocha, R ; Demoen, B; De Raedt, L;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 175-+
1082
TITLE: Personal Autonomic Desktop Manager with a circulatory computing approach
AUTHORS: Alberto Arkader Kopiler; Ines de Castro Dutra ; Felipe M G Franca;
PUBLISHED: 2008, SOURCE: 5th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems in PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL WORKSHOP ON ENGINEERING OF AUTONOMIC & AUTONOMOUS SYSTEMS (EASE 2008), PAGES: 119-127
AUTHORS: Alberto Arkader Kopiler; Ines de Castro Dutra ; Felipe M G Franca;
PUBLISHED: 2008, SOURCE: 5th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems in PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL WORKSHOP ON ENGINEERING OF AUTONOMIC & AUTONOMOUS SYSTEMS (EASE 2008), PAGES: 119-127
1083
TITLE: Resource Management and Signalling Architecture of a Hybrid Multicast Service for Multimedia Distribution
AUTHORS: Borcoci, E; Pinto, A ; Mehaoua, A; Fang, L; Wang, N;
PUBLISHED: 2008, SOURCE: 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services in MANAGEMENT OF CONVERGED MULTIMEDIA NETWORKS AND SERVICES, PROCEEDINGS, VOLUME: 5274, PAGES: 39-51
AUTHORS: Borcoci, E; Pinto, A ; Mehaoua, A; Fang, L; Wang, N;
PUBLISHED: 2008, SOURCE: 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services in MANAGEMENT OF CONVERGED MULTIMEDIA NETWORKS AND SERVICES, PROCEEDINGS, VOLUME: 5274, PAGES: 39-51
1084
TITLE: Revising first-order logic theories from examples through stochastic local search
AUTHORS: Paes, A; Zaverucha, G; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-+
AUTHORS: Paes, A; Zaverucha, G; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-+
1085
TITLE: RL-based Scheduling Strategies in Actual Grid Environments
AUTHORS: Costa, B; Dutra, I ; Mattoso, M;
PUBLISHED: 2008, SOURCE: IEEE International Symposium on Parallel and Distributed Processing with Applications in PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PAGES: 572-+
AUTHORS: Costa, B; Dutra, I ; Mattoso, M;
PUBLISHED: 2008, SOURCE: IEEE International Symposium on Parallel and Distributed Processing with Applications in PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PAGES: 572-+
1086
TITLE: RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-+
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-+
1087
TITLE: SECURING A HEALTH INFORMATION SYSTEM WITH A GOVERNMENT ISSUED DIGITAL IDENTIFICATION CARD
AUTHORS: Santos, R ; Correia, ME ; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 135-+
AUTHORS: Santos, R ; Correia, ME ; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 135-+
1088
TITLE: The Life of a Logic Programming System
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
1089
TITLE: The Mob core language and abstract machine (rev 0.2)
AUTHORS: Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
AUTHORS: Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
INDEXED IN: 
DBLP
DBLP1090
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-+
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-+
1091
TITLE: Towards Typed Prolog
AUTHORS: Schrijvers, T; Costa, VS ; Wielemaker, J; Demoen, B;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-+
AUTHORS: Schrijvers, T; Costa, VS ; Wielemaker, J; Demoen, B;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-+
1092
TITLE: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations
AUTHORS: Marzulo, LAJ; França, FMG; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 183-+
AUTHORS: Marzulo, LAJ; França, FMG; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 183-+
1093
TITLE: Work in Progress - iGraphs for Characterization of Online Communities Full Text
AUTHORS: Alvaro Figueira ; Joanne Laranjeiro;
PUBLISHED: 2008, SOURCE: IEEE Frontiers in Education Conference 2008 in FIE: 2008 IEEE FRONTIERS IN EDUCATION CONFERENCE, VOLS 1-3, PAGES: 1033-1034
AUTHORS: Alvaro Figueira ; Joanne Laranjeiro;
PUBLISHED: 2008, SOURCE: IEEE Frontiers in Education Conference 2008 in FIE: 2008 IEEE FRONTIERS IN EDUCATION CONFERENCE, VOLS 1-3, PAGES: 1033-1034
1094
TITLE: A feedback reputation mechanism to secure the optimized link state routing protocol
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2007, SOURCE: 3rd International Conference o Security and Privacy in Communication Networks and Workshops in 2007 THIRD INTERNATIONAL CONFERENCE ON SECURITY AND PRIVACY IN COMMUNICATION NETWORKS AND WORKSHOPS, PAGES: 294-303
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2007, SOURCE: 3rd International Conference o Security and Privacy in Communication Networks and Workshops in 2007 THIRD INTERNATIONAL CONFERENCE ON SECURITY AND PRIVACY IN COMMUNICATION NETWORKS AND WORKSHOPS, PAGES: 294-303
1095
TITLE: A process calculus approach to sensor network programming
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PAGES: 451-456
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PAGES: 451-456
1096
TITLE: A study of structural properties on profiles HMMs
AUTHORS: Juliana S Bernardes; Alberto M R Dávila; Vítor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/0704.2010
AUTHORS: Juliana S Bernardes; Alberto M R Dávila; Vítor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/0704.2010
INDEXED IN: DBLP
DBLP1097
TITLE: An autonomous hybrid robot system to navigate through unknown maze environments
AUTHORS: Pedro Ribeiro ;
PUBLISHED: 2007, SOURCE: 11th IASTED International Conference on Artificial Intelligence and Soft Computing in PROCEDINGS OF THE 11TH IASTED INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PAGES: 274-279
AUTHORS: Pedro Ribeiro ;
PUBLISHED: 2007, SOURCE: 11th IASTED International Conference on Artificial Intelligence and Soft Computing in PROCEDINGS OF THE 11TH IASTED INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PAGES: 274-279
INDEXED IN: 
Scopus 
WOS
Scopus WOS1098
TITLE: An integrated approach to feature invention and model construction for drug activity prediction
AUTHORS: Jesse Davis; Vítor Santos Costa ; Soumya Ray; David Page;
PUBLISHED: 2007, SOURCE: ICML, VOLUME: 227, PAGES: 217-224
AUTHORS: Jesse Davis; Vítor Santos Costa ; Soumya Ray; David Page;
PUBLISHED: 2007, SOURCE: ICML, VOLUME: 227, PAGES: 217-224
1099
TITLE: Automatic constraint partitioning to speed up CLP execution
AUTHORS: Pereira, MR; Vargas, PK; de Castro, MCS; França, FMG; Dutra, ID ;
PUBLISHED: 2007, SOURCE: 19th International Symposium on Computer Architecture and High Performance Computing in 19TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 271-+
AUTHORS: Pereira, MR; Vargas, PK; de Castro, MCS; França, FMG; Dutra, ID ;
PUBLISHED: 2007, SOURCE: 19th International Symposium on Computer Architecture and High Performance Computing in 19TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 271-+
1100
TITLE: AUV control and communication using underwater acoustic networks
AUTHORS: Eduardo R B Marques ; Jose Pinto ; Sean Kragelund; Paulo S Dias ; Luis Madureira; Alexandre Sousa; Marcio Correia; Hugo Ferreira ; Rui Goncalves; Ricardo Martins; Douglas P Homer; Anthony J Healey; Gil Gonçalves ; Joao B Sousa ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1479-+
AUTHORS: Eduardo R B Marques ; Jose Pinto ; Sean Kragelund; Paulo S Dias ; Luis Madureira; Alexandre Sousa; Marcio Correia; Hugo Ferreira ; Rui Goncalves; Ricardo Martins; Douglas P Homer; Anthony J Healey; Gil Gonçalves ; Joao B Sousa ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1479-+
