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.
9126 Publications
2008 | Journal Article | IST-REx-ID: 4509
Henzinger TA. 2008. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 366(1881), 3727–3736.
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4524
Ghosal A. 2008. A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
2008 | Conference Paper | IST-REx-ID: 4521
Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. 2008. Proving non-termination. POPL: Principles of Programming Languages, 147–158.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. 2008. Bounded asynchrony: Concurrency for modeling cell-cell interactions. FMSB: Formal Methods in Systems Biology, LNCS, vol. 5054, 17–32.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. 2008. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 19(3), 549–563.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with component reuse. EMSOFT: Embedded Software , 79–88.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. 2008. Spin hall effect of light via weak measurements: Sharp and smooth index variations. QELS: Quantum Electronics and Laser Science Conference, Optics InfoBase Conference Papers, .
View
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 6146 |
Bretscher AJ, Busch KE, de Bono M. 2008. A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 105(23), 8044–8049.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6148
Kammenga JE, Phillips PC, de Bono M, Doroszuk A. 2008. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 24(4), 178–185.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6149
Olofsson B, de Bono M. 2008. Sleep: dozy worms and sleepy flies. Current Biology. 18(5), R204–R206.
View
| DOI
| PubMed | Europe PMC
2008 | Conference Paper | IST-REx-ID: 7425
Santis M, Freunberger SA, Papra M, Büchi FN. 2008. Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks. 3rd International Conference on Fuel Cell Science, Engineering and Technology. International conference on fuel cell science, engineering and technology, 763–765.
View
| DOI
2008 | Journal Article | IST-REx-ID: 8481
Bersch B, Favier A, Schanda P, van Aelst S, Vallaeys T, Covès J, Mergeay M, Wattiez R. 2008. Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. 380(2), 386–403.
View
| DOI
2008 | Journal Article | IST-REx-ID: 8480
Schanda P, Brutscher B, Konrat R, Tollinger M. 2008. Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy. Journal of Molecular Biology. 380(4), 726–741.
View
| DOI
2008 | Journal Article | IST-REx-ID: 9537
Zilberman D. 2008. The evolving functions of DNA methylation. Current Opinion in Plant Biology. 11(5), 554–559.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 965 |
Morozov A, Serbyn M. 2008. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 154(2), 270–293.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 9457 |
Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. 2008. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 456(7218), 125–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 13423
Klajn R, Gray TP, Wesson PJ, Myers BD, Dravid VP, Smoukov SK, Grzybowski BA. 2008. Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates. Advanced Functional Materials. 18(18), 2763–2769.
View
| DOI
2008 | Journal Article | IST-REx-ID: 13422
Wei Y, Klajn R, Pinchuk AO, Grzybowski BA. 2008. Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 “nanoflowers”. Small. 4(10), 1635–1639.
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 1035 |
Mark M, Ferlaino F, Knoop S, Danzl JG, Kraemer T, Chin C, Nägerl H, Grimm R. 2007. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 76(4).
View
| DOI
| Download None (ext.)
2007 | Journal Article | IST-REx-ID: 11116 |
Franz C, Walczak R, Yavuz S, Santarella R, Gentzel M, Askjaer P, Galy V, Hetzer M, Mattaj IW, Antonin W. 2007. MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly. EMBO reports. 8(2), 165–172.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 11115
Anderson DJ, Hetzer M. 2007. Nuclear envelope formation by chromatin-mediated reorganization of the endoplasmic reticulum. Nature Cell Biology. 9(10), 1160–1166.
View
| DOI
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 11884
Henzinger MH. 2007. Search technologies for the internet. Science. 317(5837), 468–471.
View
| DOI
| PubMed | Europe PMC
2007 | Conference Paper | IST-REx-ID: 11924
Henzinger MH. 2007. Combinatorial algorithms for web search engines: three success stories. 18th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1022–1026.
View
2007 | Journal Article | IST-REx-ID: 128 |
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. 2007. Cover slip external cavity diode laser. Review of Scientific Instruments. 78(10), 106108.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Book Chapter | IST-REx-ID: 167 |
Browning TD, Heath Brown R. 2007.Simultaneous equal sums of three powers. In: Diophantine Geometry. CRM Series, vol. 4, 93–100.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 1762 |
Leek P, Fink JM, Blais A, Bianchetti R, Göppl M, Gambetta J, Schuster D, Frunzio L, Schoelkopf R, Wallraff A. 2007. Observation of Berry’s phase in a solid-state qubit. Science. 318(5858), 1889–1892.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 2091 |
Bickel B, Botsch M, Angst R, Matusik W, Otaduy M, Pfister H, Groß M. 2007. Multi scale capture of facial geometry and motion. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2093 |
Bickel B, Botsch M, Angst R, Matusik W, Otaduy M, Pfister H, Groß M. 2007. Multi scale capture of facial geometry and motion. ACM Transactions on Graphics. 26(3).
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2118 |
Maas J, Van Neerven J. 2007. On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions. Archiv der Mathematik. 89(3), 226–236.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2135
Lemeshko M, Nazarenko E, Gonchar A., Reznichenko L, Nedoseykina T, Novakovich A, Mathon O, Joly Y, Vedrinskiǐ R. 2007. EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K. Physical Review B - Condensed Matter and Materials Physics. 76.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2145
Lemeshko M, Nazarenko E, Gonchar A, Reznichenko L, Nedoseykina T, Novakovich A, Mathon O, Joly Y, Vedrinskiǐ R. 2007. EXAFS studies of the local atomic structure of the lead free piezoelectric ceramics Kx Na1-x Nb O3 over the temperature range 10-1023 K. Physical Review B - Condensed Matter and Materials Physics. 76(13).
View
| DOI
2007 | Journal Article | IST-REx-ID: 221 |
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, I. Michigan Mathematical Journal. 55(1), 51–80.
[Published Version]
View
| Files available
| DOI
| arXiv
2007 | Journal Article | IST-REx-ID: 222 |
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 143(3), 579–605.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 223 |
Browning TD. 2007. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 152(1), 13–38.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2367 |
Seiringer R. 2007. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 80(3), 285–288.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2372 |
Frank R, Lieb É, Seiringer R, Siedentop H. 2007. Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. 76(5).
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2370 |
Lieb É, Seiringer R, Yngvason J. 2007. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 59(3), 389–399.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2375 |
Frank R, Lieb É, Seiringer R. 2007. Number of bound states of Schrödinger operators with matrix-valued potentials. Letters in Mathematical Physics. 82(2–3), 107–116.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2373 |
Frank R, Hainzl C, Naboko S, Seiringer R. 2007. The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. 17(4), 559–567.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2371 |
Frank R, Lieb É, Seiringer R. 2007. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 275(2), 479–489.
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2451
Friml J. 2007. Auxin - Universal development signal in plant life. Živa. 1.
View
2007 | Journal Article | IST-REx-ID: 2495
Kuramoto E, Fujiyama F, Unzai T, Nakamura K, Hioki H, Furuta T, Shigemoto R, Ferraguti F, Kaneko T. 2007. Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum. Journal of Comparative Neurology. 500(5), 908–922.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2666
Luyt K, Slade T, Dorward J, Durant C, Wu Y, Shigemoto R, Mundell S, Váradi A, Molnár E. 2007. Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration. Journal of Neurochemistry. 100(3), 822–840.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2667
Masugi Tokita M, Tarusawa E, Watanabe M, Molnár E, Fujimoto K, Shigemoto R. 2007. Number and density of AMPA receptors in individual synapses in the rat cerebellum as revealed by SDS-digested freeze-fracture replica labeling. Journal of Neuroscience. 27(8), 2135–2144.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2669
Brewster A, Chen Y, Bender R, Yeh A, Shigemoto R, Baram T. 2007. Quantitative analysis and subcellular distribution of mRNA and protein expression of the hyperpolarization-activated cyclic nucleotide-gated channels throughout development in rat hippocampus. Cerebral Cortex. 17(3), 702–712.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2673
Ladera C, Godino M, Martín R, Luján R, Shigemoto R, Ciruela F, Torres M, Sánchez Prieto J. 2007. The coexistence of multiple receptors in a single nerve terminal provides evidence for pre-synaptic integration. Journal of Neurochemistry. 103(6), 2314–2326.
View
| DOI
2007 | Journal Article | IST-REx-ID: 2671
Bender R, Kirschstein T, Kretz O, Brewster A, Richichi C, Rüschenschmidt C, Shigemoto R, Beck H, Frotscher M, Baram T. 2007. Localization of HCN1 channels to presynaptic compartments: Novel plasticity that may contribute to hippocampal maturation. Journal of Neuroscience. 27(17), 4697–4706.
View
| DOI
2007 | Book Chapter | IST-REx-ID: 2705 |
Erdös L. 2007.Recent developments in quantum mechanics with magnetic fields. In: Spectral Theory and Mathematical Physics: a Festschrift in Honor of Barry Simon’s 60th Birthday . Proceedings of Symposia in Pure Mathematics, vol. 76, 401–428.
View
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2893
Carneiro J, Leon K, Caramalho Í, Van Den Dool C, Gardner R, Oliveira V, Bergman M, Sepúlveda N, Paixao T, Faro J, Demengeot J. 2007. When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory CD4 T cells. Immunological Reviews. 216(1), 48–68.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 2933
Kumar MP, Kolmogorov V, Torr P. 2007. An Analysis of Convex Relaxations for MAP Estimation. Neural Information Processing Systems.
View
2007 | Journal Article | IST-REx-ID: 3019
Blakeslee J, Bandyopadhyay A, Ok R, Mravec J, Titapiwatanakun B, Sauer M, Makam S, Cheng Y, Bouchard R, Adamec J, Geisler M, Nagashima A, Sakai T, Martinoia E, Friml J, Peer W, Murphy A. 2007. Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. 19(1), 131–147.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe P, Šamaj J, Baluška F, Friml J. 2007. A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 29(4), 371–381.
View
| DOI
| PubMed | Europe PMC
2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay A, Blakeslee J, Lee O, Mravec J, Sauer M, Titapiwatanakun B, Makam S, Bouchard R, Geisler M, Martinoia E, Friml J, Peer W, Murphy A. 2007. Interactions of PIN and PGP auxin transport mechanisms. Intercellular Signalling in Plants, Biochemical Society Transactions, vol. 35, 137–141.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3029
Laplaze L, Benková E, Casimiro I, Maes L, Vanneste S, Swarup R, Weijers D, Calvo V, Parizot B, Herrera Rodriguez M, Offringa R, Graham N, Doumas P, Friml J, Bogusz D, Beeckman T, Bennett M. 2007. Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. 19(12), 3889–3900.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3028
Michniewicz M, Zago M, Abas L, Weijers D, Schweighofer A, Meskiene I, Heisler M, Ohno C, Zhang J, Huang F, Schwab R, Weigel D, Meyerowitz E, Luschnig C, Offringa R, Friml J. 2007. Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. 130(6), 1044–1056.
View
| DOI
2007 | Journal Article | IST-REx-ID: 3024
Vieten A, Sauer M, Brewer P, Friml J. 2007. Molecular and cellular aspects of auxin-transport-mediated development. Trends in Plant Science. 12(4), 160–168.
View
| DOI
| PubMed | Europe PMC
2007 | Conference Paper | IST-REx-ID: 3192
Rother C, Kolmogorov V, Lempitsky V, Szummer M. 2007. Optimizing binary MRFs via extended roof duality. CVPR: Computer Vision and Pattern Recognition.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov V, Boykov Y, Rother C. 2007. Applications of parametric maxflow in computer vision. ICCV: International Conference on Computer Vision.
View
| DOI
| Download (ext.)