Rationalizing police patrol beats using Voronoi Tessellations. - Arvind K. Verma; Ramyaa Ramyaa; Suresh Marru; Ye Fan; Raminder Singh (ISI, 2010)

Feasible Functions over Co-inductive Data. - Ramyaa Ramyaa; Daniel Leivant (WoLLIC, 2010)

Implicit complexity for coinductive data: a characterization of corecurrence - Daniel Leivant; Ramyaa Ramyaa (DICE, 2011)

Ramified Corecurrence and Logspace. - Ramyaa Ramyaa; Daniel Leivant (MFPS, 2011)

Pure Pointer Programs and Tree Isomorphism. - Martin Hofmann 001; Ramyaa Ramyaa; Ulrich Schöpp (FoSSaCS, 2013)

Computing With a Fixed Number of Pointers (Invited Talk). - Martin Hofmann 001; Ramyaa (FSTTCS, 2013)

Power of Nondetreministic JAGs on Cayley graphs. - Martin Hofmann 001; Ramyaa Ramyaa (CoRR, 2013)

Validating distance decay through agent based modeling. - Arvind K. Verma; Ramyaa Ramyaa; Suresh Marru (Secur. Informatics, 2013)

The Computational Contents of Ramified Corecurrence. - Daniel Leivant; Ramyaa Ramyaa (FoSSaCS, 2015)

Denotational cost semantics for functional languages with inductive types. - Norman Danner; Daniel R. Licata; Ramyaa (ICFP, 2015)

Short refutations for an equivalence-chain principle for constant-depth formulas. - Sam Buss; Ramyaa Ramyaa (Math. Log. Q., 2018)

Biologically inspired sleep algorithm for artificial neural networks. - Giri P. Krishnan; Timothy Tadros; Ramyaa Ramyaa; Maxim Bazhenov (CoRR, 2019)

Biologically Inspired Sleep Algorithm for Reducing Catastrophic Forgetting in Neural Networks. - Timothy Tadros; Giri P. Krishnan; Ramyaa Ramyaa; Maxim Bazhenov (AAAI, 2020)

Mind the Gap: On Bridging the Semantic Gap between Machine Learning and Malware Analysis. - Michael R. Smith 002; Nicholas T. Johnson; Joe B. Ingram; Armida J. Carbajal; Bridget I. Haus; Eva Domschot; Ramyaa; Christopher C. Lamb; Stephen J. Verzi; W. Philip Kegelmeyer (AISec@CCS, 2020)

Using Educational Game for Engaging Students in Learning Foundational Concepts of Propositional Logic. - Alden Towler; Daniel Aranda; Ramyaa Ramyaa; Rita Kuo (ICALT, 2020)

Biologically inspired sleep algorithm for increased generalization and adversarial robustness in deep neural networks. - Timothy Tadros; Giri P. Krishnan; Ramyaa Ramyaa; Maxim Bazhenov (ICLR, 2020)

Mind the Gap: On Bridging the Semantic Gap between Machine Learning and Information Security. - Michael R. Smith 002; Nicholas T. Johnson; Joe B. Ingram; Armida J. Carbajal; Ramyaa Ramyaa; Evelyn Domschot; Christopher C. Lamb; Stephen J. Verzi; W. Philip Kegelmeyer (CoRR, 2020)

The Usability of Using Educational Game for Teaching Foundational Concept in Propositional Logic. - Daniel Aranda; Alden Towler; Ramyaa Ramyaa; Rita Kuo (ICALT, 2021)

Learning with distributional inverters. - Eric Binnendyk; Marco Carmosino; Antonina Kolokolova; Ramyaa Ramyaa; Manuel Sabin (CoRR, 2021)

CNN to mitigate atmospheric turbulence effect on Shack-Hartmann Wavefront Sensing: A case study on the Magdalena Ridge Observatory Interferometer. - Siavash Norouzi; James J. D. Luis; Ramyaa Ramyaa; John S. Young; Eugene B. Seneta; Morteza Darvish Morshedi Hosseini; Edgar R. Ligon (Machine Learning for Scientific Imaging, 2022)

Implementing Interactive Programming Tutorials in Object-Oriented Programming Education. - Brandon Dennis; Rita Kuo; Ramyaa Ramyaa (ICALT, 2023)

Evaluation of Large Language Models on Code Obfuscation (Student Abstract). - Adrian Swindle; Derrick McNealy; Giri P. Krishnan; Ramyaa Ramyaa (AAAI, 2024)

Reinforcement Learning for Data-Driven Workflows in Radio Interferometry. I. Principal Demonstration in Calibration. - Brian M. Kirk; Urvashi Rau; Ramyaa Ramyaa (CoRR, 2024)

Improving Automated Labeling for ATT&CK Tactics in Malware Threat Reports. - Eva Domschot; Ramyaa Ramyaa; Michael R. Smith 002 (DTRAP, 2024)