( en | de | ru )

 

Disambiguation of "Estivill-Castro, Vladimir"

Author of the publication

copydeleteadd this publication to your clipboard
Architecture for logic programing with arrangements of finite-state machines.

, , and . DCPS, page 1-8. IEEE Computer Society, (2016)

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.

William Castro

Susana Castro

Carlos Castro

Daniel Castro

Alfonso Castro

 

Other publications of authors with the same name

Efficient Modelling of Embedded Software Systems and their Formal Verification., , and . APSEC, page 428-433. IEEE, (2012)Group unified histories an instrument for productive unconstrained co-browsing., , and . GROUP, page 330-338. ACM, (2003)An adaptive generic sorting algorithm that uses variable partitioning., and . Int. J. Comput. Math., 61 (3-4): 181-194 (1996)Effective and Efficient Boundary-based Clustering for Three-Dimensional Geoinformation Studies., and . CODAS, page 87-96. IEEE Computer Society, (2001)Hybrid Genetic Algorithms Are Better for Spatial Clustering.. PRICAI, volume 1886 of Lecture Notes in Computer Science, page 424-434. Springer, (2000)Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour., , , and . SIMPAR, volume 7628 of Lecture Notes in Computer Science, page 52-64. Springer, (2012)Foundations for Faster External Sorting (Extended Abstract)., and . FSTTCS, volume 880 of Lecture Notes in Computer Science, page 414-425. Springer, (1994)Hybrid Genetic Algorithm for Solving the p-Median Problem., and . SEAL, volume 1585 of Lecture Notes in Computer Science, page 19-25. Springer, (1998)Model Checking of Transition-Labeled Finite-State Machines., and . FGIT-ASEA/DRBC/EL, volume 257 of Communications in Computer and Information Science, page 61-73. Springer, (2011)Panel of Attribute Selection Methods to Rank Features Drastically Improves Accuracy in Filtering Web-pages Suitable for Education., , and . CSEDU (2), page 48-57. SciTePress, (2019)