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: 1133

37 Team Members
Filters -> Year: 2025
681
TÍTULO: Experiences with fault-injection in a Byzantine fault-tolerant protocol
AUTORES: Rolando Martins ; Gandhi, R; Narasimhan, P ; Pertet, S; Casimiro, A; Kreutz, D; Verissimo, P ;
PUBLICAÇÃO: 2013, FONTE: 14th ACM/IFIP/USENIX Middleware Conference, Middleware 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8275 LNCS, PÁGINAS: 41-61
INDEXADO EM: Scopus DBLP CrossRef: 8
682
TÍTULO: Fine-grained Patches for Java Software Upgrades
AUTORES: Eduardo R B Marques ;
PUBLICAÇÃO: 2013, FONTE: 5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013
INDEXADO EM: DBLP
683
TÍTULO: Integrative functional statistics in logic programming
AUTORES: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 190-205
INDEXADO EM: Scopus DBLP CrossRef: 11
684
TÍTULO: Interactive Shopping Experience through Immersive Store Environments
AUTORES: Kunal Mankodiya; Rolando Martins ; Jonathan Francis; Elmer Garduno; Rajeev Gandhi; Priya Narasimhan;
PUBLICAÇÃO: 2013, FONTE: 2nd International Conference on Design, User Experience, and Usability: User Experience in Novel Technological Environments, DUXU 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Design, User Experience, and Usability. User Experience in Novel Technological Environments - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, VOLUME: 8014, NÚMERO: PART 3, PÁGINAS: 372-382
INDEXADO EM: Scopus DBLP CrossRef: 1
685
TÍTULO: Making Programming Exercises Interoperable with PExIL
AUTORES: Queiros, R ; Leal, JP ;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PÁGINAS: 38-56
INDEXADO EM: Scopus WOS CrossRef: 2 Handle
686
TÍTULO: Managing experiments on cognitive processes in writing with HandSpy  Full Text
AUTORES: Carlos Monteiro; Jose Paulo Leal ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4, PÁGINAS: 1747-1773
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
687
TÍTULO: MetaBot: Automated and Dynamically Schedulable Robotic Behaviors in Retail Environments
AUTORES: Francis, J; Drolia, U; Mankodiya, K; Rolando Martins ; Gandhi, R; Narasimhan, P;
PUBLICAÇÃO: 2013, FONTE: 2013 11th IEEE International Symposium on Robotic and Sensors Environments, ROSE 2013 in 2013 IEEE INTERNATIONAL SYMPOSIUM ON ROBOTIC AND SENSORS ENVIRONMENTS (ROSE 2013), PÁGINAS: 148-153
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
688
TÍTULO: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores PDF
AUTORES: Rui Vieira; Ricardo Rocha ; Fernando M. A. Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.7690
INDEXADO EM: DBLP arXiv
689
TÍTULO: On the efficient implementation of mode-directed tabling
AUTORES: Santos, J ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 141-156
INDEXADO EM: Scopus DBLP CrossRef: 4
690
TÍTULO: Or-parallel prolog execution on clusters of multicores  Full Text
AUTORES: Santos, J ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PÁGINAS: 9-20
INDEXADO EM: Scopus DBLP
691
TÍTULO: Physician's awareness of e-prescribing security risks
AUTORES: Hugo Rodrigues; Luis Filipe C Antunes ; Cristina Santos ; Manuel E. Correia ; Tiago Miguel Pinho; Hilario Gil Magalhaes;
PUBLICAÇÃO: 2013, FONTE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 489-492
INDEXADO EM: Scopus WOS DBLP CrossRef
692
TÍTULO: Predicting Traffic in the Cloud: A Statistical Approach
AUTORES: Bruno Lopes Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLICAÇÃO: 2013, FONTE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PÁGINAS: 121-126
INDEXADO EM: Scopus WOS CrossRef: 15
693
TÍTULO: Preface
AUTORES: Leal, JP ; Rocha, R; Simões, A;
PUBLICAÇÃO: 2013, FONTE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29
INDEXADO EM: Scopus
694
TÍTULO: Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems PDF
AUTORES: Ricardo Rocha ; Christian Theil Have;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1307.8389
INDEXADO EM: DBLP arXiv
695
TÍTULO: Prolog programming with a map-reduce parallel construct
AUTORES: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 285-296
INDEXADO EM: Scopus DBLP CrossRef: 4
696
TÍTULO: Proposal of a Secure Electronic Prescription System
AUTORES: Rodrigues, HAM; Antunes, L ; Manuel E. Correia ;
PUBLICAÇÃO: 2013, FONTE: International Conference on Information Society (I-Society) in INTERNATIONAL CONFERENCE ON INFORMATION SOCIETY (I-SOCIETY 2013), VOLUME: 6, NÚMERO: 3/4, PÁGINAS: 165-168
INDEXADO EM: Scopus WOS CrossRef: 1 Unpaywall
697
TÍTULO: Publishing Linked Data with DaPress
AUTORES: Teresa Costa ; José Paulo Leal ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 67-81
INDEXADO EM: Scopus DBLP
698
TÍTULO: Score As You Lift (SAYL): A statistical relational learning approach to uplift modeling
AUTORES: Nassif, H; Kuusisto, F; Burnside, ES; Page, D; Shavlik, J; Santos Costa, V ;
PUBLICAÇÃO: 2013, FONTE: 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, NÚMERO: PART 3, PÁGINAS: 595-611
INDEXADO EM: Scopus DBLP CrossRef: 4
699
TÍTULO: Seqins - A Sequencing Tool for Educational Resources  Full Text
AUTORES: Ricardo Queirós ; José Paulo Leal ; José Campos;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 83-96
INDEXADO EM: Scopus DBLP Handle
700
TÍTULO: Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems
AUTORES: Rolando Martins ; Luís M B Lopes ; Fernando M A Silva ; Priya Narasimhan ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 431-438
INDEXADO EM: Scopus DBLP CrossRef: 3

Results per Page: 20.
Página 35 de 57. Total de resultados: 1133.