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: 4543
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_14
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
[Published Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel, M., Meyer, K., Bernecky, C., & Taatjes, D. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1767009
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 6144
Persson, A., Gross, E., Laurent, P., Busch, K. E., Bretes, H., & de Bono, M. (2009). Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature07820
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 6145
Cohen, M., Reale, V., Olofsson, B., Knights, A., Evans, P., & de Bono, M. (2009). Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. Elsevier. https://doi.org/10.1016/j.cmet.2009.02.003
View | DOI | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 11752
Yang, X., Riseborough, P. S., Modic, K. A., Fisher, R. A., Oppeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. In Journal of Physics: Conference Series (Vol. 200). Karlsruhe, Germany: IOP Publishing. https://doi.org/10.1088/1742-6596/200/3/032062
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7080
Yang, X.-D., Riseborough, P. S., Modic, K. A., Fisher, R. A., Opeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. Taylor & Francis. https://doi.org/10.1080/14786430902865518
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7319
Reum, M., Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2009). Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.3043422
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 752
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2009). Of choices, failures and asynchrony: the many faces of set agreement (Vol. 5878 LNCS, pp. 943–953). Presented at the ISAAC: International Symposium on Algorithms and Computation, Springer. https://doi.org/10.1007/978-3-642-10631-6_95
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7751
Robinson, M. R., Wilson, A. J., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2009). The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.086801
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Vogels, T. P., & Abbott, L. F. (2009). Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn.2276
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 88 | OA
Higginbotham, A. P., Semonin, O., Bruce, S., Chan, C., Maindi, M., Donnelly, T., … Ditmire, T. (2009). Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.3155302
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 964
Serbyn, M., Skvortsov, M., Varlamov, A., & Galitski, V. (2009). Giant nernst effect due to fluctuating cooper Pairs in superconductors (Vol. 1134, pp. 140–145). Presented at the Landau Memorial Conference on Advances in Theoretical Physics, American Institute of Physics. https://doi.org/10.1063/1.3149485
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8479
Gal, M., Kern, T., Schanda, P., Frydman, L., & Brutscher, B. (2009). An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-008-9284-9
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8478
Brüschweiler, S., Schanda, P., Kloiber, K., Brutscher, B., Kontaxis, G., Konrat, R., & Tollinger, M. (2009). Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja809947w
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8476
Farjon, J., Boisbouvier, J., Schanda, P., Pardi, A., Simorre, J.-P., & Brutscher, B. (2009). Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja901633y
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8477
Amero, C., Schanda, P., Durá, M. A., Ayala, I., Marion, D., Franzetti, B., … Boisbouvier, J. (2009). Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja809880p
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8474
Schanda, P., Huber, M., Verel, R., Ernst, M., & Meier, B. (2009). Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200904411
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8475
Schanda, P. (2009). Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy. Progress in Nuclear Magnetic Resonance Spectroscopy. Elsevier. https://doi.org/10.1016/j.pnmrs.2009.05.002
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8508
Gorodetski, A., & Kaloshin, V. (2009). Conservative homoclinic bifurcations and some applications. Proceedings of the Steklov Institute of Mathematics. Springer Nature. https://doi.org/10.1134/s0081543809040063
View | DOI
 

2009 | Journal Article | IST-REx-ID: 908
Alkalaeva, E., Eliseev, B., Ambrogelly, A., Vlasov, P., Kondrashov, F., Gundllapalli, S., … Kisselev, L. (2009). Translation termination in pyrrolysine-utilizing archaea. FEBS Letters. Elsevier. https://doi.org/10.1016/j.febslet.2009.09.044
View | DOI
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
Muller, C. J., Back, L. E., O’Gorman, P. A., & Emanuel, K. A. (2009). A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. American Geophysical Union. https://doi.org/10.1029/2009gl039667
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9147 | OA
Muller, C. J., & Bühler, O. (2009). Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. American Meteorological Society. https://doi.org/10.1175/2009jpo4141.1
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9453 | OA
Hsieh, T.-F., Ibarra, C. A., Silva, P., Zemach, A., Eshed-Williams, L., Fischer, R. L., & Zilberman, D. (2009). Genome-wide demethylation of Arabidopsis endosperm. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1172417
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13416
Olson, M. A., Coskun, A., Klajn, R., Fang, L., Dey, S. K., Browne, K. P., … Stoddart, J. F. (2009). Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl901385c
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13415
Klajn, R., Olson, M. A., Wesson, P. J., Fang, L., Coskun, A., Trabolsi, A., … Grzybowski, B. A. (2009). Dynamic hook-and-eye nanoparticle sponges. Nature Chemistry. Springer Nature. https://doi.org/10.1038/nchem.432
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13417
Klajn, R., Wesson, P. J., Bishop, K. J. M., & Grzybowski, B. A. (2009). Writing self-erasing images using metastable nanoparticle “inks.” Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200901119
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13414
Browne, K. P., Klajn, R., Villa, J., & Grzybowski, B. A. (2009). Mechanofabrication of pancake and rodlike nanostructures from deformable nanoparticle aggregates. Small. Wiley. https://doi.org/10.1002/smll.200900902
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13418
Nakanishi, H., Bishop, K. J. M., Kowalczyk, B., Nitzan, A., Weiss, E. A., Tretiakov, K. V., … Grzybowski, B. A. (2009). Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles. Nature. Springer Nature. https://doi.org/10.1038/nature08131
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13421
Olson, M. A., Braunschweig, A. B., Fang, L., Ikeda, T., Klajn, R., Trabolsi, A., … Stoddart, J. F. (2009). A bistable poly[2]catenane forms nanosuperstructures. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200804558
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13420
Klajn, R., Fang, L., Coskun, A., Olson, M. A., Wesson, P. J., Stoddart, J. F., & Grzybowski, B. A. (2009). Metal nanoparticles functionalized with molecular and supramolecular switches. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja9001585
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13419
Wesson, P. J., Soh, S., Klajn, R., Bishop, K. J. M., Gray, T. P., & Grzybowski, B. A. (2009). “Remote” fabrication via three-dimensional reaction-diffusion: Making complex core-and-shell particles and assembling them into open-lattice crystals. Advanced Materials. Wiley. https://doi.org/10.1002/adma.200802964
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson, M., Haller, E., Mark, M., Danzl, J. G., Rojas Kopeinig, G., & Nägerl, H. (2008). Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.080404
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop, S., Mark, M., Ferlaino, F., Danzl, J. G., Kraemer, T., Nägerl, H., & Grimm, R. (2008). Metastable feshbach molecules in high rotational states. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.083002
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N., … Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1159909
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 10392
Šarić, A., Vrček, V., & Bühl, M. (2008). Density functional study of protonated formylmetallocenes. Organometallics. American Chemical Society. https://doi.org/10.1021/om700916f
View | DOI | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 11111
Anderson, D. J., & Hetzer, M. (2008). Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200805140
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11110
D’Angelo, M. A., & Hetzer, M. (2008). Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. Elsevier. https://doi.org/10.1016/j.tcb.2008.07.009
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11109
Kutay, U., & Hetzer, M. (2008). Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2008.09.010
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11112
Anderson, D. J., & Hetzer, M. (2008). The life cycle of the metazoan nuclear envelope. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2008.03.016
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11113 | OA
Anderson, D. J., & Hetzer, M. (2008). Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.005777
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11114 | OA
Schulte, R., Talamas, J., Doucet, C., & Hetzer, M. (2008). Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0002061
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11878
Baykan, E., Henzinger, M. H., & Weber, I. (2008). Web page language identification based on URLs. Proceedings of the VLDB Endowment. Association for Computing Machinery. https://doi.org/10.14778/1453856.1453880
View | DOI
 

Search

Filter Publications