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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. 2013. Quantitative relaxation of concurrent data structures. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language. POPL: Principles of Programming Languages, 317–328.
LibreCat: https://research-explorer.ista.ac.at/record/2181
DOI: 10.1145/2429069.2429109

Cerny P, Henzinger TA, Radhakrishna A. 2013. Quantitative abstraction refinement. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language. POPL: Principles of Programming Languages, 115–128.
LibreCat: https://research-explorer.ista.ac.at/record/2182
DOI: 10.1145/2429069.2429085

Biedl T, Held M, Huber S. 2013. Recognizing straight skeletons and Voronoi diagrams and reconstructing their input. ISVD: Voronoi Diagrams in Science and Engineering, 2013 10th International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2013) , , 37–46.
LibreCat: https://research-explorer.ista.ac.at/record/2209
DOI: 10.1109/ISVD.2013.11

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Dragoi C, Enea C, Sighireanu M. 2013. Local shape analysis for overlaid data structures. SAS: Static Analysis Symposium, LNCS, vol. 7935, 150–171.
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

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

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

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

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

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

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

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

Seiringer R, Yngvason J, Zagrebnov V. 2013. Disordered Bose-Einstein condensates with interaction. ICMP: International Congress on Mathematical Physics, 610–619.
LibreCat: https://research-explorer.ista.ac.at/record/2315
DOI: 10.1142/9789814449243_0063
arXiv: 1209.4046

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

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

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

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

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

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

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

Valderrama M, Botella Soler V, Le Van Quyen M. 2013.Neuronal oscillations scale up and scale down the brain dynamics . In: Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Reviews of Nonlinear Dynamics and Complexity, .
LibreCat: https://research-explorer.ista.ac.at/record/2413
DOI: 10.1002/9783527671632.ch08

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology. 87(8), 75–89.
LibreCat: https://research-explorer.ista.ac.at/record/2473
DOI: 10.1016/j.tpb.2012.12.001

Budreck E, Kwon O, Jung J, Baudouin S, Thommen A, Kim H, Fukazawa Y, Harada H, Tabuchi K, Shigemoto R, Scheiffele P, Kim J. 2013. Neuroligin-1 controls synaptic abundance of NMDA-type glutamate receptors through extracellular coupling. PNAS. 110(2), 725–730.
LibreCat: https://research-explorer.ista.ac.at/record/2478
DOI: 10.1073/pnas.1214718110

De La Bretèche R, Browning TD. 2013. Density of Châtelet surfaces failing the Hasse principle. Proceedings of the London Mathematical Society. 108(4), 1030–1078.
LibreCat: https://research-explorer.ista.ac.at/record/250
DOI: 10.1112/plms/pdt060

De La Bretèche R, Browning TD. 2013. Counter examples to the Hasse principle among certain coflasque tori. Journal de Theorie des Nombres de Bordeaux. 26(1), 25–44.
LibreCat: https://research-explorer.ista.ac.at/record/251
DOI: 10.5802/jtnb.857

Almagor S, Boker U, Kupferman O. 2013. Formalizing and reasoning about quality. 7966(Part 2), 15–27.
LibreCat: https://research-explorer.ista.ac.at/record/2517
DOI: 10.1007/978-3-642-39212-2_3

Kolmogorov V. 2013. The power of linear programming for finite-valued CSPs: A constructive characterization. ICALP: Automata, Languages and Programming, LNCS, vol. 7965, 625–636.
LibreCat: https://research-explorer.ista.ac.at/record/2518
DOI: 10.1007/978-3-642-39206-1_53
arXiv: 1207.7213

Lampert C, Nickisch H, Harmeling S. 2013. Attribute-based classification for zero-shot learning of object categories. IEEE Transactions on Pattern Analysis and Machine Intelligence. 36(3), 453–465.
LibreCat: https://research-explorer.ista.ac.at/record/2516
DOI: 10.1109/TPAMI.2013.140

Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. 2013. The supervised IBP: Neighbourhood preserving infinite latent feature models. Proceedings of the 29th conference uncertainty in Artificial Intelligence. UAI: Uncertainty in Artificial Intelligence, 527–536.
LibreCat: https://research-explorer.ista.ac.at/record/2520

Browning TD. 2013. Counting rational points on cubic hypersurfaces: Corrigendum. Mathematika. 60(1), 101–107.
LibreCat: https://research-explorer.ista.ac.at/record/253
DOI: 10.1112/S0025579313000132