Person:1566917: Difference between revisions

Latest revision as of 03:23, 9 December 2023

Publication	Date of Publication	Type
Verified scalable parallel computing with Why3	2024-06-05	Paper
Verified Runtime Assertion Checking for Memory Properties	2022-11-09	Paper
A formal semantics of nested atomic sections with thread escape	2018-05-15	Paper
Automated Generation of BSP Automata	2017-12-15	Paper
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction	2014-09-08	Paper
Program Calculation in Coq	2011-01-21	Paper
Computational Science - ICCS 2004	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4817290	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4434708	2003-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q4536986	2002-11-06	Paper
Concrete data structures and functional parallel programming	2001-08-20	Paper
A calculus of functional BSP programs	2000-06-04	Paper

This page was built for person: Frédéric Loulergue

Revision as of 22:22, 24 September 2023 view source Import230924090903 (talk \| contribs) 970,846 edits Created automatically from import230924090903	Latest revision as of 03:23, 9 December 2023 view source AuthorDisambiguator (talk \| contribs) Bots, Administrators 1,238,488 edits m AuthorDisambiguator moved page Frédéric Loulergue to Frédéric Loulergue: Duplicate
(No difference)