( en | de | ru )

 

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

Author of the publication

copydeleteadd this publication to your clipboard
Non-cumulative Resource Analysis.

, , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 85-100. Springer, (2015)

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

Enhancing set constraint solvers with bound consistency., , and . Expert Syst. Appl., (2018)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)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)A multi-domain incremental analysis engine and its application to incremental resource analysis., , , and . Theor. Comput. Sci., (2015)Quantified abstract configurations of distributed systems., , , and . Formal Aspects Comput., 27 (4): 665-699 (2015)Non-cumulative Resource Analysis., , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 85-100. Springer, (2015)Object-sensitive cost analysis for concurrent objects., , , , , , and . Softw. Test. Verification Reliab., 25 (3): 218-271 (2015)