Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Simão Melo de Sousa
Partial Derivative Automata Formalized in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Temporal Properties of Real-Time HTL Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Weakest Precondition for General Recursive Programs Formalized in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Trees in Partial Higher Dimensional Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synchronizing Automata Preserving a Chain of Partial Orders
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Assessing Cellular Automata Based Models Using Partial Differential Equations
Mathematical and Computer Modelling
Nested Abstract Syntax in Coq
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Formalized Structured Analysis Specifications
Verifying a Local Generic Solver in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Alternating Discrete Variational Derivative Method for Coupled Partial Differential Equations
JSIAM Letters
Exact Solutions of Fractional Partial Differential Equation Systems With Conformable Derivative
Filomat
Mathematics
