Concepedia

Lu Tian

LT

Statistics

Publications

2

Citations

91

H-Index

2

Active since

1992

Affiliations

The University of Texas at Dallas(Current)

Lu Tian is an author at The University of Texas at Dallas specializing in automated reasoning, engineering, and probability theory.

Top concepts

EngineeringProbabilityVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringComputational ComplexityVariational Inequalities

Publications per year

1992–1994

2

Publications

2

On Some Equivalence Relations for Probabilistic Processes1

Dung T. Huynh, Lu Tian · Fundamenta Informaticae · 1992 · 63 citations

Probabilistic Processes1, Engineering, Reachability Problem +18

Deciding bisimilarity of normed context-free processes is in Σp2

Dung T. Huynh, Lu Tian · Theoretical Computer Science · 1994 · 28 citations

Process Calculus, Variational Inequalities, Normed Context-free Processes

1–2 of 2