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

Compositional Pre-processing for Automated Reasoning in Dependent Type Theory., , , , , , and . CPP, page 63-77. ACM, (2023)Embedding Pure Type Systems in the lambda-Pi-calculus modulo., and . CoRR, (2023)The correlates of statistics anxiety: Relationships with spatial anxiety, mathematics anxiety and gender., , , , , , , , , and . J. Numer. Cogn., 9 (1): 16-43 (March 2023)A multi-state model of cortical memory., , and . IJCNN, page 133-138. IEEE, (2011)Using knowledge partitioning to investigate the psychological plausibility of mixtures of experts., , , and . Artif. Intell. Rev., 25 (1-2): 119-138 (2006)Automated Verification of Temporal Properties of Ladder Programs., , , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 21-38. Springer, (2021)Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods., , and . TAP@FM, volume 11823 of Lecture Notes in Computer Science, page 55-63. Springer, (2019)Dynamic Modeling of Visual Search., , , and . CogSci, cognitivesciencesociety.org, (2023)Automated formal analysis of temporal properties of Ladder programs., , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (6): 977-997 (2022)Fast Fitting of Convolutions Using Rational Approximations.. ICCM, page 76-81. (2004)