Ethan K. Jackson - Concepedia

Author

Ethan K. Jackson

Microsoft (United States)

Also Known As

E.K. Jackson, Ethan Jackson, Ethan K. Jackson, Jackson, Ethan, Jackson, Ethan K.

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

Microsoft (United States)Vanderbilt University Institute of Science and Technology Austria Integrated Software (United States)Microsoft Research (United Kingdom)

About

Ethan K. Jackson is an author at Microsoft (United States) specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	20	622
2	Social Sciences	3	3	98
3	Management	1	1	31
4	Medicine	1	1	11
5	Cell Biology	1	1	11

Ethan K. Jackson

Publications

647

Citations

H-Index

Page 1

	Year	Citations
P Ankush Desai, Vivek Gupta, Ethan K. Jackson, P ProgramFormal SpecificationEngineeringRuntime VerificationProgram Analysis	2013	122
Formalizing the structural semantics of domain-specific modeling languages Ethan K. Jackson, János Sztipanovits Software & Systems Modeling EngineeringAutomated ReasoningFormal MethodsSemanticsStructural Semantics	2008	67
Components, platforms and possibilities Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, EngineeringSoftware SystemsComputer ArchitectureSoftware EngineeringEmbedded Systems	2010	61
Reasoning about metamodeling with formal specifications and automatic proofs Ethan K. Jackson, Tihamér Levendovszky, Daniel Balasubramanian Model Driven Engineering Languages and Systems Formal SpecificationEngineeringFormal ModelingAutomated ReasoningAutomatic Proofs	2011	48
P Ankush Desai, Vivek Gupta, Ethan K. Jackson, ACM SIGPLAN Notices P ProgramFormal SpecificationEngineeringRuntime VerificationProgram Analysis	2013	42
Towards a formal foundation for domain specific modeling languages Ethan K. Jackson, Janos Sztipanovits EngineeringComputer ArchitectureSoftware EngineeringSystem-level DesignEmbedded Systems	2006	41
Model and Tool Integration Platforms for Cyber–Physical System Design János Sztipanovits, Ted Bapty, Xenofon Koutsoukos, Proceedings of the IEEE EngineeringSoftware SystemsSystem-level DesignSystems DesignSystem Integration	2018	41
Foundation for Model Integration: Semantic Backplane Gabor Simko, Tihamér Levendovszky, Sandeep Neema, EngineeringSoftware SystemsSoftware EngineeringSystem-level DesignComplex Systems	2012	31
Design tool chain for cyber-physical systems János Sztipanovits, Ted Bapty, Sandeep Neema, EngineeringEngineering ComplexitySoftware EngineeringSystem-level DesignSocial Sciences	2015	26
Metagenomic surveillance uncovers diverse and novel viral taxa in febrile patients from Nigeria Judith U. Oguzie, Brittany A. Petros, Paul E. Oluniyi, Nature Communications	2023	25

Page 1