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

Pattern-based calculi with finitary matching., , , and . Log. J. IGPL, 26 (2): 203-243 (2018)A Constraint Solver for Equations over Sequences and Contexts., and . ICCSAMA, volume 453 of Advances in Intelligent Systems and Computing, page 115-127. Springer, (2016)An Overview of PρLog., , and . PADL, volume 10137 of Lecture Notes in Computer Science, page 34-49. Springer, (2017)A Rule-Based Approach to XML Processing and Web Reasoning., , , and . RR, volume 6333 of Lecture Notes in Computer Science, page 164-172. Springer, (2010)PDAN Light: An Improved Attention Network for Action Detection., , and . IEA/AIE (1), volume 13925 of Lecture Notes in Computer Science, page 102-114. Springer, (2023)Smartphone Sensor-Based Fall Detection Using Machine Learning Algorithms., , and . IEA/AIE (1), volume 12798 of Lecture Notes in Computer Science, page 609-620. Springer, (2021)A Rule-Based System for Computation and Deduction in Mathematica., , and . WRLA@ETAPS, volume 12328 of Lecture Notes in Computer Science, page 57-74. Springer, (2020)Variadic Equational Matching., , and . CICM, volume 11617 of Lecture Notes in Computer Science, page 77-92. Springer, (2019)A Rule-based Approach to the Decidability of Safety of ABACα., , and . SACMAT, page 173-178. ACM, (2019)PρLog: a system for rule-based programming.. CoRR, (2021)