DOI,IST REx ID,Research Group,Title of publication
10.1109/ijcnn.2019.8851954,6985,ToHe,Response characterization for auditing cell dynamics in long short-term memory networks
10.1145/3286976,7109,ToHe,From real-time logic to timed automata
10.1007/978-3-030-31304-3_9,7147,"CaGu,ToHe",Transient memory in gene regulation
10.1007/978-3-030-32079-9_17,7159,ToHe,Shape expressions for specifying and extracting signal features
10.1007/978-3-030-29662-9_8,7231,ToHe,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
10.1007/978-3-030-29662-9_4,7232,ToHe,Mixed-time signal temporal logic
10.1007/978-3-319-91908-9_22,7453,ToHe,Continuous-time models for system design and analysis
10.1007/978-3-030-30806-3_1,6822,ToHe,Bidding games on Markov decision processes
10.29007/rjwn,10877,ToHe,ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
10.24963/ijcai.2018/652,24,"KrCh,ToHe",Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
10.1007/978-3-319-89960-2_21,297,"KrCh,ToHe",Strategy representation by decision trees in reactive synthesis
10.1007/978-3-319-89963-3_18,299,ToHe,AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
10.4230/LIPIcs.CONCUR.2018.21,133,ToHe,Synchronizing the asynchronous
10.1007/978-3-319-96145-3_25,140,ToHe,Space-time interpolants
10.1007/978-3-319-96145-3_24,142,ToHe,Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
10.1145/3209108.3209194,144,ToHe,A theory of register monitors
10.1007/978-3-319-95582-7_9,156,ToHe,The compound interest in relaxing punctuality
10.1007/978-3-319-96145-3_5,160,ToHe,Layered Concurrent Programs
10.1561/1000000053,5677,ToHe,Contracts for system design
10.1007/978-3-030-04612-5_2,5788,ToHe,Infinite-duration poorman-bidding games