I. Stark
From MaRDI portal
Person:2453208
Available identifiers
zbMath Open stark.ianWikidataQ98058496 ScholiaQ98058496MaRDI QIDQ2453208
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Certified Complexity (CerCo) | 2016-01-07 | Paper |
| A logic of behaviour in context | 2014-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844038 | 2013-08-27 | Paper |
| A Distributed π-Calculus with Local Areas of Communication | 2013-05-10 | Paper |
| Encoding Distributed Areas and Local Communication into the π-Calculus | 2013-04-26 | Paper |
| Safety Guarantees from Explicit Resource Management | 2009-02-12 | Paper |
| Free-algebra models for the \(\pi \)-calculus | 2008-03-05 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024917 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2704328 | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837986 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362963 | 1997-11-13 | 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: I. Stark
