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: 1130
37 Team MembersFilters -> Year: 2025
701
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
702
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
703
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
704
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
705
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
706
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
707
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
708
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
DBLP709
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
710
TITLE: A design and implementation of the Extended Andorra Model
AUTHORS: Ricardo Lopes ; Vitor Santos Costa ; Fernando Silva ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 3, PAGES: 319-360
AUTHORS: Ricardo Lopes ; Vitor Santos Costa ; Fernando Silva ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 3, PAGES: 319-360
711
TITLE: A distributed system for learning programming on-line Full Text
AUTHORS: Elena Verdu; Luisa M Regueras; Maria J Verdu; Jose P Leal ; Juan P de Castro; Ricardo Queiros ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 58, ISSUE: 1, PAGES: 1-10
AUTHORS: Elena Verdu; Luisa M Regueras; Maria J Verdu; Jose P Leal ; Juan P de Castro; Ricardo Queiros ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 58, ISSUE: 1, PAGES: 1-10
712
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
Handle713
TITLE: A Literature Review of Security Mechanisms Employed by Mobile Agents
AUTHORS: Rui A Martins; Manuel E. Correia ; Alexandre B Augusto ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
AUTHORS: Rui A Martins; Manuel E. Correia ; Alexandre B Augusto ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: 
Scopus 
WOS
Scopus WOS714
TITLE: A mobile based authorization mechanism for patient managed role based access control
AUTHORS: Santos Pereira, C; Augusto, AB; Manuel E. Correia ; Ferreira, A ; Cruz Correia, R ;
PUBLISHED: 2012, SOURCE: 3rd International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7451 LNCS, PAGES: 54-68
AUTHORS: Santos Pereira, C; Augusto, AB; Manuel E. Correia ; Ferreira, A ; Cruz Correia, R ;
PUBLISHED: 2012, SOURCE: 3rd International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7451 LNCS, PAGES: 54-68
715
TITLE: A problog model for analyzing gene regulatory networks PDF
AUTHORS: Goncalves, A; Ong, IM; Lewis, JA; Santos Costa, V ;
PUBLISHED: 2012, SOURCE: 22nd International Conference on Inductive Logic Programming, LBPILP 2012 in CEUR Workshop Proceedings, VOLUME: 975, PAGES: 38-43
AUTHORS: Goncalves, A; Ong, IM; Lewis, JA; Santos Costa, V ;
PUBLISHED: 2012, SOURCE: 22nd International Conference on Inductive Logic Programming, LBPILP 2012 in CEUR Workshop Proceedings, VOLUME: 975, PAGES: 38-43
INDEXED IN: Scopus DBLP
Scopus DBLP716
TITLE: Adaptive spatial hypermedia in computational journalism
AUTHORS: Luis Francisco Revilla; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 313-314
AUTHORS: Luis Francisco Revilla; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 313-314
717
TITLE: An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012), PAGES: 636-643
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: IEEE 18th International Conference on Parallel and Distributed Systems (ICPADS) in PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012), PAGES: 636-643
718
TITLE: Automatic Clustering Assessment through a Social Tagging System
AUTHORS: Elisabete Cunha; Alvaro Figueira ;
PUBLISHED: 2012, SOURCE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PAGES: 74-81
AUTHORS: Elisabete Cunha; Alvaro Figueira ;
PUBLISHED: 2012, SOURCE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PAGES: 74-81
719
TITLE: Bridging between programming exercises formats with BabeLO
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
INDEXED IN: Handle
Handle720
TITLE: Combining usage and content in an online music recommendation system for music in the long-tail
AUTHORS: Domingues, MA; Gouyon, F ; Jorge, AM ; Leal, JP ; Vinagre, J ; Lemos, L; Sordo, M;
PUBLISHED: 2012, SOURCE: 21st Annual Conference on World Wide Web, WWW'12 in WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion, PAGES: 925-929
AUTHORS: Domingues, MA; Gouyon, F ; Jorge, AM ; Leal, JP ; Vinagre, J ; Lemos, L; Sordo, M;
PUBLISHED: 2012, SOURCE: 21st Annual Conference on World Wide Web, WWW'12 in WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion, PAGES: 925-929
