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: 1150
37 Team MembersFilters -> Year: 2025
641
TITLE: Innovative teaching strategies and new learning paradigms in computer programming
AUTHORS: Queirós, R ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 1-313
AUTHORS: Queirós, R ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 1-313
642
TITLE: JSON on mobile: Is there an efficient parser? Full Text
AUTHORS: Queiros, R ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38, PAGES: 93-100
AUTHORS: Queiros, R ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38, PAGES: 93-100
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP643
TITLE: Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th, 2013
AUTHORS: Gerson Zaverucha; Vítor Santos Costa ; Aline Marins Paes;
PUBLISHED: 2014, SOURCE: ILP (Late Breaking Papers), VOLUME: 1187
AUTHORS: Gerson Zaverucha; Vítor Santos Costa ; Aline Marins Paes;
PUBLISHED: 2014, SOURCE: ILP (Late Breaking Papers), VOLUME: 1187
INDEXED IN: DBLP
DBLP644
TITLE: Lifted Variable Elimination for Probabilistic Logic Programming
AUTHORS: Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Vitor Santos Costa ; Riccardo Zese;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 681-695
AUTHORS: Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Vitor Santos Costa ; Riccardo Zese;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 681-695
645
TITLE: Linearity: A Roadmap
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4, PAGES: 513-529
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4, PAGES: 513-529
646
TITLE: Management Driven Hybrid Multicast Framework for Content Aware Networks Full Text
AUTHORS: Iorga, R; Borcoci, E; Miruta, R; Pinto, A ; Carneiro, G; Calcada, T;
PUBLISHED: 2014, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 52, ISSUE: 1, PAGES: 158-165
AUTHORS: Iorga, R; Borcoci, E; Miruta, R; Pinto, A ; Carneiro, G; Calcada, T;
PUBLISHED: 2014, SOURCE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 52, ISSUE: 1, PAGES: 158-165
647
TITLE: Managing and Assessing Group Work from a Distance Full Text
AUTHORS: Alvaro Figueira ; Rui Pereira;
PUBLISHED: 2014, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2014 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), VOLUME: 2015-February, ISSUE: February, PAGES: 27-34
AUTHORS: Alvaro Figueira ; Rui Pereira;
PUBLISHED: 2014, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2014 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), VOLUME: 2015-February, ISSUE: February, PAGES: 27-34
648
TITLE: Multiscale Parameter Tuning of a Semantic Relatedness Algorithm
AUTHORS: José Paulo Leal ; Teresa Costa ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38, PAGES: 201-213
AUTHORS: José Paulo Leal ; Teresa Costa ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38, PAGES: 201-213
INDEXED IN: Scopus DBLP
Scopus DBLP649
TITLE: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
650
TITLE: Online Traffic Prediction in the Cloud: A Dynamic Window Approach
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Future Internet of Things and Cloud (FiCloud) in 2014 INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD), PAGES: 9-14
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Future Internet of Things and Cloud (FiCloud) in 2014 INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD), PAGES: 9-14
651
TITLE: Parallel Subgraph Counting for Multicore Architectures
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 34-41
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 34-41
652
TITLE: Preface
AUTHORS: Silva, F ; Dutra, I ; Costa, VS ;
PUBLISHED: 2014, SOURCE: 20th International Conference on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8632 LNCS
AUTHORS: Silva, F ; Dutra, I ; Costa, VS ;
PUBLISHED: 2014, SOURCE: 20th International Conference on Parallel Processing, Euro-Par 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8632 LNCS
INDEXED IN: Scopus
Scopus653
TITLE: Preface
AUTHORS: Pereira, MJV; Leal, JP ; Simões, A;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38
AUTHORS: Pereira, MJV; Leal, JP ; Simões, A;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38
INDEXED IN: Scopus
Scopus654
TITLE: PrologCheck - Property-Based Testing in Prolog
AUTHORS: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 1-17
AUTHORS: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 1-17
655
TITLE: Querying Volatile and Dynamic Networks
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Encyclopedia of Social Network Analysis and Mining, PAGES: 1456-1463
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: Encyclopedia of Social Network Analysis and Mining, PAGES: 1456-1463
656
TITLE: Relational machine learning for electronic health record-driven phenotyping Full Text
AUTHORS: Peggy L Peissig; Vitor Santos Costa ; Michael D Caldwell; Carla Rottscheit; Richard L Berg; Eneida A Mendonca; David Page;
PUBLISHED: 2014, SOURCE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 52, PAGES: 260-270
AUTHORS: Peggy L Peissig; Vitor Santos Costa ; Michael D Caldwell; Carla Rottscheit; Richard L Berg; Eneida A Mendonca; David Page;
PUBLISHED: 2014, SOURCE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 52, PAGES: 260-270
657
TITLE: RPL Modifications to Improve the End-to-End Delay Estimation in WSN
AUTHORS: Pedro Pinto ; Antonio Pinto ; Manuel Ricardo ;
PUBLISHED: 2014, SOURCE: 11th International Symposium on Wireless Communications Systems (ISWCS) in 2014 11TH INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATIONS SYSTEMS (ISWCS), PAGES: 868-872
AUTHORS: Pedro Pinto ; Antonio Pinto ; Manuel Ricardo ;
PUBLISHED: 2014, SOURCE: 11th International Symposium on Wireless Communications Systems (ISWCS) in 2014 11TH INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATIONS SYSTEMS (ISWCS), PAGES: 868-872
658
TITLE: Sequencing Educational Resources with Seqins Full Text
AUTHORS: Queiros, R ; Leal, JP ; Campos, J;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1479-1497
AUTHORS: Queiros, R ; Leal, JP ; Campos, J;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1479-1497
659
TITLE: Short paper: CHIPS: content-based heuristics for improving photo privacy for smartphones. CHIPS: content-based heuristics for improving photo privacy for smartphones
AUTHORS: Jiaqi Tan; Utsav Drolia; Rolando Martins ; Rajeev Gandhi; Priya Narasimhan;
PUBLISHED: 2014, SOURCE: 7th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2014 in 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks, WiSec'14, Oxford, United Kingdom, July 23-25, 2014, PAGES: 213-218
AUTHORS: Jiaqi Tan; Utsav Drolia; Rolando Martins ; Rajeev Gandhi; Priya Narasimhan;
PUBLISHED: 2014, SOURCE: 7th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2014 in 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks, WiSec'14, Oxford, United Kingdom, July 23-25, 2014, PAGES: 213-218
660
TITLE: STOVEPipe: Observable Access Control of User Data for Untrusted Applications on Mobile Devices
AUTHORS: Tan, JQ; Drolia, U; Martins, R ; Gandhi, R; Narasimhan, P;
PUBLISHED: 2014, SOURCE: 2014 6th IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2014 in 2014 IEEE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOLUME: 2015-February, ISSUE: February, PAGES: 680-683
AUTHORS: Tan, JQ; Drolia, U; Martins, R ; Gandhi, R; Narasimhan, P;
PUBLISHED: 2014, SOURCE: 2014 6th IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2014 in 2014 IEEE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOLUME: 2015-February, ISSUE: February, PAGES: 680-683
