Andrew Wells

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 11

Top Topics

Conceptual Graphs

Fading Channels

Noise Reduction

Top Venues

Proc. ACM Program. Lang.

Publications

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion (2024)
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Zisong Wang, Peiyi Zhao, Tom Springer, Congyi Zhu, Jaccob Mau, Andrew Wells, Yinshui Xia, Lingli Wang
Low-Power Redundant-Transition-Free TSPC Dual-Edge-Triggering Flip-Flop Using Single-Transistor-Clocked Buffer. IEEE Trans. Very Large Scale Integr. Syst. 31 (5) (2023)
Bamidele Adebisi, Kelvin O. O. Anoh, Khaled M. Rabie, Augustine Ikpehai, Michael Fernando, Andrew Wells
A New Approach to Peak Threshold Estimation for Impulsive Noise Reduction Over Power Line Fading Channels. IEEE Syst. J. 13 (2) (2019)
Cinna Soltanpur, Khaled Maaiuf Rabie, Bamidele Adebisi, Andrew Wells
Masreliez-Equalized VOFDM in Non-Gaussian Channels: Power Line Communication Systems. IEEE Syst. J. 12 (3) (2018)
Bamidele Adebisi, Khaled Maaiuf Rabie, Augustine Ikpehai, Cinna Soltanpur, Andrew Wells
Vector OFDM Transmission Over Non-Gaussian Power Line Communication Channels. IEEE Syst. J. 12 (3) (2018)
Sunday C. Ekpo, Bamidele Adebisi, Andrew Wells
Regulated-Element Frost Beamformer for Vehicular Multimedia Sound Enhancement and Noise Reduction Applications. IEEE Access 5 (2017)
Augustine Ikpehai, Bamidele Adebisi, Khaled Maaiuf Rabie, Michael Fernando, Andrew Wells
Energy-Efficient Vector OFDM PLC Systems With Dynamic Peak-Based Threshold Estimation. IEEE Access 5 (2017)
Andrew Wells, Erion Plaku
Adaptive Sampling-Based Motion Planning for Mobile Robots with Differential Constraints. TAROS (2015)
Bamidele Adebisi, Sunday C. Ekpo, Angham A. Sabagh, Andrew Wells
Acoustic signal gain enhancement and speech recognition improvement in smartphones using the REF beamforming algorithm. CSNDSP (2014)
Michael O'Neill, Andrew Wells, Xin Sun
Towards a novel and optimal packet identifier design for SDN. HotSDN (2014)
Andrew Wells, Tony Cargnelutti
Australian Digital Theses Program: Expansion, Partnership and the Future. ICADL (2004)
Andrew Wells
Situated action, symbol systems and universal computation. Minds Mach. 6 (1) (1996)