LT

Liviu Tancau

University of California, Berkeley

9

Publications

1,050

Citations

7

h-index

7

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (9)

Filter by Open Access Type

Open Access (0)
Closed Access (9)

Filter by Authors

Liviu Tancau (9)
Armando Solar-Lezama (7)
Sanjit A. Seshia (7)
Rastislav Bodík (7)
Vijay Saraswat (7)

Filter by Topics

Logic, programming, and type systems (6)
Formal Methods in Verification (5)
Software Engineering Research (5)
Parallel Computing and Optimization Techniques (2)
Data Management and Algorithms (2)