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

43 Team Members
Filters -> Year: 2026
741
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
742
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
743
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: Scopus DBLP CrossRef
744
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: 43
745
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
746
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
747
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: 22
748
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: 1
749
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
750
TÍTULO: Untitled  Full Text
AUTORES: Lukovic, I; Budimac, Z; Leal, JP ; Janousek, J; Rocha, A; Burdescu, DD; Dragan, D;
PUBLICAÇÃO: 2014, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 4
INDEXADO EM: WOS
751
TÍTULO: USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations
AUTORES: Andre Pereira; Manuel 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: 7
752
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
753
TÍTULO: A datalog engine for GPUs
AUTORES: Martinez Angeles, CA; Dutra, I ; Costa, VS; Buenabad Chavez, J;
PUBLICAÇÃO: 2013, FONTE: Kiel Declarative Programming Days 2013 - 20th Int. Conf. on Applications of Declarative Programming and Knowledge Management, INAP 2013, 22nd Int. Workshop on Functional and (Constraint) Logic Programming, WFLP 2013 and 27th WLP 2013 in Technische Berichte des Instituts fur Informatik der Christian-Albrechts-Universitat zu Kiel, NÚMERO: 1306 REPORT NO., PÁGINAS: 239-253
INDEXADO EM: Scopus
754
TÍTULO: A mobile-based attribute aggregation architecture for user-centric identity management
AUTORES: Augusto, AB; Correia, ME ;
PUBLICAÇÃO: 2013, FONTE: Architectures and Protocols for Secure Information Technology Infrastructures, PÁGINAS: 266-287
INDEXADO EM: Scopus CrossRef: 1
755
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
756
TÍTULO: A Portable and Efficient Implementation of Coinductive Logic Programming
AUTORES: Paulo Moura ;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PÁGINAS: 77-92
INDEXADO EM: Scopus DBLP CrossRef: 2
757
TÍTULO: A Potpourri of authentication mechanisms The mobile device way
AUTORES: Rui A Martins; Alexandre B Augusto ; Manuel E Correia ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS
758
TÍTULO: A preliminary investigation into predictive models for adverse drug events
AUTORES: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLICAÇÃO: 2013, FONTE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PÁGINAS: 8-13
INDEXADO EM: Scopus
759
TÍTULO: A Secure and Dynamic Mobile Identity Wallet Authorization Architecture Based on a XMPP Messaging Infrastructure
AUTORES: Augusto, AB ; Correia, ME ;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PÁGINAS: 21-37
INDEXADO EM: Scopus WOS CrossRef: 2
760
TÍTULO: A secure RBAC mobile agent access control model for Healthcare Institutions
AUTORES: Catia Santos Pereira ; Alexandre B Augusto ; Ricardo Cruz Correia ; Manuel E Correia ;
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: 349-354
INDEXADO EM: Scopus WOS DBLP CrossRef: 21

Results per Page: 20.
Página 38 de 64. Total de resultados: 1280.