Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for IOCO testing. In: IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE; 2014. doi:10.1109/ICST.2014.50

Chatterjee K, Chmelik M, Daca P. CEGAR for qualitative analysis of probabilistic systems. In: Vol 8559. Springer; 2014:473-490. doi:10.1007/978-3-319-08867-9_31

Mitosch K, Bollenbach MT. Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports. 2014;6(6):545-557. doi:10.1111/1758-2229.12190

Gazi P, Pietrzak KZ, Rybar M. The exact PRF-security of NMAC and HMAC. In: Garay J, Gennaro R, eds. Vol 8616. Springer; 2014:113-130. doi:10.1007/978-3-662-44371-2_7

Compagnon J, Barone V, Rajshekar S, et al. The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. 2014;31(6):774-783. doi:10.1016/j.devcel.2014.11.003

Grusch M, Schelch K, Riedler R, et al. Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal. 2014;33(15):1713-1726. doi:10.15252/embj.201387695

Matousek J, Sedgwick E, Tancer M, Wagner U. Embeddability in the 3 sphere is decidable. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:78-84. doi:10.1145/2582112.2582137

Bauer U, Kerber M, Reininghaus J, Wagner H. PHAT – Persistent Homology Algorithms Toolbox. In: ICMS 2014: International Congress on Mathematical Software. Vol 8592. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2014:137-143. doi:10.1007/978-3-662-44199-2_24

Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1

Cremer S. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie. 2014:23-30.

Postiglione MP, Hippenmeyer S. Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. 2014;9(3):323-340. doi:10.2217/fnl.14.18

Milenkovi I, Petrov T, Kovács G. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 2014;38(5-6):375-388. doi:10.1159/000365548

Erdös L. Random matrices, log-gases and Hölder regularity. In: Proceedings of the International Congress of Mathematicians. Vol 3. International Congress of Mathematicians; 2014:214-236.

Seiringer R. Structure of the excitation spectrum for many-body quantum systems. In: Proceeding of the International Congress of Mathematicans. Vol 3. International Congress of Mathematicians; 2014:1175-1194.

Pentina A, Lampert C. A PAC-Bayesian bound for Lifelong Learning. In: Vol 32. ML Research Press; 2014:991-999.

Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.

Cremer S. Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt  Bayerische Akademie der Wissenschaften. In: Soziale Insekten in Einer Sich Wandelnden Welt. Vol 43. Verlag Dr. Friedrich Pfeil; 2014:65-72.

Iglesias Ham M, Kerber M, Uhler C. Sphere packing with limited overlap. arXiv. doi:10.48550/arXiv.1401.0468

Stahl E, Martin T, Praetorius FM, Dietz H. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 2014;126(47):12949-12954. doi:10.1002/ange.201405991

Sweeney LB, Kelley DB. Harnessing vocal patterns for social communication. Current Opinion in Neurobiology. 2014;28(10):34-41. doi:10.1016/j.conb.2014.06.006

Guo Y, Seiringer R. On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. 2014;104(2):141-156. doi:10.1007/s11005-013-0667-9

Tkadik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 2014;10(1). doi:10.1371/journal.pcbi.1003408

Guan W, Michael AK, McIntosh ML, Koren-Selfridge L, Scott JP, Clark TB. Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of ;1-hydroxyboronate esters. The Journal of Organic Chemistry. 2014;79(15):7199-7204. doi:10.1021/jo500773t

Stroeymeyt N, Casillas Perez BE, Cremer S. Organisational immunity in social insects. Current Opinion in Insect Science. 2014;5(1):1-15. doi:10.1016/j.cois.2014.09.001

Mognetti BM, Sari A, Angioletti-Uberti S, Cacciuto A, Valeriani C, Frenkel D. Living clusters and crystals from low-density suspensions of active colloids. Physical Review Letters. 2013;111(24). doi:10.1103/physrevlett.111.245702

Sari A, Cacciuto A. Self-assembly of nanoparticles adsorbed on fluid and elastic membranes. Soft Matter. 2013;9(29). doi:10.1039/c3sm50188d

Napoli JA, Sari A, Cacciuto A. Collapsing nanoparticle-laden nanotubes. Soft Matter. 2013;9(37):8881-8886. doi:10.1039/c3sm51495a

Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 2013;58(SI-1-Track-G). doi:10.1515/bmt-2013-4181

Polshyn H, Budakian R, Gu G. Cantilever micro-susceptometry of mesoscopic Bi2212 samples. In: APS March Meeting 2013. Vol 58. American Physical Society; 2013.

Vanneste S, Friml J. Calcium: The missing link in auxin action. Plants. 2013;2(4):650-675. doi:10.3390/plants2040650

Haas A, Lippautz M, Henzinger TA, et al. Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. In: Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. ACM Press; 2013. doi:10.1145/2482767.2482789

Barton NH. Differentiation. In: Encyclopedia of Biodiversity. 2nd ed. Elsevier; 2013:508-515. doi:10.1016/b978-0-12-384719-5.00031-9

Liang Y, Franks TM, Marchetto MC, Gage FH, Hetzer M. Dynamic association of NU with the human genome. PLoS Genetics. 2013;9(2). doi:10.1371/journal.pgen.1003308

Toyama BH, Savas JN, Park SK, et al. Identification of long-lived proteins reveals exceptional stability of essential cellular structures. Cell. 2013;154(5):971-982. doi:10.1016/j.cell.2013.07.037

Hatch EM, Fischer AH, Deerinck TJ, Hetzer M. Catastrophic nuclear envelope collapse in cancer cell micronuclei. Cell. 2013;154(1):47-60. doi:10.1016/j.cell.2013.06.007

Regner BM, Vudini D, Domnisoru C, et al. Anomalous diffusion of single particles in cytoplasm. Biophysical Journal. 2013;104(8):1652-1660. doi:10.1016/j.bpj.2013.01.049

Franks TM, Hetzer M. The role of Nu in transcription regulation in healthy and diseased cells. Trends in Cell Biology. 2013;23(3):112-117. doi:10.1016/j.tcb.2012.10.013

Toyama BH, Hetzer M. Protein homeostasis: Live long, won’t prosper. Nature Reviews Molecular Cell Biology. 2013;14:55-61. doi:10.1038/nrm3496

Waitukaitis SR, Jaeger H. In situ granular charge measurement by free-fall videography. Review of Scientific Instruments. 2013;84(2). doi:10.1063/1.4789496

Sobral D, Swinbank AM, Stott JP, et al. The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS. The Astrophysical Journal. 2013;779(2). doi:10.1088/0004-637x/779/2/139

Waitukaitis SR, Roth L, Vitelli V, Jaeger H. Dynamic jamming fronts. EPL. 2013;102(4). doi:10.1209/0295-5075/102/44001

Baykan E, Weber I, Henzinger MH. A comprehensive study of techniques for URL-based web page language classification. ACM Transactions on the Web. 2013;7(1). doi:10.1145/2435215.2435218

Jaeger H, Miskin M, Waitukaitis SR. From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions. In: 10.1063/1.4811858__AIP Conference Proceedings. Vol 1542. AIP; 2013:3-6. doi:10.1063/1.4811858

Dütting P, Henzinger MH, Weber I. Sponsored search, market equilibria, and the Hungarian Method. Information Processing Letters. 2013;113(3):67-73. doi:10.1016/j.ipl.2012.11.006

Henzinger MH, Krinninger S, Nanongkai D. Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks. In: 40th International Colloquium on Automata, Languages, and Programming. Vol 7966. Springer Nature; 2013:607–619. doi:10.1007/978-3-642-39212-2_53

Dütting P, Henzinger MH, Starnberger M. Valuation compressions in VCG-based combinatorial auctions. In: 9th International Conference on Web and Internet Economics. Vol 8289. Springer Nature; 2013:146–159. doi:10.1007/978-3-642-45046-4_13

Dvoák W, Henzinger MH, Williamson DP. Maximizing a submodular function with viability constraints. In: 21st Annual European Symposium on Algorithms. Vol 8125. Springer Nature; 2013:409-420. doi:10.1007/978-3-642-40450-4_35

Henzinger MH, Krinninger S, Nanongkai D. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In: 54th Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 2013:538-547. doi:10.1109/focs.2013.64

Dütting P, Henzinger MH, Weber I. Bidder optimal assignments for general utilities. Theoretical Computer Science. 2013;478(3):22-32. doi:10.1016/j.tcs.2013.01.030

Pieber B, Martinez ST, Cantillo D, Kappe CO. In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins. Angewandte Chemie International Edition. 2013;52(39):10241-10244. doi:10.1002/anie.201303528

Kappe CO, Pieber B, Dallinger D. Microwave effects in organic synthesis: Myth or reality? Angewandte Chemie International Edition. 2013;52(4):1088-1094. doi:10.1002/anie.201204103

Pieber B, Kappe CO. Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent. Green Chemistry. 2013;15(2):320-324. doi:10.1039/c2gc36896j

Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. 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. 2013;54(63):120-130. doi:10.3189/2013aog63a477

Juszak I, Pellicciotti F. A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability. Journal of Geophysical Research: Atmospheres. 2013;118(8):3066-3084. doi:10.1002/jgrd.50277

Immerzeel WW, Pellicciotti F, Bierkens MFP. Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. 2013;6(9):742-745. doi:10.1038/ngeo1896

Heynen M, Pellicciotti F, Carenzo M. Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. 2013;54(63):311-321. doi:10.3189/2013aog63a537

Haikala V, Jösch MA, Borst A, Mauss A. Optogenetic control of fly optomotor responses. Journal of Neuroscience. 2013;33(34):13927-13934. doi:10.1523/JNEUROSCI.0340-13.2013

Jösch MA, Weber F, Eichner H, Borst A. Functional specialization of parallel motion detection circuits in the fly. Journal of Neuroscience. 2013;33(3):902-905. doi:10.1523/JNEUROSCI.3374-12.2013

Fischer JL. Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis. 2013;45(3):1585-1615. doi:10.1137/120874291

Fischer JL. Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models. Communications in Partial Differential Equations. 2013;38(11):2004-2047. doi:10.1080/03605302.2013.823548

Fischer JL. Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations. 2013;255(10):3127-3149. doi:10.1016/j.jde.2013.07.028

Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181

Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394

Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11

Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168. doi:10.4007/annals.2013.177.3.8

Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Vol 25. International Press; 2013:29-70.

Hausel T, Letellier E, Rodríguez Villegas F. Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. 2013;234:85-128. doi:10.1016/j.aim.2012.10.009

De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 2013;7:23-38. doi:10.5427/jsing.2013.7c

Aceto L, Henzinger MH, Sgall J. 38th International Colloquium on Automata, Languages and Programming. Information and Computation. 2013;222(1):1. doi:10.1016/j.ic.2012.11.002

Kahane N, Ribes V, Kicheva A, Briscoe J, Kalcheim C. The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling. Development. 2013;140(8):1740-1750. doi:10.1242/dev.092726

Kicheva A, Holtzer L, Wartlick O, Schmidt T, González Gaitán M. Quantitative imaging of morphogen gradients in drosophila imaginal discs. Cold Spring Harbor Protocols. 2013;8(5):387-403. doi:10.1101/pdb.top074237

Ares N, Katsaros G, Golovach V, et al. SiGe quantum dots for fast hole spin Rabi oscillations. Applied Physics Letters. 2013;103(26). doi:10.1063/1.4858959

Ares N, Golovach V, Katsaros G, et al. Nature of tunable hole g factors in quantum dots. Physical Review Letters. 2013;110(4). doi:10.1103/PhysRevLett.110.046602

Abdumalikov A, Fink JM, Juliusson K, et al. Experimental realization of non-Abelian non-adiabatic geometric gates. Nature. 2013;496(7446):482-485. doi:10.1038/nature12010

Lang C, Eichler C, Steffen L, et al. Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies. Nature Physics. 2013;9(6):345-348. doi:10.1038/nphys2612

Nissen F, Fink JM, Mlynek J, Wallraff A, Keeling J. Collective suppression of linewidths in circuit QED. Physical Review Letters. 2013;110(20). doi:10.1103/PhysRevLett.110.203602

Novarino G, Baek S, Gleeson J. The sacred disease: The puzzling genetics of epileptic disorders. Neuron. 2013;80(1):9-11. doi:10.1016/j.neuron.2013.09.019

Sazanov LA, Baradaran R, Efremov R, Berrisford J, Minhas G. A long road towards the structure of respiratory complex I, a giant molecular proton pump. Biochemical Society Transactions. 2013;41(5):1265-1271. doi:10.1042/BST20130193

Baradaran R, Berrisford J, Minhas G, Sazanov LA. Crystal structure of the entire respiratory complex i. Nature. 2013;494(7438):443-448. doi:10.1038/nature11871

Vicoso B, Bachtrog D. Reversal of an ancient sex chromosome to an autosome in Drosophila. Nature. 2013;499(7458):332-335. doi:10.1038/nature12235

Bonny M, Fischer Friedrich E, Loose M, Schwille P, Kruse K. Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation. PLoS Computational Biology. 2013;9(12). doi:10.1371/journal.pcbi.1003347

Uhler C, Raskutti G, Bühlmann P, Yu B. Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. 2013;41(2):436-463. doi:10.1214/12-AOS1080

Uhler C, Slavkovic A, Fienberg S. Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . 2013;5(1):137-166. doi:10.29012/jpc.v5i1.629

Vicoso B, Kaiser V, Bachtrog D. Sex biased gene expression at homomorphic sex chromosomes in emus and its implication for sex chromosome evolution. PNAS. 2013;110(16):6453-6458. doi:10.1073/pnas.1217027110

Vicoso B, Emerson J, Zektser Y, Mahajan S, Bachtrog D. Comparative sex chromosome genomics in snakes: Differentiation evolutionary strata and lack of global dosage compensation. PLoS Biology. 2013;11(8). doi:10.1371/journal.pbio.1001643

Coros S, Thomaszewski B, Noris G, et al. Computational design of mechanical characters. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2461953

Papas M, Regg C, Jarosz W, et al. Fabricating translucent materials using continuous pigment mixtures. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2461974

Bermano A, Bruschweiler P, Grundhöfer A, Iwai D, Bickel B, Groß M. Augmenting physical avatars using projector-based illumination. ACM Transactions on Graphics. 2013;32(6). doi:10.1145/2508363.2508416

Hildebrand K, Bickel B, Alexa M. Orthogonal slicing for additive manufacturing. Computers and Graphics (Pergamon). 2013;37(6):669-675. doi:10.1016/j.cag.2013.05.011

Skouras M, Thomaszewski B, Coros S, Bickel B, Groß M. Computational design of actuated deformable characters. ACM Transactions on Graphics. 2013;32(4). doi:10.1145/2461912.2461979

Miguel E, Tamstorf R, Bradley D, et al. Modeling and estimation of internal friction in cloth. ACM Transactions on Graphics. 2013;32(6). doi:10.1145/2508363.2508389 

Dirksen S, Maas J, Van Neerven J. Poisson stochastic integration in Banach spaces. Electronic Journal of Probability. 2013;18. doi:10.1214/EJP.v18-2945 

Rouiller O, Bickel B, Kautz J, Matusik W, Alexa M. 3D printing spatially varying BRDFs. IEEE Computer Graphics and Applications. 2013;33(6):48-57. doi:10.1109/MCG.2013.82 

Bickel B, Alexa M. Computational aspects of fabrication: Modeling, design and 3d printing. IEEE Computer Graphics and Applications. 2013;33(6):24-25. doi:10.1109/MCG.2013.89

Gigli N, Maas J. Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. 2013;45(2):879-899. doi:10.1137/120886315 

Lemeshko M. Manipulating scattering of ultracold atoms with light-induced dissipation. Frontiers Physics. 2013;1(17). doi:10.3389/fphy.2013.00017

Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. Quantitative relaxation of concurrent data structures. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:317-328. doi:10.1145/2429069.2429109

Cerny P, Henzinger TA, Radhakrishna A. Quantitative abstraction refinement. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:115-128. doi:10.1145/2429069.2429085

Biedl T, Held M, Huber S. Recognizing straight skeletons and Voronoi diagrams and reconstructing their input. In: IEEE; 2013:37-46. doi:10.1109/ISVD.2013.11

Bhongale S, Mathey L, Zhao E, Yelin S, Lemeshko M. Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters. 2013;110(15). doi:10.1103/PhysRevLett.110.155301