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.
9084 Publications
2009 | Conference Paper | IST-REx-ID: 3503 |
Chatterjee K, Henzinger TA. 2009. Probabilistic systems with limsup and liminf objectives. ILC: Infinity in Logic and Computation, LNCS, vol. 5489, 32–45.
View
| DOI
| Download (ext.)
2009 | Conference Poster | IST-REx-ID: 3699
Blaschko M, Lampert C, Bartels A. 2009. Semi-supervised analysis of human fMRI data, Berlin Institute of Technology,p.
View
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. 2009. Object localization with global and local context kernels. BMVC: British Machine Vision Conference, Proceedings of the BMVC, , 1–11.
View
| DOI
| Download (ext.)
2009 | Conference Poster | IST-REx-ID: 3717
Lampert C, Peters J. 2009. A high-speed object tracker from off-the-shelf components, IEEE,p.
View
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3737
Tkačik G, Walczak A, Bialek W. 2009. Optimizing information flow in small genetic networks. Physical Review E Statistical Nonlinear and Soft Matter Physics. 80(3).
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy S, Tkačik G, Plotkin J. 2009. The dynamics of adaptation on correlated fitness landscapes. PNAS. 106(44), 18638–18643.
View
| DOI
| Download (ext.)
2009 | Preprint | IST-REx-ID: 3732 |
Tkačik G, Schneidman E, Berry M, Bialek W. 2009. Spin glass models for a network of real neurons. ArXiv, q-NC, .
View
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3780 |
Davison A, Barton NH, Clarke B. 2009. 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. 22(8), 1624–1635.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3843 |
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3841 |
Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3844 |
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3871 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3870 |
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3946 |
Cremer S, Sixt MK. 2009. Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 364(1513), 129–142.
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4136 |
Polechova J, Barton NH, Marion G. 2009. Species’ range: Adaptation in space and time. American Naturalist. 174(5), E186–E204.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 4223
Swoboda J, Meredith T, Campbell J, Brown S, Suzuki T, Bollenbach MT, Malhowski A, Kishony R, Gilmore M, Walker S. 2009. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 4(10), 875–883.
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 4242 |
Barton NH, De Cara M. 2009. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 63(5), 1171–1190.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun B, Blakeslee J, Bandyopadhyay A, Yang H, Mravec J, Sauer M, Cheng Y, Adamec J, Nagashima A, Geisler M, Sakai T, Friml J, Peer W, Murphy A. 2009. ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. 57(1), 27–44.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3049
Pernisová M, Klíma P, Horák J, Válková M, Malbeck J, Souček P, Reichman P, Hoyerová K, Dubová J, Friml J, Zažímalová E, Hejátko J. 2009. Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. 106(9), 3609–3614.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3054
Robert H, Friml J. 2009. Auxin and other signals on the move in plants. Nature Chemical Biology. 5(5), 325–332.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 3052 |
Vanneste S, Friml J. 2009. Auxin: A trigger for change in plant development. Cell. 136(6), 1005–1016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 3051 |
Weijers D, Friml J. 2009. SnapShot: Auxin signaling and transport. Cell. 136(6), 1172–1172.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 3197 |
Kumar MP, Kolmogorov V, Torr P. 2009. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 10, 71–106.
View
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3199
Vicente S, Kolmogorov V, Rother C. 2009. Joint optimization of segmentation and appearance models. ICCV: International Conference on Computer Vision, 755–762.
View
| DOI
| Download (ext.)
2009 | Thesis | IST-REx-ID: 3400
Schmalhorst PS. 2009. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
View
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3578
Attali D, Boissonnat J, Edelsbrunner H. 2009.Stability and computation of medial axes: a state-of-the-art report. In: Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration. Mathematics and Visualization, , 109–125.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3710
Lampert C, Blaschko M, Hofmann T. 2009. Efficient subwindow search: A branch and bound framework for object localization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 31(12), 2129–2142.
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3711
Dhillon P, Nowozin S, Lampert C. 2009. Combining appearance and motion for human action classification in videos. CVPR: Computer Vision and Pattern Recognition, 22–29.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3775 |
Barton NH, Coe J. 2009. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 259(2), 317–324.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky J, Gerstl R, Mannigel I, Niedung K, Frommhold D, Panthel K, Heesemann J, Sixt MK, Quast T, Kolanus W, Mocsai A, Wienands J, Sperandio M, Walzog B. 2009. A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 114(19), 4209–4220.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3953
Wolf A, Eller K, Zeiser R, Dürr C, Gerlach U, Sixt MK, Markut L, Gastl G, Rosenkranz A, Wolf D. 2009. The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 183(6), 3751–3760.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner H, Harer J. 2009. The persistent Morse complex segmentation of a 3-manifold. 3DPH: Modelling the Physiological Human, LNCS, vol. 5903, 36–50.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. 2009. Persistent homology for kernels, images, and cokernels. SODA: Symposium on Discrete Algorithms, 1011–1020.
View
2009 | Journal Article | IST-REx-ID: 4160
Oteíza P, Lemus C, Köppen M, Palma K, Krieg M, Melo C, Farias C, Pulgar E, Preibisch S, Hartel S, Heisenberg C-PJ, Concha M. 2009. Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. 126(Supplement 1), S11–S11.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4162
Oteíza P, Köppen M, Krieg M, Preibisch S, Haertel S, Müller D, Heisenberg C-PJ, Concha M. 2009. Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. 126(Supplement 1), S80–S80.
View
| DOI
2009 | Thesis | IST-REx-ID: 4363
Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
2009 | Conference Paper | IST-REx-ID: 4383 |
Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643, 321–336.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 4453 |
Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643, 337–352.
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Approximation of event probabilities in noisy cellular processes. CMSB: Computational Methods in Systems Biology, LNCS, vol. 5688, 173–188.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. 2009. Termination criteria for solving concurrent safety and reachability games. SODA: Symposium on Discrete Algorithms, 197–206.
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee K, Doyen L, Henzinger TA. 2009. Expressiveness and closure properties for quantitative languages. LICS: Logic in Computer Science, 199–208.
View
| Files available
| DOI