Sergio Maffeis

Available identifiers

zbMath Open maffeis.sergioMaRDI QIDQ1650956

List of research outcomes

Publication	Date of Publication	Type
Abstract domains for type juggling	2018-07-16	Paper
Towards a program logic for JavaScript	2015-09-11	Paper
A trusted mechanised JavaSript specification	2014-04-10	Paper
Matching systems for concurrent calculi	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	2013-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q3396622	2009-09-19	Paper
Behavioural equivalences for dynamic web data	2008-03-05	Paper
Modelling dynamic web data	2005-09-22	Paper
Programming Languages and Systems	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4673431	2005-04-29	Paper
On the computational strength of pure ambient calculi	2005-02-22	Paper
On abstract interpretation of mobile ambients	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4457838	2004-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4778709	2002-11-19	Paper

Research outcomes over time

This page was built for person: Sergio Maffeis