| A formally verified hybrid system for the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ... International Conference on Tools and Algorithms for the Construction and …, 2015 | 72 | 2015 |
| A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ... International Journal on Software Tools for Technology Transfer 19 (6), 717-741, 2017 | 31 | 2017 |
| Formal verification of ACAS X, an industrial airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ... 2015 International Conference on Embedded Software (EMSOFT), 127-136, 2015 | 24 | 2015 |
| Complex contagions and the diffusion of popular Twitter hashtags in Nigeria C Fink, A Schmidt, V Barash, C Cameron, M Macy Social Network Analysis and Mining 6 (1), 1, 2016 | 21 | 2016 |
| Investigating the Observability of Complex Contagion in Empirical Social Networks. C Fink, A Schmidt, V Barash, J Kelly, CJ Cameron, M Macy ICWSM, 121-130, 2016 | 15 | 2016 |
| Accurate sparse recovery of guided wave characteristics for structural health monitoring JB Harley, AC Schmidt, JMF Moura 2012 IEEE International Ultrasonics Symposium, 158-161, 2012 | 12 | 2012 |
| A distributed sensor fusion algorithm for the inversion of sparse fields A Schmidt, JMF Moura 2009 Conference Record of the Forty-Third Asilomar Conference on Signals …, 2009 | 12 | 2009 |
| Field inversion by consensus and compressed sensing A Schmidt, JMF Moura 2009 IEEE International Conference on Acoustics, Speech and Signal …, 2009 | 10 | 2009 |
| Probabilistic model checking of the next-generation airborne collision avoidance system RW Gardner, D Genin, R McDowell, C Rouff, A Saksena, A Schmidt 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-10, 2016 | 9 | 2016 |
| Distributed field reconstruction with model-robust basis pursuit A Schmidt, JMF Moura 2012 IEEE International Conference on Acoustics, Speech and Signal …, 2012 | 8 | 2012 |
| Formally verified safe vertical maneuvers for non-deterministic, accelerating aircraft dynamics Y Kouskoulas, D Genin, A Schmidt, JB Jeannin International Conference on Interactive Theorem Proving, 336-353, 2017 | 6 | 2017 |
| Zero shot deep learning from semantic attributes PM Burlina, AC Schmidt, IJ Wang 2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015 | 6 | 2015 |
| Hierarchical zero-shot classification with convolutional neural network features and semantic attribute learning J Markowitz, AC Schmidt, PM Burlina, IJ Wang 2017 Fifteenth IAPR International Conference on Machine Vision Applications …, 2017 | 4 | 2017 |
| Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation A Schmidt, C Fink, N Bos Eighth International AAAI Conference on Weblogs and Social Media, 2014 | 3 | 2014 |
| Scalable sensor network field reconstruction with robust basis pursuit AC Schmidt | 3 | 2013 |
| Using spectral clustering of hashtag adoptions to find interest-based communities A Schmidt, C Fink, V Barash, C Cameron, M Macy 2018 IEEE International Conference on Communications (ICC), 1-7, 2018 | 2 | 2018 |
| Compressed sensing radar surveillance networks A Schmidt, JB Harley, JMF Moura 2012 IEEE 7th Sensor Array and Multichannel Signal Processing Workshop (SAM …, 2012 | 2 | 2012 |
| Combining Deep Universal Features, Semantic Attributes, and Hierarchical Classification for Zero-Shot Learning J Markowitz, AC Schmidt, PM Burlina, I Wang arXiv preprint arXiv:1712.03151, 2017 | 1 | 2017 |
| Dynamic Bayesian networks for the classification of spinning discs AC Schmidt Massachusetts Institute of Technology, 2004 | 1 | 2004 |
| Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples I Papusha, R Wu, J Brulé, Y Kouskoulas, D Genin, A Schmidt arXiv preprint arXiv:2008.01204, 2020 | | 2020 |
Jean-Baptiste JeanninUniversity of MichiganGeverifieerd e-mailadres voor umich.edu
