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
801
TITLE: Prolog programming with a map-reduce parallel construct
AUTHORS: Joana Côrte Real ; Inês de Castro Dutra ; Ricardo Rocha ;
PUBLISHED: 2013, SOURCE: PPDP, PAGES: 285-296
AUTHORS: Joana Côrte Real ; Inês de Castro Dutra ; Ricardo Rocha ;
PUBLISHED: 2013, SOURCE: PPDP, PAGES: 285-296
802
TITLE: Proposal of a Secure Electronic Prescription System
AUTHORS: Rodrigues, HAM; Antunes, L ; Correia, ME ;
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 ; Correia, ME ;
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
803
TITLE: Publishing Linked Data with DaPress
AUTHORS: Teresa Costa ; José Paulo Leal ;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 67-81
AUTHORS: Teresa Costa ; José Paulo Leal ;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 67-81
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP804
TITLE: Score As You Lift (SAYL): A Statistical Relational Learning Approach to Uplift Modeling
AUTHORS: Houssam Nassif; Finn Kuusisto; Elizabeth S Burnside; David Page; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2013, SOURCE: ECML/PKDD (3), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 595-611
AUTHORS: Houssam Nassif; Finn Kuusisto; Elizabeth S Burnside; David Page; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2013, SOURCE: ECML/PKDD (3), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 595-611
805
TITLE: Seqins - A Sequencing Tool for Educational Resources
AUTHORS: Ricardo Queirós ; José Paulo Leal ; José Campos;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 83-96
AUTHORS: Ricardo Queirós ; José Paulo Leal ; José Campos;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 83-96
INDEXED IN: Scopus DBLP 
Handle
Scopus DBLP Handle806
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
807
TITLE: Temporal Visualization of a Multidimensional Network of News Clips
AUTHORS: Gomes, F; Devezas, J ; Figueira, A ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 157-166
AUTHORS: Gomes, F; Devezas, J ; Figueira, A ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 157-166
808
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 DBLP809
TITLE: The community structure of a multidimensional network of news clips
AUTHORS: José Luís Devezas ; Álvaro Reis Figueira ;
PUBLISHED: 2013, SOURCE: Int. J. Web Based Communities, VOLUME: 9, ISSUE: 3, PAGES: 411-429
AUTHORS: José Luís Devezas ; Álvaro Reis Figueira ;
PUBLISHED: 2013, SOURCE: Int. J. Web Based Communities, VOLUME: 9, ISSUE: 3, PAGES: 411-429
810
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
811
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
812
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: PLACES, VOLUME: 137, PAGES: 103-113
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: PLACES, VOLUME: 137, PAGES: 103-113
813
TITLE: Using Device Detection Techniques in M-Learning Scenarios
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 118-134
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 118-134
814
TITLE: Using machine learning to identify benign cases with non-definitive biopsy
AUTHORS: Finn Kuusisto; Inês de Castro Dutra ; Houssam Nassif; Yirong Wu; Molly E Klein; Heather B Neuman; Jude W Shavlik; Elizabeth S Burnside ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 283-285
AUTHORS: Finn Kuusisto; Inês de Castro Dutra ; Houssam Nassif; Yirong Wu; Molly E Klein; Heather B Neuman; Jude W Shavlik; Elizabeth S Burnside ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 283-285
815
TITLE: Using proximity to compute semantic relatedness in RDF graphs Full Text
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1727-1746
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1727-1746
816
TITLE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012
AUTHORS: Alberto Simões; Ricardo Queirós ; Daniela Carneiro da Cruz;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21
AUTHORS: Alberto Simões; Ricardo Queirós ; Daniela Carneiro da Cruz;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21
INDEXED IN: DBLP
DBLP817
TITLE: A Cooperative Protocol for Jamming Eavesdroppers in Wireless Networks
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Communications (ICC) in 2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 841-845
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Communications (ICC) in 2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 841-845
818
TITLE: A design and implementation of the Extended Andorra Model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 3, PAGES: 319-360
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 3, PAGES: 319-360
819
TITLE: A distributed system for learning programming on-line
AUTHORS: Verdú, E; Regueras, LM; Verdú, MJ; Leal, JP ; de Castro, JP; Queirós, R ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 58, ISSUE: 1, PAGES: 1-10
AUTHORS: Verdú, E; Regueras, LM; Verdú, MJ; Leal, JP ; de Castro, JP; Queirós, R ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 58, ISSUE: 1, PAGES: 1-10
820
TITLE: A Framework for practice - based learning applied to computer programming
AUTHORS: Ricardo A P de Queirós ;
PUBLISHED: 2012
AUTHORS: Ricardo A P de Queirós ;
PUBLISHED: 2012
INDEXED IN: Handle
Handle