Search results for: Sergio Segura
Software Testing, Verification and Reliability > 31 > 5 > n/a - n/a
Genetic Resources and Crop Evolution > 2018 > 65 > 8 > 2151-2168
Czechoslovak Mathematical Journal > 2019 > 69 > 2 > 379-390
Nonlinear Analysis: Theory, Methods & Applications > 2018 > 168 > C > 50-66
Software Testing, Verification and Reliability > 27 > 4-5 > n/a - n/a
Expert Systems with Applications > 2017 > 72 > C > 357-370
Journal of Evolution Equations > 2018 > 18 > 1 > 1-28
Journal of Systems and Software > 2016 > 122 > C > 287-310
IEEE Transactions on Software Engineering > 2016 > 42 > 9 > 805 - 824
Journal of Mathematical Imaging and Vision > 2017 > 57 > 2 > 202-224
Lecture Notes in Computer Science > Generative and Transformational Techniques in Software Engineering II > Participants Contributions > 489-505
Lecture Notes in Computer Science > Generative and Transformational Techniques in Software Engineering > Participants’ Contributions > 399-408
Software & Systems Modeling > 2017 > 16 > 4 > 1049-1082
Journal of Differential Equations > 2015 > 259 > 7 > 2762-2806
The Journal of Systems & Software > 2015 > 103 > Complete > 353-369
Software & Systems Modeling > 2017 > 16 > 1 > 173-194
Nonlinear Differential Equations and Applications NoDEA > 2015 > 22 > 5 > 1213-1246
Software Testing, Verification and Reliability > 25 > 2 > 138 - 163