Neil Veira

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 12

Top Topics

Customer Behavior

Distributed Agents

Database Administration

Top Venues

iThings/GreenCom/CPSCom/SmartData

IEEE Trans. Engineering Management

Publications

Neil Veira, Zissis Poulos, Andreas G. Veneris
Searching for Bugs Using Probabilistic Suspect Implications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Keerthi Nelaturu, John Adler, Marco Merlini, Ryan Berryhill, Neil Veira, Zissis Poulos, Andreas G. Veneris
On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle. IEEE Trans. Engineering Management 67 (4) (2020)
Neil Veira, Brian Keng, Kanchana Padmanabhan, Andreas G. Veneris
Unsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations. IJCAI (2019)
Marco Merlini, Neil Veira, Ryan Berryhill, Andreas G. Veneris
On Public Decentralized Ledger Oracles via a Paired-Question Protocol. IEEE ICBC (2019)
Thang Doan, Neil Veira, Brian Keng
Generating Realistic Sequences of Customer-level Transactions for Retail Datasets. CoRR (2019)
Neil Veira, Zissis Poulos, Andreas G. Veneris
Suspect2vec: a suspect prediction model for directed RTL debugging. ASP-DAC (2019)
Neil Veira, Zissis Poulos, Andreas G. Veneris
Suspect set prediction in RTL bug hunting. DATE (2018)
John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania
Astraea: A Decentralized Blockchain Oracle. CoRR (2018)
John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania
Astraea: A Decentralized Blockchain Oracle. iThings/GreenCom/CPSCom/SmartData (2018)
Thang Doan, Neil Veira, Brian Keng
Generating Realistic Sequences of Customer-Level Transactions for Retail Datasets. ICDM Workshops (2018)
Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris
Learning support sets in IC3 and Quip: The good, the bad, and the ugly. FMCAD (2017)
Ryan Berryhill, Neil Veira, Andreas G. Veneris, Zissis Poulos
Learning lemma support graphs in Quip and IC3. IVSW (2017)