- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j2 |      | Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin: Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54(4): 99-106 (2011) |
| 2010 | ||
| c5 | | Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin: Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) 2010: 135-144 |
| 2007 | ||
| c4 | | Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells: Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM 2007: 280-295 |
| c3 | | Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells: Narrative Structure of Mathematical Texts. Calculemus/MKM 2007: 296-312 |
| 2005 | ||
| c2 | | Fairouz Kamareddine, Manuel Maarek, J. B. Wells: Toward an Object-Oriented Structure for Mathematical Text. MKM 2005: 217-233 |
| 2004 | ||
| j1 | | Fairouz Kamareddine, Manuel Maarek, J. B. Wells: MathLang: Experience-driven Development of a New Mathematical Language. Electr. Notes Theor. Comput. Sci. 93: 138-160 (2004) |
| c1 | | Fairouz Kamareddine, Manuel Maarek, J. B. Wells: Flexible Encoding of Mathematics on the Computer. MKM 2004: 160-174 |
| 1 | Nicolas Craipeau | |
| 2 | Stéphane Frénot | |
| 3 | Ronan Hardouin | |
| 4 | Fairouz Kamareddine | |
| 5 | Robert Lamar | |
| 6 | Eduardo Mazza | |
| 7 | Daniel Le Métayer | |
| 8 | Marie-Laure Potet | |
| 9 | Krzysztof Retel | |
| 10 | Valérie Viet Triem Tong | |
| 11 | J. B. Wells |
Colors in the list of coauthors
Last update Fri May 24 10:03:36 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page