DOI,IST REx ID,Research Group,Title of publication
10.1145/2019406.2019411,3298,ChWo,Hybrid smoothed particle hydrodynamics
10.1145/2037509.2037510,3299,ToHe,Propagation models for computing biochemical reaction networks
null,3301,ToHe,Tail approximation for the chemical master equation
null,3302,ToHe,Static scheduling in clouds
null,3311,HeEd,Alpha shapes - a survey
10.1109/ICCV.2011.6126475,3312,HeEd,Detailed reconstruction of 3D plant root shape
10.1109/ICCV.2011.6126271,3313,HeEd,Diffusion runs low on persistence fast
10.2168/LMCS-7(4:8)2011,3315,"KrCh,ToHe",Timed parity games: Complexity and robustness
10.1109/SIES.2011.5953660,3316,"KrCh,ToHe",Specification-centered robustness
10.1038/nn.3002,3318,PeJo,"How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses"
null,3319,ChLa,Learning multi-view neighborhood preserving projections
10.1561/0600000033,3320,ChLa,Structured learning and prediction in computer vision
null,3322,ChLa,Maximum margin multi label structured prediction
10.1007/978-3-642-22438-6_36,3323,ToHe,An efficient decision procedure for imperative tree data structures
10.1007/978-3-642-18275-4_26,3324,ToHe,Decision procedures for automating termination proofs
10.1145/1926385.1926454,3325,ToHe,Streaming transducers for algorithmic verification of single pass list processing programs
10.1007/978-3-642-24372-1_37,3326,ToHe,"What’s decidable about weighted automata "
10.1145/1998196.1998224,3328,HeEd,A generic algebraic kernel for non linear geometric applications
10.1145/1998196.1998225,3329,HeEd,Deconstructing approximate offsets
10.1145/1993886.1993920,3330,HeEd,Root refinement for real polynomials