Publications

Export 21 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is A  [Clear All Filters]
2017
K. Anderson, Lusk, L., Hands, M., and Vanhoy, G., Validation of a CRV Model Using TVWS Measurements, in Proceedings of SDR-WinnComm 2017 Wireless Innovation Conference on Wireless Communications Technologies and Software Defined Radio, San Diego, California, 2017.PDF icon Validation of a CRV Model Using TVWS Measurements.pdf (719.32 KB)
2011
S. Whitsitt, Barreto, A., Hudson, M., Al-Helal, H., Chu, D., Didan, K., and Sprinkle, J., Constrained data acquisition for mobile citizen science applications, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
H. Al-Helal, Provable Detection Of Moving Targets With Reliable Sensors, University of Arizona, 2011.
2010
S. Whitsitt, Barreto, A., Ram, S., Al-Helal, H., Hudson, M., Chu, D., Sprinkle, J., and Didan, K., Citizen Science in Support of Vegetation Index and Phenology Research, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
H. Al-Helal and Sprinkle, J., UAV Search : Maximizing Target Acquisition, in 17th IEEE Conference on the Engineering of Computer Based Systems, 2010, pp. 9–19.
2005
J. Sprinkle, Ames, A. D., J. Eklund, M., Mitchell, I., and S. Sastry, S., Online Safety Calculations for Glideslope Recapture, Innovations in Systems and Software Engineering, vol. 1, pp. 157–175, 2005.
J. Sprinkle, Ames, A. D., Pinto, A., Zheng, H., and S. Sastry, S., On the Partitioning of Syntax and Semantics For Hybrid Systems Tools, in 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05), 2005, pp. 4694–4699.
2003
J. Sprinkle, Agrawal, A., Levendovszky, T., Shi, F., and Karsai, G., Domain Translation Using Graph Transformations, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
G. Karsai, Agrawal, A., Shi, F., and Sprinkle, J., On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.