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

37 Team Members
Filters -> Year: 2024
601
TÍTULO: Multiscale Parameter Tuning of a Semantic Relatedness Algorithm
AUTORES: José Paulo Leal ; Teresa Costa ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 201-213
INDEXADO EM: Scopus DBLP
602
TÍTULO: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 168-183
INDEXADO EM: Scopus DBLP CrossRef: 6
603
TÍTULO: Online Traffic Prediction in the Cloud: A Dynamic Window Approach
AUTORES: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado;
PUBLICAÇÃO: 2014, FONTE: 2nd International Conference on Future Internet of Things and Cloud (FiCloud) in 2014 INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD), PÁGINAS: 9-14
INDEXADO EM: Scopus WOS CrossRef: 10
604
TÍTULO: Parallel Subgraph Counting for Multicore Architectures
AUTORES: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLICAÇÃO: 2014, FONTE: 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), PÁGINAS: 34-41
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
605
TÍTULO: Preface
AUTORES: Silva, F ; Dutra, I ; Costa, VS ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus
606
TÍTULO: Preface
AUTORES: Pereira, MJV; Leal, JP ; Simões, A;
PUBLICAÇÃO: 2014, FONTE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in OpenAccess Series in Informatics, VOLUME: 38
INDEXADO EM: Scopus
607
TÍTULO: PrologCheck - Property-Based Testing in Prolog
AUTORES: Claudio Amaral ; Mario Florido ; Vitor Santos Costa ;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
608
TÍTULO: Querying Volatile and Dynamic Networks
AUTORES: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLICAÇÃO: 2014, FONTE: Encyclopedia of Social Network Analysis and Mining, PÁGINAS: 1456-1463
INDEXADO EM: DBLP CrossRef
609
TÍTULO: Relational machine learning for electronic health record-driven phenotyping  Full Text
AUTORES: Peggy L Peissig; Vitor Santos Costa ; Michael D Caldwell; Carla Rottscheit; Richard L Berg; Eneida A Mendonca; David Page;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF BIOMEDICAL INFORMATICS, VOLUME: 52, PÁGINAS: 260-270
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
610
TÍTULO: RPL Modifications to Improve the End-to-End Delay Estimation in WSN
AUTORES: Pedro Pinto ; Antonio Pinto ; Manuel Ricardo ;
PUBLICAÇÃO: 2014, FONTE: 11th International Symposium on Wireless Communications Systems (ISWCS) in 2014 11TH INTERNATIONAL SYMPOSIUM ON WIRELESS COMMUNICATIONS SYSTEMS (ISWCS), PÁGINAS: 868-872
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
611
TÍTULO: Sequencing Educational Resources with Seqins  Full Text
AUTORES: Queiros, R ; Leal, JP ; Campos, J;
PUBLICAÇÃO: 2014, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 4, PÁGINAS: 1479-1497
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
612
TÍTULO: Short paper: CHIPS: content-based heuristics for improving photo privacy for smartphones. CHIPS: content-based heuristics for improving photo privacy for smartphones
AUTORES: Jiaqi Tan; Utsav Drolia; Rolando Martins ; Rajeev Gandhi; Priya Narasimhan;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 213-218
INDEXADO EM: Scopus DBLP CrossRef: 10
613
TÍTULO: STOVEPipe: Observable Access Control of User Data for Untrusted Applications on Mobile Devices
AUTORES: Jiaqi Tan; Utsav Drolia; Rolando Martins ; Rajeev Gandhi; Priya Narasimhan;
PUBLICAÇÃO: 2014, FONTE: 2014 6th IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2014 in IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014, VOLUME: 2015-February, NÚMERO: February, PÁGINAS: 680-683
INDEXADO EM: Scopus DBLP CrossRef: 2
614
TÍTULO: Support vector machines for differential prediction
AUTORES: Kuusisto, F; Costa, VS ; Nassif, H; Burnside, E; Page, D; Shavlik, J;
PUBLICAÇÃO: 2014, FONTE: European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8725 LNAI, NÚMERO: PART 2, PÁGINAS: 50-65
INDEXADO EM: Scopus DBLP CrossRef: 17
615
TÍTULO: Tabling, Rational Terms, and Coinduction Finally Together!
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 4-5, PÁGINAS: 429-443
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
616
TÍTULO: Towards using Probabilities and Logic to Model Regulatory Networks
AUTORES: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLICAÇÃO: 2014, FONTE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 239-242
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
617
TÍTULO: USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations
AUTORES: Andre Pereira; Manuel E. Correia ; Pedro Brandao ;
PUBLICAÇÃO: 2014, FONTE: 15th Joint IFIP TC-6 and TC-11 International Conference on Communications and Multimedia Security (CMS) in COMMUNICATIONS AND MULTIMEDIA SECURITY, CMS 2014, VOLUME: 8735, PÁGINAS: 19-32
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
618
TÍTULO: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal
AUTORES: José Paulo Leal ; Ricardo Rocha ; Alberto Simões;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: DBLP
619
TÍTULO: A mobile-based attribute aggregation architecture for user-centric identity management
AUTORES: Augusto, AB; Manuel E. Correia ;
PUBLICAÇÃO: 2013, FONTE: Architectures and Protocols for Secure Information Technology Infrastructures, PÁGINAS: 266-287
INDEXADO EM: Scopus CrossRef: 1
620
TÍTULO: A PDF based digital signed document format for interoperable institutional structured data integrity
AUTORES: Luís A. Maia; Luís M. Valente; Manuel E. Correia ; Lígia M. Ribeiro; Luís Antunes ;
PUBLICAÇÃO: 2013, FONTE: EUNIS 2013 Congress Proceedings: 2013: ICT Role for Next Generation Universities, VOLUME: 1, NÚMERO: 1
INDEXADO EM: CrossRef Unpaywall Handle

Results per Page: 20.
Página 31 de 55. Total de resultados: 1094.