Arithmetic harmonic analysis on character and quiver varieties II
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.
LibreCat: https://research-explorer.ista.ac.at/record/1469
DOI: 10.1016/j.aim.2012.10.009

Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
LibreCat: https://research-explorer.ista.ac.at/record/1470
DOI: 10.5427/jsing.2013.7c

38th International Colloquium on Automata, Languages and Programming
L. Aceto, M.H. Henzinger, J. Sgall, Information and Computation 222 (2013) 1.
LibreCat: https://research-explorer.ista.ac.at/record/11758
DOI: 10.1016/j.ic.2012.11.002

The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling
N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, C. Kalcheim, Development 140 (2013) 1740–1750.
LibreCat: https://research-explorer.ista.ac.at/record/1726
DOI: 10.1242/dev.092726

Quantitative imaging of morphogen gradients in drosophila imaginal discs
A. Kicheva, L. Holtzer, O. Wartlick, T. Schmidt, M. González Gaitán, Cold Spring Harbor Protocols 8 (2013) 387–403.
LibreCat: https://research-explorer.ista.ac.at/record/1727
DOI: 10.1101/pdb.top074237

SiGe quantum dots for fast hole spin Rabi oscillations
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/1760
DOI: 10.1063/1.4858959

Nature of tunable hole g factors in quantum dots
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/1759
DOI: 10.1103/PhysRevLett.110.046602

Experimental realization of non-Abelian non-adiabatic geometric gates
A. Abdumalikov, J.M. Fink, K. Juliusson, M. Pechal, S. Berger, A. Wallraff, S. Filipp, Nature 496 (2013) 482–485.
LibreCat: https://research-explorer.ista.ac.at/record/1785
DOI: 10.1038/nature12010

Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies
C. Lang, C. Eichler, L. Steffen, J.M. Fink, M. Woolley, A. Blais, A. Wallraff, Nature Physics 9 (2013) 345–348.
LibreCat: https://research-explorer.ista.ac.at/record/1787
DOI: 10.1038/nphys2612

Collective suppression of linewidths in circuit QED
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/1786
DOI: 10.1103/PhysRevLett.110.203602

The sacred disease: The puzzling genetics of epileptic disorders
G. Novarino, S. Baek, J. Gleeson, Neuron 80 (2013) 9–11.
LibreCat: https://research-explorer.ista.ac.at/record/1790
DOI: 10.1016/j.neuron.2013.09.019

A long road towards the structure of respiratory complex I, a giant molecular proton pump
L.A. Sazanov, R. Baradaran, R. Efremov, J. Berrisford, G. Minhas, Biochemical Society Transactions 41 (2013) 1265–1271.
LibreCat: https://research-explorer.ista.ac.at/record/1977
DOI: 10.1042/BST20130193

Crystal structure of the entire respiratory complex i
R. Baradaran, J. Berrisford, G. Minhas, L.A. Sazanov, Nature 494 (2013) 443–448.
LibreCat: https://research-explorer.ista.ac.at/record/1978
DOI: 10.1038/nature11871

Reversal of an ancient sex chromosome to an autosome in Drosophila
B. Vicoso, D. Bachtrog, Nature 499 (2013) 332–335.
LibreCat: https://research-explorer.ista.ac.at/record/1991
DOI: 10.1038/nature12235

Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation
M. Bonny, E. Fischer Friedrich, M. Loose, P. Schwille, K. Kruse, PLoS Computational Biology 9 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/1988
DOI: 10.1371/journal.pcbi.1003347

Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
LibreCat: https://research-explorer.ista.ac.at/record/2010
DOI: 10.1214/12-AOS1080
arXiv: 1207.0547

Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality  5 (2013) 137–166.
LibreCat: https://research-explorer.ista.ac.at/record/2009
DOI: 10.29012/jpc.v5i1.629

Sex biased gene expression at homomorphic sex chromosomes in emus and its implication for sex chromosome evolution
B. Vicoso, V. Kaiser, D. Bachtrog, PNAS 110 (2013) 6453–6458.
LibreCat: https://research-explorer.ista.ac.at/record/2074
DOI: 10.1073/pnas.1217027110

Comparative sex chromosome genomics in snakes: Differentiation evolutionary strata and lack of global dosage compensation
B. Vicoso, J. Emerson, Y. Zektser, S. Mahajan, D. Bachtrog, PLoS Biology 11 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2076
DOI: 10.1371/journal.pbio.1001643

Computational design of mechanical characters
S. Coros, B. Thomaszewski, G. Noris, S. Sueda, M. Forberg, R. Sumner, W. Matusik, B. Bickel, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2108
DOI: 10.1145/2461912.2461953

Fabricating translucent materials using continuous pigment mixtures
M. Papas, C. Regg, W. Jarosz, B. Bickel, P. Jackson, W. Matusik, S. Marschner, M. Groß, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2110
DOI: 10.1145/2461912.2461974

Augmenting physical avatars using projector-based illumination
A. Bermano, P. Bruschweiler, A. Grundhöfer, D. Iwai, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2111
DOI: 10.1145/2508363.2508416

Orthogonal slicing for additive manufacturing
K. Hildebrand, B. Bickel, M. Alexa, Computers and Graphics (Pergamon) 37 (2013) 669–675.
LibreCat: https://research-explorer.ista.ac.at/record/2109
DOI: 10.1016/j.cag.2013.05.011

Computational design of actuated deformable characters
M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2107
DOI: 10.1145/2461912.2461979

Modeling and estimation of internal friction in cloth
E. Miguel, R. Tamstorf, D. Bradley, S. Schvartzman, B. Thomaszewski, B. Bickel, W. Matusik, S. Marschner, M. Otaduy, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2112
DOI: 10.1145/2508363.2508389 

Poisson stochastic integration in Banach spaces
S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2117
DOI: 10.1214/EJP.v18-2945 

3D printing spatially varying BRDFs
O. Rouiller, B. Bickel, J. Kautz, W. Matusik, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 48–57.
LibreCat: https://research-explorer.ista.ac.at/record/2113
DOI: 10.1109/MCG.2013.82 

Computational aspects of fabrication: Modeling, design and 3d printing
B. Bickel, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 24–25.
LibreCat: https://research-explorer.ista.ac.at/record/2114
DOI: 10.1109/MCG.2013.89

Gromov-Hausdorff convergence of discrete transportation metrics
N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
LibreCat: https://research-explorer.ista.ac.at/record/2129
DOI: 10.1137/120886315 

Manipulating scattering of ultracold atoms with light-induced dissipation
M. Lemeshko, Frontiers Physics 1 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2139
DOI: 10.3389/fphy.2013.00017

Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
LibreCat: https://research-explorer.ista.ac.at/record/2181
DOI: 10.1145/2429069.2429109

Quantitative abstraction refinement
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
LibreCat: https://research-explorer.ista.ac.at/record/2182
DOI: 10.1145/2429069.2429085

Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
LibreCat: https://research-explorer.ista.ac.at/record/2209
DOI: 10.1109/ISVD.2013.11

Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2204
DOI: 10.1103/PhysRevLett.110.155301

Controllable quantum spin glasses with magnetic impurities embedded in quantum solids
M. Lemeshko, N. Yao, A. Gorshkov, H. Weimer, S. Bennett, T. Momose, S. Gopalakrishnan, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2206
DOI: 10.1103/PhysRevB.88.014426

Manipulation of molecules with electromagnetic fields
M. Lemeshko, R. Krems, J. Doyle, S. Kais, Molecular Physics 111 (2013) 1648–1682.
LibreCat: https://research-explorer.ista.ac.at/record/2205
DOI: 10.1080/00268976.2013.813595

Dissipative binding of atoms by non-conservative forces
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2207
DOI: 10.1038/ncomms3230

Reconstructing polygons from embedded straight skeletons
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
LibreCat: https://research-explorer.ista.ac.at/record/2210

Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
LibreCat: https://research-explorer.ista.ac.at/record/2237
DOI: 10.1007/978-3-642-45221-5_13

Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
LibreCat: https://research-explorer.ista.ac.at/record/2238
DOI: 10.1007/978-3-642-45221-5_17

Elementary modal logics over transitive structures
J. Michaliszyn, J. Otop, 23 (2013) 563–577.
LibreCat: https://research-explorer.ista.ac.at/record/2243
DOI: 10.4230/LIPIcs.CSL.2013.563

Untangling two systems of noncrossing curves
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
LibreCat: https://research-explorer.ista.ac.at/record/2244
DOI: 10.1007/978-3-319-03841-4_41
arXiv: 1302.6475

Learning with rounding, revisited: New reduction properties and applications
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
LibreCat: https://research-explorer.ista.ac.at/record/2259
DOI: 10.1007/978-3-642-40041-4_4

Digital signatures with minimal overhead from indifferentiable random invertible functions
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
LibreCat: https://research-explorer.ista.ac.at/record/2258
DOI: 10.1007/978-3-642-40041-4_31

Linked (Open) Data - Bibliographische Daten im Semantic Web
P. Danowski, D. Goldfarb, V. Schaffner, W. Seidler, VÖB Mitteilungen 66 (2013) 559–587.
LibreCat: https://research-explorer.ista.ac.at/record/2256

Efficient signatures of knowledge and DAA in the standard model
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
LibreCat: https://research-explorer.ista.ac.at/record/2260
DOI: 10.1007/978-3-642-38980-1_33

Neural development is dependent on the function of specificity protein 2 in cell cycle progression
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
LibreCat: https://research-explorer.ista.ac.at/record/2264
DOI: 10.1242/dev.085621
PMID: 23293287

Analytic Visibility on the GPU
T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 32 (2013) 409–418.
LibreCat: https://research-explorer.ista.ac.at/record/2269
DOI: DOI: 10.1111/cgf.12061

Optimal Coalition Structures in Cooperative Graph Games
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
LibreCat: https://research-explorer.ista.ac.at/record/2270
arXiv: 1108.5248

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

A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development
R. Pérez Gómez, J. Slovakova, N. Rives Quinto, A. Krejdí, A. Carmena, Journal of Cell Science 126 (2013) 4873–4884.
LibreCat: https://research-explorer.ista.ac.at/record/2278
DOI: 10.1242/jcs.125617

Potts model, parametric maxflow and k-submodular functions
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
LibreCat: https://research-explorer.ista.ac.at/record/2276
DOI: 10.1109/ICCV.2013.288
arXiv: 1310.1771

Packing ellipsoids with overlap
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
LibreCat: https://research-explorer.ista.ac.at/record/2280
DOI: 10.1137/120872309
arXiv: 1204.0235

The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
LibreCat: https://research-explorer.ista.ac.at/record/2287
DOI: 10.1002/ece3.465

Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
LibreCat: https://research-explorer.ista.ac.at/record/2282
DOI: 10.1038/ncb2869

Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger 
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
LibreCat: https://research-explorer.ista.ac.at/record/2283
DOI: 10.1007/s00114-013-1115-5

The force and effect of cell proliferation
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
LibreCat: https://research-explorer.ista.ac.at/record/2286
DOI: 10.1038/emboj.2013.225
PMID: 24097062

Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
LibreCat: https://research-explorer.ista.ac.at/record/2289
DOI: 10.1007/s00450-013-0251-7

ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

Drosophila Embryo Stage Annotation using Label Propagation
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2294
DOI: 10.1109/ICCV.2013.139

Mathematical Foundations of Computer Science 2013
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2292
DOI: 10.1007/978-3-642-40313-2

Learning to rank using privileged information
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 10.1109/ICCV.2013.107

Cryptographically enforced RBAC
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 10.1109/CSF.2013.15

Computational Methods in Systems Biology
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2288
DOI: 10.1007/978-3-642-40708-6

Local shape analysis for overlaid data structures
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

Hot topics in cold gases: A mathematical physics perspective
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

(Open) Linked Data in Bibliotheken
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 10.1515/9783110278736

P: Safe asynchronous event-driven programming
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.
LibreCat: https://research-explorer.ista.ac.at/record/2301
DOI: 10.1145/2491956.2462184

Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

Dissection of gene function at clonal level using mosaic analysis with double markers
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
LibreCat: https://research-explorer.ista.ac.at/record/2303
DOI: 10.1007/s11515-013-1279-6

Van der Corput sequences and linear permutations
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.
LibreCat: https://research-explorer.ista.ac.at/record/2304
DOI: 10.1016/j.endm.2013.07.008

Disordered Bose-Einstein condensates with interaction
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.
LibreCat: https://research-explorer.ista.ac.at/record/2315
DOI: 10.1142/9789814449243_0063
arXiv: 1209.4046

 Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, in:, Springer, 2013, pp. 57–88.
LibreCat: https://research-explorer.ista.ac.at/record/2319
DOI: 10.1007/978-3-0348-0531-5_3

Aspect-oriented linearizability proofs
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

A positive density analogue of the Lieb-Thirring inequality
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Duke Mathematical Journal 162 (2013) 435–495.
LibreCat: https://research-explorer.ista.ac.at/record/2404
DOI: 10.1215/00127094-2019477

Condensation of interacting bosons in a random potential
R. Seiringer, J. Yngvason, V. Zagrebnov, European Physical Journal: Special Topics 217 (2013) 103–107.
LibreCat: https://research-explorer.ista.ac.at/record/2406
DOI: 10.1140/epjst/e2013-01759-5

Symmetry of bipolaron bound states for small Coulomb repulsion
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 319 (2013) 557–573.
LibreCat: https://research-explorer.ista.ac.at/record/2405
DOI: 10.1007/s00220-012-1604-y

The excitation spectrum for weakly interacting Bosons in a trap
P. Grech, R. Seiringer, Communications in Mathematical Physics 322 (2013) 559–591.
LibreCat: https://research-explorer.ista.ac.at/record/2408
DOI: 10.1007/s00220-013-1736-8

Probabilistic models for CRISPR spacer content evolution 
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

Neuronal oscillations scale up and scale down the brain dynamics 
M. Valderrama, V. Botella Soler, M. Le Van Quyen, in:, M. Meyer, Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, Wiley-VCH, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2413
DOI: 10.1002/9783527671632.ch08

Complete genome sequence of the novel phage MG- infecting bacillus weihenstephanensis
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

Automating separation logic using SMT
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
S. Simon, M. Kubes, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrásek, E. Zaeímalová, New Phytologist 200 (2013) 1034–1048.
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437

Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

Faster algorithms for Markov decision processes with low treewidth
K. Chatterjee, J. aCki, 8044 (2013) 543–558.
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

Retromer subunits VPA and VP mediate prevacuolar compartment (PVC) function in Arabidopsis
T. Nodzyski, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
LibreCat: https://research-explorer.ista.ac.at/record/2449
DOI: 10.1093/mp/sst044

Single-cell-based system to monitor carrier driven cellular auxin homeostasis
E. Barbez, M. Laková, M. Paezová, A. Maizel, E. Zaeímalová, J. Petrásek, J. Friml, J. Kleine Vehn, BMC Plant Biology 13 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2452
DOI: 10.1186/1471-2229-13-20

Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development
J. Liu, S. Menhi, J. Topping, J. Friml, K. Lindsey, Frontiers in Plant Science 4 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2450
DOI: 10.3389/fpls.2013.00075

Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
LibreCat: https://research-explorer.ista.ac.at/record/245
DOI: 10.1515/crelle.2012.039

Origin and evolution of PIN auxin transporters in the green lineage
T. Viaene, C. Delwiche, S. Rensing, J. Friml, Trends in Plant Science 18 (2013) 5–10.
LibreCat: https://research-explorer.ista.ac.at/record/2457
DOI: 10.1016/j.tplants.2012.08.009

Rational points on singular intersections of quadrics
T.D. Browning, R. Munshi, Compositio Mathematica 149 (2013) 1457–1494.
LibreCat: https://research-explorer.ista.ac.at/record/246
DOI: 10.1112/S0010437X13007185

Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
I. Sanchez-Romero, A. Ariza, K. Wilson, M. Skjøt, J. Vind, L. De Maria, L. Skov, J. Sánchez Ruiz, PLoS One 8 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2471
DOI: 10.1371/journal.pone.0070013

Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
C. Cazzonelli, M. Vanstraelen, S. Simon, K. Yin, A. Carron Arthur, N. Nisar, G. Tarle, A. Cuttriss, I. Searle, E. Benková, U. Mathesius, J. Masle, J. Friml, B. Pogson, PLoS One 8 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2472
DOI: 10.1371/journal.pone.0070069

Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
M. covanová, M. Sauer, J. Rychtá, J. Friml, J. Petrásek, E. Zaeímalová, PLoS One 8 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2470
DOI: 10.1371/journal.pone.0070050

Highly adaptive liquid simulations on tetrahedral meshes
R. Ando, N. Thuerey, C. Wojtan, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2466
DOI: 10.1145/2461912.2461982

Putting holes in holey geometry: Topology change for arbitrary surfaces
G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2467
DOI: 10.1145/2461912.2462027

Liquid surface tracking with error compensation
M. Bojsen-Hansen, C. Wojtan, ACM Transactions on Graphics 32 (2013).
LibreCat: https://research-explorer.ista.ac.at/record/2468
DOI: 10.1145/2461912.2461991

Three functions of cadherins in cell adhesion
J.-L. Maître, C.-P.J. Heisenberg, Current Biology 23 (2013) 6–3.
LibreCat: https://research-explorer.ista.ac.at/record/2469
DOI: 10.1016/j.cub.2013.06.019
PMID: 23885883

The Lang-Weil estimate for cubic hypersurfaces
T.D. Browning, Canadian Mathematical Bulletin 56 (2013) 500–502.
LibreCat: https://research-explorer.ista.ac.at/record/247
DOI: 10.4153/CMB-2011-177-4