Verification techniques for policy based systems
- Erisa Karafili
- Stephen Pipes
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Publications
This is our catalog of recent publications authored by IBM researchers, in collaboration with the global research community. We’re currently adding our back catalog of more than 110,000 publications. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Featured collections
Popular topics
Year
Decentralized microservice workflows for coalition environments
- Chris Simpkin
- Ian Taylor
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Argumentation-based policy analysis for drone systems
- Erisa Karafili
- Emil C. Lupu
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Physics-inspired models for agile code and data in federated edges
- Bongjun Ko
- Brent Kraczek
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Next generation firewalls for dynamic coalitions
- Saritha Arunkumar
- Stephen Pipes
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Dialogue-based tutoring at scale: Design and challenges
- Maria Chang
- Matthew Ventura
- et al.
- 2018
- RIPI-ICLS 2018
Poster: Service discovery for hyperledger fabric
- Yacov Manevich
- Artem Barger
- et al.
- 2018
- DEBS 2018
BeaConvey: Co-design of overlay and routing for topic-based publish/subscribe on small-world networks
- Chen Chen
- Yoav Tock
- et al.
- 2018
- DEBS 2018
Characterizing and computing all delete-relaxed dead-ends
- Christian Muise
- 2018
- COPLAS 2018
Computational creativity for valid Rube Goldberg Machines
- Xiou Ge
- Jinjun Xiong
- et al.
- 2018
- ICCC 2018