Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luis Soares Barbosa
Generalising KAT to Verify Weighted Computations
Scientific Annals of Computer Science
Applied Mathematics
Computer Science
Related publications
Generalising the Unimodular Approach to Restructure Imperfectly Nested Loops
Parallel Processing Letters
Hardware
Theoretical Computer Science
Architecture
Software
Strategi Pemberdayaan Komunitasadat Terpencil (Kat) Suku Bonai
Jurnal Kebijakan Publik
Verify Your Runs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalising the Entropy Formula Through Master Equations
How to Verify and Manage the Translational Plagiarism?
Open Access Macedonian Journal of Medical Sciences
Medicine
SysML Model-Driven Approach to Verify Blocks Compatibility
International Journal of Computer Aided Engineering and Technology
Engineering
Computer Science Applications
Software
Let's Verify Linux
Using Language Inference to Verify Omega-Regular Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Monterey Phoenix to Formalize and Verify System Architectures
