Anto Nanah Ji

According to our database, Anto Nanah Ji authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Explainability is a Game for Probabilistic Bisimilarity Distances.

Emily Vlasman, Anto Nanah Ji, James Worrell, Franck van Breugel

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2023

jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.

Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, Franck van Breugel

ACM SIGSOFT Softw. Eng. Notes, January, 2023

The Java Pathfinder Workshop 2022.

Elena Sherman, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Pasareanu, Ron Pressler, Matt Walker, Hongru Wang, Qiuchen Yan

ACM SIGSOFT Softw. Eng. Notes, January, 2023