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: 1123
37 Team MembersFilters -> Year: 2025
681
TITLE: On the efficient implementation of mode-directed tabling
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 141-156
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 141-156
682
TITLE: Or-parallel prolog execution on clusters of multicores Full Text
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PAGES: 9-20
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PAGES: 9-20
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP683
TITLE: Physician's awareness of e-prescribing security risks
AUTHORS: Hugo Rodrigues; Luis Filipe C Antunes ; Cristina Santos ; Manuel E. Correia ; Tiago Miguel Pinho; Hilario Gil Magalhaes;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 489-492
AUTHORS: Hugo Rodrigues; Luis Filipe C Antunes ; Cristina Santos ; Manuel E. Correia ; Tiago Miguel Pinho; Hilario Gil Magalhaes;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 489-492
684
TITLE: Predicting Traffic in the Cloud: A Statistical Approach
AUTHORS: Bruno Lopes Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 121-126
AUTHORS: Bruno Lopes Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 121-126
686
TITLE: Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems PDF
AUTHORS: Ricardo Rocha ; Christian Theil Have;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1307.8389
AUTHORS: Ricardo Rocha ; Christian Theil Have;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1307.8389
INDEXED IN: DBLP 
arXiv
DBLP arXiv687
TITLE: Prolog programming with a map-reduce parallel construct
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 in Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, PAGES: 285-296
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 in Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, PAGES: 285-296
688
TITLE: Proposal of a Secure Electronic Prescription System
AUTHORS: Rodrigues, HAM; Antunes, L ; Manuel E. Correia ;
PUBLISHED: 2013, SOURCE: International Conference on Information Society (I-Society) in INTERNATIONAL CONFERENCE ON INFORMATION SOCIETY (I-SOCIETY 2013), VOLUME: 6, ISSUE: 3/4, PAGES: 165-168
AUTHORS: Rodrigues, HAM; Antunes, L ; Manuel E. Correia ;
PUBLISHED: 2013, SOURCE: International Conference on Information Society (I-Society) in INTERNATIONAL CONFERENCE ON INFORMATION SOCIETY (I-SOCIETY 2013), VOLUME: 6, ISSUE: 3/4, PAGES: 165-168
689
TITLE: Publishing Linked Data with DaPress
AUTHORS: Teresa Costa ; José Paulo Leal ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29, PAGES: 67-81
AUTHORS: Teresa Costa ; José Paulo Leal ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29, PAGES: 67-81
INDEXED IN: Scopus DBLP
Scopus DBLP690
TITLE: Score As You Lift (SAYL): A statistical relational learning approach to uplift modeling
AUTHORS: Nassif, H; Kuusisto, F; Burnside, ES; Page, D; Shavlik, J; Santos Costa, V ;
PUBLISHED: 2013, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 595-611
AUTHORS: Nassif, H; Kuusisto, F; Burnside, ES; Page, D; Shavlik, J; Santos Costa, V ;
PUBLISHED: 2013, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 595-611
691
TITLE: Seqins - A Sequencing Tool for Educational Resources Full Text
AUTHORS: Ricardo Queirós ; José Paulo Leal ; José Campos;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29, PAGES: 83-96
AUTHORS: Ricardo Queirós ; José Paulo Leal ; José Campos;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29, PAGES: 83-96
INDEXED IN: Scopus DBLP 
Handle
Scopus DBLP Handle692
TITLE: Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems
AUTHORS: Rolando Martins ; Luís M B Lopes ; Fernando M A Silva ; Priya Narasimhan ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, PAGES: 431-438
AUTHORS: Rolando Martins ; Luís M B Lopes ; Fernando M A Silva ; Priya Narasimhan ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, PAGES: 431-438
693
TITLE: Temporal Visualization of a Multidimensional Network of News Clips
AUTHORS: Filipe Gomes; Jose Devezas ; Alvaro Figueira ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 157-166
AUTHORS: Filipe Gomes; Jose Devezas ; Alvaro Figueira ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 157-166
694
TITLE: Testing the perception of time, state and causality to predict programming aptitude
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: Federated Conference on Computer Science and Information Systems (FedCSIS) in 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), PAGES: 721-726
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: Federated Conference on Computer Science and Information Systems (FedCSIS) in 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), PAGES: 721-726
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP695
TITLE: The Case For Mobile Edge-Clouds
AUTHORS: Drolia, U; Rolando Martins ; Tan, JQ; Chheda, A; Sanghavi, M; Gandhi, R; Narasimhan, P;
PUBLISHED: 2013, SOURCE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 209-215
AUTHORS: Drolia, U; Rolando Martins ; Tan, JQ; Chheda, A; Sanghavi, M; Gandhi, R; Narasimhan, P;
PUBLISHED: 2013, SOURCE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 209-215
696
TITLE: The community structure of a multidimensional network of news clips
AUTHORS: José Luís Devezas ; Álvaro Reis Figueira ;
PUBLISHED: 2013, SOURCE: IJWBC, VOLUME: 9, ISSUE: 3, PAGES: 411-429
AUTHORS: José Luís Devezas ; Álvaro Reis Figueira ;
PUBLISHED: 2013, SOURCE: IJWBC, VOLUME: 9, ISSUE: 3, PAGES: 411-429
697
TITLE: The LSTS Toolchain for Networked Vehicle Systems
AUTHORS: Jose Pinto ; Paulo S Dias ; Ricardo Martins; Joao Fortuna; Eduardo Marques ; Joao Sousa ;
PUBLISHED: 2013, SOURCE: MTS/IEEE OCEANS Conference in 2013 MTS/IEEE OCEANS - BERGEN
AUTHORS: Jose Pinto ; Paulo S Dias ; Ricardo Martins; Joao Fortuna; Eduardo Marques ; Joao Sousa ;
PUBLISHED: 2013, SOURCE: MTS/IEEE OCEANS Conference in 2013 MTS/IEEE OCEANS - BERGEN
698
TITLE: Towards a Faster Network-Centric Subgraph Census
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2013, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PAGES: 270-277
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2013, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PAGES: 270-277
699
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137, PAGES: 103-113
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137, PAGES: 103-113
700
TITLE: Understanding User's Emotional Engagement to the Contents on a Smartphone Display : Psychiatric Prospective
AUTHORS: Mankodiya, K; Sharma, V; Rolando Martins ; Pandel, I; Jain, S; Ryan, N; Gandhi, R;
PUBLISHED: 2013, SOURCE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 631-637
AUTHORS: Mankodiya, K; Sharma, V; Rolando Martins ; Pandel, I; Jain, S; Ryan, N; Gandhi, R;
PUBLISHED: 2013, SOURCE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10TH INTERNATIONAL CONFERENCE ON AND 10TH INTERNATIONAL CONFERENCE ON AUTONOMIC AND TRUSTED COMPUTING (UIC/ATC) UBIQUITOUS INTELLIGENCE AND COMPUTING, PAGES: 631-637
