Laís Andrade
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Advanced Algebra and Logic, Geological and Geochemical Analysis
Most-Cited Works
- → Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach(2013)3 cited
- → Sequentialization for N-Graphs via Sub-N-Graphs(2014)2 cited
- A combinatorial study of soundness and normalization in n-graphs(2015)
- → Motion Compensation Techniques in Permutation-Based Video Encryption(2013)1 cited
- → Normalization of N-Graphs via Sub-N-Graphs(2016)
- → Sequentialization for full N-Graphs via sub-N-Graphs(2018)
- Estudo preliminar da rocha granítica do plúton Caxexa, Província Borborema, para aproveitamento como mineral industrial(2012)