Elsa Gunter

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
Pseudo-retract functors for local lattices and bifinte L-domains Lecture Notes in Computer Science	2023-04-12	Paper
Extensions to logic programming motivated by the construction of a generic theorem prover Extensions of Logic Programming	2022-11-26	Paper
An abstract interpretation for ML equality kinds Lecture Notes in Computer Science	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 Proceedings of the 16th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Symbolic analysis tools for CSP Theoretical Aspects of Computing – ICTAC 2014	2015-01-13	Paper
Typechecking safe process synchronization	2013-09-26	Paper
Using Locales to Define a Rely-Guarantee Temporal Logic Interactive Theorem Proving	2012-09-20	Paper
A Framework for Formal Verification of Compiler Optimizations Interactive Theorem Proving	2010-09-14	Paper
Incremental pattern-based coinduction for process algebra and its Isabelle formalization Foundations of Software Science and Computational Structures	2010-04-27	Paper
Unit checking: symbolic model checking for a unit of code Lecture Notes in Computer Science	2010-03-23	Paper
Role-based access control for boxed ambients Theoretical Computer Science	2008-06-24	Paper
Trustworthy Global Computing Lecture Notes in Computer Science	2006-11-01	Paper
Model checking, testing and verification working together Formal Aspects of Computing	2005-12-13	Paper
scientific article; zbMATH DE number 2185689 (Why is no real title available?)	2005-07-04	Paper
Correspondence assertions for process synchronization in concurrent communications Journal of Functional Programming	2005-05-03	Paper
scientific article; zbMATH DE number 2080065 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1701776 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1670803 (Why is no real title available?)	2001-11-11	Paper
Computing ML equality kinds using abstract interpretation Information and Computation	1994-03-24	Paper
M-Groups with Sylow Towers Proceedings of the American Mathematical Society	1989-01-01	Paper

Research outcomes over time

This page was built for person: Elsa Gunter