Sergio Maffeis

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
Abstract domains for type juggling	2018-07-16	Paper
Towards a program logic for JavaScript Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
A trusted mechanised JavaSript specification Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Matching systems for concurrent calculi Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Sequence types for the \(\pi\)-calculus	2013-10-02	Paper
On the computational strength of pure ambient calculi	2013-09-09	Paper
On the expressive power of polyadic synchronisation in \(\pi \)-calculus Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
scientific article; zbMATH DE number 5605124 (Why is no real title available?)	2009-09-19	Paper
Behavioural equivalences for dynamic web data The Journal of Logic and Algebraic Programming	2008-03-05	Paper
Modelling dynamic web data Theoretical Computer Science	2005-09-22	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-09-13	Paper
scientific article; zbMATH DE number 2163044 (Why is no real title available?)	2005-04-29	Paper
On the computational strength of pure ambient calculi Theoretical Computer Science	2005-02-22	Paper
On abstract interpretation of mobile ambients Information and Computation	2004-11-23	Paper
scientific article; zbMATH DE number 2059568 (Why is no real title available?)	2004-03-17	Paper
scientific article; zbMATH DE number 1832231 (Why is no real title available?)	2002-11-19	Paper

Research outcomes over time

This page was built for person: Sergio Maffeis