Author of the publication

Backward Trace Slicing for Rewriting Logic Theories.

, , , and . CADE, volume 6803 of Lecture Notes in Computer Science, page 34-48. Springer, (2011)

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

Characterization and modeling of the peripheral cardiac conduction system, , , , and . IEEE Trans Med Imaging, 32 (1): 45--55 (2013)Inference of Spatio-Temporal Functions Over Graphs via Multikernel Kriged Kalman Filtering., , and . IEEE Trans. Signal Process., 66 (12): 3228-3239 (2018)Randomized Block Frank-Wolfe for Convergent Large-Scale Learning., , , and . IEEE Trans. Signal Process., 65 (24): 6448-6461 (2017)Testing Equality of Multiple Power Spectral Density Matrices., , , , and . IEEE Trans. Signal Process., 66 (23): 6268-6280 (2018)Wideband Spectrum Sensing From Compressed Measurements Using Spectral Prior Information., and . IEEE Trans. Signal Process., 61 (24): 6232-6246 (2013)Active Interference Cancellation for OFDM Spectrum Sculpting: Linear Processing Is Optimal., , and . IEEE Communications Letters, 18 (9): 1543-1546 (2014)Supporting the SPEM with a UML Extended Workflow Metamodel., , , , , and . AICCSA, page 1151-1154. IEEE Computer Society, (2006)Randomized Block Frank-Wolfe for Convergent Large-Scale Learning., , , and . CoRR, (2016)Kernel-based Reconstruction of Space-time Functions on Dynamic Graphs., , and . CoRR, (2016)Kernel-based Reconstruction of Graph Signals., , and . CoRR, (2016)