Concepedia

Victor Vu

VV

6

Publications

463

Citations

6

H-Index

2011

Active since

Affiliations

The University of Texas at Austin(Current)

Victor Vu is an author at The University of Texas at Austin specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceDanceHealthRoboticsKinematicsKinesiologyCryptographyVerificationData Security

Publications per year

2011–2021

6

Publications

6

A Hybrid Architecture for Interactive Verifiable Computation

Victor Vu, Srinath Setty, Andrew J. Blumberg et al. · 2013 · 128 citations · Full text

Cryptographic Primitive, Engineering, Verification +19

Resolving the conflict between generality and plausibility in verified computation

Srinath Setty, Benjamin Braun, Victor Vu et al. · 2013 · 123 citations

Checkable Proofs, Cryptographic Primitive, Engineering +22

Taking proof-based verified computation a few steps closer to practicality

Srinath Setty, Victor Vu, Nikhil Panpalia et al. · 2012 · 121 citations

Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition

Patrick MacAlpine, Samuel Barrett, Daniel Urieli et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 51 citations · Full text

Artificial Intelligence, Simulation Competition, Engineering +22

UT Austin Villa 2011: a champion agent in the RoboCup 3D soccer simulation competition

Patrick MacAlpine, Daniel Urieli, Samuel Barrett et al. · Adaptive Agents and Multi-Agents Systems · 2012 · 30 citations

Artificial Intelligence, Game Ai, Simulation Competition +30

Rows per page

1–5 of 6