Kappe, C. Oliver, Bartholomäus Pieber, and Doris Dallinger. “Microwave Effects in Organic Synthesis: Myth or Reality?”https://doi.org/10.1002/anie.201204103__Angewandte Chemie International Edition. Wiley, 2013.https://doi.org/10.1002/anie.201204103 .
LibreCat: https://research-explorer.ista.ac.at/record/11960
DOI: 10.1002/anie.201204103

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.”https://doi.org/10.1039/c2gc36896j__Green Chemistry. Royal Society of Chemistry, 2013.https://doi.org/10.1039/c2gc36896j .
LibreCat: https://research-explorer.ista.ac.at/record/11973
DOI: 10.1039/c2gc36896j

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.”https://doi.org/10.3189/2013aog63a477__Annals of Glaciology. International Glaciological Society, 2013.https://doi.org/10.3189/2013aog63a477 .
LibreCat: https://research-explorer.ista.ac.at/record/12642
DOI: 10.3189/2013aog63a477

Juszak, I., and Francesca Pellicciotti. “A Comparison of Parameterizations of Incoming Longwave Radiation over Melting Glaciers: Model Robustness and Seasonal Variability.”https://doi.org/10.1002/jgrd.50277__Journal of Geophysical Research: Atmospheres. American Geophysical Union, 2013.https://doi.org/10.1002/jgrd.50277 .
LibreCat: https://research-explorer.ista.ac.at/record/12643
DOI: 10.1002/jgrd.50277

Immerzeel, W. W., Francesca Pellicciotti, and M. F. P. Bierkens. “Rising River Flows throughout the Twenty-First Century in Two Himalayan Glacierized Watersheds.”https://doi.org/10.1038/ngeo1896__Nature Geoscience. Springer Nature, 2013.https://doi.org/10.1038/ngeo1896 .
LibreCat: https://research-explorer.ista.ac.at/record/12640
DOI: 10.1038/ngeo1896

Heynen, Martin, Francesca Pellicciotti, and Marco Carenzo. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.”https://doi.org/10.3189/2013aog63a537__Annals of Glaciology. International Glaciological Society, 2013.https://doi.org/10.3189/2013aog63a537 .
LibreCat: https://research-explorer.ista.ac.at/record/12641
DOI: 10.3189/2013aog63a537

Haikala, Väinö, Maximilian A Jösch, Alexander Borst, and Alex Mauss. “Optogenetic Control of Fly Optomotor Responses.”https://doi.org/10.1523/JNEUROSCI.0340-13.2013__Journal of Neuroscience. Society for Neuroscience, 2013.https://doi.org/10.1523/JNEUROSCI.0340-13.2013 .
LibreCat: https://research-explorer.ista.ac.at/record/1304
DOI: 10.1523/JNEUROSCI.0340-13.2013

Jösch, Maximilian A, Franz Weber, Hubert Eichner, and Alexander Borst. “Functional Specialization of Parallel Motion Detection Circuits in the Fly.”https://doi.org/10.1523/JNEUROSCI.3374-12.2013__Journal of Neuroscience. Society for Neuroscience, 2013.https://doi.org/10.1523/JNEUROSCI.3374-12.2013 .
LibreCat: https://research-explorer.ista.ac.at/record/1305
DOI: 10.1523/JNEUROSCI.3374-12.2013

Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.”https://doi.org/10.1137/120874291__SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2013.https://doi.org/10.1137/120874291 .
LibreCat: https://research-explorer.ista.ac.at/record/1308
DOI: 10.1137/120874291

Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.”https://doi.org/10.1080/03605302.2013.823548__Communications in Partial Differential Equations. Taylor &; Francis, 2013.https://doi.org/10.1080/03605302.2013.823548 .
LibreCat: https://research-explorer.ista.ac.at/record/1307
DOI: 10.1080/03605302.2013.823548

Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.”https://doi.org/10.1016/j.jde.2013.07.028__Journal of Differential Equations. Academic Press, 2013.https://doi.org/10.1016/j.jde.2013.07.028 .
LibreCat: https://research-explorer.ista.ac.at/record/1310
DOI: 10.1016/j.jde.2013.07.028

Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.”https://doi.org/10.4230/LIPIcs.CSL.2013.181__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 .
LibreCat: https://research-explorer.ista.ac.at/record/1374
DOI: 10.4230/LIPIcs.CSL.2013.181

Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.”https://doi.org/10.1109/FMCAD.2013.6679394__In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679394 .
LibreCat: https://research-explorer.ista.ac.at/record/1385
DOI: 10.1109/FMCAD.2013.6679394
arXiv: 1308.4767

Boker, Udi, Denis Kuperberg, Orna Kupferman, and Micha Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.”https://doi.org/10.1007/978-3-642-39212-2_11__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39212-2_11 .
LibreCat: https://research-explorer.ista.ac.at/record/1387
DOI: 10.1007/978-3-642-39212-2_11

Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.”https://doi.org/10.4007/annals.2013.177.3.8__Annals of Mathematics. Princeton University Press, 2013.https://doi.org/10.4007/annals.2013.177.3.8 .
LibreCat: https://research-explorer.ista.ac.at/record/1442
DOI: 10.4007/annals.2013.177.3.8

Hausel, Tamás. “Global Topology of the Hitchin System.” In Handbook of Moduli: Volume II, 25:29–70. International Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1443

Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.”https://doi.org/10.1016/j.aim.2012.10.009__Advances in Mathematics. Academic Press, 2013.https://doi.org/10.1016/j.aim.2012.10.009 .
LibreCat: https://research-explorer.ista.ac.at/record/1469
DOI: 10.1016/j.aim.2012.10.009

De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.”https://doi.org/10.5427/jsing.2013.7c__Journal of Singularities. Worldwide Center of Mathematics, 2013.https://doi.org/10.5427/jsing.2013.7c .
LibreCat: https://research-explorer.ista.ac.at/record/1470
DOI: 10.5427/jsing.2013.7c

Aceto, Luca, Monika H Henzinger, and Jií Sgall. “th International Colloquium on Automata, Languages and Programming.”https://doi.org/10.1016/j.ic.2012.11.002__Information and Computation. Elsevier, 2013.https://doi.org/10.1016/j.ic.2012.11.002 .
LibreCat: https://research-explorer.ista.ac.at/record/11758
DOI: 10.1016/j.ic.2012.11.002

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.”https://doi.org/10.1242/dev.092726__Development. Company of Biologists, 2013.https://doi.org/10.1242/dev.092726 .
LibreCat: https://research-explorer.ista.ac.at/record/1726
DOI: 10.1242/dev.092726

Kicheva, Anna, Laurent Holtzer, Ortrud Wartlick, Thomas Schmidt, and Marcos González Gaitán. “Quantitative Imaging of Morphogen Gradients in Drosophila Imaginal Discs.”https://doi.org/10.1101/pdb.top074237__Cold Spring Harbor Protocols. Cold Spring Harbor Laboratory Press, 2013.https://doi.org/10.1101/pdb.top074237 .
LibreCat: https://research-explorer.ista.ac.at/record/1727
DOI: 10.1101/pdb.top074237

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.”https://doi.org/10.1063/1.4858959__Applied Physics Letters. American Institute of Physics, 2013.https://doi.org/10.1063/1.4858959 .
LibreCat: https://research-explorer.ista.ac.at/record/1760
DOI: 10.1063/1.4858959

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.”https://doi.org/10.1103/PhysRevLett.110.046602__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.046602 .
LibreCat: https://research-explorer.ista.ac.at/record/1759
DOI: 10.1103/PhysRevLett.110.046602

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.”https://doi.org/10.1038/nature12010__Nature. Nature Publishing Group, 2013.https://doi.org/10.1038/nature12010 .
LibreCat: https://research-explorer.ista.ac.at/record/1785
DOI: 10.1038/nature12010

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.”https://doi.org/10.1038/nphys2612__Nature Physics. Nature Publishing Group, 2013.https://doi.org/10.1038/nphys2612 .
LibreCat: https://research-explorer.ista.ac.at/record/1787
DOI: 10.1038/nphys2612

Nissen, Felix, Johannes M Fink, Jonas Mlynek, Andreas Wallraff, and Jonathan Keeling. “Collective Suppression of Linewidths in Circuit QED.”https://doi.org/10.1103/PhysRevLett.110.203602__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.203602 .
LibreCat: https://research-explorer.ista.ac.at/record/1786
DOI: 10.1103/PhysRevLett.110.203602

Novarino, Gaia, Seungtae Baek, and Joseph Gleeson. “The Sacred Disease: The Puzzling Genetics of Epileptic Disorders.”https://doi.org/10.1016/j.neuron.2013.09.019__Neuron. Elsevier, 2013.https://doi.org/10.1016/j.neuron.2013.09.019 .
LibreCat: https://research-explorer.ista.ac.at/record/1790
DOI: 10.1016/j.neuron.2013.09.019

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.”https://doi.org/10.1042/BST20130193__Biochemical Society Transactions. Portland Press, 2013.https://doi.org/10.1042/BST20130193 .
LibreCat: https://research-explorer.ista.ac.at/record/1977
DOI: 10.1042/BST20130193

Baradaran, Rozbeh, John Berrisford, Gurdeep Minhas, and Leonid A Sazanov. “Crystal Structure of the Entire Respiratory Complex I.”https://doi.org/10.1038/nature11871__Nature. Nature Publishing Group, 2013.https://doi.org/10.1038/nature11871 .
LibreCat: https://research-explorer.ista.ac.at/record/1978
DOI: 10.1038/nature11871

Vicoso, Beatriz, and Doris Bachtrog. “Reversal of an Ancient Sex Chromosome to an Autosome in Drosophila.”https://doi.org/10.1038/nature12235__Nature. Nature Publishing Group, 2013.https://doi.org/10.1038/nature12235 .
LibreCat: https://research-explorer.ista.ac.at/record/1991
DOI: 10.1038/nature12235

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.”https://doi.org/10.1371/journal.pcbi.1003347__PLoS Computational Biology. Public Library of Science, 2013.https://doi.org/10.1371/journal.pcbi.1003347 .
LibreCat: https://research-explorer.ista.ac.at/record/1988
DOI: 10.1371/journal.pcbi.1003347

Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.”https://doi.org/10.1214/12-AOS1080__The Annals of Statistics. Institute of Mathematical Statistics, 2013.https://doi.org/10.1214/12-AOS1080 .
LibreCat: https://research-explorer.ista.ac.at/record/2010
DOI: 10.1214/12-AOS1080
arXiv: 1207.0547

Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.”https://doi.org/10.29012/jpc.v5i1.629__Journal of Privacy and Confidentiality . Carnegie Mellon University, 2013.https://doi.org/10.29012/jpc.v5i1.629 .
LibreCat: https://research-explorer.ista.ac.at/record/2009
DOI: 10.29012/jpc.v5i1.629

Vicoso, Beatriz, Vera Kaiser, and Doris Bachtrog. “Sex Biased Gene Expression at Homomorphic Sex Chromosomes in Emus and Its Implication for Sex Chromosome Evolution.”https://doi.org/10.1073/pnas.1217027110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1217027110 .
LibreCat: https://research-explorer.ista.ac.at/record/2074
DOI: 10.1073/pnas.1217027110

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.”https://doi.org/10.1371/journal.pbio.1001643__PLoS Biology. Public Library of Science, 2013.https://doi.org/10.1371/journal.pbio.1001643 .
LibreCat: https://research-explorer.ista.ac.at/record/2076
DOI: 10.1371/journal.pbio.1001643

Coros, Stelian, Bernhard Thomaszewski, Gioacchino Noris, Shinjiro Sueda, Moira Forberg, Robert Sumner, Wojciech Matusik, and Bernd Bickel. “Computational Design of Mechanical Characters.”https://doi.org/10.1145/2461912.2461953__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2461953 .
LibreCat: https://research-explorer.ista.ac.at/record/2108
DOI: 10.1145/2461912.2461953

Papas, Marios, Christian Regg, Wojciech Jarosz, Bernd Bickel, Philip Jackson, Wojciech Matusik, Steve Marschner, and Markus Groß. “Fabricating Translucent Materials Using Continuous Pigment Mixtures.”https://doi.org/10.1145/2461912.2461974__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2461974 .
LibreCat: https://research-explorer.ista.ac.at/record/2110
DOI: 10.1145/2461912.2461974

Bermano, Amit, Philipp Bruschweiler, Anselm Grundhöfer, Daisuke Iwai, Bernd Bickel, and Markus Groß. “Augmenting Physical Avatars Using Projector-Based Illumination.”https://doi.org/10.1145/2508363.2508416__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2508363.2508416 .
LibreCat: https://research-explorer.ista.ac.at/record/2111
DOI: 10.1145/2508363.2508416

Hildebrand, Kristian, Bernd Bickel, and Marc Alexa. “Orthogonal Slicing for Additive Manufacturing.”https://doi.org/10.1016/j.cag.2013.05.011__Computers and Graphics (Pergamon). Elsevier, 2013.https://doi.org/10.1016/j.cag.2013.05.011 .
LibreCat: https://research-explorer.ista.ac.at/record/2109
DOI: 10.1016/j.cag.2013.05.011

Skouras, Mélina, Bernhard Thomaszewski, Stelian Coros, Bernd Bickel, and Markus Groß. “Computational Design of Actuated Deformable Characters.”https://doi.org/10.1145/2461912.2461979__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2461979 .
LibreCat: https://research-explorer.ista.ac.at/record/2107
DOI: 10.1145/2461912.2461979

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.”https://doi.org/10.1145/2508363.2508389 __ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2508363.2508389  .
LibreCat: https://research-explorer.ista.ac.at/record/2112
DOI: 10.1145/2508363.2508389 

Dirksen, Sjoerd, Jan Maas, and Jan Van Neerven. “Poisson Stochastic Integration in Banach Spaces.”https://doi.org/10.1214/EJP.v18-2945 __Electronic Journal of Probability. Institute of Mathematical Statistics, 2013.https://doi.org/10.1214/EJP.v18-2945  .
LibreCat: https://research-explorer.ista.ac.at/record/2117
DOI: 10.1214/EJP.v18-2945 

Rouiller, Olivier, Bernd Bickel, Jan Kautz, Wojciech Matusik, and Marc Alexa. “D Printing Spatially Varying BRDFs.”https://doi.org/10.1109/MCG.2013.82 __IEEE Computer Graphics and Applications. IEEE, 2013.https://doi.org/10.1109/MCG.2013.82  .
LibreCat: https://research-explorer.ista.ac.at/record/2113
DOI: 10.1109/MCG.2013.82 

Bickel, Bernd, and Marc Alexa. “Computational Aspects of Fabrication: Modeling, Design and 3d Printing.”https://doi.org/10.1109/MCG.2013.89__IEEE Computer Graphics and Applications. IEEE, 2013.https://doi.org/10.1109/MCG.2013.89 .
LibreCat: https://research-explorer.ista.ac.at/record/2114
DOI: 10.1109/MCG.2013.89

Gigli, Nicola, and Jan Maas. “Gromov-Hausdorff Convergence of Discrete Transportation Metrics.”https://doi.org/10.1137/120886315 __SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2013.https://doi.org/10.1137/120886315  .
LibreCat: https://research-explorer.ista.ac.at/record/2129
DOI: 10.1137/120886315 

Lemeshko, Mikhail. “Manipulating Scattering of Ultracold Atoms with Light-Induced Dissipation.”https://doi.org/10.3389/fphy.2013.00017__Frontiers Physics. Frontiers Media, 2013.https://doi.org/10.3389/fphy.2013.00017 .
LibreCat: https://research-explorer.ista.ac.at/record/2139
DOI: 10.3389/fphy.2013.00017

Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.”https://doi.org/10.1145/2429069.2429109__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 .
LibreCat: https://research-explorer.ista.ac.at/record/2181
DOI: 10.1145/2429069.2429109

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.”https://doi.org/10.1145/2429069.2429085__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 .
LibreCat: https://research-explorer.ista.ac.at/record/2182
DOI: 10.1145/2429069.2429085

Biedl, Therese, Martin Held, and Stefan Huber. “Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input,”https://doi.org/10.1109/ISVD.2013.11__37–46. IEEE, 2013.https://doi.org/10.1109/ISVD.2013.11 .
LibreCat: https://research-explorer.ista.ac.at/record/2209
DOI: 10.1109/ISVD.2013.11

Bhongale, Satyan, Ludwig Mathey, Erhai Zhao, Susanne Yelin, and Mikhail Lemeshko. “Quantum Phases of Quadrupolar Fermi Gases in Optical Lattices.”https://doi.org/10.1103/PhysRevLett.110.155301__Physical Review Letters. American Physical Society, 2013.https://doi.org/10.1103/PhysRevLett.110.155301 .
LibreCat: https://research-explorer.ista.ac.at/record/2204
DOI: 10.1103/PhysRevLett.110.155301

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.”https://doi.org/10.1103/PhysRevB.88.014426__Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2013.https://doi.org/10.1103/PhysRevB.88.014426 .
LibreCat: https://research-explorer.ista.ac.at/record/2206
DOI: 10.1103/PhysRevB.88.014426

Lemeshko, Mikhail, Roman Krems, John Doyle, and Sabre Kais. “Manipulation of Molecules with Electromagnetic Fields.”https://doi.org/10.1080/00268976.2013.813595__Molecular Physics. Taylor &; Francis, 2013.https://doi.org/10.1080/00268976.2013.813595 .
LibreCat: https://research-explorer.ista.ac.at/record/2205
DOI: 10.1080/00268976.2013.813595

Lemeshko, Mikhail, and Hendrik Weimer. “Dissipative Binding of Atoms by Non-Conservative Forces.”https://doi.org/10.1038/ncomms3230__Nature Communications. Nature Publishing Group, 2013.https://doi.org/10.1038/ncomms3230 .
LibreCat: https://research-explorer.ista.ac.at/record/2207
DOI: 10.1038/ncomms3230

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.
LibreCat: https://research-explorer.ista.ac.at/record/2210

Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.”https://doi.org/10.1007/978-3-642-45221-5_13__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_13 .
LibreCat: https://research-explorer.ista.ac.at/record/2237
DOI: 10.1007/978-3-642-45221-5_13

Chatterjee, Krishnendu, Vojtbch Forejt, and Dominik Wojtczak. “Multi-Objective Discounted Reward Verification in Graphs and MDPs.”https://doi.org/10.1007/978-3-642-45221-5_17__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_17 .
LibreCat: https://research-explorer.ista.ac.at/record/2238
DOI: 10.1007/978-3-642-45221-5_17

Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.”https://doi.org/10.4230/LIPIcs.CSL.2013.563__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.563 .
LibreCat: https://research-explorer.ista.ac.at/record/2243
DOI: 10.4230/LIPIcs.CSL.2013.563

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.”https://doi.org/10.1007/978-3-319-03841-4_41__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-319-03841-4_41 .
LibreCat: https://research-explorer.ista.ac.at/record/2244
DOI: 10.1007/978-3-319-03841-4_41
arXiv: 1302.6475

Alwen, Joel F, Stephan Krenn, Krzysztof Z Pietrzak, and Daniel Wichs. “Learning with Rounding, Revisited: New Reduction Properties and Applications.”https://doi.org/10.1007/978-3-642-40041-4_4__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_4 .
LibreCat: https://research-explorer.ista.ac.at/record/2259
DOI: 10.1007/978-3-642-40041-4_4

Kiltz, Eike, Krzysztof Z Pietrzak, and Mario Szegedy. “Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.”https://doi.org/10.1007/978-3-642-40041-4_31__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_31 .
LibreCat: https://research-explorer.ista.ac.at/record/2258
DOI: 10.1007/978-3-642-40041-4_31

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.
LibreCat: https://research-explorer.ista.ac.at/record/2256

Bernhard, David, Georg Fuchsbauer, and Essam Ghadafi. “Efficient Signatures of Knowledge and DAA in the Standard Model.”https://doi.org/10.1007/978-3-642-38980-1_33__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-38980-1_33 .
LibreCat: https://research-explorer.ista.ac.at/record/2260
DOI: 10.1007/978-3-642-38980-1_33

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.”https://doi.org/10.1242/dev.085621__Development. Company of Biologists, 2013.https://doi.org/10.1242/dev.085621 .
LibreCat: https://research-explorer.ista.ac.at/record/2264
DOI: 10.1242/dev.085621
PMID: 23293287

Auzinger, Thomas, Michael Wimmer, and Stefan Jeschke. “Analytic Visibility on the GPU.”https://doi.org/DOI: 10.1111/cgf.12061__Computer Graphics Forum. Wiley-Blackwell, 2013.https://doi.org/DOI: 10.1111/cgf.12061 .
LibreCat: https://research-explorer.ista.ac.at/record/2269
DOI: DOI: 10.1111/cgf.12061

Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam. “Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2270
arXiv: 1108.5248

Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2273

Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejdí, and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.”https://doi.org/10.1242/jcs.125617__Journal of Cell Science. Company of Biologists, 2013.https://doi.org/10.1242/jcs.125617 .
LibreCat: https://research-explorer.ista.ac.at/record/2278
DOI: 10.1242/jcs.125617

Gridchyn, Igor, and Vladimir Kolmogorov. “Potts Model, Parametric Maxflow and k-Submodular Functions,”https://doi.org/10.1109/ICCV.2013.288__2320–27. IEEE, 2013.https://doi.org/10.1109/ICCV.2013.288 .
LibreCat: https://research-explorer.ista.ac.at/record/2276
DOI: 10.1109/ICCV.2013.288
arXiv: 1310.1771

Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.”https://doi.org/10.1137/120872309__SIAM Review. Society for Industrial and Applied Mathematics , 2013.https://doi.org/10.1137/120872309 .
LibreCat: https://research-explorer.ista.ac.at/record/2280
DOI: 10.1137/120872309
arXiv: 1204.0235

Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.”https://doi.org/10.1002/ece3.465__Ecology and Evolution. Wiley-Blackwell, 2013.https://doi.org/10.1002/ece3.465 .
LibreCat: https://research-explorer.ista.ac.at/record/2287
DOI: 10.1002/ece3.465

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.”https://doi.org/10.1038/ncb2869__Nature Cell Biology. Nature Publishing Group, 2013.https://doi.org/10.1038/ncb2869 .
LibreCat: https://research-explorer.ista.ac.at/record/2282
DOI: 10.1038/ncb2869

Pull, Christopher, William Hughes, and Markus Brown. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .”https://doi.org/10.1007/s00114-013-1115-5__Naturwissenschaften. Springer, 2013.https://doi.org/10.1007/s00114-013-1115-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2283
DOI: 10.1007/s00114-013-1115-5

Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of Cell Proliferation.”https://doi.org/10.1038/emboj.2013.225__EMBO Journal. Wiley-Blackwell, 2013.https://doi.org/10.1038/emboj.2013.225 .
LibreCat: https://research-explorer.ista.ac.at/record/2286
DOI: 10.1038/emboj.2013.225
PMID: 24097062

Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.”https://doi.org/10.1007/s00450-013-0251-7__Computer Science Research and Development. Springer, 2013.https://doi.org/10.1007/s00450-013-0251-7 .
LibreCat: https://research-explorer.ista.ac.at/record/2289
DOI: 10.1007/s00450-013-0251-7

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.”https://doi.org/10.1073/pnas.1309057110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1309057110 .
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

Kazmar, Tomas, Evgeny Kvon, Alexander Stark, and Christoph Lampert. “Drosophila Embryo Stage Annotation Using Label Propagation.”https://doi.org/10.1109/ICCV.2013.139__IEEE, 2013.https://doi.org/10.1109/ICCV.2013.139 .
LibreCat: https://research-explorer.ista.ac.at/record/2294
DOI: 10.1109/ICCV.2013.139

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2292
DOI: 10.1007/978-3-642-40313-2

Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning to Rank Using Privileged Information,”https://doi.org/10.1109/ICCV.2013.107__825–32. IEEE, 2013.https://doi.org/10.1109/ICCV.2013.107 .
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 10.1109/ICCV.2013.107

Ferrara, Anna, Georg Fuchsbauer, and Bogdan Warinschi. “Cryptographically Enforced RBAC,”https://doi.org/10.1109/CSF.2013.15__115–29. IEEE, 2013.https://doi.org/10.1109/CSF.2013.15 .
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 10.1109/CSF.2013.15

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2288
DOI: 10.1007/978-3-642-40708-6

Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis for Overlaid Data Structures,”https://doi.org/10.1007/978-3-642-38856-9_10__7935:150–71. Springer, 2013.https://doi.org/10.1007/978-3-642-38856-9_10 .
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.”https://doi.org/10.1007/s10009-011-0207-9__International Journal on Software Tools for Technology Transfer. Springer, 2013.https://doi.org/10.1007/s10009-011-0207-9 .
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.”https://doi.org/10.1007/s11537-013-1264-5__Japanese Journal of Mathematics. Springer, 2013.https://doi.org/10.1007/s11537-013-1264-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50. De Gruyter, 2013.https://doi.org/10.1515/9783110278736 .
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 10.1515/9783110278736

Desai, Ankush, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. “P: Safe Asynchronous Event-Driven Programming.”https://doi.org/10.1145/2491956.2462184__In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 321–31. ACM, 2013.https://doi.org/10.1145/2491956.2462184 .
LibreCat: https://research-explorer.ista.ac.at/record/2301
DOI: 10.1145/2491956.2462184

Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Realization of Stripes and Slabs in Two and Three Dimensions.”https://doi.org/10.1103/PhysRevB.88.064401__Physical Review B. American Physical Society, 2013.https://doi.org/10.1103/PhysRevB.88.064401 .
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.”https://doi.org/10.1007/s11515-013-1279-6__Frontiers in Biology. Springer, 2013.https://doi.org/10.1007/s11515-013-1279-6 .
LibreCat: https://research-explorer.ista.ac.at/record/2303
DOI: 10.1007/s11515-013-1279-6

Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.”https://doi.org/10.1016/j.endm.2013.07.008__Electronic Notes in Discrete Mathematics. Elsevier, 2013.https://doi.org/10.1016/j.endm.2013.07.008 .
LibreCat: https://research-explorer.ista.ac.at/record/2304
DOI: 10.1016/j.endm.2013.07.008

Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Disordered Bose-Einstein Condensates with Interaction,”https://doi.org/10.1142/9789814449243_0063__610–19. World Scientific Publishing, 2013.https://doi.org/10.1142/9789814449243_0063 .
LibreCat: https://research-explorer.ista.ac.at/record/2315
DOI: 10.1142/9789814449243_0063
arXiv: 1209.4046

Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction,”https://doi.org/10.1007/978-3-0348-0531-5_3__57–88. Springer, 2013.https://doi.org/10.1007/978-3-0348-0531-5_3 .
LibreCat: https://research-explorer.ista.ac.at/record/2319
DOI: 10.1007/978-3-0348-0531-5_3

Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.”https://doi.org/10.1007/978-3-642-40184-8_18__Lecture Notes in Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.1007/978-3-642-40184-8_18 .
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “A Positive Density Analogue of the Lieb-Thirring Inequality.”https://doi.org/10.1215/00127094-2019477__Duke Mathematical Journal. Duke University Press, 2013.https://doi.org/10.1215/00127094-2019477 .
LibreCat: https://research-explorer.ista.ac.at/record/2404
DOI: 10.1215/00127094-2019477

Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Condensation of Interacting Bosons in a Random Potential.”https://doi.org/10.1140/epjst/e2013-01759-5__European Physical Journal: Special Topics. Springer, 2013.https://doi.org/10.1140/epjst/e2013-01759-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2406
DOI: 10.1140/epjst/e2013-01759-5

Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.”https://doi.org/10.1007/s00220-012-1604-y__Communications in Mathematical Physics. Springer, 2013.https://doi.org/10.1007/s00220-012-1604-y .
LibreCat: https://research-explorer.ista.ac.at/record/2405
DOI: 10.1007/s00220-012-1604-y

Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting Bosons in a Trap.”https://doi.org/10.1007/s00220-013-1736-8__Communications in Mathematical Physics. Springer, 2013.https://doi.org/10.1007/s00220-013-1736-8 .
LibreCat: https://research-explorer.ista.ac.at/record/2408
DOI: 10.1007/s00220-013-1736-8

Kupczok, Anne, and Jonathan P Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .”https://doi.org/10.1186/1471-2148-13-54__BMC Evolutionary Biology. BioMed Central, 2013.https://doi.org/10.1186/1471-2148-13-54 .
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

Valderrama, Mario, Vicente Botella Soler, and Michel Le Van Quyen. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .”https://doi.org/10.1002/9783527671632.ch08__In Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson. Wiley-VCH, 2013.https://doi.org/10.1002/9783527671632.ch08 .
LibreCat: https://research-explorer.ista.ac.at/record/2413
DOI: 10.1002/9783527671632.ch08

Fernandes Redondo, Rodrigo A, Anne Kupczok, Gertraud Stift, and Jonathan P Bollback. “Complete Genome Sequence of the Novel Phage MG- Infecting Bacillus Weihenstephanensis.”https://doi.org/10.1128/genomeA.00216-13__Genome Announcements. American Society for Microbiology, 2013.https://doi.org/10.1128/genomeA.00216-13 .
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.”https://doi.org/10.1007/978-3-642-39799-8_54__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_54 .
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

Simon, Sibu, Martin Kubes, Pawel Baster, Stéphanie Robert, Petre Dobrev, Jií Friml, Jan Petrásek, and Eva Zaeímalová. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.”https://doi.org/10.1111/nph.12437__New Phytologist. Wiley, 2013.https://doi.org/10.1111/nph.12437 .
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437