Author of the publication

Improved Recurrent Neural Networks for Session-based Recommendations.

, , and . DLRS@RecSys, page 17-22. ACM, (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

An axiomatic approach to existence and liveness for differential equations., and . Formal Aspects Comput., 33 (4-5): 461-518 (2021)The Schwartz-Zippel Lemma., and . Arch. Formal Proofs, (2023)Switched Systems as Hybrid Programs., and . ADHS, volume 54 of IFAC-PapersOnLine, page 247-252. Elsevier, (2021)Concentration Inequalities., and . Arch. Formal Proofs, (2023)Functional Big-Step Semantics., , , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 589-615. Springer, (2016)Pegasus: A Framework for Sound Continuous Invariant Generation., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 138-157. Springer, (2019)An Axiomatic Approach to Existence and Liveness for Differential Equations., and . CoRR, (2020)Do you have space for dessert? a verified space cost semantics for CakeML programs., , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 204:1-204:29 (2020)A Formal Safety Net for Waypoint Following in Ground Robots., , , , and . CoRR, (2019)A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL., , and . Arch. Formal Proofs, (2022)