time2020 Home » Video Category » bosk2020 » time2020 17 videos found 21:08 Mining Significant Temporal Networks is Polynomial. By Matteo Zavatteri 455 views time2020 contributedtalk 19:16 Universal Solutions in Temporal Data Exchange. By Zehui Cheng 279 views time2020 contributedtalk 20:39 Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings 415 views time2020 contributedtalk 1:07:27 Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections 193 views time2020 invitedtalk 22:11 Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis 326 views time2020 contributedtalk 13:02 The Horn Fragment of Branching Algebra. By Stefano Trevisani 320 views time2020 contributedtalk 27:02 One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov 381 views time2020 contributedtalk «12Page 2 of 2
