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
/
Ethan Jackson
First name
Ethan
Middle name
K.
Last name
Jackson
Balasubramanian, D. ., & Jackson, E. K. (2009). Lost in Translation: Forgetful Semantic Anchoring. In
Automated Software Engineering
. Auckland, New Zealand. (Original work published November 2009)
View
Jackson, E. K., Schulte, W. ., Balasubramanian, D. ., & Karsai, G. . (2010). Reusing Model Transformations While Preserving Properties.
Fundamental Approaches to Software Engineering
. Springer. (Original work published April 2010)
View
Jackson, E. K., Levendovszky, T. ., & Balasubramanian, D. . (2011). Reasoning about Metamodeling with Formal Specifications and Automatic Proofs.
Model Driven Engineering Languages and Systems (MoDELS)
. Wellington, New Zealand: Springer. (Original work published October 2011)
View