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

Switched Systems as Hybrid Programs., and . ADHS, volume 54 of IFAC-PapersOnLine, page 247-252. Elsevier, (2021)Formalizing Coppersmith's Method in Isabelle/HOL., , and . CICM, volume 14960 of Lecture Notes in Computer Science, page 127-145. Springer, (2024)Differential Equation Invariance Axiomatization., and . CoRR, (2019)An Axiomatic Approach to Liveness for Differential Equations., and . FM, volume 11800 of Lecture Notes in Computer Science, page 371-388. Springer, (2019)Deductive Stability Proofs for Ordinary Differential Equations., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 181-199. Springer, (2021)Implicit Definitions with Differential Equations for KeYmaera X - (System Description)., , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 723-733. Springer, (2022)ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 141-161. EasyChair, (2019)Formalizing Coppersmith's Method., and . Arch. Formal Proofs, (2024)A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL., , and . CPP, page 211-224. ACM, (2023)Pegasus: A Framework for Sound Continuous Invariant Generation., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 138-157. Springer, (2019)