| PoPPL: Pedestrian Trajectory Prediction by LSTM With Automatic Route Class Clustering | 1 | 0.35 | 2021 |
| Activity Location Inference Of Users Based On Social Relationship | 0 | 0.34 | 2021 |
| Genomic Sequencing - Tracking, Ordering and Collaboration with GNomEx. | 0 | 0.34 | 2020 |
| Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. | 0 | 0.34 | 2020 |
| A Location-Velocity-Temporal Attention Lstm Model For Pedestrian Trajectory Prediction | 2 | 0.39 | 2020 |
| Synthesis of LTL Formulas from Natural Language Texts - State of the Art and Research Directions. | 0 | 0.34 | 2019 |
| A Parallel Linear Temporal Logic Tableau | 0 | 0.34 | 2017 |
| A New Rule For Ltl Tableaux | 2 | 0.37 | 2016 |
| Hourglass Systems. | 0 | 0.34 | 2015 |
| A Tableau for Temporal Logic over the Reals. | 2 | 0.36 | 2014 |
| Hourglass Automata. | 0 | 0.34 | 2014 |
| A tableau for general linear temporal logic. | 1 | 0.36 | 2013 |
| A New Metric Temporal Logic for Hybrid Systems | 3 | 0.37 | 2013 |
| A Faster Tableau For Ctl | 2 | 0.41 | 2013 |
| Web-based simulation of fruit fly to support biosecurity decision-making. | 1 | 0.35 | 2012 |
| A Tableau for Until and Since over Linear Time | 6 | 0.46 | 2011 |
| A tableau-based decision procedure for CTL* | 3 | 0.42 | 2011 |
| Metric temporal reasoning with less than two clocks. | 1 | 0.36 | 2010 |
| Dense Time Reasoning via Mosaics | 12 | 0.76 | 2009 |
| A Tableau for Bundled CTL | 15 | 0.82 | 2007 |
| A Space and Time Requirements Logic for Sensor Networks | 4 | 0.46 | 2006 |
| Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004 | 18 | 4.50 | 2005 |
| Separation - Past, Present, and Future | 8 | 1.22 | 2005 |
| Students as service champions: a success story | 0 | 0.34 | 2004 |
| Axioms for Branching Time | 12 | 0.78 | 2002 |
