DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2011-0009,5379,KrCh,An O(n2) time algorithm for alternating Büchi games
10.15479/AT:IST-2011-0008,5380,KrCh,Bounded rationality in concurrent parity games
10.15479/AT:IST-2011-0007,5381,KrCh,Partial-observation stochastic games: How to win when belief fails
10.15479/AT:IST-2011-0006,5382,KrCh,Robustness of structurally equivalent concurrent parity games
10.15479/AT:IST-2011-0005,5383,ToHe,On an efficient decision procedure for imperative tree data structures
10.15479/AT:IST-2011-0004,5384,KrCh,Decidable problems for probabilistic automata on infinite words
10.15479/AT:IST-2011-0003,5385,"ToHe,KrCh",Temporal specifications with accumulative values
10.15479/AT:IST-2011-0002,5386,ChLa,Enforcing topological constraints in random field image segmentation
null,3163,ChLa,Maximum margin multi-label structured prediction
10.1007/978-3-642-25318-8_16,3264,ToHe,Solving recursion-free Horn clauses over LI+UIF
null,3266,HeEd,Probabilistic joint image segmentation and labeling
10.1007/s00454-010-9322-8,3267,HeEd,Hardness results for homology localization
10.1111/j.1467-8659.2011.01985.x,3269,HeEd,Perceptual global illumination cancellation in complex projection environments
null,3270,HeEd,Persistent homology computation with a twist
10.1007/978-3-642-23175-9_7,3271,HeEd,Efficient computation of persistent homology for cubical data
null,3273,CaHe,"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors"
null,3275,MiSi,The role of chemotactic gradients in dendritic cell migration
10.2174/138920311798841753,3287,"CaHe,MiSi",What can we learn from single molecule trajectories?
10.1371/journal.pone.0022458,3288,CaHe,Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
10.1534/genetics.111.129569,3290,NiBa,A general method for calculating likelihoods under the coalescent process