Follow
Henry Senyondo
Henry Senyondo
Verified email at ufl.edu - Homepage
Title
Cited by
Cited by
Year
DeepForest: A Python package for RGB deep learning tree crown delineation
BG Weinstein, S Marconi, M Aubry‐Kientz, G Vincent, H Senyondo, ...
Methods in Ecology and Evolution 11 (12), 1743-1751, 2020
612020
A general deep learning model for bird detection in high‐resolution airborne imagery
BG Weinstein, L Garner, VR Saccomanno, A Steinkraus, A Ortega, ...
Ecological Applications 32 (8), e2694, 2022
252022
Covert channel communication through physical interdependencies in cyber-physical infrastructures
L Garcia, H Senyondo, S McLaughlin, S Zonouz
2014 IEEE International Conference on Smart Grid Communications …, 2014
162014
Retriever: data retrieval tool
H Senyondo, B D Morris, A Goel, A Zhang, A Narasimha, S Negi, ...
The Journal of Open Source Software 2, 2017
102017
PLCloud: Comprehensive power grid PLC security monitoring with zero safety disruption
H Senyondo, P Sun, R Berthier, S Zonouz
2015 IEEE International Conference on Smart Grid Communications …, 2015
62015
rdataretriever: R Interface to the Data Retriever
H Senyondo, DJ McGlinn, P Sharma, DJ Harris, H Ye, SD Taylor, J Ooms, ...
Journal of Open Source Software 6 (57), 2800, 2021
32021
Formal Analysis and Verification of Cyber-Physical Systems for the Smart Grid
H Senyondo
Ph. D. Thesis, 2015
12015
Forecasting rodent population dynamics and community transitions with dynamic nonlinear models
NJ Clark, SKM Ernest, H Senyondo, J Simonis, EP White, GM Yenni, ...
EcoEvoRxiv, 2023
2023
portalcasting: Supporting automated forecasting of rodent populations
JL Simonis, GM Yenni, EK Bledsoe, EM Christensen, H Senyondo, ...
Journal of Open Source Software 7 (72), 3220, 2022
2022
The PyDataWeaver: A data integration platform
H Senyondo, A Zhang, E White
Python in Science Conference (SciPy), 2019
2019
Software Carpentry: R for Reproducible Scientific Analysis. Zenodo.
J Allen, J Arnold, P Bachant, P Banaszkiewicz, T Bekolay, M Black, ...
https://zenodo.org/record/57520#.XcRnqHjPxaQ, 2016
2016
Formal Analysis and Verification of Cyber-Physical Systems for Formal Analysis and Verification of Cyber-Physical Systems for the Smart Grid
H Senyondo
2015
ATAM-Based Design of Software Architecture for Ubiquitous Healthcare
E Abbas, H Senyondo
한국정보과학회 학술발표논문집 38 (1B), 177-180, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–13