Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 1167

37 Team Members
Filters -> Year: 2024
721
TITLE: Software component replication for improved fault-tolerance: Can multicore processors make it work?
AUTHORS: Soares, J ; Lourenco, J ; Preguica, N ;
PUBLISHED: 2013, SOURCE: 14th European Workshop on Dependable Computing, EWDC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7869 LNCS, PAGES: 173-180
INDEXED IN: Scopus DBLP CrossRef
722
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
INDEXED IN: Scopus DBLP CrossRef: 3
723
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
INDEXED IN: Scopus WOS DBLP CrossRef
724
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
INDEXED IN: Scopus WOS DBLP
725
TITLE: The Case for Mobile Edge-Clouds
AUTHORS: Utsav Drolia; Rolando Martins ; Jiaqi Tan; Ankit Chheda; Monil Sanghavi; Rajeev Gandhi; Priya Narasimhan;
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 Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, UIC/ATC 2013, Vietri sul Mare, Sorrento Peninsula, Italy, December 18-21, 2013, PAGES: 209-215
INDEXED IN: Scopus DBLP CrossRef: 74
726
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
INDEXED IN: Scopus DBLP CrossRef: 1
727
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
INDEXED IN: Scopus WOS CrossRef: 100
728
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
INDEXED IN: Scopus WOS DBLP CrossRef: 18
729
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
INDEXED IN: Scopus DBLP CrossRef
730
TITLE: Understanding User's Emotional Engagement to the Contents on a Smartphone Display: Psychiatric Prospective
AUTHORS: Kunal Mankodiya; Vinod Sharma; Rolando Martins ; Ishan Pande; Samay Jain; Neal Ryan; Rajeev Gandhi;
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 Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, UIC/ATC 2013, Vietri sul Mare, Sorrento Peninsula, Italy, December 18-21, 2013, PAGES: 631-637
INDEXED IN: Scopus DBLP CrossRef: 5
731
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
INDEXED IN: Scopus WOS CrossRef
732
TITLE: Using machine learning to identify benign cases with non-definitive biopsy
AUTHORS: Kuusisto, F; Dutra, I ; Nassif, H; Wu, Y; Klein, ME; Neuman, HB; Shavlik, J; Burnside, ES ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PAGES: 283-285
INDEXED IN: Scopus DBLP CrossRef: 2
733
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
INDEXED IN: Scopus WOS DBLP CrossRef: 10
734
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
INDEXED IN: DBLP
735
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
INDEXED IN: Scopus WOS CrossRef: 3
736
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
737
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
INDEXED IN: Scopus WOS DBLP CrossRef: 73
738
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
INDEXED IN: Scopus WOS
739
TITLE: A mobile based authorization mechanism for patient managed role based access control
AUTHORS: Santos Pereira, C; Augusto, AB; Correia, ME ; 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
INDEXED IN: Scopus DBLP CrossRef: 7
740
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
INDEXED IN: Scopus DBLP

Results per Page: 20.
Página 37 de 59. Total de resultados: 1167.