Research output per year
Research output per year
Fingerprint
Dive into the research topics where Andrew Ireland is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Anticipating Accidents through Reasoned Simulation
Innes, C., Ireland, A., Lin, Y. & Ramamoorthy, S., 11 Jul 2023, TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems. Association for Computing Machinery, 4Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Downloads (Pure) -
An Argumentation and Ontology Based Legal Support System for AI Vehicle Design
Lu, Y., Yu, Z., Lin, Y., Schafer, B., Ireland, A. & Urquhart, L., 5 Dec 2022, Legal Knowledge and Information Systems. Francesconi, E., Borges, G. & Sorge, C. (eds.). IOS Press, p. 213-218 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 362).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile50 Downloads (Pure) -
The Use of Automated Theory Formation in Support of Hazard Analysis
Ireland, A., Llano, M. T. & Colton, S., 11 Mar 2018, NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer, p. 237-243 7 p. (Lecture Notes in Computer Science; vol. 10811).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Citation (Scopus)41 Downloads (Pure) -
Preface of the special issue for AVoCS 2015
Grov, G. & Ireland, A., 15 Nov 2017, In: Science of Computer Programming. 148, p. 1-2 2 p.Research output: Contribution to journal › Editorial
1 Citation (Scopus) -
Proof automation for functional correctness in separation logic
Maclean, E., Ireland, A. & Grov, G., Apr 2016, In: Journal of Logic and Computation. 26, 2, p. 641-675 35 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)89 Downloads (Pure)