Person:540691

Available identifiers

zbMath Open dennis.louise-abigailMaRDI QIDQ540691

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Louise Abigail Dennis