( en | de | ru )

 

Disambiguation of "Pérez, Sergio"

Author of the publication

copydeleteadd this publication to your clipboard
Runtime Verification in Erlang by Using Contracts.

, , , and . WFLP, volume 11285 of Lecture Notes in Computer Science, page 56-73. Springer, (2018)

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.

Sergio Pérez-Espejo

Roberto Francisco Pérez Benito

Ema Pérez Bravo

José Guadalupe Pérez-Ramírez

Elsa Pérez Rodriguez

 

Other publications of authors with the same name

Program Slicing Techniques with Support for Unconditional Jumps., , and . ICFEM, volume 13478 of Lecture Notes in Computer Science, page 123-139. Springer, (2022)Analysis of Discrimination Techniques for Low-Cost Narrow-Band Spectrofluorometers., , , and . Sensors, 15 (1): 611-634 (2015)Field-Sensitive Program Slicing., , , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 74-90. Springer, (2022)Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited., , , and . ICSME, page 73-83. IEEE, (2023)Building distributed embedded systems with RTLinux-GPL., and . ETFA (1), page 161-168. IEEE, (2003)A model based hybrid numerical control algorithm for the continuous drying of a thick web in an infrared dryer., , and . ICINCO, page 324-327. INSTICC Press, (2005)Program slicing of Java programs., , and . J. Log. Algebraic Methods Program., (2023)Erlang Code Evolution Control., , , and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 128-144. Springer, (2017)A Program Slicer for Java (Tool Paper)., , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 146-151. Springer, (2022)Thermal Prediction for Immersion Cooling Data Centers Based on Recurrent Neural Networks., , , and . IDEAL (1), volume 11314 of Lecture Notes in Computer Science, page 491-498. Springer, (2018)