Pascal Fradet

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
A generalized higher-order chemical computation model	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
Classical coordination mechanisms in the chemical model	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

This page was built for person: Pascal Fradet