( en | de | ru )

 

Disambiguation of "Fernández, Jesús Correas"

Author of the publication

copydeleteadd this publication to your clipboard
Static Inference of Transmission Data Sizes in Distributed Systems.

, , , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 104-119. Springer, (2014)

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.

Julián Jesús Fernández Arias

Pedro Miguel d' Jesús Montilva

Bárbara Fernández Fernández

Jesús Araiza

Jesús Arambarri

 

Other publications of authors with the same name

Peak Cost Analysis of Distributed Systems., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 18-33. Springer, (2014)Extending the TOY System with the ECLiPSe Solver over Sets of Integers., , and . FLOPS, volume 7294 of Lecture Notes in Computer Science, page 120-135. Springer, (2012)Non-cumulative Resource Analysis., , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 85-100. Springer, (2015)Static Inference of Transmission Data Sizes in Distributed Systems., , , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 104-119. Springer, (2014)A Configuration Framework for Distributed Logic Applications., and . APPIA-GULP-PRODE, page 123-138. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Object-sensitive cost analysis for concurrent objects., , , , , , and . Softw. Test. Verification Reliab., 25 (3): 218-271 (2015)