Andrew Wells

According to our database, Andrew Wells authored at least 14 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.

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

Proc. ACM Program. Lang., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).

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

CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.

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

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

Low-Power Redundant-Transition-Free TSPC Dual-Edge-Triggering Flip-Flop Using Single-Transistor-Clocked Buffer.

Zisong Wang, Peiyi Zhao, Tom Springer, Congyi Zhu, Jaccob Mau, Andrew Wells, Yinshui Xia, Lingli Wang

IEEE Trans. Very Large Scale Integr. Syst., May, 2023

2019

A New Approach to Peak Threshold Estimation for Impulsive Noise Reduction Over Power Line Fading Channels.

Bamidele Adebisi, Kelvin O. O. Anoh, Khaled M. Rabie, Augustine Ikpehai, Michael Fernando, Andrew Wells

IEEE Syst. J., 2019

2018

Masreliez-Equalized VOFDM in Non-Gaussian Channels: Power Line Communication Systems.

Cinna Soltanpur, Khaled Maaiuf Rabie, Bamidele Adebisi, Andrew Wells

IEEE Syst. J., 2018

Vector OFDM Transmission Over Non-Gaussian Power Line Communication Channels.

Bamidele Adebisi, Khaled Maaiuf Rabie, Augustine Ikpehai, Cinna Soltanpur, Andrew Wells

IEEE Syst. J., 2018

2017

Energy-Efficient Vector OFDM PLC Systems With Dynamic Peak-Based Threshold Estimation.

Augustine Ikpehai, Bamidele Adebisi, Khaled Maaiuf Rabie, Michael Fernando, Andrew Wells

IEEE Access, 2017

Regulated-Element Frost Beamformer for Vehicular Multimedia Sound Enhancement and Noise Reduction Applications.

Sunday C. Ekpo, Bamidele Adebisi, Andrew Wells

IEEE Access, 2017

2015

Adaptive Sampling-Based Motion Planning for Mobile Robots with Differential Constraints.

Andrew Wells, Erion Plaku

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

2014

Towards a novel and optimal packet identifier design for SDN.

Michael O'Neill, Andrew Wells, Xin Sun

Proceedings of the third workshop on Hot topics in software defined networking, 2014

Acoustic signal gain enhancement and speech recognition improvement in smartphones using the REF beamforming algorithm.

Bamidele Adebisi, Sunday C. Ekpo, Angham A. Sabagh, Andrew Wells

Proceedings of the 9th International Symposium on Communication Systems, 2014

2004

Australian Digital Theses Program: Expansion, Partnership and the Future.

Andrew Wells, Tony Cargnelutti

Proceedings of the Digital Libraries: International Collaboration and Cross-Fertilization, 2004

1996

Situated action, symbol systems and universal computation.

Andrew Wells

Minds Mach., 1996