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.
9078 Publications
2013 | Journal Article | IST-REx-ID: 11085 | 
Hatch, Emily M., et al. “Catastrophic Nuclear Envelope Collapse in Cancer Cell Micronuclei.” Cell, vol. 154, no. 1, Elsevier, 2013, pp. 47–60, doi:10.1016/j.cell.2013.06.007.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 11088 |
Regner, Benjamin M., et al. “Anomalous Diffusion of Single Particles in Cytoplasm.” Biophysical Journal, vol. 104, no. 8, Elsevier, 2013, pp. 1652–60, doi:10.1016/j.bpj.2013.01.049.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 11083
Franks, Tobias M., and Martin Hetzer. “The Role of Nup98 in Transcription Regulation in Healthy and Diseased Cells.” Trends in Cell Biology, vol. 23, no. 3, Elsevier, 2013, pp. 112–17, doi:10.1016/j.tcb.2012.10.013.
View
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 11084
Toyama, Brandon H., and Martin Hetzer. “Protein Homeostasis: Live Long, Won’t Prosper.” Nature Reviews Molecular Cell Biology, vol. 14, Springer Nature, 2013, pp. 55–61, doi:10.1038/nrm3496.
View
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 115
Waitukaitis, Scott R., and Heinrich Jaeger. “In Situ Granular Charge Measurement by Free-Fall Videography.” Review of Scientific Instruments, vol. 84, no. 2, 025104, AIP, 2013, doi:10.1063/1.4789496.
View
| DOI
2013 | Journal Article | IST-REx-ID: 11520 |
Sobral, D., et al. “The Dynamics of Z=0.8 H-Alpha-Selected Star-Forming Galaxies from KMOS/CF-HiZELS.” The Astrophysical Journal, vol. 779, no. 2, 139, IOP Publishing, 2013, doi:10.1088/0004-637x/779/2/139.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 116
Waitukaitis, Scott R., et al. “Dynamic Jamming Fronts.” EPL, vol. 102, no. 4, 44001, Elsevier, 2013, doi:10.1209/0295-5075/102/44001.
View
| DOI
2013 | Journal Article | IST-REx-ID: 11671
Baykan, Eda, et al. “A Comprehensive Study of Techniques for URL-Based Web Page Language Classification.” ACM Transactions on the Web, vol. 7, no. 1, 3, Association for Computing Machinery, 2013, doi:10.1145/2435215.2435218.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 117
Jaeger, Heinrich, et al. “From Nanoscale Cohesion to Macroscale Entanglement: Opportunities for Designing Granular Aggregate Behaviour by Tailoring Grain Shape and Interactions.” AIP Conference Proceedings, vol. 1542, AIP, 2013, pp. 3–6, doi:10.1063/1.4811858.
View
| DOI
2013 | Journal Article | IST-REx-ID: 11759 |
Dütting, Paul, et al. “Sponsored Search, Market Equilibria, and the Hungarian Method.” Information Processing Letters, vol. 113, no. 3, Elsevier, 2013, pp. 67–73, doi:10.1016/j.ipl.2012.11.006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 11793 |
Henzinger, Monika H., et al. “Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks.” 40th International Colloquium on Automata, Languages, and Programming, vol. 7966, Springer Nature, 2013, pp. 607–619, doi:10.1007/978-3-642-39212-2_53.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 11791 |
Dütting, Paul, et al. “Valuation Compressions in VCG-Based Combinatorial Auctions.” 9th International Conference on Web and Internet Economics, vol. 8289, Springer Nature, 2013, pp. 146–159, doi:10.1007/978-3-642-45046-4_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 11792 |
Dvořák, Wolfgang, et al. “Maximizing a Submodular Function with Viability Constraints.” 21st Annual European Symposium on Algorithms, vol. 8125, Springer Nature, 2013, pp. 409–20, doi:10.1007/978-3-642-40450-4_35.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 11856 |
Henzinger, Monika H., et al. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–47, doi:10.1109/focs.2013.64.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 11902
Dütting, Paul, et al. “Bidder Optimal Assignments for General Utilities.” Theoretical Computer Science, vol. 478, no. 3, Elsevier, 2013, pp. 22–32, doi:10.1016/j.tcs.2013.01.030.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 11959
Pieber, Bartholomäus, et al. “In Situ Generation of Diimide from Hydrazine and Oxygen: Continuous-Flow Transfer Hydrogenation of Olefins.” Angewandte Chemie International Edition, vol. 52, no. 39, Wiley, 2013, pp. 10241–44, doi:10.1002/anie.201303528.
View
| DOI
2013 | Journal Article | IST-REx-ID: 11960
Kappe, C. Oliver, et al. “Microwave Effects in Organic Synthesis: Myth or Reality?” Angewandte Chemie International Edition, vol. 52, no. 4, Wiley, 2013, pp. 1088–94, doi:10.1002/anie.201204103.
View
| DOI
2013 | Journal Article | IST-REx-ID: 11973
Pieber, Bartholomäus, and C. Oliver Kappe. “Direct Aerobic Oxidation of 2-Benzylpyridines in a Gas-Liquid Continuous-Flow Regime Using Propylene Carbonate as a Solvent.” Green Chemistry, vol. 15, no. 2, Royal Society of Chemistry, 2013, pp. 320–24, doi:10.1039/c2gc36896j.
View
| DOI
2013 | Journal Article | IST-REx-ID: 12642 |
Petersen, Lene, et al. “Suitability of a Constant Air Temperature Lapse Rate over an Alpine Glacier: Testing the Greuell and Böhm Model as an Alternative.” Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 120–30, doi:10.3189/2013aog63a477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 12643 |
Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal Variability.” Journal of Geophysical Research: Atmospheres, vol. 118, no. 8, American Geophysical Union, 2013, pp. 3066–84, doi:10.1002/jgrd.50277.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 12640
Immerzeel, W. W., et al. “Rising River Flows throughout the Twenty-First Century in Two Himalayan Glacierized Watersheds.” Nature Geoscience, vol. 6, no. 9, Springer Nature, 2013, pp. 742–45, doi:10.1038/ngeo1896.
View
| DOI
2013 | Journal Article | IST-REx-ID: 12641 |
Heynen, Martin, et al. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.” Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 311–21, doi:10.3189/2013aog63a537.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 1304
Haikala, Väinö, et al. “Optogenetic Control of Fly Optomotor Responses.” Journal of Neuroscience, vol. 33, no. 34, Society for Neuroscience, 2013, pp. 13927–34, doi:10.1523/JNEUROSCI.0340-13.2013.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1305
Jösch, Maximilian A., et al. “Functional Specialization of Parallel Motion Detection Circuits in the Fly.” Journal of Neuroscience, vol. 33, no. 3, Society for Neuroscience, 2013, pp. 902–05, doi:10.1523/JNEUROSCI.3374-12.2013.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1308
Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis, vol. 45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615, doi:10.1137/120874291.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1307
Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential Equations, vol. 38, no. 11, Taylor & Francis, 2013, pp. 2004–47, doi:10.1080/03605302.2013.823548.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1310
Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” Journal of Differential Equations, vol. 255, no. 10, Academic Press, 2013, pp. 3127–49, doi:10.1016/j.jde.2013.07.028.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 1374 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 1385 |
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 1387 |
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 1442 |
Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8.
View
| DOI
| Download (ext.)
2013 | Book Chapter | IST-REx-ID: 1443 |
Hausel, Tamás. “Global Topology of the Hitchin System.” Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.
View
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1469
Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics, vol. 234, Academic Press, 2013, pp. 85–128, doi:10.1016/j.aim.2012.10.009.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1470 |
De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities, vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 11758
Aceto, Luca, et al. “38th International Colloquium on Automata, Languages and Programming.” Information and Computation, vol. 222, no. 1, Elsevier, 2013, p. 1, doi:10.1016/j.ic.2012.11.002.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1726
Kahane, Nitza, et al. “The Transition from Differentiation to Growth during Dermomyotome-Derived Myogenesis Depends on Temporally Restricted Hedgehog Signaling.” Development, vol. 140, no. 8, Company of Biologists, 2013, pp. 1740–50, doi:10.1242/dev.092726.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1727
Kicheva, Anna, et al. “Quantitative Imaging of Morphogen Gradients in Drosophila Imaginal Discs.” Cold Spring Harbor Protocols, vol. 8, no. 5, Cold Spring Harbor Laboratory Press, 2013, pp. 387–403, doi:10.1101/pdb.top074237.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1760 |
Ares, Natalia, et al. “SiGe Quantum Dots for Fast Hole Spin Rabi Oscillations.” Applied Physics Letters, vol. 103, no. 26, American Institute of Physics, 2013, doi:10.1063/1.4858959.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1759 |
Ares, Natalia, et al. “Nature of Tunable Hole g Factors in Quantum Dots.” Physical Review Letters, vol. 110, no. 4, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.046602.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1785
Abdumalikov, Abdufarrukh, et al. “Experimental Realization of Non-Abelian Non-Adiabatic Geometric Gates.” Nature, vol. 496, no. 7446, Nature Publishing Group, 2013, pp. 482–85, doi:10.1038/nature12010.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1787
Lang, C., et al. “Correlations, Indistinguishability and Entanglement in Hong-Ou-Mandel Experiments at Microwave Frequencies.” Nature Physics, vol. 9, no. 6, Nature Publishing Group, 2013, pp. 345–48, doi:10.1038/nphys2612.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1786 |
Nissen, Felix, et al. “Collective Suppression of Linewidths in Circuit QED.” Physical Review Letters, vol. 110, no. 20, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.203602.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 1790
Novarino, Gaia, et al. “The Sacred Disease: The Puzzling Genetics of Epileptic Disorders.” Neuron, vol. 80, no. 1, Elsevier, 2013, pp. 9–11, doi:10.1016/j.neuron.2013.09.019.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1977
Sazanov, Leonid A., et al. “A Long Road towards the Structure of Respiratory Complex I, a Giant Molecular Proton Pump.” Biochemical Society Transactions, vol. 41, no. 5, Portland Press, 2013, pp. 1265–71, doi:10.1042/BST20130193.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1978
Baradaran, Rozbeh, et al. “Crystal Structure of the Entire Respiratory Complex I.” Nature, vol. 494, no. 7438, Nature Publishing Group, 2013, pp. 443–48, doi:10.1038/nature11871.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1991
Vicoso, Beatriz, and Doris Bachtrog. “Reversal of an Ancient Sex Chromosome to an Autosome in Drosophila.” Nature, vol. 499, no. 7458, Nature Publishing Group, 2013, pp. 332–35, doi:10.1038/nature12235.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1988
Bonny, Mike, et al. “Membrane Binding of MinE Allows for a Comprehensive Description of Min-Protein Pattern Formation.” PLoS Computational Biology, vol. 9, no. 12, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003347.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2010 |
Uhler, Caroline, et al. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics, vol. 41, no. 2, Institute of Mathematical Statistics, 2013, pp. 436–63, doi:10.1214/12-AOS1080.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2009 |
Uhler, Caroline, et al. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality , vol. 5, no. 1, Carnegie Mellon University, 2013, pp. 137–66, doi:10.29012/jpc.v5i1.629.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 2074
Vicoso, Beatriz, et al. “Sex Biased Gene Expression at Homomorphic Sex Chromosomes in Emus and Its Implication for Sex Chromosome Evolution.” PNAS, vol. 110, no. 16, National Academy of Sciences, 2013, pp. 6453–58, doi:10.1073/pnas.1217027110.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2076
Vicoso, Beatriz, et al. “Comparative Sex Chromosome Genomics in Snakes: Differentiation Evolutionary Strata and Lack of Global Dosage Compensation.” PLoS Biology, vol. 11, no. 8, Public Library of Science, 2013, doi:10.1371/journal.pbio.1001643.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2108
Coros, Stelian, et al. “Computational Design of Mechanical Characters.” ACM Transactions on Graphics, vol. 32, no. 4, ACM, 2013, doi:10.1145/2461912.2461953.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2110
Papas, Marios, et al. “Fabricating Translucent Materials Using Continuous Pigment Mixtures.” ACM Transactions on Graphics, vol. 32, no. 4, ACM, 2013, doi:10.1145/2461912.2461974.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2111
Bermano, Amit, et al. “Augmenting Physical Avatars Using Projector-Based Illumination.” ACM Transactions on Graphics, vol. 32, no. 6, ACM, 2013, doi:10.1145/2508363.2508416.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2109
Hildebrand, Kristian, et al. “Orthogonal Slicing for Additive Manufacturing.” Computers and Graphics (Pergamon), vol. 37, no. 6, Elsevier, 2013, pp. 669–75, doi:10.1016/j.cag.2013.05.011.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2107
Skouras, Mélina, et al. “Computational Design of Actuated Deformable Characters.” ACM Transactions on Graphics, vol. 32, no. 4, ACM, 2013, doi:10.1145/2461912.2461979.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2112
Miguel, Eder, et al. “Modeling and Estimation of Internal Friction in Cloth.” ACM Transactions on Graphics, vol. 32, no. 6, ACM, 2013, doi:10.1145/2508363.2508389 .
View
| DOI
2013 | Journal Article | IST-REx-ID: 2117 |
Dirksen, Sjoerd, et al. “Poisson Stochastic Integration in Banach Spaces.” Electronic Journal of Probability, vol. 18, Institute of Mathematical Statistics, 2013, doi:10.1214/EJP.v18-2945 .
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2113
Rouiller, Olivier, et al. “3D Printing Spatially Varying BRDFs.” IEEE Computer Graphics and Applications, vol. 33, no. 6, IEEE, 2013, pp. 48–57, doi:10.1109/MCG.2013.82 .
View
| DOI
2013 | Journal Article | IST-REx-ID: 2114
Bickel, Bernd, and Marc Alexa. “Computational Aspects of Fabrication: Modeling, Design and 3d Printing.” IEEE Computer Graphics and Applications, vol. 33, no. 6, IEEE, 2013, pp. 24–25, doi:10.1109/MCG.2013.89.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2129 |
Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete Transportation Metrics.” SIAM Journal on Mathematical Analysis, vol. 45, no. 2, Society for Industrial and Applied Mathematics , 2013, pp. 879–99, doi:10.1137/120886315 .
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2139 |
Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced Dissipation.” Frontiers Physics, vol. 1, no. 17, Frontiers Media, 2013, doi:10.3389/fphy.2013.00017.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2181 |
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
[Submitted Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2209
Biedl, Therese, et al. Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input. IEEE, 2013, pp. 37–46, doi:10.1109/ISVD.2013.11.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2204 |
Bhongale, Satyan, et al. “Quantum Phases of Quadrupolar Fermi Gases in Optical Lattices.” Physical Review Letters, vol. 110, no. 15, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.155301.
View
| Files available
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 2206 |
Lemeshko, Mikhail, et al. “Controllable Quantum Spin Glasses with Magnetic Impurities Embedded in Quantum Solids.” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 1, American Physical Society, 2013, doi:10.1103/PhysRevB.88.014426.
View
| DOI
| Download (ext.)
2013 | Book Review | IST-REx-ID: 2205 |
Lemeshko, Mikhail, et al. “Manipulation of Molecules with Electromagnetic Fields.” Molecular Physics, vol. 111, no. 12–13, Taylor & Francis, 2013, pp. 1648–82, doi:10.1080/00268976.2013.813595.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2207 |
Lemeshko, Mikhail, and Hendrik Weimer. “Dissipative Binding of Atoms by Non-Conservative Forces.” Nature Communications, vol. 4, Nature Publishing Group, 2013, doi:10.1038/ncomms3230.
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2210 |
Biedl, Therese, et al. “Reconstructing Polygons from Embedded Straight Skeletons.” 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
[Submitted Version]
View
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2237 |
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
[Submitted Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, et al. Multi-Objective Discounted Reward Verification in Graphs and MDPs. Vol. 8312, Springer, 2013, pp. 228–42, doi:10.1007/978-3-642-45221-5_17.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2243 |
Michaliszyn, Jakub, and Jan Otop. Elementary Modal Logics over Transitive Structures. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 563–77, doi:10.4230/LIPIcs.CSL.2013.563.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2244 |
Matoušek, Jiří, et al. Untangling Two Systems of Noncrossing Curves. Vol. 8242, Springer, 2013, pp. 472–83, doi:10.1007/978-3-319-03841-4_41.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2259 |
Alwen, Joel F., et al. Learning with Rounding, Revisited: New Reduction Properties and Applications. Vol. 8042, no. 1, Springer, 2013, pp. 57–74, doi:10.1007/978-3-642-40041-4_4.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2258 |
Kiltz, Eike, et al. Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions. Vol. 8042, Springer, 2013, pp. 571–88, doi:10.1007/978-3-642-40041-4_31.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2256 |
Danowski, Patrick, et al. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen, vol. 66, no. 3/4, Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013, pp. 559–87.
[Published Version]
View
| Files available
2013 | Conference Paper | IST-REx-ID: 2260 |
Bernhard, David, et al. Efficient Signatures of Knowledge and DAA in the Standard Model. Vol. 7954, Springer, 2013, pp. 518–33, doi:10.1007/978-3-642-38980-1_33.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2264 |
Liang, Huixuan, et al. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.” Development, vol. 140, no. 3, Company of Biologists, 2013, pp. 552–61, doi:10.1242/dev.085621.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2269
Auzinger, Thomas, et al. “Analytic Visibility on the GPU.” Computer Graphics Forum, vol. 32, no. 124, Wiley-Blackwell, 2013, pp. 409–18, doi:DOI: 10.1111/cgf.12061.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2270 |
Bachrach, Yoram, et al. Optimal Coalition Structures in Cooperative Graph Games. AAAI Press, 2013, pp. 81–87.
View
| Download None (ext.)
| arXiv
2013 | Report | IST-REx-ID: 2273 |
Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
View
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2278
Pérez Gómez, Raquel, et al. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.” Journal of Cell Science, vol. 126, no. 21, Company of Biologists, 2013, pp. 4873–84, doi:10.1242/jcs.125617.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2276 |
Gridchyn, Igor, and Vladimir Kolmogorov. Potts Model, Parametric Maxflow and k-Submodular Functions. IEEE, 2013, pp. 2320–27, doi:10.1109/ICCV.2013.288.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2280 |
Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM Review, vol. 55, no. 4, Society for Industrial and Applied Mathematics , 2013, pp. 671–706, doi:10.1137/120872309.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2287 |
Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology and Evolution, vol. 3, no. 3, Wiley-Blackwell, 2013, pp. 629–39, doi:10.1002/ece3.465.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2282 |
Campinho, Pedro, et al. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology, vol. 15, Nature Publishing Group, 2013, pp. 1405–14, doi:10.1038/ncb2869.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2283
Pull, Christopher, et al. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .” Naturwissenschaften, vol. 100, no. 12, Springer, 2013, pp. 1125–36, doi:10.1007/s00114-013-1115-5.
View
| DOI
2013 | Journal Article | IST-REx-ID: 2286 |
Campinho, Pedro, and Carl-Philipp J. Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal, vol. 32, no. 21, Wiley-Blackwell, 2013, pp. 2783–84, doi:10.1038/emboj.2013.225.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2289 |
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2290 |
Boutté, Yohann, et al. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS, vol. 110, no. 40, National Academy of Sciences, 2013, pp. 16259–64, doi:10.1073/pnas.1309057110.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2294 |
Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation. IEEE, 2013, doi:10.1109/ICCV.2013.139.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, Krishnendu, and Jiri Sgall, editors. Mathematical Foundations of Computer Science 2013. Vol. 8087, Springer, 2013, p. VI-854, doi:10.1007/978-3-642-40313-2.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2293 |
Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information. IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2291 |
Ferrara, Anna, et al. Cryptographically Enforced RBAC. IEEE, 2013, pp. 115–29, doi:10.1109/CSF.2013.15.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A. Henzinger, editors. Computational Methods in Systems Biology. Vol. 8130, Springer, 2013, doi:10.1007/978-3-642-40708-6.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2298 |
Dragoi, Cezara, et al. Local Shape Analysis for Overlaid Data Structures. Vol. 7935, Springer, 2013, pp. 150–71, doi:10.1007/978-3-642-38856-9_10.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2299 |
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2297 |
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics, vol. 8, no. 2, Springer, 2013, pp. 185–232, doi:10.1007/s11537-013-1264-5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Book | IST-REx-ID: 2306 |
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50, De Gruyter, 2013, doi:10.1515/9783110278736.
[Published Version]
View
| Files available
| DOI