Person:1960260

Available identifiers

zbMath Open bacelar-almeida.joseMaRDI QIDQ1960260

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: José Bacelar Almeida