Bertrand Meyer
From MaRDI portal
Person:846107
Available identifiers
zbMath Open meyer.bertrandDBLPm/BertrandMeyerWikidataQ92946 ScholiaQ92946MaRDI QIDQ846107
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Certificates and Separation Logic | 2016-11-09 | Paper |
| An Automatic Technique for Static Deadlock Prevention | 2015-12-03 | Paper |
| Freefinement | 2015-09-11 | Paper |
| Loop invariants | 2015-03-02 | Paper |
| Avoid a Void: The Eradication of Null Dereferencing | 2010-10-26 | Paper |
| Inferring Loop Invariants Using Postconditions | 2010-09-03 | Paper |
| Contracts for concurrency | 2010-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436978 | 2003-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413673 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371400 | 1998-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3998221 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4024014 | 1993-01-23 | Paper |
| Showing programs on a screen | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666219 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886834 | 1980-01-01 | Paper |
| A note on computing multiple sums | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194406 | 1978-01-01 | 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: Bertrand Meyer
