•  533
    Decentralized Voting System using Blockchain
    with Kranthi Kiran Reddy, Sai Sirimulla, Chandan Singh, and Chaithanya Reddy
    International Journal of Scientific Research in Science, Engineering and Technology 11 (2). 2024.
    This article explores the use and impact of voting using blockchain technology. As a result of mounting worries about the honesty and security of conventional voting methods, especially in the digital era, the study tackles the requirement for an open, impenetrable, and robust method of conducting elections. A decentralized application on a blockchain platform is designed and implemented using the technique, which makes use of smart contracts for voter registration, ballot generation, …Read more
  • Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks (edited book)
    with Anne Abeillé, Tilman Becker, and Giorgio Satta
    Institute for Research in Cognitive Science. 1998.
  •  148
    A first-order axiomatization of the theory of finite trees
    with Rolf Backofen and James Rogers
    Journal of Logic, Language and Information 4 (1): 5-39. 1995.
    We provide first-order axioms for the theories of finite trees with bounded branching and finite trees with arbitrary (finite) branching. The signature is chosen to express, in a natural way, those properties of trees most relevant to linguistic theories. These axioms provide a foundation for results in linguistics that are based on reasoning formally about such properties. We include some observations on the expressive power of these theories relative to traditional language complexity classes.