Laís Andrade

According to our database, Laís Andrade authored at least 5 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Sequentialization for full N-Graphs via sub-N-Graphs.

Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

CoRR, 2018

2015

Normalization of N-Graphs via Sub-N-Graphs.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014

Sequentialization for N-Graphs via Sub-N-Graphs.

Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2013

Motion Compensation Techniques in Permutation-Based Video Encryption.

Caio C. Sabino, Laís S. Andrade, Tsang Ing Ren, George D. C. Cavalcanti, Ing Jyh Tsang, Jan Sijbers

Proceedings of the IEEE International Conference on Systems, 2013