( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Intensification of university–industry relationships and its impact on academic research

, и . Higher Education, 54 (1): 61--84 (ноября 2006)
DOI: 10.1007/s10734-006-9046-0

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Maria Crespo

Olivier Crespo

Alejandro Crespo Sosa

Isabel Crespo Otano

Eugenia Crespo Martínez

 

Другие публикации лиц с тем же именем

Intensification of university–industry relationships and its impact on academic research, и . Higher Education, 54 (1): 61--84 (ноября 2006)Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification., , и . LFCS, том 7734 из Lecture Notes in Computer Science, стр. 29-43. Springer, (2013)Fully automated analysis of padding-based encryption in the computational model., , , , , , и . ACM Conference on Computer and Communications Security, стр. 1247-1260. ACM, (2013)Automation and Modularity of Cryptographic Proofs in the Computational Model.. Technical University of Madrid, Spain, (2016)Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols., , , и . EUROCRYPT (2), том 9057 из Lecture Notes in Computer Science, стр. 689-718. Springer, (2015)Product programs and relational program logics., , и . J. Log. Algebraic Methods Program., 85 (5): 847-859 (2016)A Machine-Checked Framework for Relational Separation Logic., и . SEFM, том 7041 из Lecture Notes in Computer Science, стр. 122-137. Springer, (2011)Wind Turbine Blade Radar Signatures in the Near Field: Modeling and Experimental Confirmation., , и . IEEE Trans. Aerosp. Electron. Syst., 53 (4): 1916-1931 (2017)Relational Verification Using Product Programs., , и . FM, том 6664 из Lecture Notes in Computer Science, стр. 200-214. Springer, (2011)From relational verification to SIMD loop synthesis., , , , и . PPoPP, стр. 123-134. ACM, (2013)