Liviu Tancau
University of California, Berkeley(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Engineering Research, Parallel Computing and Optimization Techniques, Data Management and Algorithms
Most-Cited Works
- → Combinatorial sketching for finite programs(2006)638 cited
- → Sketching stencils(2007)150 cited
- Probabilistic Data Management for Pervasive Computing: The Data Furnace Project.(2006)
- Probabilistic Complex Event Triggering(2009)
- Sketching with Partial Programs(2006)