Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Gabor Pap
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 May 2011)
View
Simon, G. ., Maroti, M. ., Ledeczi, A. ., Balogh, G. ., Kusy, B. ., Nadas, A. ., … Frampton, K. . (2004). Sensor network-based countersniper system. In
In Proc. of ACM SenSys
(p. 1–12). Baltimore, MD. (Original work published 2024)
View
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. (Original work published 2024)
View
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
. (Original work published 2024)
View
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 2006)
View
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 2007)
View
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 2008)
View
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 January 2010)
View
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 May 2011)
View
Juracz, L. ., Lattmann, Z. ., Levendovszky, T. ., Hemingway, G. ., Gaggioli, W. ., Netterville, T. ., … Howard, L. . (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 January 2014)
View