Person:436363: Difference between revisions
From MaRDI portal
Person:436363
Created automatically from import231006081045 |
Created automatically from import240128110107 |
||
| Line 1: | Line 1: | ||
{{ | {{person}} | ||
Latest revision as of 12:42, 28 January 2024
Available identifiers
zbMath Open fradet.pascalMaRDI QIDQ436363
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Enforcing trace properties by program transformation | 2015-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851701 | 2013-10-02 | Paper |
| Aspects preserving properties | 2012-07-20 | Paper |
| Aspects of availability. Enforcing timed properties to prevent denial of service | 2010-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3400623 | 2010-02-05 | Paper |
| The next 700 Krivine machines | 2007-12-17 | Paper |
| Generalised multisets for chemical programming | 2006-08-28 | Paper |
| Programming Languages and Systems | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474004 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440331 | 2003-12-16 | Paper |
| Compilation of a specialized functional language for massively parallel computers | 2002-01-02 | Paper |
| Structured gamma | 2000-01-04 | 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: Pascal Fradet
