Takashi Nagatomi

Identifiers

• name variant Takashi Nagatomi 0.60 · backfill

Papers (1)

1. Prophecy-Based Automated Verification of Message-Passing Programs cs.PL · 2026 · author #1

Mentions

• 2606.28066 #1 · arxiv_oai · confidence 0.70 Takashi Nagatomi

Frequent Coauthors

• Ken Sakayori 1 shared papers
• Musashi Katsura 1 shared papers
• Naoki Kobayashi 1 shared papers
• Yusuke Matsushita 1 shared papers