Elsa L. Gunter

Available identifiers

zbMath Open gunter.elsa-lMaRDI QIDQ930877

List of research outcomes

Publication	Date of Publication	Type
Pseudo-retract functors for local lattices and bifinte L-domains	2023-04-12	Paper
Extensions to logic programming motivated by the construction of a generic theorem prover	2022-11-26	Paper
An abstract interpretation for ML equality kinds	2022-08-16	Paper
A complete semantics of \(\mathbb{K}\) and its translation to Isabelle	2022-03-31	Paper
Safety of a smart classes-used regression test selection algorithm	2021-02-22	Paper
Verifying Optimizations for Concurrent Programs	2019-10-24	Paper
Recursion principles for syntax with bindings and substitution	2015-03-05	Paper
Symbolic Analysis Tools for CSP	2015-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q2848666	2013-09-26	Paper
Using Locales to Define a Rely-Guarantee Temporal Logic	2012-09-20	Paper
A Framework for Formal Verification of Compiler Optimizations	2010-09-14	Paper
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization	2010-04-27	Paper
Verification: Theory and Practice	2010-03-23	Paper
Role-based access control for boxed ambients	2008-06-24	Paper
Trustworthy Global Computing	2006-11-01	Paper
Model checking, testing and verification working together	2005-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q3024871	2005-07-04	Paper
Correspondence assertions for process synchronization in concurrent communications	2005-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q4472258	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q2769610	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754119	2001-11-11	Paper
Computing ML equality kinds using abstract interpretation	1994-03-24	Paper
M-Groups with Sylow Towers	1989-01-01	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: Elsa L. Gunter