Louise Abigail Dennis

Available identifiers

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2852043	2013-10-07	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Louise Abigail Dennis