photo

Ioannis Filippidis

California Institute of Technology

http://www.caltech.edu/~ifilippi
Synthesis of distributed systems with formal guarantees of correctness.

Contact

Contributions

Top 5% contributor

  • 17 Contributions
Thumbnail

Export figure to 3D interactive PDF

102 downloads

15 days ago

Thumbnail

OpenStreetMap Functions

83 downloads

15 days ago

Thumbnail

Vectorized Meshgrid

35 downloads

3 years ago

Thumbnail

plot 2/3D point(s)

30 downloads

3 years ago

Thumbnail

LaTeX Plot Annotation

17 downloads

3 years ago

Thumbnail

plot 2/3D vector(s)

10 downloads

3 years ago

Thumbnail

Cell Extrema

9 downloads

3 years ago