Author of the publication

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

Summarizing developer work history using time series segmentation: challenge report., , and . MSR, page 137-140. ACM, (2008)Extending Decision Procedures with Induction Schemes., and . CADE, volume 1831 of Lecture Notes in Computer Science, page 324-345. Springer, (2000)DRSTI: A Workbench for Querying Retinal Image Data of Age-Related Macular Degeneration Patients., , and . ICSH, volume 9545 of Lecture Notes in Computer Science, page 340-349. Springer, (2015)Automated Reasoning About Parallel Algorithms Using Powerlists., and . AMAST, volume 936 of Lecture Notes in Computer Science, page 416-430. Springer, (1995)Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report., and . ASIAN, volume 2896 of Lecture Notes in Computer Science, page 125-145. Springer, (2003)A Novel Approach for Embedding and Traversing Problems in Serious Games., , , and . SIGITE, page 229-235. ACM, (2020)Improving efficiency of quantum key distribution with probabilistic measurements., , and . Int. J. Secur. Networks, 11 (1/2): 37-47 (2016)Learning Objects Based Adaptive Textbooks with Dynamic Traversal for Quantum Cryptography., , , , and . iTextbooks@AIED, volume 2674 of CEUR Workshop Proceedings, page 90-102. CEUR-WS.org, (2020)Directed Fine Tuning Using Feature Clustering for Instance Segmentation of Toxoplasmosis Fundus Images., , , , , , and . BIBE, page 767-772. IEEE, (2020)The transient combinator, higher-order strategies, and the distributed data problem., and . Sci. Comput. Program., (2004)