martinamaggio

Pinned Repositories

• CSrankings

  A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

  Language:Python2.7k411.3k3.1k

• camnetverification

  Language:Pascal01

• testing-abstractions

  Repository associated with the paper "Testng Abstractions for Cyber-Physical Control Systems"

  Language:Python0200

• thesis

  Language:PostScript10

• WeaklyHard.jl

  Language:Julia50

martinamaggio's Repositories