Mark J. Gerken

According to our database, Mark J. Gerken authored at least 4 papers between 2000 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report).

Letitia W. Li, Denley Lam, Vu Le, Daniel Mitchell, Mark J. Gerken, Robert B. Ross

CoRR, January, 2026

2024

Operational Environments at the Extreme Tactical Edge.

Mark J. Gerken

Proceedings of the AAAI 2024 Spring Symposium Series, 2024

2000

Guest Editors' Introduction - Best Papers from SEKE'98.

Mark J. Gerken, Yi Deng

Int. J. Softw. Eng. Knowl. Eng., 2000

Specification of Software Architecture.

Mark J. Gerken

Int. J. Softw. Eng. Knowl. Eng., 2000