Sergio Maffeis
From MaRDI portal
Person:1650956
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 JavaScript specification | 2014-04-10 | Paper |
| Matching Systems for Concurrent Calculi | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851089 | 2013-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847404 | 2013-09-09 | Paper |
| On the Expressive Power of Polyadic Synchronisation in π-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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Sergio Maffeis
