Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal verification of Matrix based MATLAB models using interactive theorem proving., , , , and . PeerJ Comput. Sci., (2021)On identifying and optimizing instruction sequences for dynamic compilation., and . FPT, page 437-440. IEEE, (2010)A model for emotional contagion based on the emotional contagion scale., and . ACII, page 1-6. IEEE Computer Society, (2009)A Risk Diagnosing Methodology Web-based Tool for SME's and Start-up Enterprises., , , and . KDIR/KMIS, page 308-317. SciTePress, (2013)On Identifying Segments of Traces for Dynamic Compilation., and . FPL, page 263-266. IEEE Computer Society, (2010)ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing., , , , , , , , , and 11 other author(s). DSD, page 600-607. IEEE Computer Society, (2018)A Risk Diagnosing Methodology Web-Based Platform for Micro, Small and Medium Businesses: Remarks and Enhancements., , , and . IC3K, volume 454 of Communications in Computer and Information Science, page 340-356. Springer, (2013)Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach., , , , , , , , , and 15 other author(s). PDP, page 116-123. IEEE, (2019)AutoPar-Clava: An Automatic Parallelization source-to-source tool for C code applications., , , and . PARMA-DITAM@HiPEAC, page 13-19. ACM, (2018)C and OpenCL generation from MATLAB., , and . SAC, page 1315-1320. ACM, (2015)