Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

7642 Publications


2011 | Conference Poster | IST-REx-ID: 3312 | OA
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
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3313 | OA
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
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3315 | OA
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
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3316 | OA
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
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3318 | OA
Eggermann E, Jonas PM. How the “slow” 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
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3319
Quadrianto N, Lampert C. Learning multi-view neighborhood preserving projections. In: Omnipress; 2011:425-432.
View
 

2011 | Journal Article | IST-REx-ID: 3320 | OA
Nowozin S, Lampert C. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 2011;6(3-4):185-365. doi:10.1561/0600000033
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3322
Lampert C. Maximum Margin Multi Label Structured Prediction. Neural Information Processing Systems; 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. An efficient decision procedure for imperative tree data structures. In: Vol 6803. Springer; 2011:476-491. doi:10.1007/978-3-642-22438-6_36
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3325
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
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
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
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3327
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
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3328 | OA
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
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3329 | OA
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
View | Files available | DOI | Download Preprint (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3330 | OA
Kerber M, Sagraloff M. Root refinement for real polynomials. In: Springer; 2011:209-216. doi:10.1145/1993886.1993920
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3332 | OA
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
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3334
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
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3335 | OA
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
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3337
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
View | DOI
 

2011 | Preprint | IST-REx-ID: 3338 | OA
Chatterjee K. Bounded rationality in concurrent parity games. arXiv. 2011:1-51.
View | Files available | Download Preprint (ext.) | arXiv
 

2011 | Preprint | IST-REx-ID: 3339 | OA
Chatterjee K, De Alfaro L, Pritam R. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. 2011.
View | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3344
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
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi:10.1007/978-3-642-22993-0_21
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Two views on multiple mean payoff objectives in Markov Decision Processes. In: IEEE; 2011. doi:10.1109/LICS.2011.10
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
Chatterjee K, Fijalkow N. Finitary languages. In: Vol 6638. Springer; 2011:216-226. doi:10.1007/978-3-642-21254-3_16
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
Chatterjee K, Prabhu V. Synthesis of memory efficient real time controllers for safety objectives. In: Springer; 2011:221-230. doi:10.1145/1967701.1967734
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 335
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
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3350
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
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3351 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3352
Fisher J, Harel D, Henzinger TA. Biology as reactivity. Communications of the ACM. 2011;54(10):72-82. doi:10.1145/2001269.2001289
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3353 | OA
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
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3354
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
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3355 | OA
Halalai R, Henzinger TA, Singh V. Quantitative evaluation of BFT protocols. In: IEEE; 2011:255-264. doi:10.1109/QEST.2011.40
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3356 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. In: IEEE; 2011. doi:10.1109/LICS.2011.33
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3357
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
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358 | OA
Henzinger TA, Singh V, Wies T, Zufferey D. Scheduling large jobs by abstraction refinement. In: ACM; 2011:329-342. doi:10.1145/1966445.1966476
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3359
Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666
View | DOI
 

2011 | Journal Article | IST-REx-ID: 336
Ibáñez M, Guardia P, Shavel A, et al. Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods. Journal of Physical Chemistry C. 2011;115(16):7947-7955. doi:10.1021/jp2002904
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker U, Henzinger TA. Determinizing discounted-sum automata. In: Vol 12. Springer; 2011:82-96. doi:10.4230/LIPIcs.CSL.2011.82
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
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
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
View | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3364 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. 2011;412(21):2128-2141. doi:10.1016/j.tcs.2010.10.022
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
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
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. Quantitative synthesis for concurrent programs. In: Gopalakrishnan G, Qadeer S, eds. Vol 6806. Springer; 2011:243-259. doi:10.1007/978-3-642-22110-1_20
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3367
Chen C, Kerber M. An output sensitive algorithm for persistent homology. In: ACM; 2011:207-216. doi:10.1145/1998196.1998228
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368 | OA
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):E9-E10. doi:10.1073/pnas.1010767108
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade A, Jonas PM. The multiple faces of RIM. Neuron. 2011;69(2):185-187. doi:10.1016/j.neuron.2011.01.010
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
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
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3372 | OA
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. Measuring the complete force field of an optical trap. Optics Letters. 2011;36(7):1260-1262. doi:10.1364/OL.36.001260
View | Files available | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3374 | OA
Tkačik 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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375 | OA
de Vladar H, Barton NH. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 2011;8(58):720-739. doi:10.1098/rsif.2010.0438
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3377 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3378
Bendich P, Harer J. Persistent intersection homology. Foundations of Computational Mathematics. 2011;11(3):305-336. doi:10.1007/s10208-010-9081-1
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3379 | OA
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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3380 | OA
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
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3381 | OA
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
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3382
Kroemer O, Lampert C, Peters J. Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics. 2011;27(3):545-557. doi:10.1109/TRO.2011.2121130
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3383
Heisenberg C-PJ. Invited Lectures ‐ Symposia Area. FEBS Journal. 2011;278(S1):24-24. doi:10.1111/j.1742-4658.2011.08136.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3384 | OA
Tkačik G, Garrigan P, Ratliff C, et al. Natural images from the birthplace of the human eye. PLoS One. 2011;6(6). doi:10.1371/journal.pone.0020409
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3385
Sixt MK. Interstitial locomotion of leukocytes. Immunology Letters. 2011;138(1):32-34. doi:10.1016/j.imlet.2011.02.013
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3386
Schrempf A, Cremer S, Heinze J. Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology. 2011;24(7):1455-1461. doi:10.1111/j.1420-9101.2011.02278.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3387 | OA
Kupczok A. Split based computation of majority rule supertrees. BMC Evolutionary Biology. 2011;11(205). doi:10.1186/1471-2148-11-205
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3388 | OA
Ugelvig LV, Nielsen P, Boomsma J, Nash D. Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology. 2011;11(201). doi:10.1186/1471-2148-11-201
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3389
Blaschko M, Shelton J, Bartels A, Lampert C, Gretton A. Semi supervised kernel canonical correlation analysis with application to human fMRI. Pattern Recognition Letters. 2011;32(11):1572-1583. doi:10.1016/j.patrec.2011.02.011
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
Barton NH, Etheridge A. The relation between reproductive value and genetic contribution. Genetics. 2011;188(4):953-973. doi:10.1534/genetics.111.127555
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3391 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3392
Soriano S, Hons M, Schumann K, et al. In vivo analysis of uropod function during physiological T cell trafficking. Journal of Immunology. 2011;187(5):2356-2364. doi:10.4049/jimmunol.1100935
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3393 | OA
Barton NH, Turelli M. Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. 2011;178(3):E48-E75. doi:10.1086/661246
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
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
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3397 | OA
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
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3399 | OA
Cremer S, Schrempf A, Heinze J. Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. 2011;6(3). doi:10.1371/journal.pone.0017323
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3401
Little S, Tkačik G, Kneeland T, Wieschaus E, Gregor T. The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source. PLoS Biology. 2011;9(3). doi:10.1371/journal.pbio.1000596
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3405 | OA
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
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 341
Li W, Shavel A, Guzman R, et al. Morphology evolution of Cu2−xS nanoparticles: from spheres to dodecahedrons. Chemical Communications. 2011;47(37):10332-10334. doi:10.1039/c1cc13803k
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8025 | OA
Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. State-dependent function of neocortical chandelier cells. Journal of Neuroscience. 2011;31(49):17872-17886. doi:10.1523/jneurosci.3894-11.2011
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 8074
Vogels TP, Sprekeler H, Zenke F, Clopath C, Gerstner W. Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. 2011;334(6062):1569-1573. doi:10.1126/science.1211095
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 8464
Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. 2011;50(46):11005-11009. doi:10.1002/anie.201103944
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 8468
Lalli D, Schanda P, Chowdhury A, et al. Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. 2011;51(4):477-485. doi:10.1007/s10858-011-9578-1
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8469
Schanda P, Meier BH, Ernst M. Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. 2011;210(2):246-259. doi:10.1016/j.jmr.2011.03.015
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8470
Huber M, Hiller S, Schanda P, et al. A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. 2011;12(5):915-918. doi:10.1002/cphc.201100062
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8471
Van Melckebeke H, Schanda P, Gath J, et al. Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR. Journal of Molecular Biology. 2011;405(3):765-772. doi:10.1016/j.jmb.2010.11.004
View | DOI
 

2011 | Journal Article | IST-REx-ID: 8505
Galante J, Kaloshin V. Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action. Duke Mathematical Journal. 2011;159(2):275-327. doi:10.1215/00127094-1415878
View | DOI
 

2011 | Journal Article | IST-REx-ID: 469 | OA
Vyleta N, Smith S. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 2011;31(12):4593-4606. doi:10.1523/JNEUROSCI.6398-10.2011
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 490 | OA
Schlögl A, Vidaurre C, Sander T. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011;2011. doi:10.1155/2011/935364
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 491
Eichner A, Sixt MK. Setting the clock for recirculating lymphocytes. Science Signaling. 2011;4(198). doi:10.1126/scisignal.2002617
View | DOI
 

2011 | Journal Article | IST-REx-ID: 518 | OA
Schraivogel D, Weinmann L, Beier D, et al. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322. doi:10.1038/emboj.2011.301
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 531 | OA
Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models. Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3
View | DOI | Download Published Version (ext.)
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee K. Bounded Rationality in Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0008
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee K, Doyen L. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi:10.15479/AT:IST-2011-0007
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee K. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria; 2011. doi:10.15479/AT:IST-2011-0006
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
Wies T, Muñiz M, Kuncak V. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria; 2011. doi:10.15479/AT:IST-2011-0005
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011. doi:10.15479/AT:IST-2011-0003
View | Files available | DOI
 

Search

Filter Publications