Discover open access scientific publications

Search, annotate, share and cite publications

Publications by José Bacelar Almeida

Partial Derivative Automata Formalized in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Related publications

Weakest Precondition for General Recursive Programs Formalized in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Trees in Partial Higher Dimensional Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Synchronizing Automata Preserving a Chain of Partial Orders

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2009English

Assessing Cellular Automata Based Models Using Partial Differential Equations

Mathematical and Computer Modelling
2004English

Nested Abstract Syntax in Coq

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Formalized Structured Analysis Specifications

English

Verifying a Local Generic Solver in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

An Alternating Discrete Variational Derivative Method for Coupled Partial Differential Equations

JSIAM Letters
2012English

Exact Solutions of Fractional Partial Differential Equation Systems With Conformable Derivative

Filomat
Mathematics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy