Juan Manuel Crespo

Juan Manuel Crespo

Volkswagen AG - - / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4374874
-
person_outline Juan Manuel Crespo's MOST POPULAR ARTICLES
1-) One-year routine application of a new method based on liquid chromatography–tandem mass spectrometry to the analysis of 16 multiclass pesticides in vegetable samples Journal of Chromatography A 1045 (1-2), 125-135, 2004
2-) Multiresidue method for the analysis of multiclass pesticides in agricultural products by gas chromatography-tandem mass spectrometry Analyst 127 (3), 347-354, 2002
3-) Beyond 2-safety: Asymmetric product programs for relational program verification International Symposium on Logical Foundations of Computer Science, 29-43, 2013
4-) From relational verification to SIMD loop synthesis Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013
5-) From relational verification to SIMD loop synthesisG Barthe, JM Crespo, S Gulwani, C Kunz, M MarronProceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013852013