Author of the publication

Antipattern Comprehension: An Empirical Evaluation.

, , and . FOIS, volume 283 of Frontiers in Artificial Intelligence and Applications, page 211-224. IOS Press, (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.

 

Other publications of authors with the same name

Uniform Schemata for Proof Rules., and . CiE, volume 8493 of Lecture Notes in Computer Science, page 53-62. Springer, (2014)Typed vs. Untyped Realizability., and . MFPS, volume 286 of Electronic Notes in Theoretical Computer Science, page 57-71. Elsevier, (2012)Interactive theorem proving and program extraction.. Swansea University, UK, (2014)British Library, EThOS.Coinductive Proofs for Basic Real Computation.. CiE, volume 3988 of Lecture Notes in Computer Science, page 221-230. Springer, (2006)Parallel program testing based on critical communication and branch transformation., , , , , and . J. Supercomput., 80 (1): 519-548 (January 2024)Exploring human behavior patterns and socio-demographic factors based on American Time Use Survey., , , , , , and . Concurr. Comput. Pract. Exp., (2023)(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic., , , , and . AILA, volume 1657 of Communications in Computer and Information Science, page 79-90. Springer, (2022)Antipattern Comprehension: An Empirical Evaluation., , and . FOIS, volume 283 of Frontiers in Artificial Intelligence and Applications, page 211-224. IOS Press, (2016)Measuring perceived clutter in concept diagrams., , and . VL/HCC, page 31-39. IEEE Computer Society, (2016)Reconstruction of Monte Carlo replicas from Hessian parton distributions, , , , , , , , , and 1 other author(s). (Jul 20, 2016)