Follow
Neil Veira
Neil Veira
Verified email at eecg.toronto.edu
Title
Cited by
Cited by
Year
Astraea: A decentralized blockchain oracle
J Adler, R Berryhill, A Veneris, Z Poulos, N Veira, A Kastania
2018 IEEE international conference on internet of things (IThings) and IEEE …, 2018
2402018
On public crowdsource-based mechanisms for a decentralized blockchain oracle
K Nelaturu, J Adler, M Merlini, R Berryhill, N Veira, Z Poulos, A Veneris
IEEE Transactions on Engineering Management 67 (4), 1444-1458, 2020
412020
On public decentralized ledger oracles via a paired-question protocol
M Merlini, N Veira, R Berryhill, A Veneris
2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC …, 2019
322019
Unsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations.
N Veira, B Keng, K Padmanabhan, AG Veneris
IJCAI, 5218-5225, 2019
282019
Learning support sets in IC3 and Quip: The good, the bad, and the ugly
R Berryhill, A Ivrii, N Veira, A Veneris
2017 Formal Methods in Computer Aided Design (FMCAD), 140-147, 2017
112017
Generating realistic sequences of customer-level transactions for retail datasets
T Doan, N Veira, B Keng
2018 IEEE International Conference on Data Mining Workshops (ICDMW), 820-827, 2018
62018
Astraea: A decentralized blockchain oracle. In 2018 IEEE iThings and IEEE GreenCom and IEEE CPSCom and IEEE SmartData
J Adler, R Berryhill, A Veneris, Z Poulos, N Veira, A Kastania
IEEE 93, 1145-1152, 2018
62018
Suspect set prediction in RTL bug hunting
N Veira, Z Poulos, A Veneris
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
52018
Searching for Bugs Using Probabilistic Suspect Implications
N Veira, Z Poulos, A Veneris
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
32020
Suspect2vec: A suspect prediction model for directed RTL debugging
N Veira, Z Poulos, A Veneris
Proceedings of the 24th Asia and South Pacific Design Automation Conference …, 2019
32019
Learning lemma support graphs in Quip and IC3
R Berryhill, N Veira, A Veneris, Z Poulos
2017 IEEE 2nd International Verification and Security Workshop (IVSW), 105-110, 2017
32017
Multiple service levels for automatic speech recognition
TP Stonehocker, Z Gowayyed, M Eichstaedt, SM Emami, E Jiang, ...
US Patent App. 17/447,823, 2023
2023
Method and system for generating aspects associated with a future event for a subject
B Keng, N Veira, T Doan
US Patent App. 16/662,370, 2021
2021
Novel Approaches to Register Transfer Level Debugging and Embedding Representations for Knowledge Base Completion
N Veira
University of Toronto (Canada), 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–14