Perdita Stevens

From MaRDI portal
(Redirected from Person:855009)



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