Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Flavio M. De Paula
BackSpace: Formal Analysis for Post-Silicon Debug
Related publications
COT Flow Imposes Added Requirements for Debug
Formal Equivalence Analysis
Automated Framework for Formal Operator Task Analysis
Do Moods Affect Programmers’ Debug Performance?
Cognition, Technology and Work
Computer Science Applications
Philosophy
Human-Computer Interaction
An Energy-Efficient Patchable Accelerator for Post-Silicon Engineering Changes
Post-Deposition Catalytic-Doping of Microcrystalline Silicon Thin Layer for Application in Silicon Heterojunction Solar Cell
Thin Solid Films
Surfaces
Alloys
Optical
Interfaces
Metals
Materials Chemistry
Magnetic Materials
Films
Coatings
Electronic
Trace Signal Selection for Visibility Enhancement in Post-Silicon Validation
Using Formal Concept Analysis for Microarray Data Comparison
Journal of Bioinformatics and Computational Biology
Biochemistry
Computer Science Applications
Molecular Biology
Formal Analysis of a Model for Electronic Payment Systems
