Michael Winikoff
Identifiers
- name variant Michael Winikoff 0.60 · backfill
Papers (4)
- Towards Deriving Verification Properties cs.SE · 2019 · author #1
- On the Enactability of Agent Interaction Protocols: Toward a Unified Approach cs.MA · 2019 · author #2
- Extending Agents by Transmitting Protocols in Open Systems cs.MA · 2014 · author #2
- 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