Michael Winikoff

Identifiers

• name variant Michael Winikoff 0.60 · backfill

Papers (4)

1. Towards Deriving Verification Properties cs.SE · 2019 · author #1
2. On the Enactability of Agent Interaction Protocols: Toward a Unified Approach cs.MA · 2019 · author #2
3. Extending Agents by Transmitting Protocols in Open Systems cs.MA · 2014 · author #2
4. Challenges and Directions for Engineering Multi-agent Systems cs.MA · 2012 · author #1

Mentions

• 1209.1428 #1 · backfill · confidence 0.70 Michael Winikoff

Frequent Coauthors

• Angelo Ferrando 1 shared papers
• Frank Dignum 1 shared papers
• Lavindra de Silva 1 shared papers
• Stephen Cranefield 1 shared papers
• Viviana Mascardi 1 shared papers
• Wei Liu 1 shared papers