Gabor Pap | ISIS Website

First name

Gabor

Last name

Pap

Balasubramanian, D., Pap, G., Nine, H., Karsai, G., Lowry, M., Pasareanu, C., & Pressburger, T. (2011). Rapid property specification and checking for model-based formalisms. In 2011 22nd IEEE International Symposium on Rapid System Prototyping (pp. 121-127). Karlsruhe, Germany: IEEE. http://doi.org/10.1109/RSP.2011.5929985 (Original work published 05/2011AD)

Simon, G., Maroti, M., Ledeczi, A., Balogh, G., Kusy, B., Nadas, A., et al. (2004). Sensor network-based countersniper system. In In Proc. of ACM SenSys (p. 1--12). Baltimore, MD. (Original work published November)

Ledeczi, A., Nadas, A., Volgyesi, P., Balogh, G., Kusy, B., Sallai, J., et al. (2005). Countersniper System for Urban Warfare. Acm Transactions On Sensor Networks, 1, 153--177. (Original work published November)

Ledeczi, A., Volgyesi, P., Maroti, M., Simon, G., Balogh, G., Nadas, A., et al. (2005). Multiple Simultaneous Acoustic Source Localization in Urban Terrain. In Proc. Of Ipsn. (Original work published April)

Howard, L., Remenyi, Z., & Pap, G. (2006). Adaptive blended learning environments. In Proceedings of the International Conference on Engineering Education. San Juan, Puerto Rico. (Original work published July, 2006)

Roselli, R. J., Howard, L., & Pap, G. (2007). Assessment of Diagnostics and Feedback for Online Homework Assignments. In Proceeding of the Annual Biomedical Engineering Society (BMES) Annual Conference. Los Angeles, CA, USA. (Original work published September, 2007)

Howard, L., Johnson, J., Pap, G., Pence, K., & Juracz, L. (2008). Affordances and Form: Applying Lessons from Informal Learning to Formal Learning on the Web. In Proceedings of the International Conference on Engineering Education. Pecs-Budapest, Hungary. (Original work published July, 2008)

Juracz, L., Pap, G., Howard, L., & Johnson, J. (2010). HoloRena: a framework for developing flow-driven web-based educational games. Ieee Learning Technology, 12. (Original work published 01/2010AD)

Balasubramanian, D., Pap, G., Nine, H., Karsai, G., Lowry, M., Pasareanu, C., & Pressburger, T. (2011). Rapid Property Specification and Checking for Model-Based Formalisms. In IEEE International Symposium on Rapid System Prototyping. Karlsruhe, Germany. (Original work published 05/2011AD)

Juracz, L., Lattmann, Z., Levendovszky, T., Hemingway, G., Gaggioli, W., Netterville, T., et al. (2014). VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). (Original work published 01/2014AD)