Smutny M, Wu S, Gomez G, Mangold S, Yap A, Hamilton N. Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One. 2011;6(7). doi:10.1371/journal.pone.0022458
LibreCat: https://research-explorer.ista.ac.at/record/3288
DOI: 10.1371/journal.pone.0022458

Weghuber J, Aichinger M, Brameshuber M, et al. Cationic amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic host cells. Biochimica et Biophysica Acta (BBA) - Biomembranes. 2011;1808(10):2581-2590. doi:10.1016/j.bbamem.2011.06.007
LibreCat: https://research-explorer.ista.ac.at/record/3286
DOI: 10.1016/j.bbamem.2011.06.007

Ruprecht V, Axmann M, Wieser S, Schuetz G. What can we learn from single molecule trajectories? Current Protein &; Peptide Science. 2011;12(8):714-724. doi:10.2174/138920311798841753
LibreCat: https://research-explorer.ista.ac.at/record/3287
DOI: 10.2174/138920311798841753

Ruprecht V, Wieser S, Marguet D, Schuetz G. Spot variation fluorescence correlation spectroscopy allows for superresolution chronoscopy of confinement times in membranes. Biophysical Journal. 2011;100(11):2839-2845. doi:10.1016/j.bpj.2011.04.035
LibreCat: https://research-explorer.ista.ac.at/record/3285
DOI: 10.1016/j.bpj.2011.04.035

Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. Static scheduling in clouds. In: USENIX; 2011:1-6.
LibreCat: https://research-explorer.ista.ac.at/record/3302

Henzinger TA, Mateescu M. Tail approximation for the chemical master equation. In: Tampere International Center for Signal Processing; 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3301

Henzinger TA, Mateescu M. Propagation models for computing biochemical reaction networks. In: Springer; 2011:1-3. doi:10.1145/2037509.2037510
LibreCat: https://research-explorer.ista.ac.at/record/3299
DOI: 10.1145/2037509.2037510

Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Specification-centered robustness. In: 6th IEEE International Symposium on Industrial and Embedded Systems. IEEE; 2011:176-185. doi:10.1109/SIES.2011.5953660
LibreCat: https://research-explorer.ista.ac.at/record/3316
DOI: 10.1109/SIES.2011.5953660

Eggermann E, Jonas PM. How the “slow”10.1038/nn.3002__Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. 2011;15:20-22. doi:10.1038/nn.3002
LibreCat: https://research-explorer.ista.ac.at/record/3318
DOI: 10.1038/nn.3002

Van De Weygaert R, Vegter G, Edelsbrunner H, et al. Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Gavrilova M, Tan K, Mostafavi M, eds. Transactions on Computational Science XIV. Vol 6970. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer; 2011:60-101. doi:10.1007/978-3-642-25249-5_3
LibreCat: https://research-explorer.ista.ac.at/record/3335
DOI: 10.1007/978-3-642-25249-5_3
arXiv: 1306.3640

Berberich E, Halperin D, Kerber M, Pogalnikova R. Deconstructing approximate offsets. In: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry. ACM; 2011:187-196. doi:10.1145/1998196.1998225
LibreCat: https://research-explorer.ista.ac.at/record/3329
DOI: 10.1145/1998196.1998225

Kerber M, Sagraloff M. A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. 2011;27(3):419-430. doi:10.1007/s00373-011-1020-7
LibreCat: https://research-explorer.ista.ac.at/record/3332
DOI: 10.1007/s00373-011-1020-7

Kerber M, Sagraloff M. Root refinement for real polynomials. In: Springer; 2011:209-216. doi:10.1145/1993886.1993920
LibreCat: https://research-explorer.ista.ac.at/record/3330
DOI: 10.1145/1993886.1993920
arXiv: 1104.1362

Berberich E, Hemmer M, Kerber M. A generic algebraic kernel for non linear geometric applications. In: ACM; 2011:179-186. doi:10.1145/1998196.1998224
LibreCat: https://research-explorer.ista.ac.at/record/3328
DOI: 10.1145/1998196.1998224

Edelsbrunner H, Pach J, Ziegler G. Letter from the new editors-in-chief. Discrete &; Computational Geometry. 2011;45(1):1-2. doi:10.1007/s00454-010-9313-9
LibreCat: https://research-explorer.ista.ac.at/record/3334
DOI: 10.1007/s00454-010-9313-9

Tripakis S, Lickly B, Henzinger TA, Lee E. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 2011;33(4). doi:10.1145/1985342.1985345
LibreCat: https://research-explorer.ista.ac.at/record/3353
DOI: 10.1145/1985342.1985345

Halalai R, Henzinger TA, Singh V. Quantitative evaluation of BFT protocols. In: IEEE; 2011:255-264. doi:10.1109/QEST.2011.40
LibreCat: https://research-explorer.ista.ac.at/record/3355
DOI: 10.1109/QEST.2011.40

Chatterjee K, Majumdar R. Minimum attention controller synthesis for omega regular objectives. In: Fahrenberg U, Tripakis S, eds. Vol 6919. Springer; 2011:145-159. doi:10.1007/978-3-642-24310-3_11
LibreCat: https://research-explorer.ista.ac.at/record/3350
DOI: 10.1007/978-3-642-24310-3_11

Chatterjee K, Doyen L, Singh R. On memoryless quantitative objectives. In: Owe O, Steffen M, Telle JA, eds. Vol 6914. Springer; 2011:148-159. doi:10.1007/978-3-642-22953-4_13
LibreCat: https://research-explorer.ista.ac.at/record/3351
DOI: 10.1007/978-3-642-22953-4_13

Chatterjee K, De Alfaro L, Henzinger TA. Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL). 2011;12(4). doi:10.1145/1970398.1970404
LibreCat: https://research-explorer.ista.ac.at/record/3354
DOI: 10.1145/1970398.1970404

Chatterjee K, Fijalkow N. A reduction from parity games to simple stochastic games. In: Vol 54. EPTCS; 2011:74-86. doi:10.4204/EPTCS.54.6
LibreCat: https://research-explorer.ista.ac.at/record/3349
DOI: 10.4204/EPTCS.54.6

Ibáñez M, Fan J, Li W, et al. Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect. Chemistry of Materials. 2011;23(12):3095-3104. doi:10.1021/cm2006633
LibreCat: https://research-explorer.ista.ac.at/record/335
DOI: 10.1021/cm2006633

Fisher J, Harel D, Henzinger TA. Biology as reactivity. Communications of the ACM. 2011;54(10):72-82. doi:10.1145/2001269.2001289
LibreCat: https://research-explorer.ista.ac.at/record/3352
DOI: 10.1145/2001269.2001289

Fisher J, Henzinger TA, Nickovic D, Piterman N, Singh A, Vardi M. Dynamic reactive modules. In: Vol 6901. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2011:404-418. doi:10.1007/978-3-642-23217-6_27
LibreCat: https://research-explorer.ista.ac.at/record/3362
DOI: 10.1007/978-3-642-23217-6_27

Chatterjee K, Henzinger TA, Jobstmann B, Singh R. QUASY: quantitative synthesis tool. In: Vol 6605. Springer; 2011:267-271. doi:10.1007/978-3-642-19835-9_24
LibreCat: https://research-explorer.ista.ac.at/record/3365
DOI: 10.1007/978-3-642-19835-9_24

Chen C, Kerber M. An output sensitive algorithm for persistent homology. In: ACM; 2011:207-216. doi:10.1145/1998196.1998228
LibreCat: https://research-explorer.ista.ac.at/record/3367
DOI: 10.1145/1998196.1998228

Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
LibreCat: https://research-explorer.ista.ac.at/record/3363
arXiv: 1104.0127

Abbot P, Abe J, Alcock J, et al. Inclusive fitness theory and eusociality. Nature. 2011;471(7339):-. doi:10.1038/nature09831
LibreCat: https://research-explorer.ista.ac.at/record/3372
DOI: 10.1038/nature09831
PMID: 21430721

Sixt MK, Parent C. Cells on the move in Philadelphia. Molecular Biology and Evolution. 2011;22(6):724. doi:10.1091/mbc.E10-12-0958
LibreCat: https://research-explorer.ista.ac.at/record/3371
DOI: 10.1091/mbc.E10-12-0958

Tkadik G, Walczak A. Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. 2011;23(15). doi:10.1088/0953-8984/23/15/153102
LibreCat: https://research-explorer.ista.ac.at/record/3374
DOI: 10.1088/0953-8984/23/15/153102

Krens G, Möllmert S, Heisenberg C-PJ. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 2011;108(3):-. doi:10.1073/pnas.1010767108
LibreCat: https://research-explorer.ista.ac.at/record/3368
DOI: 10.1073/pnas.1010767108
PMID: 21212360

Kupczok A. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 2011;60(2):218-225. doi:10.1093/sysbio/syq086
LibreCat: https://research-explorer.ista.ac.at/record/3370
DOI: 10.1093/sysbio/syq086

Pernia-Andrade A, Jonas PM. The multiple faces of RIM. Neuron. 2011;69(2):185-187. doi:10.1016/j.neuron.2011.01.010
LibreCat: https://research-explorer.ista.ac.at/record/3369
DOI: 10.1016/j.neuron.2011.01.010

Stockinger P, Heisenberg C-PJ, Maître J-L. Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. 2011;138(21):4673-4683. doi:10.1242/dev.071233
LibreCat: https://research-explorer.ista.ac.at/record/3396
DOI: 10.1242/dev.071233

Polechova J, Barton NH. Genetic drift widens the expected cline but narrows the expected cline width. Genetics. 2011;189(1):227-235. doi:10.1534/genetics.111.129817
LibreCat: https://research-explorer.ista.ac.at/record/3394
DOI: 10.1534/genetics.111.129817

Barton NH, Etheridge A. The relation between reproductive value and genetic contribution. Genetics. 2011;188(4):953-973. doi:10.1534/genetics.111.127555
LibreCat: https://research-explorer.ista.ac.at/record/3390
DOI: 10.1534/genetics.111.127555

de Vladar H, Barton NH. The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. 2011;26(8):424-432. doi:10.1016/j.tree.2011.04.002
LibreCat: https://research-explorer.ista.ac.at/record/3391
DOI: 10.1016/j.tree.2011.04.002

Maître J-L, Heisenberg C-PJ. The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. 2011;23(5):508-514. doi:10.1016/j.ceb.2011.07.004
LibreCat: https://research-explorer.ista.ac.at/record/3397
DOI: 10.1016/j.ceb.2011.07.004

Janovjak HL, Sandoz G, Isacoff E. Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. 2011;2(232):1-6. doi:10.1038/ncomms1231
LibreCat: https://research-explorer.ista.ac.at/record/3405
DOI: 10.1038/ncomms1231

Li W, Shavel A, Guzman R, et al. Morphology evolution of Cu2xS nanoparticles: from spheres to dodecahedrons. Chemical Communications. 2011;47(37):10332-10334. doi:10.1039/c1cc13803k
LibreCat: https://research-explorer.ista.ac.at/record/341
DOI: 10.1039/c1cc13803k

Plachta N, Bollenbach MT, Pease S, Fraser S, Pantazis P. Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology. 2011;13(2):117-123. doi:10.1038/ncb2154
LibreCat: https://research-explorer.ista.ac.at/record/3429
DOI: 10.1038/ncb2154

Sixt MK, Lämmermann T. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 2011;769:149-165. doi:10.1007/978-1-61779-207-6_11
LibreCat: https://research-explorer.ista.ac.at/record/3505
DOI: 10.1007/978-1-61779-207-6_11

Palero F, Guerao G, Clark P, Abello P. Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. 2011;91(2):485-492. doi:10.1017/S0025315410000287
LibreCat: https://research-explorer.ista.ac.at/record/3784
DOI: 10.1017/S0025315410000287

Fasy BT. The difference in length of curves in R^n. Acta Sci Math (Szeged). 2011;77(1-2):359-367.
LibreCat: https://research-explorer.ista.ac.at/record/3781

Edelsbrunner H, Kerber M. Covering and packing with spheres by diagonal distortion in R^n. In: Calude C, Rozenberg G, Salomaa A, eds. Rainbow of Computer Science. Vol 6570. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer; 2011:20-35. doi:10.1007/978-3-642-19391-0_2
LibreCat: https://research-explorer.ista.ac.at/record/3796
DOI: 10.1007/978-3-642-19391-0_2

Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 2011;22(4):823-841. doi:10.1142/S0129054111008441
LibreCat: https://research-explorer.ista.ac.at/record/3381
DOI: 10.1142/S0129054111008441

Alpichshev Z, Analytis JG, Chu JH, Fisher IR, Kapitulnik A. STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3. Physical Review B - Condensed Matter and Materials Physics. 2011;84(4). doi:10.1103/PhysRevB.84.041104
LibreCat: https://research-explorer.ista.ac.at/record/386
DOI: 10.1103/PhysRevB.84.041104
arXiv: 1003.2233

Chatterjee K, Henzinger TA, Prabhu V. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 2011;7(4). doi:10.2168/LMCS-7(4:8)2011
LibreCat: https://research-explorer.ista.ac.at/record/3315
DOI: 10.2168/LMCS-7(4:8)2011

Wang B, Edelsbrunner H, Morozov D. Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics. 2011;16(2.2):1-13. doi:10.1145/1963190.1970375
LibreCat: https://research-explorer.ista.ac.at/record/3965
DOI: 10.1145/1963190.1970375

Furutani M, Sakamoto N, Yoshida S, et al. Polar localized NP-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers. Development. 2011;138(10):2069-2078. doi:10.1242/dev.057745
LibreCat: https://research-explorer.ista.ac.at/record/3086
DOI: 10.1242/dev.057745

Kitakura S, Vanneste S, Robert S, et al. Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis. Plant Cell. 2011;23(5):1920-1931. doi:10.1105/tpc.111.083030
LibreCat: https://research-explorer.ista.ac.at/record/3087
DOI: 10.1105/tpc.111.083030

Ding Z, Galván Ampudia C, Demarsy E, et al. Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis. Nature Cell Biology. 2011;13(4):447-453. doi:10.1038/ncb2208
LibreCat: https://research-explorer.ista.ac.at/record/3085
DOI: 10.1038/ncb2208

Feraru E, Feraru M, Kleine Vehn J, et al. PIN polarity maintenance by the cell wall in Arabidopsis. Current Biology. 2011;21(4):338-343. doi:10.1016/j.cub.2011.01.036
LibreCat: https://research-explorer.ista.ac.at/record/3084
DOI: 10.1016/j.cub.2011.01.036

Balla J, Kalousek P, Reinöhl V, Friml J, Procházka S. Competitive canalization of PIN dependent auxin flow from axillary buds controls pea bud outgrowth. Plant Journal. 2011;65(4):571-577. doi:10.1111/j.1365-313X.2010.04443.x
LibreCat: https://research-explorer.ista.ac.at/record/3082
DOI: 10.1111/j.1365-313X.2010.04443.x

Robinson D, Scheuring D, Naramoto S, Friml J. AR localizes to the golgi and the trans Golgi network. Plant Cell. 2011;23(3):846-849. doi:10.1105/tpc.110.082099
LibreCat: https://research-explorer.ista.ac.at/record/3083
DOI: 10.1105/tpc.110.082099

Zwiewka M, Feraru E, Möller B, et al. The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. 2011;21(12):1711-1722. doi:10.1038/cr.2011.99
LibreCat: https://research-explorer.ista.ac.at/record/3101
DOI: 10.1038/cr.2011.99

Kleine Vehn J, Wabnik KT, Martinière A, et al. Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane. Molecular Systems Biology. 2011;7. doi:10.1038/msb.2011.72
LibreCat: https://research-explorer.ista.ac.at/record/3098
DOI: 10.1038/msb.2011.72

Vanneste S, Coppens F, Lee E, et al. Developmental regulation of CYCs contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. 2011;30(16):3430-3441. doi:10.1038/emboj.2011.240
LibreCat: https://research-explorer.ista.ac.at/record/3100
DOI: 10.1038/emboj.2011.240

Drakakaki G, Robert S, Szatmári A, et al. Clusters of bioactive compounds target dynamic endomembrane networks in vivo. PNAS. 2011;108(43):17850-17855. doi:10.1073/pnas.1108581108
LibreCat: https://research-explorer.ista.ac.at/record/3099
DOI: 10.1073/pnas.1108581108

Dubrovsky J, Napsucialy Mendivil S, Duclercq J, et al. Auxin minimum defines a developmental window for lateral root initiation. New Phytologist. 2011;191(4):970-983. doi: 10.1111/j.1469-8137.2011.03757.x
LibreCat: https://research-explorer.ista.ac.at/record/3095
DOI:  10.1111/j.1469-8137.2011.03757.x

Marhavý P, Bielach A, Abas L, et al. Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis. Developmental Cell. 2011;21(4):796-804. doi:10.1016/j.devcel.2011.08.014
LibreCat: https://research-explorer.ista.ac.at/record/3097
DOI: 10.1016/j.devcel.2011.08.014

Wabnik KT, Kleine Vehn J, Govaerts W, Friml J. Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization. Trends in Plant Science. 2011;16(9):468-475. doi:10.1016/j.tplants.2011.05.002
LibreCat: https://research-explorer.ista.ac.at/record/3096
DOI: 10.1016/j.tplants.2011.05.002

Sullivan D, Csicsvari JL, Mizuseki K, Montgomery S, Diba K, Buzsáki G. Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. 2011;31(23):8605-8616. doi:10.1523/JNEUROSCI.0294-11.2011
LibreCat: https://research-explorer.ista.ac.at/record/3138
DOI: 10.1523/JNEUROSCI.0294-11.2011

Tasic B, Hippenmeyer S, Wang C, et al. Site specific integrase mediated transgenesis in mice via pronuclear injection. PNAS. 2011;108(19):7902-7907. doi:10.1073/pnas.1019507108
LibreCat: https://research-explorer.ista.ac.at/record/3145
DOI: 10.1073/pnas.1019507108

Degennaro M, Hurd T, Siekhaus DE, Biteau B, Jasper H, Lehmann R. Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion. Developmental Cell. 2011;20(2):233-243. doi:10.1016/j.devcel.2010.12.007
LibreCat: https://research-explorer.ista.ac.at/record/3154
DOI: 10.1016/j.devcel.2010.12.007

Faust S, Pietrzak KZ, Venturi D. Tamper proof circuits How to trade leakage for tamper resilience. In: Vol 6755. Springer; 2011:391-402. doi:10.1007/978-3-642-22006-7_33
LibreCat: https://research-explorer.ista.ac.at/record/3239
DOI: 10.1007/978-3-642-22006-7_33

Jain A, Pietrzak KZ. Parallel repetition for leakage resilience amplification revisited. In: Vol 6597. Springer; 2011:58-69. doi:10.1007/978-3-642-19571-6_5
LibreCat: https://research-explorer.ista.ac.at/record/3236
DOI: 10.1007/978-3-642-19571-6_5

Prentice J, Homann J, Simmons K, Tkadik G, Balasubramanian V, Nelson P. Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. 2011;6(7). doi:10.1371/journal.pone.0019884
LibreCat: https://research-explorer.ista.ac.at/record/3276
DOI: 10.1371/journal.pone.0019884

Wagner H, Chen C, Vuçini E. Efficient computation of persistent homology for cubical data. In: Peikert R, Hauser H, Carr H, Fuchs R, eds. Topological Methods in Data Analysis and Visualization II. Springer; 2011:91-106. doi:10.1007/978-3-642-23175-9_7
LibreCat: https://research-explorer.ista.ac.at/record/3271
DOI: 10.1007/978-3-642-23175-9_7

Vila R, Pierce N, Nash D, Ugelvig LV. A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade. Molecular Phylogenetics and Evolution. 2011;61(1):237-243. doi:10.1016/j.ympev.2011.05.016
LibreCat: https://research-explorer.ista.ac.at/record/3278
DOI: 10.1016/j.ympev.2011.05.016

Chen C, Kerber M. Persistent homology computation with a twist. In: TU Dortmund; 2011:197-200.
LibreCat: https://research-explorer.ista.ac.at/record/3270

Raveendran K, Wojtan C, Turk G. Hybrid smoothed particle hydrodynamics. In: Spencer S, ed. ACM; 2011:33-42. doi:10.1145/2019406.2019411
LibreCat: https://research-explorer.ista.ac.at/record/3298
DOI: 10.1145/2019406.2019411

Wojtan C, Müller Fischer M, Brochu T. Liquid simulation with mesh-based surface tracking. In: ACM; 2011. doi:10.1145/2037636.2037644
LibreCat: https://research-explorer.ista.ac.at/record/3297
DOI: 10.1145/2037636.2037644

Lohse K, Harrison R, Barton NH. A general method for calculating likelihoods under the coalescent process. Genetics. 2011;189(3):977-987. doi:10.1534/genetics.111.129569
LibreCat: https://research-explorer.ista.ac.at/record/3290
DOI: 10.1534/genetics.111.129569

Zheng Y, Gu S, Edelsbrunner H, Tomasi C, Benfey P. Detailed Reconstruction of 3D Plant Root Shape. IEEE; 2011. doi:10.1109/ICCV.2011.6126475
LibreCat: https://research-explorer.ista.ac.at/record/3312
DOI: 10.1109/ICCV.2011.6126475

Chen C, Edelsbrunner H. Diffusion runs low on persistence fast. In: Proceedings of the IEEE International Conference on Computer Vision. IEEE; 2011. doi:10.1109/ICCV.2011.6126271
LibreCat: https://research-explorer.ista.ac.at/record/3313
DOI: 10.1109/ICCV.2011.6126271

Edelsbrunner H. Alpha shapes - a survey. In: van de Weygaert R, Vegter G, Ritzerveld J, Icke V, eds. Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. Springer.
LibreCat: https://research-explorer.ista.ac.at/record/3311

Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata . In: Vol 6996. Springer; 2011:482-491. doi:10.1007/978-3-642-24372-1_37
LibreCat: https://research-explorer.ista.ac.at/record/3326
DOI: 10.1007/978-3-642-24372-1_37

Alur R, Cerny P. Streaming transducers for algorithmic verification of single pass list processing programs. In: Vol 46. ACM; 2011:599-610. doi:10.1145/1926385.1926454
LibreCat: https://research-explorer.ista.ac.at/record/3325
DOI: 10.1145/1926385.1926454

Piskac R, Wies T. Decision procedures for automating termination proofs. In: Jhala R, Schmidt D, eds. Vol 6538. Springer; 2011:371-386. doi:10.1007/978-3-642-18275-4_26
LibreCat: https://research-explorer.ista.ac.at/record/3324
DOI: 10.1007/978-3-642-18275-4_26

Boker U, Kupferman O. Co-Büching them all. In: Hofmann M, ed. Vol 6604. Springer; 2011:184-198. doi:10.1007/978-3-642-19805-2_13
LibreCat: https://research-explorer.ista.ac.at/record/3327
DOI: 10.1007/978-3-642-19805-2_13

Wang Z, Lampert C, Mülling K, Schölkopf B, Peters J. Learning anticipation policies for robot table tennis. In: IEEE; 2011:332-337. doi:10.1109/IROS.2011.6094892
LibreCat: https://research-explorer.ista.ac.at/record/3337
DOI: 10.1109/IROS.2011.6094892

Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3339
arXiv: 1107.2132

Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:260-276. doi:10.1007/978-3-642-22110-1_21
LibreCat: https://research-explorer.ista.ac.at/record/3342
DOI: 10.1007/978-3-642-22110-1_21
arXiv: 1104.3348

Chatterjee K, Fijalkow N. Finitary languages. In: Vol 6638. Springer; 2011:216-226. doi:10.1007/978-3-642-21254-3_16
LibreCat: https://research-explorer.ista.ac.at/record/3347
DOI: 10.1007/978-3-642-21254-3_16
arXiv: 1101.1727

Brázdil T, Broeek V, Chatterjee K, Forejt V, Kudera A. Two views on multiple mean payoff objectives in Markov Decision Processes. In: IEEE; 2011. doi:10.1109/LICS.2011.10
LibreCat: https://research-explorer.ista.ac.at/record/3346
DOI: 10.1109/LICS.2011.10

Chatterjee K, Prabhu V. Synthesis of memory efficient real time controllers for safety objectives. In: Springer; 2011:221-230. doi:10.1145/1967701.1967734
LibreCat: https://research-explorer.ista.ac.at/record/3348
DOI: 10.1145/1967701.1967734

Chatterjee K. Graph games with reachability objectives. In: Delzanno G, Potapov I, eds. Vol 6945. Springer; 2011:1-1. doi:10.1007/978-3-642-24288-5_1
LibreCat: https://research-explorer.ista.ac.at/record/3344
DOI: 10.1007/978-3-642-24288-5_1

Chatterjee K, Henzinger MH. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. In: SIAM; 2011:1318-1336. doi:10.1137/1.9781611973082.101
LibreCat: https://research-explorer.ista.ac.at/record/3343
DOI: 10.1137/1.9781611973082.101

Boker U, Henzinger TA. Determinizing discounted-sum automata. In: Vol 12. Springer; 2011:82-96. doi:10.4230/LIPIcs.CSL.2011.82
LibreCat: https://research-explorer.ista.ac.at/record/3360
DOI: 10.4230/LIPIcs.CSL.2011.82

Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21
LibreCat: https://research-explorer.ista.ac.at/record/3361
DOI: 10.1109/CSF.2011.21

Henzinger TA, Singh V, Wies T, Zufferey D. Scheduling large jobs by abstraction refinement. In: ACM; 2011:329-342. doi:10.1145/1966445.1966476
LibreCat: https://research-explorer.ista.ac.at/record/3358
DOI: 10.1145/1966445.1966476

Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666
LibreCat: https://research-explorer.ista.ac.at/record/3359
DOI: 10.1145/2038642.2038666

Chatterjee K, Henzinger TA, Horn F. The complexity of request-response games. In: Dediu A-H, Inenaga S, Martín-Vide C, eds. Vol 6638. Springer; 2011:227-237. doi:10.1007/978-3-642-21254-3_17
LibreCat: https://research-explorer.ista.ac.at/record/3357
DOI: 10.1007/978-3-642-21254-3_17

Ibáñez M, Guardia P, Shavel A, et al. Growth kinetics of asymmetric Bi2 nanocrystals: Size distribution focusing in nanorods. Journal of Physical Chemistry C. 2011;115(16):7947-7955. doi:10.1021/jp2002904
LibreCat: https://research-explorer.ista.ac.at/record/336
DOI: 10.1021/jp2002904

Row R, Maître J-L, Martin B, Stockinger P, Heisenberg C-PJ, Kimelman D. Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. 2011;354(1):102-110. doi:10.1016/j.ydbio.2011.03.025
LibreCat: https://research-explorer.ista.ac.at/record/3379
DOI: 10.1016/j.ydbio.2011.03.025
PMID: 1463614

Bollenbach MT, Kishony R. Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. 2011;42(4):413-425. doi:10.1016/j.molcel.2011.04.016
LibreCat: https://research-explorer.ista.ac.at/record/3376
DOI: 10.1016/j.molcel.2011.04.016

Logeswaran S, Barton NH. Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. 2011;93(3):221-232. doi:10.1017/S0016672311000115
LibreCat: https://research-explorer.ista.ac.at/record/3380
DOI: 10.1017/S0016672311000115

Edelsbrunner H, Morozov D, Patel A. Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. 2011;11(3):345-361. doi:10.1007/s10208-011-9090-8
LibreCat: https://research-explorer.ista.ac.at/record/3377
DOI: 10.1007/s10208-011-9090-8

Bendich P, Harer J. Persistent intersection homology. Foundations of Computational Mathematics. 2011;11(3):305-336. doi:10.1007/s10208-010-9081-1
LibreCat: https://research-explorer.ista.ac.at/record/3378
DOI: 10.1007/s10208-010-9081-1