Louise A. Dennis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Software Risks for Critical Infrastructure towards 2040: Delphi Study Research Dataset	2024-11-14	Dataset
Markov chain model representation of information diffusion in social networks Journal Of Logic And Computation	2022-09-08	Paper
Verifying autonomous systems	2022-08-19	Paper
Using a generalisation critic to find bisimulations for coinductive proofs Automated Deduction—CADE-14	2019-10-01	Paper
Enhancing theorem prover interfaces with program slice information Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner}	2013-10-07	Paper
Using agent JPF to build models for other model checkers Lecture Notes in Computer Science	2013-10-04	Paper
The use of embeddings to provide a clean separation of term and annotation for higher order rippling Journal of Automated Reasoning	2011-06-03	Paper
Model checking normative agent organisations Lecture Notes in Computer Science	2010-11-09	Paper
scientific article; zbMATH DE number 2090057 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1927422 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1863385 (Why is no real title available?)	2003-02-04	Paper
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts Annals of Mathematics and Artificial Intelligence	2002-06-27	Paper
scientific article; zbMATH DE number 1629957 (Why is no real title available?)	2001-11-06	Paper
scientific article; zbMATH DE number 1614720 (Why is no real title available?)	2001-07-05	Paper

Research outcomes over time

This page was built for person: Louise A. Dennis