Publications

A formal framework for studying interaction in human-robot societies
- - Tathagata Chakraborti
  - Kartik Talamadupula
  - et al.
- 2016
- AAAI 2016
Constrained sampling and counting: Universal hashing meets SAT solving
- - Kuldeep S. Meel
  - Moshe Vardi
  - et al.
- 2016
- AAAI 2016
Symbiotic cognitive computing through iteratively supervised lexicon induction
- - Alfredo Alba
  - Clemens Drews
  - et al.
- 2016
- AAAI 2016
Ceding control: Empowering remote participants in meetings involving smart conference rooms
- - Vinay Venkataraman
  - Jonathan Lenchner
  - et al.
- 2016
- AAAI 2016
CATS: Cognitive analytic trail system
- - Raphael Thiago
  - Vinícius Segura
  - et al.
- 2016
- AAAI 2016
A distributed Cognition perspective on symbiotic cognitive systems: External representations as a medium for symbiosis
- - Thomas Erickson
- 2016
- AAAI 2016
Automatically augmenting titles of research papers for better discovery
- - Madhavan Pallan
  - Biplav Srivastava
- 2016
- AAAI 2016
The impending ubiquity of cognitive objects
- - Maryam Ashoori
  - Rachel Bellamy
  - et al.
- 2016
- AAAI 2016
MORPHDROID: Fine-grained privacy verification
- - Pietro Ferrara
  - Omer Tripp
  - et al.
- 2015
- ACSAC 2015
Proactive security analysis of changes in virtualized infrastructures
- - Sören Bleikertz
  - Carsten Vogel
  - et al.
- 2015
- ACSAC 2015