Login / Signup
Caleb Voss
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 3
Top Topics
Formal Proof
Invariant Features
Mass Spectrometry
Proteomic Data
Top Venues
INFOCOM Workshops
ICRA
CoRR
</>
Publications
</>
Caleb Voss
,
David Heath
,
William Harris
Proofs as Relational Invariants of Synthesized Execution Grammars.
CoRR
(2017)
P. Sergio Rivera
,
Jacob Chappell
,
Mami Hayashida
,
Andrew Groenewold
,
Peter Oostema
,
Caleb Voss
,
Hussamuddin Nasir
,
Charles Carpenter
,
Yongwook Song
,
Zongming Fei
,
James Griffioen
Demo abstract: Enabling high-throughput big data transfers across campus networks.
INFOCOM Workshops
(2017)
P. Sergio Rivera
,
Jacob Chappell
,
Mami Hayashida
,
Andrew Groenewold
,
Peter Oostema
,
Caleb Voss
,
Hussamuddin Nasir
,
Charles Carpenter
,
Yongwook Song
,
Zongming Fei
,
James Griffioen
Creating complex testbed networks to explore SDN-based all-campus science DMZs.
INFOCOM Workshops
(2017)
Caleb Voss
,
Mark Moll
,
Lydia E. Kavraki
A heuristic approach to finding diverse short paths.
ICRA
(2015)