Community Profile

photo

Ioannis Filippidis

California Institute of Technology

Contact

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

Contributions

Top 5% contributor

  • 17 Contributions
Thumbnail

OpenStreetMap Functions

113 downloads

22 days ago

Thumbnail

plot 2/3D point(s)

34 downloads

4 years ago

Thumbnail

Vectorized Meshgrid

18 downloads

4 years ago

Thumbnail

plot 2/3D vector(s)

4 downloads

4 years ago

Thumbnail

Cell Extrema

3 downloads

4 years ago

Thumbnail

LaTeX Plot Annotation

3 downloads

4 years ago