"Tailoring oxygen redox reactions in ionic liquid based Li/O 2 batteries by means of the Li + dopant concentration" (2018) Cecchetto, L.;Tesio, A.Y.;Olivares-Marín, M. (...)Tonti, D. Sustainable Energy and Fuels. 2(1):118-124

"Design optimization of an air atmospheric pressure plasma-jet device intended for medical use" (2018) Xaubet, M.;Baudler, J.-S.;Gerling, T. (...)Weltmann, K.-D. Plasma Processes and Polymers. 15(8)

"Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network" (2016) Bonaventura, M.; Foguelman, D.; Castro, R. Computing in Science and Engineering. 18(3):70-83

"Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network" (2016) Bonaventura, M.; Foguelman, D.; Castro, R. Computing in Science and Engineering. 18(3):70-83

"Monitoring and data quality assessment of the ATLAS liquid argon calorimeter" (2014) Aad, G. Journal of Instrumentation. 9(7)

"Synthesizing nonanomalous event-based controllers for liveness goals" (2013) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(1)

"Synthesizing nonanomalous event-based controllers for liveness goals" (2013) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(1)

"A co-design methodology for processor-centric embedded systems with hardware acceleration using FPGA" (2012) Pedre, S.; Krajník, T.; Todorovich, E.; Borensztejn, P. 8th Southern Programmable Logic Conference, SPL 2012

"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218

"Optical performance related to mechanical deformations of a Davies-Cotton mount for the high energy section of the Cherenkov Telescope Array" (2011) Rovero, A.C.;Supanitsky, A.D.;Actis, M. (...)Marconi, D. 32nd International Cosmic Ray Conference, ICRC 2011. 9:46-49

"Mutational analysis of kinetic partitioning in protein folding and protein-DNA binding" (2011) Sánchez, I.E.; Ferreiro, D.U.; De Prat Gay, G. Protein Engineering, Design and Selection. 24(1-2):179-184

"A scheduler synthesis methodology for joint SW/HW design exploration of SoC" (2010) Assayad, I.; Yovine, S. Design Automation for Embedded Systems. 14(2):75-103

"Nanochemistry in confined environments: Polyelectrolyte brush-assisted synthesis of gold nanoparticles inside ordered mesoporous thin films" (2010) Calvo, A.;Fuertes, M.C.;Yameen, B. (...)Soler-Illia, G.J.A.A. Langmuir. 26(8):5559-5567

"Complete Stokes polarimeters based on liquid crystal displays" (2010) Peinado, A.;Lizana, A.;Vidal, J. (...)Campos, J. Optics and Photonics for Information Processing IV. 7797

"Mixture design for evaluation of potassium sorbate and xanthan gum effect on properties of tapioca starch films obtained by extrusion" (2010) Flores, S.K.;Costa, D.;Yamashita, F. (...)Grossmann, M.V. Materials Science and Engineering C. 30(1):196-202

"Periodic operation of trickle bed reactors: An approach to catalyst design through modeling at the particle scale" (2005) Ayude, M.A.; Cassanello, M.C.; Haure, P.M.; Martínez, O.M. Industrial and Engineering Chemistry Research. 44(25):9594-9600

"Static checking of system behaviors using derived component assumptions" (2000) Inverardi, P.; Wolf, A.L.; Yankelevich, D. ACM Transactions on Software Engineering and Methodology. 9(3):239-272

"Duration properties over real time system designs" (2000) Braberman, V.; Pieniazek, F.; IEEE Computer Society Technical Committee on Software Engineering 10th International Workshop on Software Specification and Design, IWSSD 2000:51-61

"Verification of real-time designs: Combining scheduling theory with automatic formal verification" (1999) Braberman, V.A.; Felder, M. 7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999. 1687 LNCS:494-510

"Optical design: Are skew rays necessary? How many of them to evaluate eighth-order coefficients?" (1993) Comastri, S.A.; Simon, J.M. Pure and Applied Optics: Journal of the European Optical Society Part A Pure and Applied Optics: Journal of the European Optical Society Part A. 2(6):607-614