Aurora Schmidt

According to our database1, Aurora Schmidt authored at least 14 papers between 2009 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.
CoRR, 2020

A Twitter Social Contagion Monitor.
Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2020

2018
Using Spectral Clustering of Hashtag Adoptions to Find Interest-Based Communities.
Proceedings of the 2018 IEEE International Conference on Communications, 2018

2017
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.
Int. J. Softw. Tools Technol. Transf., 2017

Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016
Complex contagions and the diffusion of popular Twitter hashtags in Nigeria.
Soc. Netw. Anal. Min., 2016

Investigating the Observability of Complex Contagion in Empirical Social Networks.
Proceedings of the Tenth International Conference on Web and Social Media, 2016

2015
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Formal verification of ACAS X, an industrial airborne collision avoidance system.
Proceedings of the 2015 International Conference on Embedded Software, 2015

2014
Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation.
Proceedings of the Eighth International Conference on Weblogs and Social Media, 2014

2012
Compressed sensing radar surveillance networks.
Proceedings of the IEEE 7th Sensor Array and Multichannel Signal Processing Workshop, 2012

Distributed field reconstruction with model-robust basis pursuit.
Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

2009
Field inversion by consensus and compressed sensing.
Proceedings of the IEEE International Conference on Acoustics, 2009


  Loading...