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.

9071 Publications


2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 10902
Chatterjee, Krishnendu, Siddhesh Chaubal, and Sasha Rubin. “How to Travel between Languages.” In 7th International Conference on Language and Automata Theory and Applications, 7810:214–25. LNCS. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-37064-9_20.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 10897
Edelsbrunner, Herbert. “Persistent Homology in Image Processing.” In Graph-Based Representations in Pattern Recognition, 7877:182–83. LNCS. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-38221-5_19.
View | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.” Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36742-7_5.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Thesis | IST-REx-ID: 1406
Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute of Science and Technology Austria, 2013.
View
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One. Public Library of Science, 2013. https://doi.org/10.1371/journal.pone.0080814.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter, Johannes, Ivana Božić, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications. Wiley-Blackwell, 2013. https://doi.org/10.1111/eva.12020.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife. eLife Sciences Publications, 2013. https://doi.org/10.7554/eLife.00747.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,” 8044:951–67. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_68.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2012.11.034.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013. https://doi.org/10.1109/LICS.2013.39.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 163–72. ACM, 2013. https://doi.org/10.1145/2461328.2461356.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” In ICML’13 Proceedings of the 30th International Conference on International, 28:145–53. ML Research Press, 2013.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, Estelle, Pawel Baster, Jiří Friml, and Paula Duque. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior. Taylor & Francis, 2013. https://doi.org/10.4161/psb.25688.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 2013. https://doi.org/10.1098/rspb.2012.3035.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Research Data Reference | IST-REx-ID: 9751 | OA
Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Dryad, 2013. https://doi.org/10.5061/dryad.b1q2n.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 7785
Joo, William J., Lora B. Sweeney, Liang Liang, and Liqun Luo. “Linking Cell Fate, Trajectory Choice, and Target Selection: Genetic Analysis of Sema-2b in Olfactory Axon Targeting.” Neuron. Elsevier, 2013. https://doi.org/10.1016/j.neuron.2013.03.022.
View | DOI
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. Proofs of Space. IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 15162
Woehrmann, Marcos H., Walter M. Bray, James K. Durbin, Sean C. Nisam, Alicia K. Michael, Emerson Glassey, Joshua M. Stuart, and R. Scott Lokey. “Large-Scale Cytological Profiling for Functional Analysis of Bioactive Compounds.” Molecular BioSystems. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c3mb70245f.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 10387 | OA
Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/physrevlett.109.188101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 10388 | OA
Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/physrevlett.108.118101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 1055
Erne, Barbara, Mareike Graff, Wolfram Klemm, Johann G Danzl, and Gunda Leschber. “Bulla in the Lung.” The Lancet. Elsevier, 2012. https://doi.org/10.1016/S0140-6736(12)60690-4.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
Mark, Manfred, Elmar Haller, Katharina Lauber, Johann G Danzl, Alexander Janisch, Hans Büchler, Andrew Daley, and Hanns Nägerl. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.215302.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10750 | OA
Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” In APS March Meeting 2012, Vol. 57. American Physical Society, 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Book Chapter | IST-REx-ID: 10896
Nedden, Stephanie zur, Alexander S. Doney, and Bruno G. Frenguelli. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” In Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., 109–29. New York: Springer, 2012. https://doi.org/10.1007/978-1-4614-3903-5_6.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 11089
Gomez-Cavazos, J Sebastian, and Martin Hetzer. “Outfits for Different Occasions: Tissue-Specific Roles of Nuclear Envelope Proteins.” Current Opinion in Cell Biology. Elsevier, 2012. https://doi.org/10.1016/j.ceb.2012.08.008.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11091
Vargas, Jesse D., Emily M. Hatch, Daniel J. Anderson, and Martin Hetzer. “Transient Nuclear Envelope Rupturing during Interphase in Human Cancer Cells.” Nucleus. Taylor & Francis, 2012. https://doi.org/10.4161/nucl.18954.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11093 | OA
D’Angelo, Maximiliano A., J. Sebastian Gomez-Cavazos, Arianna Mei, Daniel H. Lackner, and Martin Hetzer. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” Developmental Cell. Elsevier, 2012. https://doi.org/10.1016/j.devcel.2011.11.021.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11092
Savas, Jeffrey N., Brandon H. Toyama, Tao Xu, John R. Yates, and Martin Hetzer. “Extremely Long-Lived Nuclear Pore Proteins in the Rat Brain.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1217421.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11090 | OA
Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” Cell. Elsevier, 2012. https://doi.org/10.1016/j.cell.2012.04.018.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 113
Waitukaitis, Scott R, and Heinrich Jaeger. “Impact-Activated Solidification of Dense Suspensions via Dynamic Jamming Fronts.” Nature. Nature Publishing Group, 2012. https://doi.org/10.1038/nature11187.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 114 | OA
Waitukaitis, Scott R, and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” Revista Cubana de Fisica. Universidad de La Habana, 2012.
[Published Version] View | Files available
 

2012 | Conference Paper | IST-REx-ID: 11656
Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Maximizing Revenue from Strategic Recommendations under Decaying Trust.” In Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2268–86. Association for Computing Machinery, 2012. https://doi.org/10.1145/2396761.2398621.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 11751
Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer Nature, 2012. https://doi.org/10.1007/s10853-012-6463-6.
[Preprint] View | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 11794 | OA
Dütting, Paul, Monika H Henzinger, and Martin Starnberger. “Auctions with Heterogeneous Items and Budget Limits.” In 8th International Workshop on Internet and Network Economics, 7695:44–57. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-35311-6_4.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi, Riccardo, Monika H Henzinger, Stefano Leonardi, and Martin Starnberger. “On Multiple Keyword Sponsored Search Auctions with Budgets.” In 39th International Colloquium on Automata, Languages, and Programming, 7392:1–12. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-31585-5_1.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 11964
Pieber, Bartholomäus, David Cantillo, and C. Oliver Kappe. “Direct Arylation of Benzene with Aryl Bromides Using High‐temperature/High‐pressure Process Windows: Expanding the Scope of C-H Activation Chemistry.” Chemistry – A European Journal. Wiley, 2012. https://doi.org/10.1002/chem.201103748.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11963
Kumar, G. Sathish, Bartholomäus Pieber, K. Rajender Reddy, and C. Oliver Kappe. “Copper-Catalyzed Formation of C-O Bonds by Direct α-C-H Bond Activation of Ethers Using Stoichiometric Amounts of Peroxide in Batch and Continuous-Flow Formats.” Chemistry - A European Journal. Wiley, 2012. https://doi.org/10.1002/chem.201200815.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 12644 | OA
Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically Based, Spatially Distributed Hydrological Model in a Glacierized Basin: On the Use of Knowledge from Glaciometeorological Processes to Constrain Model Parameters.” Water Resources Research. American Geophysical Union, 2012. https://doi.org/10.1029/2011wr010559.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12646 | OA
Pellicciotti, Francesca, Cyrill Buergi, Walter Willem Immerzeel, Markus Konz, and Arun B. Shrestha. “Challenges and Uncertainties in Hydrological Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration Strategies.” Mountain Research and Development. International Mountain Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00092.1.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12647 | OA
Immerzeel, Walter Willem, Francesca Pellicciotti, and Arun B. Shrestha. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” Mountain Research and Development. International Mountain Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00097.1.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12648 | OA
Reid, T. D., M. Carenzo, Francesca Pellicciotti, and B. W. Brock. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” Journal of Geophysical Research: Atmospheres. American Geophysical Union, 2012. https://doi.org/10.1029/2012jd017795.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.3.7.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology. University of Warwick, 2012. https://doi.org/10.2140/gt.2012.16.1609.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 171 | OA
Browning, Timothy D, and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2012. https://doi.org/10.1515/crelle.2012.039.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1725
Kicheva, Anna, Michael Cohen, and James Briscoe. “Developmental Pattern Formation: Insights from Physics and Biology.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1225182.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
Zhang, Jianjun, Georgios Katsaros, Francesco Montalenti, Daniele Scopece, Roman Rezaev, Christine Mickel, Bernd Rellinghaus, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.085502.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
Lee, Eduardo, Xiaocheng Jiang, Ramón Aguado, Georgios Katsaros, Charles Lieber, and Silvano De Franceschi. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.186802.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1756 | OA
Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Pascal Gentile, and Silvano De Franceschi. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.” Nano Letters. American Chemical Society, 2012. https://doi.org/10.1021/nl300930m.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
Mlynek, Jonas, Abdufarrukh Abdumalikov, Johannes M Fink, L. Steffen, Matthias Baur, C Lang, Arjan Van Loo, and Andreas Wallraff. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2012. https://doi.org/10.1103/PhysRevA.86.053838.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1782 | OA
Pechal, M, Stefan Berger, Abdufarrukh Abdumalikov, Johannes M Fink, Jonas Mlynek, L. Steffen, Andreas Wallraff, and Stefan Filipp. “Geometric Phase and Nonadiabatic Effects in an Electronic Harmonic Oscillator.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.170401.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1784
Eichler, Christopher, C Lang, Johannes M Fink, J Govenius, Stefan Filipp, and Andreas Wallraff. “Observation of Entanglement between Itinerant Microwave Photons and a Superconducting Qubit.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.240501.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1801
Siegert, Sandra, Erik Cabuy, Brigitte Scherf, Hubertus Kohler, Satchidananda Panda, Yunzheng Le, Hans Fehling, Dimos Gaidatzis, Michael Stadler, and Botond Roska. “Transcriptional Code and Disease Map for Adult Retinal Cell Types.” Nature Neuroscience. Nature Publishing Group, 2012. https://doi.org/10.1038/nn.3032.
View | DOI
 

2012 | Book Review | IST-REx-ID: 1976
Efremov, Rouslan, and Leonid A Sazanov. “The Coupling Mechanism of Respiratory Complex i - A Structural and Evolutionary Perspective.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 2012. https://doi.org/10.1016/j.bbabio.2012.02.015.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1972
Efremov, Rouslan, and Leonid A Sazanov. “Structure of Escherichia Coli OmpF Porin from Lipidic Mesophase.” Journal of Structural Biology. Academic Press, 2012. https://doi.org/10.1016/j.jsb.2012.03.005.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1987
Schweizer, Jakob, Martin Loose, Mike Bonny, Karsten Kruse, Ingolf Mönch, and Petra Schwille. “Geometry Sensing by Self-Organized Protein Patterns.” PNAS. National Academy of Sciences, 2012. https://doi.org/10.1073/pnas.1206953109.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2048 | OA
Faust, Sebastian, Krzysztof Z Pietrzak, and Joachim Schipper. “Practical Leakage-Resilient Symmetric Cryptography.” In Conference Proceedings CHES 2012, 7428:213–32. Springer, 2012. https://doi.org/10.1007/978-3-642-33027-8_13.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049 | OA
Heyse, Stefan, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof Z Pietrzak. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” In Conference Proceedings FSE 2012, 7549:346–65. Springer, 2012. https://doi.org/10.1007/978-3-642-34047-5_20.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2073
Zhou, Qi, Hongmei Zhu, Quanfei Huang, Li Zhao, Guo Zhang, Scott Roy, Beatriz Vicoso, et al. “Deciphering Neo-Sex and B Chromosome Evolution by the Draft Genome of Drosophila Albomicans.” BMC Genomics. BioMed Central, 2012. https://doi.org/10.1186/1471-2164-13-109.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2079
Hildebrand, Kristian, Bernd Bickel, and Marc Alexa. “Crdbrd: Shape Fabrication by Sliding Planar Slices.” Computer Graphics Forum. Wiley-Blackwell, 2012. https://doi.org/10.1111/j.1467-8659.2012.03037.x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2103
Beeler, Thabo, Bernd Bickel, Gioacchino Noris, Paul Beardsley, Steve Marschner, Robert Sumner, and Markus Groß. “Coupled 3D Reconstruction of Sparse Facial Hair and Skin.” ACM Transactions on Graphics. ACM, 2012. https://doi.org/10.1145/2185520.2185613.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2101
Bac̈Her, Moritz, Bernd Bickel, Doug James, and Hanspeter Pfister. “Fabricating Articulated Characters from Skinned Meshes.” ACM Transactions on Graphics. ACM, 2012. https://doi.org/10.1145/2185520.2185543.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2102
Bickel, Bernd, Peter Kaufmann, Mélina Skouras, Bernhard Thomaszewski, Derek Bradley, Thabo Beeler, Philip Jackson, Steve Marschner, Wojciech Matusik, and Markus Groß. “Physical Face Cloning.” ACM Transactions on Graphics. ACM, 2012. https://doi.org/10.1145/2185520.2185614.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2106
Miguel, Eder, Derek Bradley, Bernhard Thomaszewski, Bernd Bickel, Wojciech Matusik, Miguel Otaduy, and Steve Marschner. “Data-Driven Estimation of Cloth Simulation Models,” 31:519–28. Wiley-Blackwell, 2012. https://doi.org/10.1111/j.1467-8659.2012.03031.x.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2104
Otaduy, Miguel, Bernd Bickel, Derek Bradley, and Huamin Wang. “Data-Driven Simulation Methods in Computer Graphics: Cloth, Tissue and Faces.” ACM, 2012. https://doi.org/10.1145/2343483.2343495.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2105
Skouras, Mélina, Bernhard Thomaszewski, Bernd Bickel, and Markus Groß. “Computational Design of Rubber Balloons,” 31:835–44. Wiley-Blackwell, 2012. https://doi.org/10.1111/j.1467-8659.2012.03064.x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2125 | OA
Hairer, Martin, and Jan Maas. “A Spatial Version of the Itô-Stratonovich Correction.” Annals of Probability. Institute of Mathematical Statistics, 2012. https://doi.org/10.1214/11-AOP662.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2127 | OA
Erbar, Matthias, and Jan Maas. “Ricci Curvature of Finite Markov Chains via Convexity of the Entropy.” Archive for Rational Mechanics and Analysis. Springer, 2012. https://doi.org/10.1007/s00205-012-0554-z.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2128 | OA
Maas, Jan, Jan Van Neerven, and Pierre Portal. “Whitney Coverings and the Tent Spaces T 1,q (γ) for the Gaussian Measure.” Arkiv För Matematik. Springer, 2012. https://doi.org/10.1007/s11512-010-0143-z.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Interaction between Polar Molecules Subject to a Far-off-Resonant Optical Field: Entangled Dipoles up- or down-Holding Each Other.” Molecular Physics. Taylor & Francis, 2012. https://doi.org/10.1080/00268976.2012.689868.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2201 | OA
Lemeshko, Mikhail, Roman Krems, and Hendrik Weimer. “Nonadiabatic Preparation of Spin Crystals with Ultracold Polar Molecules.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.035301.
View | Files available | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 2202 | OA
Alyabyshev, Sergey, Mikhail Lemeshko, and Roman Krems. “Sensitive Imaging of Electromagnetic Fields with Paramagnetic Polar Molecules.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2012. https://doi.org/10.1103/PhysRevA.86.013409.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang, Huixuan, Simon Hippenmeyer, and H. Ghashghaei. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open. The Company of Biologists, 2012. https://doi.org/10.1242/bio.20122287.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2267 | OA
Preiner, Reinhold, Stefan Jeschke, and Michael Wimmer. “Auto Splats: Dynamic Point Cloud Visualization on the GPU,” 139–48. Eurographics Association, 2012. https://doi.org/10.2312/EGPGV/EGPGV12/139-148.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2262
Tasic, Bosiljka, Kazunari Miyamichi, Simon Hippenmeyer, Vardhan Dani, H. Zeng, William Joo, Hui Zong, Yanru Chen Tsai, and Liqun Luo. “Extensions of MADM (Mosaic Analysis with Double Markers) in Mice .” PLoS One. Public Library of Science, 2012. https://doi.org/10.1371/journal.pone.0033332.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2268 | OA
Auzinger, Thomas, Michael Guthe, and Stefan Jeschke. “Analytic Anti-Aliasing of Linear Functions on Polytopes,” 31:335–44. Wiley-Blackwell, 2012. http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2302
Henzinger, Thomas A, and Maria Mateescu. “The Propagation Approach for Computing Biochemical Reaction Networks.” IEEE ACM Transactions on Computational Biology and Bioinformatics. IEEE, 2012. https://doi.org/10.1109/TCBB.2012.91.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2313
Dixon Salazar T, Silhavy J, Udpa N, Schroth J, Bielas S, Schaffer A, Olvera J, Bafna V, Zaki M, Abdel Salam G, Mansour L, Selim L, Abdel Hadi S, Marzouki N, Ben Omran T, Al Saana N, Sönmez F, Celep F, Azam M, Hill K, Collazo A, Fenstermaker A, Novarino G, Akizu N, Garimella K, Sougnez C, Russ C, Gabriel S, Gleeson J. 2012. Exome sequencing can improve diagnosis and alter patient management. Science Translational Medicine. 4(138).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2314
Novarino G, El Fishawy P, Kayserili H, Meguid N, Scott E, Schroth J, Silhavy J, Kara M, Khalil R, Ben Omran T, Ercan Sencicek A, Hashish A, Sanders S, Gupta A, Hashem H, Matern D, Gabriel S, Sweetman L, Rahimi Y, Harris R, State M, Gleeson J. 2012. Mutations in BCKD-kinase lead to a potentially treatable form of autism with epilepsy. Science. 338(6105), 394–397.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.” Journal of Spectral Theory. European Mathematical Society, 2012. https://doi.org/10.4171/JST/31.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2317 | OA
Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “Microscopic Derivation of the Ginzburg-Landau Model,” 575–83. World Scientific Publishing, 2012. https://doi.org/10.1142/9789814449243_0060.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2316 | OA
Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Ground State Properties of Multi-Polaron Systems,” 477–85. World Scientific Publishing, 2012. https://doi.org/10.1142/9789814449243_0045.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 237
De La Bretèche, Régis, Timothy D Browning, and Emmanuel Peyre. “On Manin’s Conjecture for a Family of Châtelet Surfaces.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.1.8.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 238
Baier, Stephan, and Timothy D Browning. “Inhomogeneous Quadratic Congruences.” Functiones et Approximatio, Commentarii Mathematici. Adam Mickiewicz University Press, 2012. https://doi.org/10.7169/facm/2012.47.2.9.
View | DOI
 

2012 | Book Chapter | IST-REx-ID: 2399
Seiringer, Robert. “Cold Quantum Gases and Bose Einstein Condensation.” In Quantum Many Body Systems, edited by Vincent Rivasseau, Robert Seiringer, Jan Solovej, and Thomas Spencer, 2051:55–92. Springer, 2012. https://doi.org/10.1007/978-3-642-29511-9_2.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2394
Freiji, Abraham, Christian Hainzl, and Robert Seiringer. “The Gap Equation for Spin-Polarized Fermions.” Journal of Mathematical Physics. American Institute of Physics, 2012. https://doi.org/10.1063/1.3670747.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2395 | OA
Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “Microscopic Derivation of Ginzburg-Landau Theory.” Journal of the American Mathematical Society. American Mathematical Society, 2012. https://doi.org/10.1090/S0894-0347-2012-00735-8.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2396 | OA
Landon, Benjamin, and Robert Seiringer. “The Scattering Length at Positive Temperature.” Letters in Mathematical Physics. Springer, 2012. https://doi.org/10.1007/s11005-012-0566-5.
View | DOI | Download (ext.)
 

2012 | Book Review | IST-REx-ID: 2398 | OA
Jakšić, Vojkan, Yoshiko Ogata, Claude Pillet, and Robert Seiringer. “Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics.” Reviews in Mathematical Physics. World Scientific Publishing, 2012. https://doi.org/10.1142/S0129055X12300026.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2397 | OA
Hainzl, Christian, and Robert Seiringer. “Low Density Limit of BCS Theory and Bose-Einstein Condensation of Fermion Pairs.” Letters in Mathematical Physics. Springer, 2012. https://doi.org/10.1007/s11005-011-0535-4.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 240
Browning, Timothy D, and K Van Valckenborgh. “Sums of Three Squareful Numbers.” Experimental Mathematics. Taylor & Francis, 2012. https://doi.org/10.1080/10586458.2011.605733.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2400 | OA
Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Binding of Polarons and Atoms at Threshold.” Communications in Mathematical Physics. Springer, 2012. https://doi.org/10.1007/s00220-012-1436-9.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2403 | OA
Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Disordered Bose-Einstein Condensates with Interaction in One Dimension.” Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd., 2012. https://doi.org/10.1088/1742-5468/2012/11/P11007.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2402 | OA
Frank, Rupert, and Robert Seiringer. “Lieb-Thirring Inequality for a Model of Particles with Point Interactions.” Journal of Mathematical Physics. American Institute of Physics, 2012. https://doi.org/10.1063/1.3697416.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2401 | OA
Lieb, Élliott, and Robert Seiringer. “Further Implications of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics. Springer, 2012. https://doi.org/10.1007/s10955-012-0585-8.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger, Ingo, Ricardo De Matos Simoes, Anne Kupczok, Matthias Gube, Erika Kothe, Kerstin Voigt, and Arndt Von Haeseler. “A Consistent Phylogenetic Backbone for the Fungi.” Molecular Biology and Evolution. Oxford University Press, 2012. https://doi.org/10.1093/molbev/msr285.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 241
De La Bretèche, Régis, and Timothy D Browning. “Binary Forms as Sums of Two Squares and Châtelet Surfaces.” Israel Journal of Mathematics. Springer, 2012. https://doi.org/10.1007/s11856-012-0019-y.
View | DOI
 

Search

Filter Publications