( en | de | ru )

 

Disambiguation of "Garbervetsky, Diego"

Author of the publication

copydeleteadd this publication to your clipboard
Static analysis for optimizing big data queries.

, , , , , and . ESEC/SIGSOFT FSE, page 932-937. ACM, (2017)

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.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Other publications of authors with the same name

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis., , , , and . FORMATS, volume 5813 of Lecture Notes in Computer Science, page 58-72. Springer, (2009)Improving the Verification of Timed Systems Using Influence Information., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 21-36. Springer, (2002)Testing and validating end user programmed calculated fields., , , , , , and . ESEC/SIGSOFT FSE, page 827-832. ACM, (2018)Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation., , , and . IEEE Trans. Very Large Scale Integr. Syst., 17 (8): 983-996 (2009)3rd international workshop on developing tools as plug-ins (TOPI 2013)., , , , and . ICSE, page 1555. IEEE Computer Society, (2013)A Dataflow Analysis to Improve SAT-Based Bounded Program Verification., , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 138-154. Springer, (2011)A toolsuite for the verification of real-time systems in Eclipse., , , , , , , and . ETX, page 35-39. ACM, (2006)Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012)., and . ACM SIGSOFT Softw. Eng. Notes, 37 (6): 24-27 (2012)Fully Reflective Execution Environments: Virtual Machines for More Flexible Software, , , and . IEEE Transactions on Software Engineering, PP (99): 1--20 (March 2018)A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability, , and . Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, page 5. (Jun 19, 2017)