Andrew Craig

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 10

Top Topics

Relation Algebra

Sequent Calculi

Wireless Sensor

Top Venues

Int. J. Commun. Syst.

Publications

Andrew Craig, Peter Jipsen, Claudette Robinson
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras. RAMiCS (2024)
Andrew Craig, Claudette Robinson
A representation of odd Sugihara chains via weakening relations. CoRR (2023)
Badrun Nahar, Jaya Roy, Amit Karmaker, Andrew Craig, Mohammad Shah Alam
PAINT: Priority aware interference mitigation techniques for improving coexistence in home area networks of smart grid. Int. J. Commun. Syst. 33 (14) (2020)
Amit Karmaker, Mohammad Shah Alam, Md. Mahedee Hasan, Andrew Craig
An energy-efficient and balanced clustering approach for improving throughput of wireless sensor networks. Int. J. Commun. Syst. 33 (3) (2020)
Robert E. Gillen, Laura Ann Anderson, Christopher Craig, Jordan Johnson, Adam Columbia, Rachel Anderson, Andrew Craig, Stephen L. Scott
Design and Implementation of Full-Scale Industrial Control System Test Bed for Assessing Cyber-Security Defenses. WoWMoM (2020)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg
Modelling competing theories. EUSFLAT Conf. (2019)
Md. Mahedee Hasan, Amit Karmaker, Mohammad Shah Alam, Andrew Craig
Minimizing the Adverse Effects of Asymmetric Links: A Novel Cooperative Asynchronous MAC Protocol for Wireless Sensor Networks. Sensors 19 (10) (2019)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg
Modelling Informational Entropy. WoLLIC (2019)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao
Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC (2017)
Willem Conradie, Andrew Craig
Canonicity results for mu-calculi: an algorithmic approach. J. Log. Comput. 27 (3) (2017)
Willem Conradie, Andrew Craig
Canonicity results for mu-calculi: an algorithmic approach. CoRR (2014)
Andrew Craig, Gunther Jäger
A common framework for lattice-valued uniform spaces and probabilistic uniform limit spaces. Fuzzy Sets Syst. 160 (9) (2009)