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.

3464 Publications


2011 | Conference Paper | IST-REx-ID: 3313 | OA
Chen, Chao, and Herbert Edelsbrunner. “Diffusion Runs Low on Persistence Fast.” In Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011. https://doi.org/10.1109/ICCV.2011.6126271.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3315 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science. International Federation of Computational Logic, 2011. https://doi.org/10.2168/LMCS-7(4:8)2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3316 | OA
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness.” In 6th IEEE International Symposium on Industrial and Embedded Systems, 176–85. IEEE, 2011. https://doi.org/10.1109/SIES.2011.5953660.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3318 | OA
Eggermann, Emmanuel, and Peter M Jonas. “How the ‘Slow’ Ca(2+) Buffer Parvalbumin Affects Transmitter Release in Nanodomain Coupling Regimes at GABAergic Synapses.” Nature Neuroscience. Nature Publishing Group, 2011. https://doi.org/10.1038/nn.3002.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3320 | OA
Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.” Foundations and Trends in Computer Graphics and Vision. now, 2011. https://doi.org/10.1561/0600000033.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
Piskac, Ruzica, and Thomas Wies. “Decision Procedures for Automating Termination Proofs.” edited by Ranjit Jhala and David Schmidt, 6538:371–86. Springer, 2011. https://doi.org/10.1007/978-3-642-18275-4_26.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,” 6996:482–91. Springer, 2011. https://doi.org/10.1007/978-3-642-24372-1_37.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3328 | OA
Berberich, Eric, Michael Hemmer, and Michael Kerber. “A Generic Algebraic Kernel for Non Linear Geometric Applications,” 179–86. ACM, 2011. https://doi.org/10.1145/1998196.1998224.
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3329 | OA
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” In Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, 187–96. ACM, 2011. https://doi.org/10.1145/1998196.1998225.
View | Files available | DOI | Download Preprint (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3330 | OA
Kerber, Michael, and Michael Sagraloff. “Root Refinement for Real Polynomials,” 209–16. Springer, 2011. https://doi.org/10.1145/1993886.1993920.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3332 | OA
Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.” Graphs and Combinatorics. Springer, 2011. https://doi.org/10.1007/s00373-011-1020-7.
View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 3335 | OA
Van De Weygaert, Rien, Gert Vegter, Herbert Edelsbrunner, Bernard Jones, Pratyush Pranav, Changbom Park, Wojciech Hellwing, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.” In Transactions on Computational Science XIV, edited by Marina Gavrilova, Kenneth Tan, and Mir Mostafavi, 6970:60–101. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer, 2011. https://doi.org/10.1007/978-3-642-25249-5_3.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Preprint | IST-REx-ID: 3338 | OA
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv. ArXiv, 2011.
View | Files available | Download Preprint (ext.) | arXiv
 

2011 | Preprint | IST-REx-ID: 3339 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Roy Pritam. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv. ArXiv, 2011.
View | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_21.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3343 | OA
Chatterjee, Krishnendu, and Monika Henzinger. “Faster and Dynamic Algorithms for Maximal End Component Decomposition and Related Graph Problems in Probabilistic Verification,” 1318–36. SIAM, 2011. https://doi.org/10.1137/1.9781611973082.101.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,” 6907:206–18. Springer, 2011. https://doi.org/10.1007/978-3-642-22993-0_21.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.10.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Finitary Languages,” 6638:216–26. Springer, 2011. https://doi.org/10.1007/978-3-642-21254-3_16.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory Efficient Real Time Controllers for Safety Objectives,” 221–30. Springer, 2011. https://doi.org/10.1145/1967701.1967734.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “A Reduction from Parity Games to Simple Stochastic Games,” 54:74–86. EPTCS, 2011. https://doi.org/10.4204/EPTCS.54.6.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3351 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Rohit Singh. “On Memoryless Quantitative Objectives.” edited by Olaf Owe, Martin Steffen, and Jan Arne Telle, 6914:148–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22953-4_13.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3353 | OA
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2011. https://doi.org/10.1145/1985342.1985345.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3355 | OA
Halalai, Raluca, Thomas A Henzinger, and Vasu Singh. “Quantitative Evaluation of BFT Protocols,” 255–64. IEEE, 2011. https://doi.org/10.1109/QEST.2011.40.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3356 | OA
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.33.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3358 | OA
Henzinger, Thomas A, Vasu Singh, Thomas Wies, and Damien Zufferey. “Scheduling Large Jobs by Abstraction Refinement,” 329–42. ACM, 2011. https://doi.org/10.1145/1966445.1966476.
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,” 205–17. IEEE, 2011. https://doi.org/10.1109/CSF.2011.21.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, Jasmin, Thomas A Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, and Moshe Vardi. “Dynamic Reactive Modules,” 6901:404–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011. https://doi.org/10.1007/978-3-642-23217-6_27.
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3364 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science. Elsevier, 2011. https://doi.org/10.1016/j.tcs.2010.10.022.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,” 6605:267–71. Springer, 2011. https://doi.org/10.1007/978-3-642-19835-9_24.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_20.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368 | OA
Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1010767108.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.” Systematic Biology. Oxford University Press, 2011. https://doi.org/10.1093/sysbio/syq086.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
Sixt, Michael K, and Carole Parent. “Cells on the Move in Philadelphia.” Molecular Biology and Evolution. Oxford University Press, 2011. https://doi.org/10.1091/mbc.E10-12-0958.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3372 | OA
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel, Marcus, Martin Behrndt, Anita Jannasch, Erik Schaeffer, and Stephan Grill. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters. OSA, 2011. https://doi.org/10.1364/OL.36.001260.
View | Files available | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3374 | OA
Tkačik, Gašper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.” Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2011. https://doi.org/10.1088/0953-8984/23/15/153102.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375 | OA
Vladar, Harold de, and Nicholas H Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.” Journal of the Royal Society Interface. Royal Society of London, 2011. https://doi.org/10.1098/rsif.2010.0438.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3376 | OA
Bollenbach, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.” Molecular Cell. Cell Press, 2011. https://doi.org/10.1016/j.molcel.2011.04.016.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3377 | OA
Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “Quantifying Transversality by Measuring the Robustness of Intersections.” Foundations of Computational Mathematics. Springer, 2011. https://doi.org/10.1007/s10208-011-9090-8.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3379 | OA
Row, Richard, Jean-Léon Maître, Benjamin Martin, Petra Stockinger, Carl-Philipp J Heisenberg, and David Kimelman. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology. Elsevier, 2011. https://doi.org/10.1016/j.ydbio.2011.03.025.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3380 | OA
Logeswaran, Sayanthan, and Nicholas H Barton. “Mapping Mendelian Traits in Asexual Progeny Using Changes in Marker Allele Frequency.” Genetical Research. Cambridge University Press, 2011. https://doi.org/10.1017/S0016672311000115.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3381 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing, 2011. https://doi.org/10.1142/S0129054111008441.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3384 | OA
Tkačik, Gašper, Patrick Garrigan, Charles Ratliff, Grega Milcinski, Jennifer Klein, Lucia Seyfarth, Peter Sterling, David Brainard, and Vijay Balasubramanian. “Natural Images from the Birthplace of the Human Eye.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0020409.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3387 | OA
Kupczok, Anne. “Split Based Computation of Majority Rule Supertrees.” BMC Evolutionary Biology. BioMed Central, 2011. https://doi.org/10.1186/1471-2148-11-205.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3388 | OA
Ugelvig, Line V, Per Nielsen, Jacobus Boomsma, and David Nash. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.” BMC Evolutionary Biology. BioMed Central, 2011. https://doi.org/10.1186/1471-2148-11-201.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
Barton, Nicholas H, and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.” Genetics. Genetics Society of America, 2011. https://doi.org/10.1534/genetics.111.127555.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3391 | OA
Vladar, Harold de, and Nicholas H Barton. “The Contribution of Statistical Physics to Evolutionary Biology.” Trends in Ecology and Evolution. Cell Press, 2011. https://doi.org/10.1016/j.tree.2011.04.002.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3393 | OA
Barton, Nicholas H, and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.” American Naturalist. University of Chicago Press, 2011. https://doi.org/10.1086/661246.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394 | OA
Polechova, Jitka, and Nicholas H Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.” Genetics. Genetics Society of America, 2011. https://doi.org/10.1534/genetics.111.129817.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
Stockinger, Petra, Carl-Philipp J Heisenberg, and Jean-Léon Maître. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development. Company of Biologists, 2011. https://doi.org/10.1242/dev.071233.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3397 | OA
Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “The Role of Adhesion Energy in Controlling Cell-Cell Contacts.” Current Opinion in Cell Biology. Elsevier, 2011. https://doi.org/10.1016/j.ceb.2011.07.004.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3399 | OA
Cremer, Sylvia, Alexandra Schrempf, and Jürgen Heinze. “Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0017323.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3405 | OA
Janovjak, Harald L, Guillaume Sandoz, and Ehud Isacoff. “Modern Ionotropic Glutamate Receptor with a K+ Selectivity Signature Sequence.” Nature Communications. Nature Publishing Group, 2011. https://doi.org/10.1038/ncomms1231.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3505 | OA
Sixt, Michael K, and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.” Cell Migration. Springer, 2011. https://doi.org/10.1007/978-1-61779-207-6_11.
View | DOI | Download Published Version (ext.)
 

2011 | Thesis | IST-REx-ID: 3275 | OA
Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell Migration.” IST Austria, 2011.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 6496 | OA
Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal. Elsevier, 2011. https://doi.org/10.1016/j.bpj.2011.09.040.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 9648 | OA
Gonzalez-Diaz, Rocio, Adrian Ion, Maria Jose Jimenez, and Regina Poyatos. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.” In Computer Analysis of Images and Patterns, 6854:286–93. Springer Nature, 2011. https://doi.org/10.1007/978-3-642-23672-3_35.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 9483 | OA
Hsieh, Tzung-Fu, Juhyun Shin, Rie Uzawa, Pedro Silva, Stephanie Cohen, Matthew J. Bauer, Meryl Hashimoto, et al. “Regulation of Imprinted Gene Expression in Arabidopsis Endosperm.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1019273108.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Other Publication | IST-REx-ID: 9522 | OA
ZILBERMAN, Daniel. Balancing Parental Contributions in Plant Embryonic Gene Activation. Developmental Cell. Vol. 20. Elsevier, 2011. https://doi.org/10.1016/j.devcel.2011.05.018.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 9943 | OA
Sommer, Christoph M, Christoph Straehle, Ullrich Köthe, and Fred A. Hamprecht. “Ilastik: Interactive Learning and Segmentation Toolkit.” In 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro. Institute of Electrical and Electronics Engineers, 2011. https://doi.org/10.1109/isbi.2011.5872394.
View | DOI | Download Preprint (ext.)
 

2010 | Journal Article | IST-REx-ID: 232 | OA
De La Bretèche, Régis, and Timothy D Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2010. https://doi.org/10.1515/CRELLE.2010.064.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 2322 | OA
Frank, Rupert, Élliott Lieb, and Robert Seiringer. “ Equivalence of Sobolev Inequalities and Lieb-Thirring Inequalities,” 523–35. World Scientific Publishing, 2010. https://doi.org/10.1142/9789814304634_0045 .
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2323 | OA
Seiringer, Robert. “Hot Topics on Cold Gases,” 231–45. World Scientific Publishing, 2010. https://doi.org/10.1142/9789814304634_0013.
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 2324 | OA
Frank, Rupert, and Robert Seiringer. “Sharp Fractional Hardy Inequalities in Half-Spaces.” In Around the Research of Vladimir Maz’ya I, 11:161–67. Springer, 2010. https://doi.org/10.1007/978-1-4419-1341-8_6.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2389 | OA
Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues of Schrödinger Type Operators with Degenerate Kinetic Energy.” Mathematische Nachrichten. Wiley-Blackwell, 2010. https://doi.org/10.1002/mana.200810195.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2392 | OA
Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Bipolaron and N-Polaron Binding Energies.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.210402.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2409 | OA
Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .” Algorithms for Molecular Biology. BioMed Central, 2010. https://doi.org/10.1186/1748-7188-5-37.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 2442 | OA
Beeckman, Tom, and Jiří Friml. “Nitrate Contra Auxin: Nutrient Sensing by Roots.” Developmental Cell. Cell Press, 2010. https://doi.org/10.1016/j.devcel.2010.05.020.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 2701 | OA
Erdös, László, Benjamin Schlein, and Horng Yau. “Wegner Estimate and Level Repulsion for Wigner Random Matrices.” International Mathematics Research Notices. Oxford University Press, 2010. https://doi.org/10.1093/imrn/rnp136.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2978 | OA
Bangerter, Endre, Jan Camenisch, and Stephan Krenn. “Efficiency Limitations for Σ-Protocols for Group Homomorphisms.” edited by Daniele Micciancio, 5978:553–71. Springer, 2010. https://doi.org/10.1007/978-3-642-11799-2.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2979 | OA
Almeida, José, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad Sadeghi, and Thomas Schneider. “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.” edited by Dimitris Gritzalis, Bart Preneel, and Marianthi Theoharidou, 6345:151–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15497-3.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1752 | OA
Katsaros, Georgios, Panayotis Spathis, Mathieu Stoffel, Frank Fournel, Massimo Mongillo, Vincent Bouchiat, François Lefloch, Armando Rastelli, Oliver Schmidt, and Silvano De Franceschi. “Hybrid Superconductor-Semiconductor Devices Made from Self-Assembled SiGe Nanocrystals on Silicon.” Nature Nanotechnology. Nature Publishing Group, 2010. https://doi.org/10.1038/nnano.2010.84.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1753 | OA
Songmuang, Rudeeson, Georgios Katsaros, Eva Monroy, Panayotis Spathis, Catherine Bougerol, Massimo Mongillo, and Silvano De Franceschi. “Quantum Transport in GaN/AlN Double-Barrier Heterostructure Nanowires.” Nano Letters. American Chemical Society, 2010. https://doi.org/10.1021/nl1017578.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1773 | OA
Fink, Johannes M, L. Steffen, Peter Studer, Lev Bishop, Matthias Baur, R Bianchetti, Deniz Bozyigit, et al. “Quantum-to-Classical Transition in Cavity Quantum Electrodynamics.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.105.163601.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1774 | OA
Bianchetti, R, Stefan Filipp, Matthias Baur, Johannes M Fink, C Lang, L. Steffen, Maxime Boissonneault, Alexandre Blais, and Andreas Wallraff. “Control and Tomography of a Three Level Superconducting Artificial Atom.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.105.223601.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2095 | OA
Beeler, Thabo, Bernd Bickel, Paul Beardsley, Bob Sumner, and Markus Groß. “High-Quality Single-Shot Capture of Facial Geometry.” ACM Transactions on Graphics. ACM, 2010. https://doi.org/10.1145/1778765.1778777.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2124 | OA
Maas, Jan. “Malliavin Calculus and Decoupling Inequalities in Banach Spaces.” Journal of Mathematical Analysis and Applications. Academic Press, 2010. https://doi.org/10.1016/j.jmaa.2009.08.041.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2194 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of the Stereodynamics of Rotationally Inelastic Molecular Collisions.” Physical Chemistry Chemical Physics. Royal Society of Chemistry, 2010. https://doi.org/10.1039/B920899B .
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2195 | OA
Lemeshko, Mikhail, Pablo Jambrina, Marcelo De Miranda, and Břetislav Friedrich. “Communications: When Diffraction Rules the Stereodynamics of Rotationally Inelastic Collisions.” Journal of Chemical Physics. American Institute of Physics, 2010. https://doi.org/10.1063/1.3386530.
View | DOI | Download (ext.)
 

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
 

Filters and Search Terms

oa=1

Search

Filter Publications