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

149 Team Members
Filters -> Year: 2026
521
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PÁGINAS: 1608-+
INDEXADO EM: WOS DBLP
522
TÍTULO: Conflict-Free Replicated Data Types CRDTs
AUTORES: Nuno M Preguiça ; Carlos Baquero ; Marc Shapiro;
PUBLICAÇÃO: 2019, FONTE: Encyclopedia of Big Data Technologies., PÁGINAS: 491-500
INDEXADO EM: Scopus DBLP
523
TÍTULO: Coordination of Tasks on a Real-Time OS
AUTORES: Guillermina Cledou ; Jose Proenca ; Bernhard H C Sputh; Eric Verhulst;
PUBLICAÇÃO: 2019, FONTE: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION,) Held as Part of the 14th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, VOLUME: 11533, PÁGINAS: 250-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
524
TÍTULO: d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds  Full Text
AUTORES: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 61-70
INDEXADO EM: Scopus DBLP CrossRef
525
TÍTULO: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions. An Assessment of Portuguese Institutions
AUTORES: Joao Marco C Silva ; Vitor Fonte ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 348-353
INDEXADO EM: Scopus WOS CrossRef: 1
526
TÍTULO: Data Security and Trustworthiness in Online Public Services: An Assessment of Portuguese Institutions
AUTORES: João Marco C Silva ; Vitor Fonte ;
PUBLICAÇÃO: 2019, FONTE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PÁGINAS: 348-353
INDEXADO EM: DBLP
527
TÍTULO: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTORES: Carvalho, NR; Barbosa, LS ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 76-79
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
528
TÍTULO: Dendro: A FAIR, Open-Source Data Sharing Platform
AUTORES: Lazaro Costa ; Joao Rocha da Silva ;
PUBLICAÇÃO: 2019, FONTE: 23rd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2019, VOLUME: 11799, PÁGINAS: 384-387
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
530
TÍTULO: Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality
AUTORES: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 127-148
INDEXADO EM: Scopus DBLP CrossRef: 5
531
TÍTULO: Efficient Synchronization of State-based CRDTs
AUTORES: Enes, V ; Almeida, PS ; Baquero, C ; Leitao, J;
PUBLICAÇÃO: 2019, FONTE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), VOLUME: 2019-April, PÁGINAS: 148-159
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
532
TÍTULO: Electrocardiogram Beat-Classification Based on a ResNet Network
AUTORES: Brito, C ; Machado, A; Sousa, A ;
PUBLICAÇÃO: 2019, FONTE: 17th World Congress of Medical and Health Informatics (MEDINFO) in MEDINFO 2019: HEALTH AND WELLBEING E-NETWORKS FOR ALL, VOLUME: 264, PÁGINAS: 55-59
INDEXADO EM: Scopus WOS CrossRef
533
TÍTULO: Energy Efficient Software in an Engineering Course
AUTORES: João Saraiva ; Rui Pereira;
PUBLICAÇÃO: 2019, FONTE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PÁGINAS: 77-97
INDEXADO EM: DBLP
534
TÍTULO: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
535
TÍTULO: Formal techniques in the safety analysis of software components of a new dialysis machine  Full Text
AUTORES: Michael D Harrison; Leo Freitas; Michael Drinnan; Jose C Campos ; Paolo Masci ; Costanzo di Maria; Michael Whitaker;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175, PÁGINAS: 17-34
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
536
TÍTULO: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2019, FONTE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503, PÁGINAS: 69-75
INDEXADO EM: Scopus DBLP
537
TÍTULO: Generalising KAT to Verify Weighted Computations  Full Text
AUTORES: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 2, PÁGINAS: 141-184
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
538
TÍTULO: Get Your Spreadsheets Under (Version) Control
AUTORES: José Nuno Macedo ; Ricardo Moreira; Jácome Cunha ; João Saraiva ;
PUBLICAÇÃO: 2019, FONTE: 22nd Ibero-American Conference on Software Engineering, CIbSE 2019 in Proceedings of the XXII Iberoamerican Conference on Software Engineering, CIbSE 2019, La Habana, Cuba, April 22-26, 2019., PÁGINAS: 100-113
INDEXADO EM: Scopus DBLP
539
TÍTULO: GreenHub farmer: real-world data for Android energy mining
AUTORES: Hugo Matalonga; Bruno Cabral; Fernando Castor; Marco Couto ; Rui Pereira ; Simão Melo de Sousa ; João Paulo Fernandes ;
PUBLICAÇÃO: 2019, FONTE: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, 26-27 May 2019, Montreal, Canada., VOLUME: 2019-May, PÁGINAS: 171-175
INDEXADO EM: Scopus DBLP CrossRef: 7
540
TÍTULO: GreenSource: a large-scale collection of Android code, tests and energy metrics
AUTORES: Rui Rua ; Marco Couto ; João Saraiva ;
PUBLICAÇÃO: 2019, FONTE: 16th IEEE/ACM International Conference on Mining Software Repositories, MSR 2019 in Proceedings of the 16th International Conference on Mining Software Repositories, MSR 2019, 26-27 May 2019, Montreal, Canada., VOLUME: 2019-May, PÁGINAS: 176-180
INDEXADO EM: Scopus DBLP CrossRef: 7

Results per Page: 20.
Página 27 de 85. Total de resultados: 1689.