Dora, S. (2004). AUTOMATED COMPONENT COMPATIBILITY AND RESOURCE USAGE VERIFICATION IN SENSOR NETWORKS. Master’s Thesis. Vanderbilt University.

Volgyesi, P., Maroti, M., Dora, S., Osses, E., & Ledeczi, A. (2005). Software Composition and Verification for Sensor Networks. Science of Computer Programming (Elsevier), 56, 191–210.

Volgyesi, P., Maroti, M., Dora, S., Osses, E., Ledeczi, A., & Paka, T. (2004). Embedded Software Composition and Verification. Institute for Software Integrated Systems.

Ledeczi, A., Nadas, A., Volgyesi, P., Balogh, G., Kusy, B., Sallai, J., … Simon, G. (2005). Countersniper System for Urban Warfare. ACM Transactions on Sensor Networks, 1, 153–177.

Maroti, M., Kusy, B., Balogh, G., Volgyesi, P., Molnar, K., Nadas, A., … Ledeczi, A. (2005). Radio Interferometric Geolocation. In ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05) (p. 1–12). San Diego, CA.

Ledeczi, A., Volgyesi, P., Maroti, M., Simon, G., Balogh, G., Nadas, A., … Pap, G. (2005). Multiple Simultaneous Acoustic Source Localization in Urban Terrain. In Proc. Of IPSN.

Maroti, M., Kusy, B., Balogh, G., Volgyesi, P., Molnar, K., Dora, S., & Ledeczi, A. (2005). Radio Interferometric Positioning. Institute for Software Integrated Systems.