Search results for: Mercedes G. Merayo
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery > 9 > 4 > n/a - n/a
Distributed Computing > 2018 > 31 > 5 > 327-342
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 408-424
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 501-510
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 160-174
Lecture Notes in Computer Science > Bio-Inspired Systems: Computational and Ambient Intelligence > Evolutionary Computation and Genetic Algoritms > 327-334
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 418-427
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Real Time > 372-387
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 318-333
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Theory of Stochastic Processes > 123-137
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Testing Continuous and Real-Time Systems > 86-102
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Process Algebras and State Machines > 97-111
Lecture Notes in Computer Science > Advances in Computational Intelligence > Applying Evolutionary Computation and Nature-inspired Algorithms to Formal Methods > 396-403
Lecture Notes in Computer Science > Intelligent Information and Database Systems > Web-Based Systems for Data Management > 47-56
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Linear-Time Analysis > 201-215