Louise A. Dennis

Available identifiers

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	2022-09-08	Paper
Verifying autonomous systems	2022-08-19	Paper
Using a generalisation critic to find bisimulations for coinductive proofs	2019-10-01	Paper
Enhancing theorem prover interfaces with program slice information	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	2013-10-04	Paper
The use of embeddings to provide a clean separation of term and annotation for higher order rippling	2011-06-03	Paper
Model Checking Normative Agent Organisations	2010-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4808728	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4484340	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4790660	2003-02-04	Paper
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2729073	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2723448	2001-07-05	Paper

This page was built for person: Louise A. Dennis