Please note that IST 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.

2651 Publications


2012 | Conference Paper | IST-REx-ID: 2930   OA
Huber A, Kolmogorov V. Towards minimizing k-submodular functions. In: Vol 7422. Springer; 2012:451-462. doi:10.1007/978-3-642-32147-4_40
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2959   OA
Uhler C. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 2012;40(1):238-261. doi:10.1214/11-AOS957
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2954   OA
Pernia-Andrade A, Goswami S, Stickler Y, Fröbe U, Schlögl A, Jonas PM. A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. 2012;103(7):1429-1439. doi:10.1016/j.bpj.2012.08.039
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2966   OA
Cremer S, Suefuji M, Schrempf A, Heinze J. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 2012;12. doi:10.1186/1472-6785-12-7
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3159   OA
Mileyko Y, Edelsbrunner H, Price C, Weitz J. Hierarchical ordering of reticular networks. PLoS One. 2012;7(6). doi:10.1371/journal.pone.0036715
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3161   OA
Vyleta M, Wong J, Magun B. Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One. 2012;7(5). doi:10.1371/journal.pone.0036044
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3123   OA
Yu J, Wojtan CJ, Turk G, Yap C. Explicit mesh surfaces for particle based fluids. In: Computer Graphics Forum. Vol 31. Blackwell Publishing; 2012:815-824. doi:10.1111/j.1467-8659.2012.03062.x
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3130   OA
Bergmiller T, Ackermann M, Silander O. Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. 2012;8(6). doi:10.1371/journal.pgen.1002803
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3166   OA
Vladar H. Amino acid fermentation at the origin of the genetic code. Biology Direct. 2012;7. doi:10.1186/1745-6150-7-6
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3262   OA
Tkacik G, Walczak A, Bialek W. Optimizing information flow in small genetic networks. III. A self-interacting gene. Physical Review E statistical nonlinear and soft matter physics . 2012;85(4). doi:10.1103/PhysRevE.85.041903
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3274
Rieckh G, Kreuzer W, Waubke H, Balazs P. A 2.5D-Fourier-BEM model for vibrations in a tunnel running through layered anisotropic soil. Engineering Analysis with Boundary Elements. 2012;36(6):960-967. doi:10.1016/j.enganabound.2011.12.014
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3279
Jain A, Pietrzak KZ, Tentes A. Hardness preserving constructions of pseudorandom functions. In: Vol 7194. Springer; 2012:369-382. doi:10.1007/978-3-642-28914-9_21
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3281
Pietrzak KZ, Rosen A, Segev G. Lossy functions do not amplify well. In: Vol 7194. Springer; 2012:458-475. doi:10.1007/978-3-642-28914-9_26
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3250
Pietrzak KZ. Cryptography from learning parity with noise. In: Vol 7147. Springer; 2012:99-114. doi:10.1007/978-3-642-27660-6_9
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3248   OA
Lampert C, Peters J. Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing. 2012;7(1):31-41. doi:10.1007/s11554-010-0168-3
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3243
Danowski P. Zwischen Technologie und Information. Büchereiperspektiven. 2012;1/2012:11.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2891   OA
Boker U, Henzinger TA. Approximate determinization of quantitative automata. In: Leibniz International Proceedings in Informatics. Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:362-373. doi:10.4230/LIPIcs.FSTTCS.2012.362
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916   OA
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface Simulation Distances. In: Electronic Proceedings in Theoretical Computer Science. Vol 96. EPTCS; 2012:29-42. doi:10.4204/EPTCS.96.3
View | Files available | DOI | Download (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2942
Henzinger TA, Nickovic D. Independent implementability of viewpoints. In: Conference Proceedings Monterey Workshop 2012. Vol 7539. Springer; 2012:380-395. doi:10.1007/978-3-642-34059-8_20
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947   OA
Chatterjee K, Chmelik M, Majumdar R. Equivalence of games with probabilistic uncertainty and partial observation games. In: Vol 7561. Springer; 2012:385-399. doi:10.1007/978-3-642-33386-6_30
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128   OA
Chatterjee K, Doyen L, Henzinger TA. A survey of partial-observation stochastic parity games. Formal Methods in System Design. 2012;43(2):268-284. doi:10.1007/s10703-012-0164-2
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3135   OA
Brázdil B, Chatterjee K, Kučera A, Novotny P. Efficient controller synthesis for consumption games with multiple resource types. In: Vol 7358. Springer; 2012:23-38. doi:10.1007/978-3-642-31424-7_8
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3255
Chatterjee K, Doyen L. Games and Markov decision processes with mean payoff parity and energy parity objectives. In: Vol 7119. Springer; 2012:37-46. doi:10.1007/978-3-642-25929-6_3
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 495   OA
Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata with advice. In: Proceedings GandALF 2012. Vol 96. Open Publishing Association; 2012:238-246. doi:10.4204/EPTCS.96.18
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588   OA
Pausinger F. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 2012;8(1):63-78.
View | Download (ext.) | WoS
 

2011 | Conference Paper | IST-REx-ID: 3270
Chen C, Kerber M. Persistent homology computation with a twist. In: TU Dortmund; 2011:197-200.
View
 

2011 | Thesis | IST-REx-ID: 3275
Schumann K. The Role of Chemotactic Gradients in Dendritic Cell Migration. IST Austria; 2011.
View | Files available
 

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

2011 | Conference Paper | IST-REx-ID: 3299   OA
Henzinger TA, Mateescu M. Propagation models for computing biochemical reaction networks. In: Springer; 2011:1-3. doi:10.1145/2037509.2037510
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3302   OA
Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. Static scheduling in clouds. In: USENIX; 2011:1-6.
View | Files available
 

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

2011 | Conference Paper | IST-REx-ID: 3326
Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata . In: Bultan T, Hsiung P-A, eds. Vol 6996. Springer; 2011:482-491. doi:10.1007/978-3-642-24372-1_37
View | 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 | 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: 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: 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 (ext.)
 

2011 | Journal Article | IST-REx-ID: 3395
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas . Biological Journal of the Linnean Society. 2011;104(2):407-418. doi:10.1111/j.1095-8312.2011.01728.x
View | DOI
 

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 (ext.)
 

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: 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: 3965
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
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3364
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 | 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: 504   OA
Polechova J, Barton NH, Marion G. Erratum: Species’ range: Adaptation in space and time (American Naturalist 174 (E186 E204)) . American Naturalist. 2011;177(4):546-547. doi:10.1086/659642
View | Files available | DOI | Download (ext.)
 

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

2011 | Technical Report | IST-REx-ID: 5384
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 | 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 (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3269
Sheng Y, Cutler B, Chen C, Nasman J. Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. 2011;30(4):1261-1268. doi:10.1111/j.1467-8659.2011.01985.x
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3271
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
View | DOI
 

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

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

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 (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3163
Lampert C. Maximum margin multi-label structured prediction. In: Neural Information Processing Systems; 2011.
View | Files available
 

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

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 | Conference Paper | IST-REx-ID: 3358
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
 

2011 | Journal Article | IST-REx-ID: 3372   OA
Abbot P, Abe J, Alcock J, et al. Inclusive fitness theory and eusociality. Nature. 2011;471(7339):E1-E4. doi:10.1038/nature09831
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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 | 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 (ext.)
 

2011 | Journal Article | IST-REx-ID: 3771
Pavan A, Martins F, Santos F, Ditchfield A, Fernandes Redondo RA. Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests. Biological Journal of the Linnean Society. 2011;102(3):527-539. doi:10.1111/j.1095-8312.2010.01601.x
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3384   OA
Tkacik 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: 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: 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 (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: 3505
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
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3315
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 | Journal Article | IST-REx-ID: 531
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
 

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 | Journal Article | IST-REx-ID: 6496   OA
Park H, Oikonomou P, Guet CC, Cluzel P. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 2011;101(10):2336-2340. doi:10.1016/j.bpj.2011.09.040
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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 (ext.)
 

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 | Conference Paper | IST-REx-ID: 3264
Gupta A, Popeea C, Rybalchenko A. Solving recursion-free Horn clauses over LI+UIF. In: Yang H, ed. Vol 7078. Springer; 2011:188-203. doi:10.1007/978-3-642-25318-8_16
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 | 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
 

2011 | Book Chapter | IST-REx-ID: 3311
Edelsbrunner H. Alpha shapes - a survey. In: Tessellations in the Sciences. Springer; 2011.
View
 

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 (ext.) | arXiv
 

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 (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3328
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
 

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

2011 | Book Chapter | IST-REx-ID: 3791
Krens G, Heisenberg C-PJ. Cell sorting in development. In: Labouesse M, ed. Current Topics in Developmental Biology. Vol 95. Forces and Tension in Development. Elsevier; 2011:189-213. doi:10.1016/B978-0-12-385065-2.00006-2
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3796   OA
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
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: 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: 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 (ext.)
 

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: 3429
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
View | DOI
 

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 (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: 3380
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
 

2011 | Journal Article | IST-REx-ID: 518
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
 

2011 | Technical Report | IST-REx-ID: 5386   OA
Chen C, Freedman D, Lampert C. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria; 2011. doi:10.15479/AT:IST-2011-0002
View | Files available | DOI
 

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 | Technical Report | IST-REx-ID: 5381
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 | Conference Paper | IST-REx-ID: 3316
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
 

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: 3359
Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666
View | 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: 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 (ext.) | arXiv
 

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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed