|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| CanaveseCesenaOucharyPediciniRoversi:FOPARA13 (In proceedings) | |
| Author(s) | Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini and Luca Roversi |
| Title | « Can a light typing discipline be compatible with an efficient implementation of finite fields inversion? » |
| In | Foundational and Practical Aspects of Resource Analysis (subtitle: 3rd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013) |
| Series | LNCS |
| Editor(s) | U. Dal Lago and R. Peña |
| Volume | 8552 |
| Page(s) | 38 -- 57 |
| Year | 2014 |
| Publisher | Springer |
| ISBN number | 978-3-319-12465-0 |
| ISSN number | 0302-9743 |
| URL | http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/2014-FOPARA13/CanaveseCesenaOucharyPediciRoversi2013FOPARA.pdf |
| BibTeX code |
@inproceedings{CanaveseCesenaOucharyPediciniRoversi:FOPARA13,
volume = {8552},
issn = {0302-9743},
author = {Canavese, Daniele and Cesena, Emanuele and Ouchary, Rachid and
Pedicini, Marco and Roversi, Luca},
series = {{LNCS}},
booktitle = {{Foundational and Practical Aspects of Resource Analysis
(subtitle: 3rd International Workshop on Foundational and
Practical Aspects of Resource Analysis, FOPARA 2013)}},
editor = {Dal Lago, U. and Pe\~na, R.},
url = {http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/2014-FOPARA13/CanaveseCesenaOucharyPediciRoversi2013FOPARA.pdf},
isbn = {978-3-319-12465-0},
title = {{Can a light typing discipline be compatible with an efficient
implementation of finite fields inversion?}},
publisher = {Springer},
pages = {38 -- 57},
year = {2014},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)