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 | OA
Hatch, Emily M., Andrew H. Fischer, Thomas J. Deerinck, and Martin Hetzer. “Catastrophic Nuclear Envelope Collapse in Cancer Cell Micronuclei.” Cell. Elsevier, 2013. https://doi.org/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 | OA
Regner, Benjamin M., Dejan Vučinić, Cristina Domnisoru, Thomas M. Bartol, Martin Hetzer, Daniel M. Tartakovsky, and Terrence J. Sejnowski. “Anomalous Diffusion of Single Particles in Cytoplasm.” Biophysical Journal. Elsevier, 2013. https://doi.org/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. Elsevier, 2013. https://doi.org/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. Springer Nature, 2013. https://doi.org/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. AIP, 2013. https://doi.org/10.1063/1.4789496.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 11520 | OA
Sobral, D., A. M. Swinbank, J. P. Stott, Jorryt J Matthee, R. G. Bower, Ian Smail, P. Best, J. E. Geach, and R. M. Sharples. “The Dynamics of Z=0.8 H-Alpha-Selected Star-Forming Galaxies from KMOS/CF-HiZELS.” The Astrophysical Journal. IOP Publishing, 2013. https://doi.org/10.1088/0004-637x/779/2/139.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 116
Waitukaitis, Scott R, Leah Roth, Vincenzo Vitelli, and Heinrich Jaeger. “Dynamic Jamming Fronts.” EPL. Elsevier, 2013. https://doi.org/10.1209/0295-5075/102/44001.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 11671
Baykan, Eda, Ingmar Weber, and Monika H Henzinger. “A Comprehensive Study of Techniques for URL-Based Web Page Language Classification.” ACM Transactions on the Web. Association for Computing Machinery, 2013. https://doi.org/10.1145/2435215.2435218.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 117
Jaeger, Heinrich, Marc Miskin, and Scott R Waitukaitis. “From Nanoscale Cohesion to Macroscale Entanglement: Opportunities for Designing Granular Aggregate Behaviour by Tailoring Grain Shape and Interactions.” In AIP Conference Proceedings, 1542:3–6. AIP, 2013. https://doi.org/10.1063/1.4811858.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 11759 | OA
Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Sponsored Search, Market Equilibria, and the Hungarian Method.” Information Processing Letters. Elsevier, 2013. https://doi.org/10.1016/j.ipl.2012.11.006.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 11793 | OA
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks.” In 40th International Colloquium on Automata, Languages, and Programming, 7966:607–619. Springer Nature, 2013. https://doi.org/10.1007/978-3-642-39212-2_53.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 11791 | OA
Dütting, Paul, Monika H Henzinger, and Martin Starnberger. “Valuation Compressions in VCG-Based Combinatorial Auctions.” In 9th International Conference on Web and Internet Economics, 8289:146–159. Springer Nature, 2013. https://doi.org/10.1007/978-3-642-45046-4_13.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 11792 | OA
Dvořák, Wolfgang, Monika H Henzinger, and David P. Williamson. “Maximizing a Submodular Function with Viability Constraints.” In 21st Annual European Symposium on Algorithms, 8125:409–20. Springer Nature, 2013. https://doi.org/10.1007/978-3-642-40450-4_35.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 11856 | OA
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” In 54th Annual Symposium on Foundations of Computer Science, 538–47. Institute of Electrical and Electronics Engineers, 2013. https://doi.org/10.1109/focs.2013.64.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 11902
Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Bidder Optimal Assignments for General Utilities.” Theoretical Computer Science. Elsevier, 2013. https://doi.org/10.1016/j.tcs.2013.01.030.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 11959
Pieber, Bartholomäus, Sabrina Teixeira Martinez, David Cantillo, and C. Oliver Kappe. “In Situ Generation of Diimide from Hydrazine and Oxygen: Continuous-Flow Transfer Hydrogenation of Olefins.” Angewandte Chemie International Edition. Wiley, 2013. https://doi.org/10.1002/anie.201303528.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 11960
Kappe, C. Oliver, Bartholomäus Pieber, and Doris Dallinger. “Microwave Effects in Organic Synthesis: Myth or Reality?” Angewandte Chemie International Edition. Wiley, 2013. https://doi.org/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. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c2gc36896j.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 12642 | OA
Petersen, Lene, Francesca Pellicciotti, Inge Juszak, Marco Carenzo, and Ben Brock. “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. International Glaciological Society, 2013. https://doi.org/10.3189/2013aog63a477.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12643 | OA
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. American Geophysical Union, 2013. https://doi.org/10.1002/jgrd.50277.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12640
Immerzeel, W. W., Francesca Pellicciotti, and M. F. P. Bierkens. “Rising River Flows throughout the Twenty-First Century in Two Himalayan Glacierized Watersheds.” Nature Geoscience. Springer Nature, 2013. https://doi.org/10.1038/ngeo1896.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 12641 | OA
Heynen, Martin, Francesca Pellicciotti, and Marco Carenzo. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.” Annals of Glaciology. International Glaciological Society, 2013. https://doi.org/10.3189/2013aog63a537.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 1304
Haikala, Väinö, Maximilian A Jösch, Alexander Borst, and Alex Mauss. “Optogenetic Control of Fly Optomotor Responses.” Journal of Neuroscience. Society for Neuroscience, 2013. https://doi.org/10.1523/JNEUROSCI.0340-13.2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1305
Jösch, Maximilian A, Franz Weber, Hubert Eichner, and Alexander Borst. “Functional Specialization of Parallel Motion Detection Circuits in the Fly.” Journal of Neuroscience. Society for Neuroscience, 2013. https://doi.org/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. Society for Industrial and Applied Mathematics , 2013. https://doi.org/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. Taylor & Francis, 2013. https://doi.org/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. Academic Press, 2013. https://doi.org/10.1016/j.jde.2013.07.028.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679394.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 1442 | OA
Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics. Princeton University Press, 2013. https://doi.org/10.4007/annals.2013.177.3.8.
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 1443 | OA
Hausel, Tamás. “Global Topology of the Hitchin System.” In Handbook of Moduli: Volume II, 25:29–70. International Press, 2013.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1469
Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics. Academic Press, 2013. https://doi.org/10.1016/j.aim.2012.10.009.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1470 | OA
De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities. Worldwide Center of Mathematics, 2013. https://doi.org/10.5427/jsing.2013.7c.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 11758
Aceto, Luca, Monika H Henzinger, and Jiří Sgall. “38th International Colloquium on Automata, Languages and Programming.” Information and Computation. Elsevier, 2013. https://doi.org/10.1016/j.ic.2012.11.002.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1726
Kahane, Nitza, Vanessa Ribes, Anna Kicheva, James Briscoe, and Chaya Kalcheim. “The Transition from Differentiation to Growth during Dermomyotome-Derived Myogenesis Depends on Temporally Restricted Hedgehog Signaling.” Development. Company of Biologists, 2013. https://doi.org/10.1242/dev.092726.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1727
Kicheva, Anna, Laurent Holtzer, Ortrud Wartlick, Thomas Schmidt, and Marcos González Gaitán. “Quantitative Imaging of Morphogen Gradients in Drosophila Imaginal Discs.” Cold Spring Harbor Protocols. Cold Spring Harbor Laboratory Press, 2013. https://doi.org/10.1101/pdb.top074237.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1760 | OA
Ares, Natalia, Georgios Katsaros, Vitaly Golovach, Jianjun Zhang, Aaron Prager, Leonid Glazman, Oliver Schmidt, and Silvano De Franceschi. “SiGe Quantum Dots for Fast Hole Spin Rabi Oscillations.” Applied Physics Letters. American Institute of Physics, 2013. https://doi.org/10.1063/1.4858959.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1759 | OA
Ares, Natalia, Vitaly Golovach, Georgios Katsaros, Mathieu Stoffel, Frank Fournel, Leonid Glazman, Oliver Schmidt, and Silvano De Franceschi. “Nature of Tunable Hole g Factors in Quantum Dots.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.046602.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1785
Abdumalikov, Abdufarrukh, Johannes M Fink, K Juliusson, M Pechal, Stefan Berger, Andreas Wallraff, and Stefan Filipp. “Experimental Realization of Non-Abelian Non-Adiabatic Geometric Gates.” Nature. Nature Publishing Group, 2013. https://doi.org/10.1038/nature12010.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1787
Lang, C, Christopher Eichler, L. Steffen, Johannes M Fink, Matthew Woolley, Alexandre Blais, and Andreas Wallraff. “Correlations, Indistinguishability and Entanglement in Hong-Ou-Mandel Experiments at Microwave Frequencies.” Nature Physics. Nature Publishing Group, 2013. https://doi.org/10.1038/nphys2612.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1786 | OA
Nissen, Felix, Johannes M Fink, Jonas Mlynek, Andreas Wallraff, and Jonathan Keeling. “Collective Suppression of Linewidths in Circuit QED.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.203602.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1790
Novarino, Gaia, Seungtae Baek, and Joseph Gleeson. “The Sacred Disease: The Puzzling Genetics of Epileptic Disorders.” Neuron. Elsevier, 2013. https://doi.org/10.1016/j.neuron.2013.09.019.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1977
Sazanov, Leonid A, Rozbeh Baradaran, Rouslan Efremov, John Berrisford, and Gurdeep Minhas. “A Long Road towards the Structure of Respiratory Complex I, a Giant Molecular Proton Pump.” Biochemical Society Transactions. Portland Press, 2013. https://doi.org/10.1042/BST20130193.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1978
Baradaran, Rozbeh, John Berrisford, Gurdeep Minhas, and Leonid A Sazanov. “Crystal Structure of the Entire Respiratory Complex I.” Nature. Nature Publishing Group, 2013. https://doi.org/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. Nature Publishing Group, 2013. https://doi.org/10.1038/nature12235.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1988
Bonny, Mike, Elisabeth Fischer Friedrich, Martin Loose, Petra Schwille, and Karsten Kruse. “Membrane Binding of MinE Allows for a Comprehensive Description of Min-Protein Pattern Formation.” PLoS Computational Biology. Public Library of Science, 2013. https://doi.org/10.1371/journal.pcbi.1003347.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2010 | OA
Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics. Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/12-AOS1080.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2009 | OA
Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality . Carnegie Mellon University, 2013. https://doi.org/10.29012/jpc.v5i1.629.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2074
Vicoso, Beatriz, Vera Kaiser, and Doris Bachtrog. “Sex Biased Gene Expression at Homomorphic Sex Chromosomes in Emus and Its Implication for Sex Chromosome Evolution.” PNAS. National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1217027110.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2076
Vicoso, Beatriz, Jr Emerson, Yulia Zektser, Shivani Mahajan, and Doris Bachtrog. “Comparative Sex Chromosome Genomics in Snakes: Differentiation Evolutionary Strata and Lack of Global Dosage Compensation.” PLoS Biology. Public Library of Science, 2013. https://doi.org/10.1371/journal.pbio.1001643.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2108
Coros, Stelian, Bernhard Thomaszewski, Gioacchino Noris, Shinjiro Sueda, Moira Forberg, Robert Sumner, Wojciech Matusik, and Bernd Bickel. “Computational Design of Mechanical Characters.” ACM Transactions on Graphics. ACM, 2013. https://doi.org/10.1145/2461912.2461953.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2110
Papas, Marios, Christian Regg, Wojciech Jarosz, Bernd Bickel, Philip Jackson, Wojciech Matusik, Steve Marschner, and Markus Groß. “Fabricating Translucent Materials Using Continuous Pigment Mixtures.” ACM Transactions on Graphics. ACM, 2013. https://doi.org/10.1145/2461912.2461974.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2111
Bermano, Amit, Philipp Bruschweiler, Anselm Grundhöfer, Daisuke Iwai, Bernd Bickel, and Markus Groß. “Augmenting Physical Avatars Using Projector-Based Illumination.” ACM Transactions on Graphics. ACM, 2013. https://doi.org/10.1145/2508363.2508416.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2109
Hildebrand, Kristian, Bernd Bickel, and Marc Alexa. “Orthogonal Slicing for Additive Manufacturing.” Computers and Graphics (Pergamon). Elsevier, 2013. https://doi.org/10.1016/j.cag.2013.05.011.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
Skouras, Mélina, Bernhard Thomaszewski, Stelian Coros, Bernd Bickel, and Markus Groß. “Computational Design of Actuated Deformable Characters.” ACM Transactions on Graphics. ACM, 2013. https://doi.org/10.1145/2461912.2461979.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2112
Miguel, Eder, Rasmus Tamstorf, Derek Bradley, Sara Schvartzman, Bernhard Thomaszewski, Bernd Bickel, Wojciech Matusik, Steve Marschner, and Miguel Otaduy. “Modeling and Estimation of Internal Friction in Cloth.” ACM Transactions on Graphics. ACM, 2013. https://doi.org/10.1145/2508363.2508389 .
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2117 | OA
Dirksen, Sjoerd, Jan Maas, and Jan Van Neerven. “Poisson Stochastic Integration in Banach Spaces.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/EJP.v18-2945 .
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2113
Rouiller, Olivier, Bernd Bickel, Jan Kautz, Wojciech Matusik, and Marc Alexa. “3D Printing Spatially Varying BRDFs.” IEEE Computer Graphics and Applications. IEEE, 2013. https://doi.org/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. IEEE, 2013. https://doi.org/10.1109/MCG.2013.89.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2129 | OA
Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete Transportation Metrics.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120886315 .
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2139 | OA
Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced Dissipation.” Frontiers Physics. Frontiers Media, 2013. https://doi.org/10.3389/fphy.2013.00017.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013. https://doi.org/10.1145/2429069.2429109.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013. https://doi.org/10.1145/2429069.2429085.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2209
Biedl, Therese, Martin Held, and Stefan Huber. “Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input,” 37–46. IEEE, 2013. https://doi.org/10.1109/ISVD.2013.11.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2204 | OA
Bhongale, Satyan, Ludwig Mathey, Erhai Zhao, Susanne Yelin, and Mikhail Lemeshko. “Quantum Phases of Quadrupolar Fermi Gases in Optical Lattices.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/PhysRevLett.110.155301.
View | Files available | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 2206 | OA
Lemeshko, Mikhail, Norman Yao, Alexey Gorshkov, Hendrik Weimer, Steven Bennett, Takamasa Momose, and Sarang Gopalakrishnan. “Controllable Quantum Spin Glasses with Magnetic Impurities Embedded in Quantum Solids.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2013. https://doi.org/10.1103/PhysRevB.88.014426.
View | DOI | Download (ext.)
 

2013 | Book Review | IST-REx-ID: 2205 | OA
Lemeshko, Mikhail, Roman Krems, John Doyle, and Sabre Kais. “Manipulation of Molecules with Electromagnetic Fields.” Molecular Physics. Taylor & Francis, 2013. https://doi.org/10.1080/00268976.2013.813595.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2207 | OA
Lemeshko, Mikhail, and Hendrik Weimer. “Dissipative Binding of Atoms by Non-Conservative Forces.” Nature Communications. Nature Publishing Group, 2013. https://doi.org/10.1038/ncomms3230.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2210 | OA
Biedl, Therese, Martin Held, and Stefan Huber. “Reconstructing Polygons from Embedded Straight Skeletons.” In 29th European Workshop on Computational Geometry, 95–98. TU Braunschweig, 2013.
[Submitted Version] View | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2237 | OA
Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-45221-5_13.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, Vojtěch Forejt, and Dominik Wojtczak. “Multi-Objective Discounted Reward Verification in Graphs and MDPs.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-45221-5_17.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.563.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-319-03841-4_41.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2259 | OA
Alwen, Joel F, Stephan Krenn, Krzysztof Z Pietrzak, and Daniel Wichs. “Learning with Rounding, Revisited: New Reduction Properties and Applications.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40041-4_4.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2258 | OA
Kiltz, Eike, Krzysztof Z Pietrzak, and Mario Szegedy. “Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40041-4_31.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2256 | OA
Danowski, Patrick, Doron Goldfarb, Verena Schaffner, and Wolfram Seidler. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013.
[Published Version] View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2260 | OA
Bernhard, David, Georg Fuchsbauer, and Essam Ghadafi. “Efficient Signatures of Knowledge and DAA in the Standard Model.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-38980-1_33.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2264 | OA
Liang, Huixuan, Guanxi Xiao, Haifeng Yin, Simon Hippenmeyer, Jonathan Horowitz, and Troy Ghashghaei. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.” Development. Company of Biologists, 2013. https://doi.org/10.1242/dev.085621.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2269
Auzinger, Thomas, Michael Wimmer, and Stefan Jeschke. “Analytic Visibility on the GPU.” Computer Graphics Forum. Wiley-Blackwell, 2013. https://doi.org/DOI: 10.1111/cgf.12061.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2270 | OA
Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam. “Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press, 2013.
View | Download None (ext.) | arXiv
 

2013 | Report | IST-REx-ID: 2273 | OA
Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2278
Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejčí, and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.” Journal of Cell Science. Company of Biologists, 2013. https://doi.org/10.1242/jcs.125617.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2276 | OA
Gridchyn, Igor, and Vladimir Kolmogorov. “Potts Model, Parametric Maxflow and k-Submodular Functions,” 2320–27. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.288.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2280 | OA
Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM Review. Society for Industrial and Applied Mathematics , 2013. https://doi.org/10.1137/120872309.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2287 | OA
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. Wiley-Blackwell, 2013. https://doi.org/10.1002/ece3.465.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2282 | OA
Campinho, Pedro, Martin Behrndt, Jonas Ranft, Thomas Risler, Nicolas Minc, and Carl-Philipp J Heisenberg. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology. Nature Publishing Group, 2013. https://doi.org/10.1038/ncb2869.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2283
Pull, Christopher, William Hughes, and Markus Brown. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .” Naturwissenschaften. Springer, 2013. https://doi.org/10.1007/s00114-013-1115-5.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2286 | OA
Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal. Wiley-Blackwell, 2013. https://doi.org/10.1038/emboj.2013.225.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2289 | OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development. Springer, 2013. https://doi.org/10.1007/s00450-013-0251-7.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2290 | OA
Boutté, Yohann, Kristoffer Jonsson, Heather Mcfarlane, Errin Johnson, Delphine Gendre, Ranjan Swarup, Jiří Friml, Lacey Samuels, Stéphanie Robert, and Rishikesh Bhalerao. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS. National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1309057110.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2294 | OA
Kazmar, Tomas, Evgeny Kvon, Alexander Stark, and Christoph Lampert. “Drosophila Embryo Stage Annotation Using Label Propagation.” IEEE, 2013. https://doi.org/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, eds. Mathematical Foundations of Computer Science 2013. Vol. 8087. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40313-2.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2293 | OA
Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning to Rank Using Privileged Information,” 825–32. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.107.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2291 | OA
Ferrara, Anna, Georg Fuchsbauer, and Bogdan Warinschi. “Cryptographically Enforced RBAC,” 115–29. IEEE, 2013. https://doi.org/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, eds. Computational Methods in Systems Biology. Vol. 8130. Springer, 2013. https://doi.org/10.1007/978-3-642-40708-6.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2298 | OA
Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis for Overlaid Data Structures,” 7935:150–71. Springer, 2013. https://doi.org/10.1007/978-3-642-38856-9_10.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299 | OA
Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer. Springer, 2013. https://doi.org/10.1007/s10009-011-0207-9.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics. Springer, 2013. https://doi.org/10.1007/s11537-013-1264-5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Book | IST-REx-ID: 2306 | OA
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50. De Gruyter, 2013. https://doi.org/10.1515/9783110278736.
[Published Version] View | Files available | DOI
 

Search

Filter Publications