Author of the publication

Spatial Analysis of School Network Applying Configurational Models.

, , , and . ICCSA (4), volume 8582 of Lecture Notes in Computer Science, page 109-124. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formalized Meta-Theory of Sequent Calculi for Substructural Logics., , and . LSFA, volume 332 of Electronic Notes in Theoretical Computer Science, page 57-73. Elsevier, (2016)Checking Proof Transformations with ASP., , and . Theory Pract. Log. Program., (2013)Comparison of Convolutional Neural Network Performances in Pain Facial Expression Recognition., , , , , , and . SIPAIM, page 1-4. IEEE, (2023)Explainable Online Monitoring of Metric First-Order Temporal Logic., , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 288-307. Springer, (2024)Towards the Automated Generation of Focused Proof Systems., , and . WoF'15, volume 197 of EPTCS, page 1-6. (2015)Formalized meta-theory of sequent calculi for linear logics., , and . Theor. Comput. Sci., (2019)Spatial Analysis of School Network Applying Configurational Models., , , and . ICCSA (4), volume 8582 of Lecture Notes in Computer Science, page 109-124. Springer, (2014)Quati: An Automated Tool for Proving Permutation Lemmas., , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 255-261. Springer, (2014)Explainable Online Monitoring of Metric Temporal Logic., , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 473-491. Springer, (2023)Comparison of Brazilian researchers in clinical medicine: are criteria for ranking well-adjusted?, , , , , , , and . Scientometrics, 90 (2): 429-443 (2012)