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.
9087 Publications
2009 | Conference Paper | IST-REx-ID: 3231
Kiltz E, Pietrzak KZ. On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model. In: Vol 5479. Springer; 2009:389-406. doi:10.1007/978-3-642-01001-9_23
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3232
Pietrzak KZ. A leakage resilient mode of operation. In: Vol 5479. Springer; 2009:462-482. doi:10.1007/978-3-642-01001-9_27
View
| DOI
2009 | Journal Article | IST-REx-ID: 3304
Weissman D, Desai M, Fisher D, Feldman M. The rate at which asexual populations cross fitness valleys. Theoretical Population Biology. 2009;75(4):286-300. doi:10.1016/j.tpb.2009.02.006
View
| DOI
2009 | Journal Article | IST-REx-ID: 337
Cabot A, Ibáñez M, Guardia P, Alivisatos P. Reaction regimes on the synthesis of hollow particles by the Kirkendall effect. Journal of the American Chemical Society. 2009;131(32):11326-11328. doi:10.1021/ja903751p
View
| DOI
2009 | Journal Article | IST-REx-ID: 3408
Szymczak P, Janovjak HL. Periodic forces trigger a complex mechanical response in ubiquitin. Journal of Molecular Biology. 2009;390(3):443-456. doi:10.1016/j.jmb.2009.04.071
View
| DOI
2009 | Journal Article | IST-REx-ID: 3428
Bollenbach MT, Kishony R. Hydroxyurea triggers cellular responses that actively cause bacterial cell death. Molecular Cell. 2009;36(5):728-729. doi:10.1016/j.molcel.2009.11.027
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3503 | 
Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives. In: Vol 5489. Springer; 2009:32-45. doi:10.1007/978-3-642-03092-5_4
View
| DOI
| Download (ext.)
2009 | Conference Poster | IST-REx-ID: 3699
Blaschko M, Lampert C, Bartels A. Semi-Supervised Analysis of Human FMRI Data. Berlin Institute of Technology; 2009.
View
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. Object localization with global and local context kernels. In: BMVA Press; 2009:1-11. doi:10.5244/C.23.63
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3704
Lampert C, Nickisch H, Harmeling S. Learning to detect unseen object classes by between-class attribute transfer. In: IEEE; 2009:951-958. doi:10.1109/CVPR.2009.5206594
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3715
Lampert C, Peters J. Active structured learning for high-speed object detection. In: Vol 5748. Springer; 2009:221-231. doi:10.1007/978-3-642-03798-6_23
View
| DOI
2009 | Conference Poster | IST-REx-ID: 3717
Lampert C, Peters J. A High-Speed Object Tracker from off-the-Shelf Components. IEEE; 2009.
View
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3737
Tkačik G, Walczak A, Bialek W. Optimizing information flow in small genetic networks. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2009;80(3). doi:10.1103/PhysRevE.80.031920
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy S, Tkačik G, Plotkin J. The dynamics of adaptation on correlated fitness landscapes. PNAS. 2009;106(44):18638-18643. doi:10.1073/pnas.0905497106
View
| DOI
| Download (ext.)
2009 | Preprint | IST-REx-ID: 3732 |
Tkačik G, Schneidman E, Berry M, Bialek W. Spin glass models for a network of real neurons. ArXiv. 2009;q-NC.
View
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3747
Tkačik G, Bialek W. Cell Biology: Networks, regulation, pathways. In: Meyers R, ed. Encyclopedia of Complexity and Systems Science. Springer; 2009:719-741. doi:10.1007/978-0-387-30440-3_48
View
| DOI
2009 | Journal Article | IST-REx-ID: 3764
Wojtan C, Thürey N, Gross M, Turk G. Deforming meshes that split and merge. ACM Transactions on Graphics. 2009;28(3). doi:10.1145/1531326.1531382
View
| DOI
2009 | Journal Article | IST-REx-ID: 3780 |
Davison A, Barton NH, Clarke B. The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. 2009;22(8):1624-1635. doi:10.1111/j.1420-9101.2009.01770.x
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3828
Schwenk J, Harmel N, Zolles G, et al. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 2009;323(5919):1313-1319. doi:10.1126/science.1167852
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3843 |
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. In: Vol 4. IEEE; 2009:118-127. doi:10.1109/HiBi.2009.23
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3841 |
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. In: Vol 5797. Springer; 2009:3-23. doi:10.1007/978-3-642-04420-5_2
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3844 |
Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3871 |
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata. In: Vol 5710. Springer; 2009:244-258. doi:10.1007/978-3-642-04081-8_17
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3870 |
Chatterjee K, Henzinger TA, Horn F. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 2009;11(1). doi:10.1145/1614431.1614432
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee K, De Alfaro L, Faella M, Legay A. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 2009;5(2). doi:10.2168/LMCS-5(2:7)2009
View
| DOI
2009 | Journal Article | IST-REx-ID: 3946 |
Cremer S, Sixt MK. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2009;364(1513):129-142. doi:10.1098/rstb.2008.0166
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 3947
Lämmermann T, Renkawitz J, Wu X, Hirsch K, Brakebusch C, Sixt MK. Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper). Blood. 2009;113(23):5703-5710. doi:10.1182/blood-2008-11-191882
View
| DOI
2009 | Journal Article | IST-REx-ID: 3948
Bauer M, Brakebusch C, Coisne C, et al. β1 integrins differentially control extravasation of inflammatory cell subsets into the CNS during autoimmunity. PNAS. 2009;106(6):1920-1925. doi:10.1073/pnas.0808909106
View
| DOI
2009 | Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, et al. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 2009;113(23):5801-5810. doi:10.1182/blood-2008-08-176123
View
| DOI
2009 | Journal Article | IST-REx-ID: 4136 |
Polechova J, Barton NH, Marion G. Species’ range: Adaptation in space and time. American Naturalist. 2009;174(5):E186-E204. doi:10.1086/605958
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 4149
Soete G, Heisenberg C-PJ. The role of the extracellular matrix in Kupffer’s vesicle formation in zebrafish. Mechanisms of Development. 2009;126:S168-S168. doi:10.1016/j.mod.2009.06.391
View
| DOI
2009 | Journal Article | IST-REx-ID: 4165
Oates A, Gorfinkiel N, Gonzalez Gaitan M, Heisenberg C-PJ. Quantitative approaches in developmental biology. Nature Reviews Genetics. 2009;10(8):517-530. doi:10.1038/nrg2548
View
| DOI
2009 | Journal Article | IST-REx-ID: 4192
Kai M, Buchan N, Heisenberg C-PJ, Tada M. Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. 2009;126(Supplement 1):S132-S132. doi:10.1016/j.mod.2009.06.269
View
| DOI
2009 | Journal Article | IST-REx-ID: 4223
Swoboda J, Meredith T, Campbell J, et al. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 2009;4(10):875-883. doi:10.1021/cb900151k
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 4228
Bollenbach T, Quan S, Chait RP, Kishony R. Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. 2009;139(4):707-718. doi:10.1016/j.cell.2009.10.025
View
| DOI
2009 | Journal Article | IST-REx-ID: 4242 |
Barton NH, De Cara M. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 2009;63(5):1171-1190. doi:10.1111/j.1558-5646.2009.00622.x
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, et al. ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 2009;57(1):27-44. doi:10.1111/j.1365-313X.2008.03668.x
View
| DOI
2009 | Journal Article | IST-REx-ID: 3049
Pernisová M, Klíma P, Horák J, et al. Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. 2009;106(9):3609-3614. doi:10.1073/pnas.0811539106
View
| DOI
2009 | Journal Article | IST-REx-ID: 3050
Růžička K, Šimášková M, Duclercq J, et al. Cytokinin regulates root meristem activity via modulation of the polar auxin transport. PNAS. 2009;106(11):4284-4289. doi:10.1073/pnas.0900060106
View
| DOI
2009 | Journal Article | IST-REx-ID: 3048
Tanaka H, Kitakura S, De Rycke R, De Groodt R, Friml J. Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking. Current Biology. 2009;19(5):391-397. doi:10.1016/j.cub.2009.01.057
View
| DOI
2009 | Journal Article | IST-REx-ID: 3054
Robert H, Friml J. Auxin and other signals on the move in plants. Nature Chemical Biology. 2009;5(5):325-332. doi:10.1038/nchembio.170
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 3052 |
Vanneste S, Friml J. Auxin: A trigger for change in plant development. Cell. 2009;136(6):1005-1016. doi:10.1016/j.cell.2009.03.001
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 3051 |
Weijers D, Friml J. SnapShot: Auxin signaling and transport. Cell. 2009;136(6):1172-1172. doi:10.1016/j.cell.2009.03.009
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 3053
Benková E, Ivanchenko M, Friml J, Shishkova S, Dubrovsky J. A morphogenetic trigger: Is there an emerging concept in plant developmental biology? Trends in Plant Science. 2009;14(4):189-193. doi:10.1016/j.tplants.2009.01.006
View
| DOI
2009 | Journal Article | IST-REx-ID: 3197 |
Kumar MP, Kolmogorov V, Torr P. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 2009;10:71-106.
View
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3199
Vicente S, Kolmogorov V, Rother C. Joint optimization of segmentation and appearance models. In: IEEE; 2009:755-762. doi:10.1109/ICCV.2009.5459287
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov V, Shioura A. New algorithms for convex cost tension problem with application to computer vision. Discrete Optimization. 2009;6(4):378-393. doi:10.1016/j.disopt.2009.04.006
View
| DOI
2009 | Journal Article | IST-REx-ID: 3292
Engel J, Schmalhorst PS, Dörk Bousset T, Ferrières V, Routier F. A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus. Journal of Biological Chemistry. 2009;284(49):33859-33868. doi:10.1074/jbc.M109.070219
View
| DOI
2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin S, Goswami S, Siddiqi O. Sensory correlates of imaginal conditioning in Drosophila melanogaster. Journal of Neurogenetics. 2009;23(1-2):210-219. doi:10.1080/01677060802491559
View
| DOI
2009 | Journal Article | IST-REx-ID: 3309
Uhler C. Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard. Journal of Agricultural Biological and Environmental Statistics. 2009;14(1):79-98. doi:10.1198/jabes.2009.0005
View
| DOI
2009 | Thesis | IST-REx-ID: 3400
Schmalhorst PS. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. 2009:1-72.
View
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3398
Bollenbach MT, Kishony R. Quiet gene circuit more fragile than its noisy peer. Cell. 2009;139(3):460-461. doi:10.1016/j.cell.2009.10.005
View
| DOI
2009 | Journal Article | IST-REx-ID: 3547
Remy S, Csicsvari JL, Beck H. Activity-dependent control of neuronal output by local and global dendritic spike attenuation. Neuron. 2009;61(6):906-916. doi:10.1016/j.neuron.2009.01.032
View
| DOI
2009 | Book Chapter | IST-REx-ID: 3578
Attali D, Boissonnat J, Edelsbrunner H. Stability and computation of medial axes: a state-of-the-art report. In: Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Springer; 2009:109-125. doi:10.1007/b106657_6
View
| DOI
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3675
Barton NH. Why sex and recombination? . In: Cold Spring Harbor Symposia on Quantitative Biology. Vol 74. Cold Spring Harbor Laboratory Press; 2009:187-195. doi:10.1101/sqb.2009.74.030
View
| DOI
2009 | Journal Article | IST-REx-ID: 3696
Lampert C, Blaschko M. Structured prediction by joint kernel support estimation. Machine Learning. 2009;77(2-3):249-269. doi:10.1007/s10994-009-5111-0
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3690
Dhillon P, Nowozin S, Lampert C. Combining appearance and motion for human action classification in videos. In: IEEE; 2009:22-29. doi:10.1109/CVPRW.2009.5204237
View
| DOI
2009 | Journal Article | IST-REx-ID: 3710
Lampert C, Blaschko M, Hofmann T. Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2009;31(12):2129-2142. doi:10.1109/TPAMI.2009.144
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3711
Dhillon P, Nowozin S, Lampert C. Combining appearance and motion for human action classification in videos. In: IEEE; 2009:22-29. doi:10.1109/CVPRW.2009.5204237
View
| DOI
| Download (ext.)
2009 | Book | IST-REx-ID: 3707
Lampert C. Kernel Methods in Computer Vision. Vol 4. now publishers; 2009. doi:10.1561/0600000027
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3708
Nowozin S, Lampert C. Global connectivity potentials for random field models. In: IEEE; 2009:818-825. doi:10.1109/CVPR.2009.5206567
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3709
Lampert C. Detecting objects in large image collections and videos by efficient subimage retrieval. In: IEEE; 2009:987-994. doi:10.1109/ICCV.2009.5459359
View
| DOI
2009 | Journal Article | IST-REx-ID: 3745
Tkačik G, Bialek W. Diffusion, dimensionality, and noise in transcriptional regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2009;79(5). doi:10.1103/PhysRevE.79.051901
View
| DOI
2009 | Journal Article | IST-REx-ID: 3775 |
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3835
Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems. In: Springer; 2009:85-92. doi:10.1109/FMCAD.2009.5351139
View
| DOI
2009 | Journal Article | IST-REx-ID: 3954
Renkawitz J, Schumann K, Weber M, et al. Adaptive force transmission in amoeboid cell migration. Nature Cell Biology. 2009;11(12):1438-1443. doi:10.1038/ncb1992
View
| DOI
2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky J, Gerstl R, Mannigel I, et al. A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 2009;114(19):4209-4220. doi:10.1182/blood-2009-02-206169
View
| DOI
2009 | Journal Article | IST-REx-ID: 3953
Wolf A, Eller K, Zeiser R, et al. The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 2009;183(6):3751-3760. doi:10.4049/jimmunol.0901011
View
| DOI
2009 | Journal Article | IST-REx-ID: 3955
Pflicke H, Sixt MK. Preformed portals facilitate dendritic cell entry into afferent lymphatic vessels. The Journal of Experimental Medicine. 2009;206(13):2925-2935. doi:10.1084/jem.20091739
View
| DOI
2009 | Journal Article | IST-REx-ID: 3950
Moser M, Bauer M, Schmid S, et al. Kindlin-3 is required for β2 integrin-mediated leukocyte adhesion to endothelial cells. Nature Medicine. 2009;15(3):300-305. doi:10.1038/nm.1921
View
| DOI
2009 | Journal Article | IST-REx-ID: 3951
Lämmermann T, Sixt MK. Mechanical modes of “amoeboid” cell migration. Current Opinion in Cell Biology. 2009;21(5):636-644. doi:10.1016/j.ceb.2009.05.003
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner H, Harer J. The persistent Morse complex segmentation of a 3-manifold. In: Vol 5903. Springer; 2009:36-50. doi:10.1007/978-3-642-10470-1_4
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3966
Cohen Steiner D, Edelsbrunner H, Harer J. Extending persistence using Poincare and Lefschetz duality. Foundations of Computational Mathematics. 2009;9(1):79-103. doi:10.1007/s10208-008-9027-z
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. Persistent homology for kernels, images, and cokernels. In: SIAM; 2009:1011-1020.
View
2009 | Journal Article | IST-REx-ID: 4143
Ulrich F, Heisenberg C-PJ. Trafficking and cell migration. Traffic. 2009;10(7):811-818. doi:10.1111/j.1600-0854.2009.00929.x
View
| DOI
2009 | Journal Article | IST-REx-ID: 4160
Oteíza P, Lemus C, Köppen M, et al. Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. 2009;126(Supplement 1):S11-S11. doi:10.1016/j.mod.2009.06.970
View
| DOI
2009 | Journal Article | IST-REx-ID: 4162
Oteíza P, Köppen M, Krieg M, et al. Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. 2009;126(Supplement 1):S80-S80. doi:10.1016/j.mod.2009.06.098
View
| DOI
2009 | Journal Article | IST-REx-ID: 4158
Paluch E, Heisenberg C-PJ. Biology and physics of cell shape changes in development. Current Biology. 2009;19(17):R790-R799. doi:10.1016/j.cub.2009.07.029
View
| DOI
2009 | Journal Article | IST-REx-ID: 4159
Paluch E, Heisenberg C-PJ. Chaos begets order: Asynchronous cell contractions drive epithelial morphogenesis. Developmental Cell. 2009;16(1):4-6. doi:10.1016/j.devcel.2008.12.011
View
| DOI
2009 | Journal Article | IST-REx-ID: 4206
Heisenberg C-PJ. Dorsal closure in Drosophila: cells cannot get out of the tight spot. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 2009;31(12):1284-1287. doi:10.1002/bies.200900109
View
| DOI
2009 | Journal Article | IST-REx-ID: 4217
Carvalho L, Stuehmer J, Bois J, Kalaidzidis Y, Lecaudey V, Heisenberg C-PJ. Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. 2009;136(8):1305-1315. doi:10.1242/dev.026922
View
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton NH, De Vladar H. Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. 2009;181(3):997-1011. doi:10.1534/genetics.108.099309
View
| DOI
2009 | Journal Article | IST-REx-ID: 4357
Bollback JP, Huelsenbeck J. Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. 2009;181(1):225-234. doi:10.1534/genetics.107.085225
View
| DOI
2009 | Thesis | IST-REx-ID: 4363
Singh V. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. 2009.
View
2009 | Conference Paper | IST-REx-ID: 4383 |
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 4453 |
Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. In: Vol 5688. Springer; 2009:173-188. doi:10.1007/978-3-642-03845-7_12
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
[Submitted Version]
View
| Files available
| DOI