Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

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

150 Team Members
Filters -> Year: 2024
361
TITLE: An Adequate While-Language for Hybrid Computation
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), PAGES: 11:1-11:15
INDEXED IN: WOS DBLP
362
TITLE: An Adequate While-Language for Hybrid Computation PDF
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.07684
INDEXED IN: DBLP arXiv
363
TITLE: An ontology-based recommendation system for context-aware network monitoring
AUTHORS: Silva, RF; Carvalho, P; Rito Lima, S; Álvarez Sabucedo, L; Santos Gago, JM; Silva, JMC ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 373-384
INDEXED IN: Scopus CrossRef: 1
364
TITLE: An Ontology-Based Recommendation System for Context-Aware Network Monitoring
AUTHORS: Ricardo F Silva; Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 373-384
INDEXED IN: DBLP
365
TITLE: Anomaly Detection and Modeling in 802.11 Wireless Networks  Full Text
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38
INDEXED IN: Scopus WOS DBLP CrossRef: 3
366
TITLE: BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage  Full Text
AUTHORS: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique Domingos; João Leitão;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 103-112
INDEXED IN: Scopus DBLP CrossRef: 3
367
TITLE: Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems
AUTHORS: Luiz F P Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 in 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, VOLUME: 2019-September, PAGES: 370-377
INDEXED IN: Scopus DBLP CrossRef
368
TITLE: Conflict-Free Replicated Data Types CRDTs
AUTHORS: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies.
INDEXED IN: DBLP
369
TITLE: d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds  Full Text
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 61-70
INDEXED IN: Scopus DBLP CrossRef
370
TITLE: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions. An Assessment of Portuguese Institutions
AUTHORS: Joao Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 348-353
INDEXED IN: Scopus WOS CrossRef
371
TITLE: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions
AUTHORS: João Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PAGES: 348-353
INDEXED IN: DBLP
372
TITLE: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTHORS: Carvalho, NR; Barbosa, LS ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 76-79
INDEXED IN: Scopus WOS DBLP CrossRef: 1
373
TITLE: Dendro: A FAIR, Open-Source Data Sharing Platform
AUTHORS: Lazaro Costa ; Joao Rocha da Silva ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2019, VOLUME: 11799, PAGES: 384-387
INDEXED IN: Scopus WOS DBLP CrossRef
375
TITLE: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLISHED: 2019, SOURCE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405, PAGES: 127-148
INDEXED IN: Scopus DBLP CrossRef: 4
376
TITLE: Efficient Synchronization of State-based CRDTs
AUTHORS: Enes, V ; Almeida, PS ; Baquero, C ; Leitao, J;
PUBLISHED: 2019, SOURCE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), VOLUME: 2019-April, PAGES: 148-159
INDEXED IN: Scopus WOS DBLP CrossRef: 17
377
TITLE: Electrocardiogram Beat-Classification Based on a ResNet Network
AUTHORS: Claudia Brito ; Ana Machado; Antonio Sousa ;
PUBLISHED: 2019, SOURCE: 17th World Congress of Medical and Health Informatics (MEDINFO) in MEDINFO 2019: HEALTH AND WELLBEING E-NETWORKS FOR ALL, VOLUME: 264, PAGES: 55-59
INDEXED IN: Scopus WOS
378
TITLE: Energy Efficient Software in an Engineering Course
AUTHORS: João Saraiva ; Rui Pereira;
PUBLISHED: 2019, SOURCE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 77-97
INDEXED IN: DBLP
379
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 1
380
TITLE: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTHORS: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PAGES: 17-34
INDEXED IN: Scopus WOS DBLP CrossRef: 8

Results per Page: 20.
Página 19 de 74. Total de resultados: 1463.