José Bacelar Almeida

Available identifiers

Publication	Date of Publication	Type
A formal treatment of the role of verified compilers in secure computation	2022-03-09	Paper
Some applications of the formalization of the pumping lemma for context-free languages	2019-11-13	Paper
Formalization of the pumping lemma for context-free languages	2019-09-18	Paper
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC	2018-05-09	Paper
On the Formalization of Some Results of Context-Free Language Theory	2016-09-09	Paper
Formal verification of side-channel countermeasures using self-composition	2014-04-02	Paper
Token-passing Nets for Functional Languages	2014-01-24	Paper
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories	2013-12-20	Paper
Partial Derivative Automata Formalized in Coq	2011-02-11	Paper
Rigorous software development. An introduction to program verification.	2010-10-13	Paper
Geometric algebra and particle dynamics	2009-11-20	Paper
Hidden geometric character of relativistic quantum mechanics	2007-05-16	Paper
Bounded Version Vectors	2005-08-17	Paper
Wigner distribution transformations in high-order systems	2003-11-20	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: José Bacelar Almeida