Perdita Stevens

From MaRDI portal



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!

PublicationDate of PublicationType
Introduction to bidirectional transformations2019-02-15Paper
Reflections on monadic lenses
A List of Successes That Can Change the World
2016-08-17Paper
Notions of bidirectional computation and entangled state monads
Lecture Notes in Computer Science
2015-08-27Paper
Towards an Algebraic Theory of Bidirectional Transformations
Lecture Notes in Computer Science
2008-11-20Paper
On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
Formal Aspects of Computing
2006-12-20Paper
scientific article; zbMATH DE number 2087521 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2087383 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2006500 (Why is no real title available?)2003-11-20Paper
scientific article; zbMATH DE number 1956484 (Why is no real title available?)2003-07-30Paper
scientific article; zbMATH DE number 1951188 (Why is no real title available?)2003-07-21Paper
A verification tool developer's vade mecum.
International Journal on Software Tools for Technology Transfer. STTT
2003-04-02Paper
scientific article; zbMATH DE number 1693518 (Why is no real title available?)2002-01-22Paper


Research outcomes over time


This page was built for person: Perdita Stevens