# Fingerprint Dive into the research topics where Mahadevan Subramaniam is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

- Sort by
- Weight
- Alphabetically

### Engineering & Materials Science

Finite automata

Specifications

Network protocols

Testing

Quantum cryptography

Networks (circuits)

Optical tomography

Time series

Semantics

Health

Adders

Time series analysis

Large scale systems

Recursive functions

Logic programming

Theorem proving

Data structures

Education

Utility programs

Hardware

Computer programming languages

Computer monitors

Loaders

Students

Parallel algorithms

Error detection

Costs

Engineering education

Prosthetics

Syntactics

Websites

Experiments

Simulators

Web services

Quantum entanglement

Context free grammars

Virtual reality

Switches

Table lookup

Formal languages

Controllers

Monitoring

Miners

Dynamic programming

Application programs

Computer hardware

Factorization

Communication

Software testing

Redundancy

### Mathematics

Proof by induction

Decision Procedures

Specification

Lemma

Degeneration

Theorem

Set Cover

State Machine

Arithmetic Circuits

Reasoning

Cache Coherence

Quantum Cryptography

Quantifiers

Tables

Serious Games

Integrity Constraints

Automated Reasoning

Multiplier

User Interaction

Correctness

Test Generation

Parallel Algorithms

Recursive Functions

Edit Distance

Update

Error Detection

Health

Division

Retina

Equivalence

Test Set

Exercise

Calculus

Incremental Algorithm

Strings

Table

Rewriting

Game

Divide and conquer

Coverage

Predicate

Hardware

Controller

Look-ahead

Ripple

Proof of correctness

Semantic Analysis

Prefix

Finite Set

Data Structures