José Carlos Bacelar Almeida

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 7

Top Topics

Regular Languages

Inductive Inference

Context Free Languages

Context Sensitive

Top Venues

J. Log. Algebraic Methods Program.

J. Formaliz. Reason.

Publications

José Carlos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela
A formal treatment of the role of verified compilers in secure computation. J. Log. Algebraic Methods Program. 125 (2022)
José Carlos Bacelar Almeida, Manuel Barbosa, Karim Eldefrawy, Stéphane Graham-Lengrand, Hugo Pacheco, Vitor Pereira
Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head. CoRR (2021)
Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. LSFA (2018)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
On the Formalization of Some Results of Context-Free Language Theory. WoLLIC (2016)
Marcus Vinícius Midena Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz
Formalization of the pumping lemma for context-free languages. J. Formaliz. Reason. 9 (2) (2016)
Marcus V. M. Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
Formalization of context-free language theory. CoRR (2015)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
Formalization of the pumping lemma for context-free languages. CoRR (2015)