Simão Melo de Sousa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Revisiting concurrent separation logic Journal of Logical and Algebraic Methods in Programming	2017-05-29	Paper
Deciding Kleene algebra terms equivalence in Coq Journal of Logical and Algebraic Methods in Programming	2015-06-10	Paper
Certifying execution time Foundational and Practical Aspects of Resource Analysis	2012-11-02	Paper
Deciding regular expressions (in-)equivalence in Coq Relational and Algebraic Methods in Computer Science	2012-09-21	Paper
Partial derivative automata formalized in Coq Implementation and Application of Automata	2011-02-11	Paper
Rigorous software development. An introduction to program verification. Undergraduate Topics in Computer Science	2010-10-13	Paper
Secure Biometric Authentication with Improved Accuracy Information Security and Privacy	2008-07-08	Paper
Tool-assisted specification and verification of typed low-level languages Journal of Automated Reasoning	2007-01-30	Paper
scientific article; zbMATH DE number 2086505 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1848374 (Why is no real title available?)	2003-01-05	Paper
scientific article; zbMATH DE number 1692947 (Why is no real title available?)	2002-01-21	Paper

Research outcomes over time

This page was built for person: Simão Melo de Sousa