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.

3462 Publications


2010 | Journal Article | IST-REx-ID: 2196 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Fine-Tuning Molecular Energy Levels by Nonresonant Laser Pulses.” Journal of Physical Chemistry A. American Chemical Society, 2010. https://doi.org/10.1021/jp1032299.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2197 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Multiple Scattering of Matter Waves: An Analytic Model of the Refractive Index for Atomic and Molecular Gases.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2010. https://doi.org/10.1103/PhysRevA.82.022711.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
View | DOI | Download Published Version (ext.)
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0004.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0003.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0002.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0001.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 598 | OA
Meyer, Krista, Shih Lin, Carrie Bernecky, Yuefeng Gao, and Dylan Taatjes. “P53 Activates Transcription by Directing Structural Shifts in Mediator.” Nature Structural and Molecular Biology. Nature Publishing Group, 2010. https://doi.org/10.1038/nsmb.1816.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 6142 | OA
Weber, Katherine P., Subhajyoti De, Iwanka Kozarewa, Daniel J. Turner, M. Madan Babu, and Mario de Bono. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.” PLoS ONE. Public Library of Science, 2010. https://doi.org/10.1371/journal.pone.0013922.
View | Files available | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 6320 | OA
Bretèche, Régis de la, and Timothy D Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.” Crelles Journal. Walter de Gruyter GmbH, 2010. https://doi.org/10.1515/crelle.2010.064.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 7078 | OA
Salje, E. K. H., D. J. Safarik, Kimberly A Modic, J. E. Gubernatis, J. C. Cooley, R. D. Taylor, B. Mihaila, et al. “Tin Telluride: A Weakly Co-Elastic Metal.” Physical Review B. APS, 2010. https://doi.org/10.1103/physrevb.82.184112.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1465 | OA
Hausel, Tamás. “Kac’s Conjecture from Nakajima Quiver Varieties.” Inventiones Mathematicae. Springer, 2010. https://doi.org/10.1007/s00222-010-0241-3.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1466 | OA
Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Topology of Character Varieties and Representations of Quivers.” Comptes Rendus Mathematique. Elsevier, 2010. https://doi.org/10.1016/j.crma.2010.01.025.
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 1468 | OA
Hausel, Tamás. “S-Duality in HyperkäHler Hodge Theory.” In The Many Facets of Geometry: A Tribute to Nigel Hitchin. Oxford University Press, 2010. https://doi.org/10.1093/acprof:oso/9780199534920.003.0016.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1044 | OA
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, Jesus Aldegunde, Jeremy Hutson, and Hanns Nägerl. “An Ultracold High-Density Sample of Rovibronic Ground-State Molecules in an Optical Lattice.” Nature Physics. Nature Publishing Group, 2010. https://doi.org/10.1038/nphys1533.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1045 | OA
Haller, Elmar, Manfred Mark, Russell Hart, Johann G Danzl, Lukas Reichsöllner, Vladimir Melezhik, Peter Schmelcher, and Hanns Nägerl. “Confinement-Induced Resonances in Low-Dimensional Quantum Systems.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.153203.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1047 | OA
Haller, Elmar, Russell Hart, Manfred Mark, Johann G Danzl, Lukas Reichsöllner, and Hanns Nägerl. “Inducing Transport in a Dissipation-Free Lattice with Super Bloch Oscillations.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.200403.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1049 | OA
Haller, Elmar, Russell Hart, Manfred Mark, Johann G Danzl, Lukas Reichsöllner, Mattias Gustavsson, Marcello Dalmonte, Guido Pupillo, and Hanns Nägerl. “Pinning Quantum Phase Transition for a Luttinger Liquid of Strongly Interacting Bosons.” Nature. Nature Publishing Group, 2010. https://doi.org/10.1038/nature09259.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 9012 | OA
Palacci, Jérémie A, Benjamin Abécassis, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric Bocquet. “Colloidal Motility and Pattern Formation under Rectified Diffusiophoresis.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/physrevlett.104.138302.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9013 | OA
Palacci, Jérémie A, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric Bocquet. “Sedimentation and Effective Temperature of Active Colloidal Suspensions.” Physical Review Letters. American Physical Society , 2010. https://doi.org/10.1103/physrevlett.105.088304.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman, P A, and Caroline J MULLER. “How Closely Do Changes in Surface and Column Water Vapor Follow Clausius–Clapeyron Scaling in Climate Change Simulations?” Environmental Research Letters. IOP Publishing, 2010. https://doi.org/10.1088/1748-9326/5/2/025207.
View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.
View | Files available | arXiv
 

2010 | Preprint | IST-REx-ID: 3743 | OA
Tkačik, Gašper. “From Statistical Mechanics to Information Theory: Understanding Biophysical Information-Processing Systems.” ArXiv. ArXiv, 2010.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3748 | OA
Park, Heungwon, William Pontius, Calin C Guet, John Marko, Thierry Emonet, and Philippe Cluzel. “Interdependence of Behavioural Variability and Response to Small Stimuli in Bacteria.” Nature. Nature Publishing Group, 2010. https://doi.org/10.1038/nature09551.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3749 | OA
Park, Heungwon, Calin C Guet, Thierry Emonet, and Philippe Cluzel. “Fine-Tuning of Chemotactic Response in E. Coli Determined by High-Throughput Capillary Assay.” Current Microbiology. Springer, 2010. https://doi.org/10.1007/s00284-010-9778-z.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics. Public Library of Science, 2010. https://doi.org/10.1371/journal.pgen.1000987.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2010.0001.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton, Nicholas H. “Genetic Linkage and Natural Selection.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2010.0106.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton, Nicholas H. “Mutation and the Evolution of Recombination.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2009.0320.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010. https://doi.org/10.3989/scimar.2010.74n3465.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
Diz Muñoz, Alba, Michael Krieg, Martin Bergert, Itziar Ibarlucea Benitez, Daniel Müller, Ewa Paluch, and Carl-Philipp J Heisenberg. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.” PLoS Biology. Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000544.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793 | OA
Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,” 6316:98–111. Springer, 2010. https://doi.org/10.1007/978-3-642-15567-3_8.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795 | OA
Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “The Stability of the Apparent Contour of an Orientable 2-Manifold.” In Topological Data Analysis and Visualization: Theory, Algorithms and Applications, 27–42. Springer, 2010. https://doi.org/10.1007/978-3-642-15014-2_3.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3831 | OA
Norenberg, Anja, Hua Hu, Imre Vida, Marlene Bartos, and Peter M Jonas. “Distinct Nonuniform Cable Properties Optimize Rapid and Efficient Activation of Fast-Spiking GABAergic Interneurons.” PNAS. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.0910716107.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
Guzmán, José, and Peter M Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.” Neuron. Elsevier, 2010. https://doi.org/10.1016/j.neuron.2010.04.003.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology. BioMed Central, 2010. https://doi.org/10.1186/1752-0509-4-42.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,” 55–65. Springer, 2010. https://doi.org/10.1145/1839764.1839772.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,” 5944:163–79. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_14.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology. Institution of Engineering and Technology, 2010. https://doi.org/10.1049/iet-syb.2010.0005.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrey Rybalchenko. “Aligators for Arrays,” 6397:348–56. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_25.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3847 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks,” 193–94. IEEE, 2010. https://doi.org/10.1109/QEST.2010.33.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3849 | OA
Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,” 6281:12–23. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_2.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 385 | OA
Alpichshev, Zhanybek, James Analytis, Jiunhaw Chu, Ian Fisher, Yulin Chen, Zhixun Shen, Aiping Fang, and Aharon Kapitulnik. “STM Imaging of Electronic Waves on the Surface of Bi2Te3 Topologically Protected Surface States and Hexagonal Warping Effects.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.016401.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3851 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games,” 6199:599–610. Springer, 2010. https://doi.org/10.1007/978-3-642-14162-1_50.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3852 | OA
Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting in Games across Time Scales,” 25:22–29. EPTCS, 2010. https://doi.org/10.4204/EPTCS.25.6.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3853 | OA
Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,” 6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,” 6281:258–69. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_24.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free,” 6281:246–57. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_23.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3858 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “The Complexity of Partial-Observation Parity Games,” 6397:1–14. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_1.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860 | OA
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,” 8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3861 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.” Information and Computation. Elsevier, 2010. https://doi.org/10.1016/j.ic.2009.07.004.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3862 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL). ACM, 2010. https://doi.org/10.1145/1805950.1805953.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation. Elsevier, 2010. https://doi.org/10.1016/j.ic.2009.09.006.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,” 6174:380–95. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_34.
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3866 | OA
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.” edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_36.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:13)2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3901 | OA
Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010. https://doi.org/10.1109/TVCG.2010.139.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
Ugelvig, Line V, Daniel Kronauer, Alexandra Schrempf, Jürgen Heinze, and Sylvia Cremer. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2010. https://doi.org/10.1098/rspb.2010.0644.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3960 | OA
Weber, Michele, and Michael K Sixt. “MEK Signalling Tunes Actin Treadmilling for Interstitial Lymphocyte Migration.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.183.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4157 | OA
Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.182.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/EJP.v15-741.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.” In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010. https://doi.org/10.1515/9783110232103.
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
Danowski, Patrick. Open Bibliographic Data. European Library Automation Group (ELAG) 2010. Elsevier, 2010.
View | Files available | Download None (ext.)
 

2010 | Book | IST-REx-ID: 4346 | OA
Danowski, Patrick, and Julia Bergmann. Handbuch Bibliothek 2.0. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010.
View | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.” edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9_13.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_6.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,” 1–8. ACM, 2010. https://doi.org/10.1145/1879021.1879022.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,” 83–90. IEEE, 2010. https://doi.org/10.1109/CLOUD.2010.71.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,” 263–72. ACM, 2010. https://doi.org/10.1145/1810479.1810529.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,” 6174:665–69. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_57.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_41.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 2980 | OA
Bangerter, Endre, Thomas Briner, Wilko Henecka, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “Automatic Generation of Sigma-Protocols.” edited by Fabio Martinelli and Bart Preneel, 6391:67–82. Springer, 2010. https://doi.org/10.1007/978-3-642-16441-5.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3072 | OA
Grunewald, Wim, and Jiří Friml. “The March of the PINs: Developmental Plasticity by Dynamic Polar Targeting in Plant Cells.” EMBO Journal. Wiley-Blackwell, 2010. https://doi.org/10.1038/emboj.2010.181.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3077 | OA
Friml, Jiří, and Angharad Jones. “Endoplasmic Reticulum: The Rising Compartment in Auxin Biology.” Plant Physiology. American Society of Plant Biologists, 2010. https://doi.org/10.1104/pp.110.161380.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3303 | OA
Weissman, Daniel, Marcus Feldman, and Daniel Fisher. “The Rate of Fitness-Valley Crossing in Sexual Populations.” Genetics. Genetics Society of America, 2010. https://doi.org/10.1534/genetics.110.123240.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3306 | OA
Evans, Steven, Bernd Sturmfels, and Caroline Uhler. “Commuting Birth and Death Processes.” The Annals of Applied Probability. Institute of Mathematical Statistics, 2010. https://doi.org/10.1214/09-AAP615.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3308 | OA
Sturmfels, Bernd, and Caroline Uhler. “Multivariate Gaussians, Semidefinite Matrix Completion, and Convex Algebraic Geometry.” Annals of the Institute of Statistical Mathematics. Springer, 2010. https://doi.org/10.1007/s10463-010-0295-4.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3430 | OA
Tkačik, Gašper. “Lecture Notes for 2010 Summer School on Quantitative Evolutionary and Comparative Genomics.” Elsevier, 2010.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3538 | OA
Jiruska, Premysl, Jozsef L Csicsvari, Andrew Powell, John Fox, Wei Chang, Martin Vreugdenhil, Xiaoli Li, et al. “High-Frequency Network Activity, Global Increase in Neuronal Activity, and Synchrony Expansion Precede Epileptic Seizures in Vitro.” Journal of Neuroscience. Society for Neuroscience, 2010. https://doi.org/10.1523/JNEUROSCI.0535-10.2010.
View | DOI | Download None (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.” edited by Luke Ong, 6014:94–108. Springer, 2010. https://doi.org/10.1007/978-3-642-12032-9_8.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Cryptic Variation between Species and the Basis of Hybrid Performance.” PLoS Biology. Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000429.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 9485 | OA
Zemach, Assaf, M. Yvonne Kim, Pedro Silva, Jessica A. Rodrigues, Bradley Dotson, Matthew D. Brooks, and Daniel ZILBERMAN. “Local DNA Hypomethylation Activates Genes in Rice Endosperm.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1009695107.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 9489 | OA
Zemach, Assaf, and Daniel ZILBERMAN. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.” Current Biology. Elsevier, 2010. https://doi.org/10.1016/j.cub.2010.07.007.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 228 | OA
Browning, Timothy D, and Roger Heath Brown. “Rational Points on Quartic Hypersurfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2009. https://doi.org/10.1515/CRELLE.2009.026.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229 | OA
Browning, Timothy D. “Linear Growth for Châtelet Surfaces.” Mathematische Annalen. Springer Nature, 2009. https://doi.org/10.1007/s00208-009-0383-z.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2384 | OA
Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-009-9718-0.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2385 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2009. https://doi.org/10.1103/PhysRevA.79.063626.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2386 | OA
Seiringer, Robert, and Daniel Ueltschi. “Rigorous Upper Bound on the Critical Temperature of Dilute Bose Gases.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2009. https://doi.org/10.1103/PhysRevB.80.014502.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2387 | OA
Lewin, Mathieu, and Robert Seiringer. “Strongly Correlated Phases in Rapidly Rotating Bose Gases.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-009-9833-y.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2388 | OA
Predd, Joel, Robert Seiringer, Élliott Lieb, Daniel Osherson, Harold Poor, and Sanjeev Kulkarni. “Probabilistic Coherence and Proper Scoring Rules.” IEEE Transactions on Information Theory. IEEE, 2009. https://doi.org/10.1109/TIT.2009.2027573.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 2433 | OA
Matoušek, Jiří, Martin Tancer, and Uli Wagner. “Hardness of Embedding Simplicial Complexes in ℝd,” 855–64. SIAM, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2499 | OA
Rives, Marie, Claire Vol, Yugo Fukazawa, Norbert Tinel, Eric Trinquet, Mohammed Ayoub, Ryuichi Shigemoto, Jean Pin, and Laurent Prezèau. “Crosstalk between GABAB and MGlu1a Receptors Reveals New Insight into GPCR Signal Integration.” EMBO Journal. Wiley-Blackwell, 2009. https://doi.org/10.1038/emboj.2009.177.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Vogels, Tim P, and L F Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.” Nature Neuroscience. Springer Nature, 2009. https://doi.org/10.1038/nn.2276.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 88 | OA
Higginbotham, Andrew P, Octavi Semonin, S Bruce, C Chan, M Maindi, Tom Donnelly, M Maurer, et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments. American Institute of Physics, 2009. https://doi.org/10.1063/1.3155302.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications