Siva Anantharaman

Publications

Citations

H-Index

1990

Active since

Affiliations

University at Albany, State University of New York(Current)

Université d'Orléans

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Siva Anantharaman is an author at University at Albany, State University of New York specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationSemanticsCryptographyData PrivacyData SecurityComputer ScienceHardware Security

Publications per year

1990–2010

Publications

Automated proofs of the moufang identities in alternative rings

Siva Anantharaman, Jieh Hsiang · Journal of Automated Reasoning · 1990 · 42 citations

Commutative Algebra, Automated Proofs, Modern Algebra +1

Closure properties and decision problems of dag automata

Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch · Information Processing Letters · 2005 · 32 citations

Logical Automaton, Engineering, Automated Reasoning +5

Unification Modulo ACUI Plus Distributivity Axioms

Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch · Journal of Automated Reasoning · 2004 · 15 citations

Engineering, Substructural Logic, Automated Reasoning +4

Cap unification

Siva Anantharaman, Lin Hai, Christopher S. Lynch et al. · 2010 · 10 citations · Full text

Hardware Security, Cryptographic Primitive, Insecurity Problem +14

Rows per page

1–4 of 4