| MetroViz: Visual analysis of public transportation data F Du, J Brulé, P Enns, V Manjunatha, Y Segev arXiv preprint arXiv:1507.05215, 2015 | 11 | 2015 |
| Evolving shepherding behavior with genetic programming algorithms J Brulé, K Engel, N Fung, I Julien arXiv preprint arXiv:1603.06141, 2016 | 8 | 2016 |
| 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 | 7 | 2020 |
| A causation coefficient and taxonomy of correlation/causation relationships J Brulé arXiv preprint arXiv:1708.05069, 2017 | 6 | 2017 |
| Searching for explanations: Testing social scientific methods in synthetic ground-truthed worlds AC Schmidt, CJ Cameron, C Lowman, J Brulé, AJ Deshpande, SA Fatemi, ... Computational and Mathematical Organization Theory, 1-32, 2023 | 2 | 2023 |
| Formal verification of neural network controllers for collision-free flight D Genin, I Papusha, J Brulé, T Young, G Mullins, Y Kouskoulas, R Wu, ... International Workshop on Numerical Software Verification, 147-164, 2021 | 2 | 2021 |
| Whittemore: An embedded domain specific language for causal programming J Brulé arXiv preprint arXiv:1812.11918, 2018 | 2 | 2018 |
| The computational power of dynamic Bayesian networks J Brulé arXiv preprint arXiv:1603.06125, 2016 | 2 | 2016 |
| Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns Y Kouskoulas, TJ Machado, D Genin, A Schmidt, I Papusha, J Brulé International Journal on Software Tools for Technology Transfer 24 (3), 371-394, 2022 | 1 | 2022 |
| Good Fences Make Good Neighbors: Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm Y Kouskoulas, R Wu, J Brulé, D Genin, A Schmidt, TJ Machado NASA Formal Methods Symposium, 214-230, 2021 | 1 | 2021 |
| PSCAN: Parallel, density-based clustering of protein sequences J Brulé | 1 | 2015 |
| Causal Programming J Brulé University of Maryland, College Park, 2019 | | 2019 |
| Causal programming: inference with structural causal models as finding instances of a relation J Brulé arXiv preprint arXiv:1805.01960, 2018 | | 2018 |
| Review of probably approximately correct by Leslie Valiant J Brulé ACM SIGACT News 44 (3), 38-39, 2013 | | 2013 |
| Potential Flow Model of a Vortex Street Near a Fish-like Body J Brulé | | 2012 |
| CMSC701: Computational Genomics M Pop, CM Hill, R Guerra, S Huang, J Moll, M Daly, D Wood, WDJ Brulé, ... | | |
