Kristopher K. Micinski

Identifiers

• name variant Kristopher K. Micinski 0.60 · backfill

Papers (2)

1. Temporal Logics for Hyperproperties cs.LO · 2014 · author #4
2. A Temporal Logic of Security cs.LO · 2013 · author #3

Mentions

• 1401.4492 #4 · backfill · confidence 0.70 Kristopher K. Micinski
• 1306.5678 #3 · backfill · confidence 0.70 Kristopher K. Micinski

Frequent Coauthors

• Masoud Koleini 2 shared papers
• Michael R. Clarkson 2 shared papers
• Bernd Finkbeiner 1 shared papers
• C\'esar S\'anchez 1 shared papers
• Markus N. Rabe 1 shared papers