DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-41540-6_13,1391,ToHe,Array folds logic
10.1145/2883817.2883837,1421,ToHe,Scalable static hybridization methods for analysis of nonlinear systems
10.1145/2837614.2837650,1439,ToHe,PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
10.1007/978-3-319-26916-0_10,1524,"CaGu,ToHe",Efficient reduction of kappa models by static inspection of the rule-set
10.1007/978-3-662-49122-5_12,1526,ToHe,Lipschitz robustness of timed I/O systems
10.1007/s10009-015-0393-y,1705,ToHe,Guided search for hybrid systems based on coarse-grained space abstractions
10.1145/2889160.2889233,479,ToHe,Use runtime verification to improve the quality of medical care practice
10.4230/LIPIcs.SNAPL.2015.90,1498,ToHe,The need for language support for fault-tolerant distributed systems
10.4230/LIPIcs.CONCUR.2015.142,1499,"ToHe,KrCh",Polynomial time decidability of weighted synchronization under partial observability
10.1007/s10703-015-0235-2,1501,"KrCh,ToHe",CEGAR for compositional analysis of qualitative properties in Markov decision processes
10.1145/2737166.2737175,1502,"ToHe,KrCh",Complete composition operators for IOCO-testing theory
10.1073/pnas.1423947112,1538,"ToHe,GaTk",Iterative experiment design guides the characterization of a light-inducible gene expression circuit
10.1063/1.4937937,1539,"ToHe,GaTk",Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space
10.1007/978-3-319-26287-1_1,1541,ToHe,XSpeed: Accelerating reachability analysis on multi-core processors
10.1007/978-3-662-48899-7_12,1594,"ToHe,KrCh",Controller synthesis for MDPs and frequency LTL\GU
10.1007/978-3-319-21690-4_31,1601,"ToHe,KrCh",The Hanoi omega-automata format
10.1007/978-3-319-21690-4_10,1603,"KrCh,ToHe",Counterexample explanation by learning small strategies in Markov decision processes
10.1007/978-3-319-26287-1_2,1605,ToHe,Abstraction-based parameter synthesis for multiaffine systems
10.1007/978-3-319-23820-3_19,1606,ToHe,Runtime verification for hybrid analysis tools
10.1007/978-3-319-23401-4_8,1658,"ToHe,GaTk",Adaptive moment closure for parameter inference of biochemical reaction networks