Alan Schmitt

Available identifiers

zbMath Open schmitt.alanMaRDI QIDQ627132

List of research outcomes

Publication	Date of Publication	Type
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines	2024-09-04	Paper
Non-deterministic abstract machines	2024-08-13	Paper
\(\mathrm{HO}\pi\) in Coq	2021-06-09	Paper
An abstract machine for the Kell calculus	2021-05-20	Paper
Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines	2021-01-19	Paper
Howe's method for contextual semantics	2017-09-12	Paper
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem	2017-07-14	Paper
Efficiently deciding \(\mu\)-calculus with converse over finite trees	2017-01-27	Paper
HOCore in Coq	2015-09-14	Paper
The M-calculus: a higher-order distributed process calculus	2015-09-11	Paper
Boomerang, resourceful lenses for string data	2014-09-12	Paper
A trusted mechanised JavaSript specification	2014-04-10	Paper
Concurrent flexible reversibility	2013-08-05	Paper
Characterizing contextual equivalence in calculi with passivation	2011-12-12	Paper
Controlling Reversibility in Higher-Order Pi	2011-09-02	Paper
On the expressiveness and decidability of higher-order process calculi	2011-02-21	Paper
On the expressiveness of polyadic and synchronous communication in higher-order process calculi	2010-09-07	Paper
Howe’s Method for Calculi with Passivation	2009-10-22	Paper
Normal Bisimulations in Calculi with Passivation	2009-03-31	Paper
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data	2008-09-09	Paper
Exploiting schemas in data synchronization	2007-05-23	Paper
Database Programming Languages	2006-10-20	Paper
Global Computing	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4536436	2002-06-25	Paper

Research outcomes over time

This page was built for person: Alan Schmitt