DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-10575-8,3300,ToHe,Handbook of Model Checking
10.1609/icaps.v28i1.13875,34,KrCh,Sensor synthesis for POMDPs with reachability objectives
10.1145/3197517.3201336,134,ChWo,Water surface wavelets
10.1111/cgf.13351,135,ChWo,Extended narrow band FLIP for liquid simulations
10.1103/PhysRevE.98.023105,136,BjHo,Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow
10.1038/s41589-018-0108-2,137,HaJa,Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS
10.7717/peerj.5198,139,"BeVi,NiBa",The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies
10.3390/ijms19113566,14,"DaSi,JiFr",Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation
10.1007/978-3-319-96145-3_25,140,ToHe,Space-time interpolants
10.1007/978-3-319-96142-2_13,141,KrCh,Symbolic algorithms for graphs and Markov decision processes with fairness objectives
null,14198,FrLo,SOM-VAE: Interpretable discrete representation learning on time series
10.1007/978-3-319-96145-3_24,142,ToHe,Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
null,14201,FrLo,Boosting variational inference: An optimization perspective
null,14202,FrLo,Boosting black box variational inference
null,14203,FrLo,A conditional gradient framework for composite convex minimization with applications to semidefinite programming
null,14204,FrLo,On matching pursuit and coordinate descent
null,14224,FrLo,Clustering meets implicit generative models
10.1145/3209108.3209191,143,KrCh,Efficient algorithms for asymptotic bounds on termination time in VASS
10.48550/arXiv.1804.11130,14327,FrLo,Competitive training of mixtures of independent deep generative models
10.1145/3209108.3209194,144,ToHe,A theory of register monitors