Simão Melo de Sousa

From MaRDI portal
Person:861686

Available identifiers

zbMath Open melo-de-sousa.simaoMaRDI QIDQ861686

List of research outcomes





PublicationDate of PublicationType
Revisiting concurrent separation logic2017-05-29Paper
Deciding Kleene algebra terms equivalence in Coq2015-06-10Paper
Certifying execution time2012-11-02Paper
Deciding regular expressions (in-)equivalence in Coq2012-09-21Paper
Partial derivative automata formalized in Coq2011-02-11Paper
Rigorous software development. An introduction to program verification.2010-10-13Paper
Secure Biometric Authentication with Improved Accuracy2008-07-08Paper
Tool-assisted specification and verification of typed low-level languages2007-01-30Paper
https://portal.mardi4nfdi.de/entity/Q47369862004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47855412003-01-05Paper
https://portal.mardi4nfdi.de/entity/Q27636802002-01-21Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:861686&oldid=7131255"
Powered by MediaWiki