Edward R. Griffor
Affiliations:- University of Leeds, UK
According to our database1,
Edward R. Griffor
authored at least 16 papers
between 1983 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on andrej.com
On csauthors.net:
Bibliography
2023
Theory Pract. Log. Program., September, 2023
Proceedings of the Practical Aspects of Declarative Languages, 2023
2022
IEEE Trans. Smart Grid, 2022
2020
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020
2019
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.
Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019
2018
CoRR, 2018
Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018
An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems.
Proceedings of the 55th Annual Design Automation Conference, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
1999
1998
Ann. Pure Appl. Log., 1998
1994
Mathematical theory of domains.
Cambridge tracts in theoretical computer science 22, Cambridge University Press, ISBN: 978-0-521-38344-8, 1994
1984
1983