Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).

Parity-conserving Cooper-pair transport and ideal superconducting diode in planar germanium
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.L. Aguilera Servin, K. Aggarwal, M. Janik, T. Adletzberger, R. Seoane Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, Nature Communications 15 (2024).

Annealed quantitative estimates for the quadratic 2D-discrete random matching problem
N. Clozeau, F. Mattesini, Probability Theory and Related Fields (2024).

Interface engineering modulation combined with electronic structure modification of Zn-doped NiO heterostructure for efficient water-splitting activity
G.K. Kiran, S. Singh, N. Mahato, T.V.M. Sreekanth, G.R. Dillip, K. Yoo, J. Kim, ACS Applied Energy Materials 7 (2024) 214–229.

A discovery tour in random Riemannian geometry
L. Dello Schiavo, E. Kopfer, K.T. Sturm, Potential Analysis (2024).

On the local-global principle for isogenies of abelian surfaces
D. Lombardo, M. Verzobio, Selecta Mathematica 30 (2024).

Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions
A. Agresti, E. Luongo, Mathematische Annalen (2024).

Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions
A. Agresti, M. Veraar, Annales de l’institut Henri Poincare Probability and Statistics 60 (2024) 413–430.

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, Mathematical Programming (2024).

Decompositions into two linear forests of bounded lengths
R. Campbell, F. Hörsch, B. Moore, Discrete Mathematics 347 (2024).

SCA drives the compositional diversity of mammalian respirasomes
I. Vercellino, L.A. Sazanov, Nature Structural and Molecular Biology (2024).

Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility
H. Abels, M. Fei, M. Moser, Calculus of Variations and Partial Differential Equations 63 (2024).

Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming (2024).

Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions
C. Rouzé, M. Wirth, H. Zhang, Communications in Mathematical Physics 405 (2024).

Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Altered childhood brain development in autism and epilepsy
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.

Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.

Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Fast algorithms for solving the Hamilton cycle problem with high probability
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.

Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.

Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.

Mesoscopic central limit theorem for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2023).

Tracing isomanifolds in Rd in time polynomial in d using Coxeter–Freudenthal–Kuhn triangulations
J.D. Boissonnat, S. Kachanovich, M. Wintraecken, SIAM Journal on Computing 52 (2023) 452–486.

Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.

Stronger lower bounds for leakage-resilient secret sharing
C. Hoffmann, M. Simkin, in:, 8th International Conference on Cryptology and Information Security in Latin America, Springer Nature, 2023, pp. 215–228.

Substructures in Latin squares
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.

Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, in:, SIROCCO 2023: Structural Information and Communication Complexity , Springer Nature, 2023, pp. 576–594.

Quantitative Steinitz theorem: A polynomial bound
G. Ivanov, M. Naszódi, Bulletin of the London Mathematical Society (2023).

Multiple packing: Lower bounds via infinite constellations
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory 69 (2023) 4513–4527.

Noncommutative Bohnenblust–Hille inequalities
A. Volberg, H. Zhang, Mathematische Annalen (2023).

The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.

Creation rate of Dirac particles at a point source
S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).

Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes
U. Wagner, P. Wild, Israel Journal of Mathematics 256 (2023) 675–717.

New fluorescent auxin derivatives: anti-auxin activity and accumulation patterns in Arabidopsis thaliana
K. Bieleszová, P. Hladík, M. Kubala, R. Napier, F. Brunoni, Z. Gelová, L. Fiedler, I. Kulich, M. Strnad, K. Doleeal, O. Novák, J. Friml, A. dukauskait, Plant Growth Regulation (2023).

Multiple packing: Lower bounds via error exponents
Y. Zhang, S. Vatedka, IEEE Transactions on Information Theory (2023).

Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.

Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result
M. Moser, Asymptotic Analysis 131 (2023) 297–383.

Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).

On biased compression for distributed learning
A. Beznosikov, S. Horvath, P. Richtarik, M. Safaryan, Journal of Machine Learning Research 24 (2023) 1–50.

Iterated medial triangle subdivision in surfaces of constant curvature
F.R. Brunck, Discrete and Computational Geometry 70 (2023) 1059–1089.

Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.

A combinatorial cut-toggling algorithm for solving Laplacian linear systems
M.H. Henzinger, B. Jin, R. Peng, D.P. Williamson, Algorithmica 85 (2023) 2680–3716.

Object-centric multiple object tracking
Z. Zhao, J. Wang, M. Horn, Y. Ding, T. He, Z. Bai, D. Zietlow, C.-J.S.-G. Carl-Johann Simon-Gabriel, B. Shuai, Z. Tu, T. Brox, B. Schiele, Y. Fu, F. Locatello, Z. Zhang, T. Xiao, ArXiv (n.d.).

Lattice expansion enables interstitial doping to achieve a high average ZT in ntype PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.

Provably-efficient and internally-deterministic parallel Union-Find
A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.

Generalizing medial axes with homology switches
E.R. Stephenson, Generalizing Medial Axes with Homology Switches, Institute of Science and Technology Austria, 2023.

On the variation in stellar ;1-enhancements of star-forming galaxies in the EAGLE simulation
A. Gebek, J.J. Matthee, The Astrophysical Journal 924 (2022).

Fully dynamic four-vertex subgraph counting
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.

Lower bounds on list decoding capacity using error exponents
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 1324–1329.

Lower bounds for multiple packing
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 3085–3090.

List-decodability of Poisson Point Processes
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2559–2564.

List-decodable zero-rate codes for the Z-channel
N. Polyanskii, Y. Zhang, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 2553–2558.

Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.

High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.

The topological correctness of PL approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics  22 (2022) 967–1012.

On the size of the maximum of incomplete Kloosterman sums
D. Bonolis, Mathematical Proceedings of the Cambridge Philosophical Society 172 (2022) 563–590.

The assembly, regulation and function of the mitochondrial respiratory chain
I. Vercellino, L.A. Sazanov, Nature Reviews Molecular Cell Biology 23 (2022) 141–161.

Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics, and disease control
M. Turelli, N.H. Barton, Evolution Letters 6 (2022) 92–105.

The BCS critical temperature at high density
S.J. Henheik, Mathematical Physics, Analysis and Geometry 25 (2022).

Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control
M. Turelli, N.H. Barton, (2022).

High-pressure phase behaviors of titanium dioxide revealed by a -learning potential
J.G. Lee, C.J. Pickard, B. Cheng, The Journal of Chemical Physics 156 (2022).

Functional John ellipsoids
G. Ivanov, M. Naszódi, Journal of Functional Analysis 282 (2022).

Intron-mediated induction of phenotypic heterogeneity
M. Lukacisin, A. Espinosa-Cantú, M.T. Bollenbach, Nature 605 (2022) 113–118.

Functional control of a 0.5 MDa TET aminopeptidase by a flexible loop revealed by MAS NMR
D.F. Gauto, P. Macek, D. Malinverni, H. Fraga, M. Paloni, I. Sudec, A. Hessel, J.P. Bustamante, A. Barducci, P. Schanda, Nature Communications 13 (2022).

Large deviations in random latin squares
M.A. Kwan, A. Sah, M. Sawhney, Bulletin of the London Mathematical Society 54 (2022) 1420–1438.

A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis
R. Zhang, R. Kuo, M. Coulter, C.P.G. Calixto, J.C. Entizne, W. Guo, Y. Marquez, L. Milne, S. Riegler, A. Matsui, M. Tanaka, S. Harvey, Y. Gao, T. Wießner-Kroh, A. Paniagua, M. Crespi, K. Denby, A.B. Hur, E. Huq, M. Jantsch, A. Jarmolowski, T. Koester, S. Laubinger, Q.Q. Li, L. Gu, M. Seki, D. Staiger, R. Sunkar, Z. Szweykowska-Kulinska, S.L. Tu, A. Wachter, R. Waugh, L. Xiong, X.N. Zhang, A. Conesa, A.S.N. Reddy, A. Barta, M. Kalyna, J.W.S. Brown, Genome Biology 23 (2022).

Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime
S. Hensel, M. Moser, Calculus of Variations and Partial Differential Equations 61 (2022).

Weak catch bonds make strong networks
Y. Mulla, M. Avellaneda Sarrió, A. Roland, L. Baldauf, W. Jung, T. Kim, S.J. Tans, G.H. Koenderink, Nature Materials 21 (2022) 1019–1023.

Norms of certain functions of a distinguished Laplacian on the ax + b groups
R. Akylzhanov, Y. Kuznetsova, M. Ruzhansky, H. Zhang, Mathematische Zeitschrift 302 (2022) 2327–2352.

The isometry group of Wasserstein spaces: The Hilbertian case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of the London Mathematical Society 106 (2022) 3865–3894.

The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.

The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities
Z. Keszthelyi, A. de Koter, Y.L.L. Götberg, G. Meynet, S.A. Brands, V. Petit, M. Carrington, A.D.-U. A. David-Uraz, S.T. Geen, C. Georgy, R. Hirschi, J. Puls, K.J. Ramalatswa, M.E. Shultz, A. ud-Doula A. ud-Doula, Monthly Notices of the Royal Astronomical Society 517 (2022) 2028–2055.

Retrograde movements determine effective stem cell numbers in the intestine
M. Azkanaz, B. Corominas-Murtra, S.I.J. Ellenbroek, L. Bruens, A.T. Webb, D. Laskaris, K.C. Oost, S.J.A. Lafirenze, K. Annusver, H.A. Messal, S. Iqbal, D.J. Flanagan, D.J. Huels, F. Rojas-Rodríguez, M. Vizoso, M. Kasper, O.J. Sansom, H.J. Snippert, P. Liberali, B.D. Simons, P. Katajisto, E.B. Hannezo, J. van Rheenen, Nature 607 (2022) 548–554.

Molecular engineering enables bright blue LEDs
H. Utzat, M. Ibáñez, Nature 612 (2022) 638–639.

Two-particle bound states at interfaces and corners
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).

Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana
M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2022.

When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.

Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).

Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.

Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.

Cubic Forms and the Circle Method
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.

One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.

Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.

On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.

Quantitative verification on product graphs of small treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.

The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.

Measuring the average molecular gas content of star-forming galaxies at z = 3–4
L.A. Boogaard, R.J. Bouwens, D. Riechers, P. van der Werf, R. Bacon, J.J. Matthee, M. Stefanon, A. Feltre, M. Maseda, H. Inami, M. Aravena, J. Brinchmann, C. Carilli, T. Contini, R. Decarli, J. González-López, T. Nanayakkara, F. Walter, The Astrophysical Journal 916 (2021).

Differences in galaxy colours are not just about the mass
J.J. Matthee, Nature Astronomy 5 (2021) 984–985.

Horizontal shear instabilities in rotating stellar radiation zones: II. Effects of the full Coriolis acceleration
J. Park, V. Prat, S. Mathis, L.A. Bugnet, Astronomy &; Astrophysics 646 (2021).

Constant-time dynamic weight approximation for minimum spanning forest
M.H. Henzinger, P. Peng, Information and Computation 281 (2021).

Upper and lower bounds for fully retroactive graph problems
M.H. Henzinger, X. Wu, in:, 17th International Symposium on Algorithms and Data Structures, Springer Nature, 2021, pp. 471–484.

Differentially private algorithms for graphs under continual observation
H. Fichtenberger, M.H. Henzinger, W. Ost, in:, 29th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.

New techniques and fine-grained hardness for dynamic near-additive spanners
T. Bergamaschi, M.H. Henzinger, M.P. Gutenberg, V.V. Williams, N. Wein, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 1836–1855.

Tight bounds for online graph partitioning
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 2799–2818.

On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, ArXiv (n.d.).

Sums of four squareful numbers
A.L. Shute, ArXiv (n.d.).

A recurrence relation for elliptic divisibility sequences
M. Verzobio, ArXiv (n.d.).

The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.

A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).

Primitive divisors of sequences associated to elliptic curves with complex multiplication
M. Verzobio, Research in Number Theory 7 (2021).

Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G. Montufar, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.

Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.

Sublinear latency for simplified successive cancellation decoding of polar codes
M. Mondelli, S.A. Hashemi, J.M. Cioffi, A. Goldsmith, IEEE Transactions on Wireless Communications 20 (2021) 18–27.

The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, Discrete and Computational Geometry 65 (2021) 1296–1313.

Efficient and adaptive sensory codes
W.F. Mlynarski, A.M. Hermundstad, Nature Neuroscience 24 (2021) 998–1009.

Structure of the mature Rous sarcoma virus lattice reveals a role for I in the formation of the capsid hexamer
M. Obr, C.L. Ricana, N. Nikulin, J.-P.R. Feathers, M. Klanschnig, A. Thader, M.C. Johnson, V.M. Vogt, F.K. Schur, R.A. Dick, Nature Communications 12 (2021).

Gating and modulation of a hetero-octameric AMPA glutamate receptor
D. Zhang, J. Watson, P.M. Matthews, O. Cais, I.H. Greger, Nature 594 (2021) 454–458.

Functional Löwner ellipsoids
G. Ivanov, I. Tsiutsiurupa, Journal of Geometric Analysis 31 (2021) 11493–11528.

Heat induction in two-dimensional graphene–Fe3O4 nanohybrids for magnetic hyperthermia applications with artificial neural network modeling
M.S. Dar, K.B. Akram, A. Sohail, F. Arif, F. Zabihi, S. Yang, S. Munir, M. Zhu, M. Abid, M. Nauman, RSC Advances 11 (2021) 21702–21715.

Erds-Hajnal-type results for monotone paths
J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.

Morphology of three-body quantum states from machine learning
D. Huber, O.V. Marchukov, H.W. Hammer, A. Volosniev, New Journal of Physics 23 (2021).

Scattering in quantum dots via noncommutative rational functions
L. Erdös, T.H. Krüger, Y. Nemish, Annales Henri Poincaré  22 (2021) 4205–4269.

Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.

Reactive key-loss protection in blockchains
S. Blackshear, K. Chalkias, P. Chatzigiannis, R. Faizullabhoy, I. Khaburzaniya, E. Kokoris Kogias, J. Lind, D. Wong, T. Zakian, in:, FC 2021 Workshops, Springer Nature, 2021, pp. 431–450.

SoK: Communication across distributed ledgers
A. Zamyatin, M. Al-Bassam, D. Zindros, E. Kokoris Kogias, P. Moreno-Sanchez, A. Kiayias, W.J. Knottenbelt, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 3–36.

Brick: Asynchronous incentive-compatible payment channels
Z. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, D. Zindros, in:, 25th International Conference on Financial Cryptography and Data Security, Springer Nature, 2021, pp. 209–230.

Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems
J.L. Fischer, S. Neukamm, Archive for Rational Mechanics and Analysis 242 (2021) 343–452.

All You Need is DAG
I. Keidar, E. Kokoris Kogias, O. Naor, A. Spiegelman, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 165–175.

Improved deterministic (+1) coloring in low-space MPC
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 469–479.

Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol
R. Gelashvili, E. Kokoris Kogias, A. Spiegelman, Z. Xiang, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 187–190.

The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).

On lexicographic proof rules for probabilistic termination
K. Chatterjee, E.K. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.

Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, ACM Transactions on Algorithms 17 (2021).

Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica (2021).

Binary linear codes with optimal scaling: Polar codes with large kernels
A. Fazeli, H. Hassani, M. Mondelli, A. Vardy, IEEE Transactions on Information Theory 67 (2021) 5693–5710.

Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses
D.H. Vandael, Y. Okamoto, C. Borges Merjane, V.M. Vargas Barroso, B. Suter, P.M. Jonas, Nature Protocols 16 (2021) 2947–2967.

Identification of on- and off-pathway oligomers in amyloid fibril formation
A.J. Dear, G. Meisl, A. Sari, T.C.T. Michaels, M. Kjaergaard, S. Linse, T.P.J. Knowles, Chemical Science 11 (2020) 6236–6247.

Sublattice resolved spin wave transport through graphene fractional quantum Hall states as a probe of isospin order
H. Zhou, H. Polshyn, T. Tanaguchi, K. Watanabe, A. Young, in:, APS March Meeting 2020, American Physical Society, 2020.

Spectroscopic confirmation of a coma cluster progenitor at z c 2.2
B. Darvish, N.Z. Scoville, C. Martin, D. Sobral, B. Mobasher, A. Rettura, J.J. Matthee, P. Capak, N. Chartab, S. Hemmati, D. Masters, H. Nayyeri, D. O’Sullivan, A. Paulino-Afonso, Z. Sattari, A. Shahidi, M. Salvato, B.C. Lemaux, O.L. Fèvre, O. Cucciati, The Astrophysical Journal 892 (2020).

Fully-dynamic coresets
M.H. Henzinger, S. Kale, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Dynamic approximate maximum independent set of intervals, hypercubes and hyperrectangles
M.H. Henzinger, S. Neumann, A. Wiese, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Fast dynamic cuts, distances and effective resistances via vertex sparsifiers
L. Chen, G. Goranci, M.H. Henzinger, R. Peng, T. Saranurak, in:, 61st Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2020, pp. 1135–1146.

Dichloromethylation of enones by carbon nitride photocatalysis
S. Mazzanti, B. Kurpil, B. Pieber, M. Antonietti, A. Savateev, Nature Communications 11 (2020).

Heat rectification via a superconducting artificial atom
J.L. Senior, A. Gubaydullin, B. Karimi, J.T. Peltonen, J. Ankerhold, J.P. Pekola, Communications Physics 3 (2020).

Quantification of the overall contribution of gene-environment interaction for obesity-related traits
J. Sulc, N. Mounier, F. Günther, T. Winkler, A.R. Wood, T.M. Frayling, I.M. Heid, M.R. Robinson, Z. Kutalik, Nature Communications 11 (2020).

Bounding radon number via Betti numbers
Z. Patakova, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.

Ionic solids from common colloids
T. Hueckel, G.M. Hocky, J.A. Palacci, S. Sacanna, Nature 580 (2020) 487–490.

Crossings between non-homotopic edges
J. Pach, G. Tardos, G. Tóth, in:, 28th International Symposium on Graph Drawing and Network Visualization, Springer Nature, 2020, pp. 359–371.

Universality of random permutations
X. He, M.A. Kwan, Bulletin of the London Mathematical Society 52 (2020) 515–529.

Clouds in current and in a warming climate
C.J. Muller, in:, F. Bouchet, T. Schneider, A. Venaille, C. Salomon (Eds.), Fundamental Aspects of Turbulent Flows in Climate Dynamics, Oxford University Press, 2020.

Dense induced bipartite subgraphs in triangle-free graphs
M.A. Kwan, S. Letzter, B. Sudakov, T. Tran, Combinatorica 40 (2020) 283–305.

The state of rock debris covering Earth’s glaciers
S. Herreid, F. Pellicciotti, Nature Geoscience 13 (2020) 621–627.

Simplified successive cancellation decoding of polar codes has sublinear latency
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.

From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture
H. Zhang, Advances in Mathematics 365 (2020).

Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.

Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation
J. Taboada-Gutiérrez, G. Álvarez-Pérez, J. Duan, W. Ma, K. Crowley, I. Prieto Gonzalez, A. Bylinkin, M. Autore, H. Volkova, K. Kimura, T. Kimura, M.H. Berger, S. Li, Q. Bao, X.P.A. Gao, I. Errea, A.Y. Nikitin, R. Hillenbrand, J. Martín-Sánchez, P. Alonso-González, Nature Materials 19 (2020) 964–968.

Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors
M. Hartstein, Y.T. Hsu, K.A. Modic, J. Porras, T. Loew, M.L. Tacon, H. Zuo, J. Wang, Z. Zhu, M.K. Chan, R.D. Mcdonald, G.G. Lonzarich, B. Keimer, S.E. Sebastian, N. Harrison, Nature Physics 16 (2020) 841–847.

Intersection patterns of planar sets
G. Kalai, Z. Patakova, Discrete and Computational Geometry 64 (2020) 304–323.

Stars stripped in binaries: The living gravitational-wave sources
Y.L.L. Götberg, V. Korol, A. Lamberts, T. Kupfer, K. Breivik, B. Ludwig, M.R. Drout, The Astrophysical Journal 904 (2020).

The excitation spectrum of Bose gases interacting through singular potentials
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European Mathematical Society 22 (2020) 2331–2403.

Emergence of Haldane pseudo-potentials in systems with short-range interactions
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.

Key role of quinone in the mechanism of respiratory complex I
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).

Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum
K. Kubiasova, J.C. Montesinos López, O. Samajová, J. Nisler, V. Mik, H. Semerádová, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doleeal, P. Galuszka, J. Samaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).

Attosecond Molecular Dynamics and Spectroscopy
D.R. Baykusheva, H.J. Wörner, in:, R. Marquardt, M. Quack (Eds.), Molecular Spectroscopy and Quantum Dynamics, 1st ed., Elsevier, 2020, pp. 113–161.

A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents
A. Deichler, D. Carrasco, L. Lopez-Jury, T.A. Vega Zuniga, N. Marquez, J. Mpodozis, G. Marin, Scientific Reports 10 (2020).

Strain engineering of the charge and spin-orbital interactions in SIrO4
E. Paris, Y. Tseng, E. Paerschke, W. Zhang, M.H. Upton, A. Efimenko, K. Rolfs, D.E. McNally, L. Maurel, M. Naamneh, M. Caputo, V.N. Strocov, Z. Wang, D. Casa, C.W. Schneider, E. Pomjakushina, K. Wohlfeld, M. Radovic, T. Schmitt, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 24764–24770.

Vascular surveillance by haptotactic blood platelets in inflammation and infection
L. Nicolai, K. Schiefelbein, S. Lipsky, A. Leunig, M. Hoffknecht, K. Pekayvaz, B. Raude, C. Marx, A. Ehrlich, J. Pircher, Z. Zhang, I. Saleh, A.-K. Marel, A. Löf, T. Petzold, M. Lorenz, K. Stark, R. Pick, G. Rosenberger, L. Weckbach, B. Uhl, S. Xia, C.A. Reichel, B. Walzog, C. Schulz, V. Zheden, M. Bender, R. Li, S. Massberg, F.R. Gärtner, Nature Communications 11 (2020).

Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons
L. Bossmann, Archive for Rational Mechanics and Analysis 238 (2020) 541–606.

Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology 33 (2020) 342–351.

Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.

Scaling limits of discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, SIAM Journal on Mathematical Analysis 52 (2020) 2759–2802.

On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift
K. Dareiotis, M. Gerencser, Electronic Journal of Probability 25 (2020).

Density of rational points on a quadric bundle in 3×3
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.

The Dyson equation with linear self-energy: Spectral bands, edges and cusps
J. Alt, L. Erdös, T.H. Krüger, Documenta Mathematica 25 (2020) 1421–1539.

Zero field splitting of heavy-hole states in quantum dots
G. Katsaros, J. Kukucka, L. Vukusi, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.

Graph sparsification for derandomizing massively parallel computation with low space
A. Czumaj, P. Davies, M. Parter, in:, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Association for Computing Machinery, 2020, pp. 175–185.

Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, 47th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.

Analysis of a two-layer neural network via displacement convexity
A. Javanmard, M. Mondelli, A. Montanari, Annals of Statistics 48 (2020) 3619–3642.

A small satellite version of a soft x-ray polarimeter
H.L. Marshall, S. Heine, A. Garner, E. Gullikson, M. Guenther, C. Leitz, R. Masterson, E. Miller, W. Zhang, R. Boissay Malaquin, I. Caiazzo, D. Chakrabarty, R. Davidson, L. Gallo, R.K. Heilmann, J. Heyl, E. Kara, A. Marscher, N. Schulz, in:, Space Telescopes and Instrumentation 2020: Ultraviolet to Gamma Ray, SPIE, 2020.

The Colibrì high-resolution x-ray telescope
J. Heyl, I. Caiazzo, S. Gallagher, K. Hoffman, S. Safi-Harb, in:, Space Telescopes and Instrumentation 2020: Ultraviolet to Gamma Ray, SPIE, 2020.

Normal state transport in superconducting twisted bilayer graphene
H. Polshyn, Y. Zhang, M. Yankowitz, S. Chen, T. Taniguchi, K. Watanabe, D.E. Graf, C.R. Dean, A. Young, in:, APS March Meeting 2019, American Physical Society, 2019.

Predicting Ly;1 escape fractions with a simple observable: Ly;1 in emission as an empirically calibrated star formation rate indicator
D. Sobral, J.J. Matthee, Astronomy &; Astrophysics 623 (2019).

Resolved UV and [C ii] structures of luminous galaxies within the epoch of reionization
J.J. Matthee, D. Sobral, L.A. Boogaard, H. Röttgering, L. Vallini, A. Ferrara, A. Paulino-Afonso, F. Boone, D. Schaerer, B. Mobasher, The Astrophysical Journal 881 (2019).

The origin of scatter in the star formation rate–stellar mass relation
J.J. Matthee, J. Schaye, Monthly Notices of the Royal Astronomical Society 484 (2019) 915–932.

A new deterministic algorithm for dynamic set cover
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, in:, 60th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2019, pp. 406–423.

Tropical formulae for summation over a part of SL(2,Z)
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.

Sampling the integers with low relative error
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.

Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.

Thermodynamic signatures of Weyl fermions in NbP
K.A. Modic, T. Meng, F. Ronning, E.D. Bauer, P.J.W. Moll, B.J. Ramshaw, Scientific Reports 9 (2019).

Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019).

Interphase identity crisis
S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.

Asymptotic density of collision orbits in the Restricted Circular Planar 3 Body Problem
M. Guardia, V. Kaloshin, J. Zhang, Archive for Rational Mechanics and Analysis 233 (2019) 799–836.

V. I. Arnold’s cpointwised KAM theorem
L. Chierchia, E. Koudjinan, Regular and Chaotic Dynamics 24 (2019) 583–606.

Anticoncentration for subgraph statistics
M.A. Kwan, B. Sudakov, T. Tran, Journal of the London Mathematical Society 99 (2019) 757–777.

Bose–Einstein condensation in a dilute, trapped gas at positive temperature
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.

Genetic dissection of assortative mating behavior
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019).

Boundary regularity of stochastic PDEs
M. Gerencser, Annals of Probability 47 (2019) 804–834.

SOC is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness
C.H. Nguyen, T. Glüxam, A. Schlerka, K. Bauer, A.M. Grandits, H. Hackl, O. Dovey, S. Zöchbauer-Müller, J.L. Cooper, G.S. Vassiliou, D. Stoiber, R. Wieser, G. Heller, Scientific Reports 9 (2019).

On a certain non-split cubic surface
R. De La Bretèche, K.N. Destagnol, J. Liu, J. Wu, Y. Zhao, Science China Mathematics 62 (2019) 2435–2446.

Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).

Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).

On isometric embeddings of Wasserstein spaces – the discrete case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of Mathematical Analysis and Applications 480 (2019).

Derivation of the time dependent Gross–Pitaevskii equation in two dimensions
M. Jeblick, N.K. Leopold, P. Pickl, Communications in Mathematical Physics 372 (2019) 1–69.

Shellability is NP-complete
X. Goaoc, P. Patak, Z. Patakova, M. Tancer, U. Wagner, Journal of the ACM 66 (2019).

Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R. Butlin, (2019).

Energy contribution of a point-interacting impurity in a Fermi gas
T. Moser, R. Seiringer, Annales Henri Poincare 20 (2019) 1325–1365.

The free energy of the two-dimensional dilute Bose gas. I. Lower bound
A. Deuchert, S. Mayer, R. Seiringer, ArXiv:1910.03372 (n.d.).

Social immunity
S. Cremer, M. Kutzer, in:, J. Choe (Ed.), Encyclopedia of Animal Behavior, 2nd ed., Elsevier, 2019, pp. 747–755.

Elastic alfven waves in elastic turbulence
A. Varshney, V. Steinberg, Nature Communications 10 (2019).

Recognizing weak embeddings of graphs
H. Akitaya, R. Fulek, C. Tóth, ACM Transactions on Algorithms 15 (2019).

Star-forming galaxies are predicted to lie on a fundamental plane of mass, star formation rate, and ;1-enhancement
J.J. Matthee, J. Schaye, Monthly Notices of the Royal Astronomical Society: Letters 479 (2018) L34–L39.

Dynamic effective resistances and approximate schur complement on separable graphs
G. Goranci, M.H. Henzinger, P. Peng, in:, 26th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.

Harnessing electro-optic correlations in an efficient mechanical converter
A.P. Higginbotham, P.S. Burns, M.D. Urmey, R.W. Peterson, N.S. Kampel, B.M. Brubaker, G. Smith, K.W. Lehnert, C.A. Regal, Nature Physics 14 (2018) 1038–1042.

Chiral spin order in some purported Kitaev spin-liquid compounds
K.A. Modic, B.J. Ramshaw, A. Shekhter, C.M. Varma, Physical Review B 98 (2018).

Transformation of summary statistics from linear mixed model association on all-or-none traits to odds ratio
L.R. Lloyd-Jones, M.R. Robinson, J. Yang, P.M. Visscher, Genetics 208 (2018) 1397–1408.

Motor primitives in space and time via targeted gain modulation in cortical networks
J.P. Stroud, M.A. Porter, G. Hennequin, T.P. Vogels, Nature Neuroscience 21 (2018) 1774–1783.

Shellability is NP-complete
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.

The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.

Crossing minimization in perturbed drawings
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.

Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.

Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.

Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, M. Schaefer, Genome Biology 19 (2018).

Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, BMC Genomics 19 (2018).

Non-malleable codes
S. Dziembowski, K.Z. Pietrzak, D. Wichs, Journal of the ACM 65 (2018).

Recognizing weak embeddings of graphs
H. Akitaya, R. Fulek, C. Tóth, in:, ACM, 2018, pp. 274–292.

The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory
R. Frank, P. Nam, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018) 577–614.

Space-optimal majority in population protocols
D.-A. Alistarh, J. Aspnes, R. Gelashvili, in:, Proceedings of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms, ACM, 2018, pp. 2221–2239.

On the circle covering theorem by A.W. Goodman and R.E. Goodman
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete &; Computational Geometry 59 (2018) 1001–1009.

Transition to shocks in TASEP and decoupling of last passage times
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.

The Dyson equation with linear self-energy: Spectral bands, edges and  cusps
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).

Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkadik, (2018).

Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.

Binary linear codes with optimal scaling: Polar codes with large kernels
A. Fazeli, H. Hassani, M. Mondelli, A. Vardy, in:, 2018 IEEE Information Theory Workshop, IEEE, 2018, pp. 1–5.

Accretion in strong field gravity with eXTP
A.D. Rosa, P. Uttley, L. Gou, Y. Liu, C. Bambi, D. Barret, T. Belloni, E. Berti, S. Bianchi, I. Caiazzo, P. Casella, M. Feroci, V. Ferrari, L. Gualtieri, J. Heyl, A. Ingram, V. Karas, F. Lu, B. Luo, G. Matt, S. Motta, J. Neilsen, P. Pani, A. Santangelo, X. Shu, J. Wang, J.-M. Wang, Y. Xue, Y. Xu, W. Yuan, Y. Yuan, S.-N. Zhang, S. Zhang, I. Agudo, L. Amati, N. Andersson, C. Baglio, P. Bakala, A. Baykal, S. Bhattacharyya, I. Bombaci, N. Bucciantini, F. Capitanio, R. Ciolfi, W.K. Cui, F. D’Ammando, T. Dauser, M. Del Santo, B. De Marco, T. Di Salvo, C. Done, M. Dovdiak, A.C. Fabian, M. Falanga, A.F. Gambino, B. Gendre, V. Grinberg, A. Heger, J. Homan, R. Iaria, J. Jiang, C. Jin, E. Koerding, M. Linares, Z. Liu, T.J. Maccarone, J. Malzac, A. Manousakis, F. Marin, A. Marinucci, M. Mehdipour, M. Méndez, S. Migliari, C. Miller, G. Miniutti, E. Nardini, P.T. O’Brien, J.P. Osborne, P.O. Petrucci, A. Possenti, A. Riggio, J. Rodriguez, A. Sanna, L. Shao, M. Sobolewska, E. Sramkova, A.L. Stevens, H. Stiele, G. Stratta, Z. Stuchlik, J. Svoboda, F. Tamburini, T.M. Tauris, F. Tombesi, G. Torok, M. Urbanec, F. Vincent, Q. Wu, F. Yuan, J.J.M. in’ t Zand, A.A. Zdziarski, X. Zhou, Science China Physics, Mechanics &; Astronomy 62 (2018).

Homogenization of nonconvex unbounded singular integrals
O. Anza Hafsa, N. Clozeau, J.-P. Mandallena, Annales Mathématiques Blaise Pascal 24 (2017) 135–193.

Bogoliubov correction to the mean-field dynamics of interacting bosons
P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.

Finding non-orientable surfaces in 3-Manifolds
B. Burton, A.N. de Mesmay, U. Wagner, Discrete &; Computational Geometry 58 (2017) 871–888.

Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Faster algorithms for mean-payoff parity games
K. Chatterjee, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Strategy complexity of concurrent safety games
K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Persistence of zero sets
P. Franek, M. Krcál, Homology, Homotopy and Applications 19 (2017) 313–342.

Construction of persistent Voronoi diagram on 3D digital plane
R. Biswas, P. Bhowmick, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2017, pp. 93–104.

Biosignals standards and FHIR: The way to go
S. Sauermann, V. David, A. Schlögl, R. Egelkraut, M. Frohner, B. Pohn, P. Urbauer, A. Mense, in:, IOS Press, 2017, pp. 356–362.

A note on 2D focusing many boson systems
M. Lewin, P. Nam, N. Rougerie, Proceedings of the American Mathematical Society 145 (2017) 2441–2454.

Scrypt is maximally memory hard
J.F. Alwen, B. Chen, K.Z. Pietrzak, L. Reyzin, S. Tessaro, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 33–62.

Depth-robust graphs and their cumulative memory complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, J.-S. Coron, J. Buus Nielsen (Eds.), Springer, 2017, pp. 3–32.

On the complexity of breaking pseudoentropy
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 600–613.

Safety verification of nonlinear hybrid systems based on invariant clusters
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, T.A. Henzinger, in:, Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–172.

Reed–Muller codes achieve capacity on erasure channels
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, E. Sasoglu, R.L. Urbanke, IEEE Transactions on Information Theory 63 (2017) 4298–4316.

Obligation blackwell games and p-automata
K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452.

Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.

In-plane magnetic anisotropy in strontium iridate SIrO4
M. Nauman, Y. Hong, T. Hussain, M.S. Seo, S.Y. Park, N. Lee, Y.J. Choi, W. Kang, Y. Jo, Physical Review B 96 (2017).

Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.

Lower bounds on key derivation for square-friendly applications
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.

Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges
P. Nam, H. Van Den Bosch, Mathematical Physics, Analysis and Geometry 20 (2017).

The number and distribution of AMPA receptor channels containing fast kinetic Glu and Glu subunits at auditory nerve synapses depend on the target cells
M. Rubio, K. Matsui, Y. Fukazawa, N. Kamasawa, H. Harada, M. Itakura, E. Molnár, M. Abe, K. Sakimura, R. Shigemoto, Brain Structure and Function 222 (2017) 3375–3393.

Stability of a fermionic N+1 particle system with point interactions
T. Moser, R. Seiringer, Communications in Mathematical Physics 356 (2017) 329–355.

Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.

A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, ML Research Press, 2017, pp. 228–249.

Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nesetil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.

Facets of the r-stable (n, k)-hypersimplex
T. Hibi, L.T. Solus, Annals of Combinatorics 20 (2016) 815–829.

The most luminous H ;1 emitters at z c 0.8–2.23 from HiZELS: Evolution of AGN and star-forming galaxies
D. Sobral, S.A. Kohn, P.N. Best, I. Smail, C.M. Harrison, J. Stott, J. Calhau, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 457 (2016) 1739–1752.

The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations
C. del P. Lagos, T. Theuns, J. Schaye, M. Furlong, R.G. Bower, M. Schaller, R.A. Crain, J.W. Trayford, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 459 (2016) 2632–2650.

Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population
J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839.

The CALYMHA survey: Ly;1 escape fraction and its dependence on galaxy properties at z = 2.23
J.J. Matthee, D. Sobral, I. Oteo, P. Best, I. Smail, H. Röttgering, A. Paulino-Afonso, Monthly Notices of the Royal Astronomical Society 458 (2016) 449–467.

Robust draws in balanced knockout tournaments
K. Chatterjee, R. Ibsen-Jensen, J. Tkadlec, in:, AAAI Press, 2016, pp. 172–179.

Graph minors for preserving terminal distances approximately - lower and upper bounds
Y.K. Cheung, G. Goranci, M.H. Henzinger, in:, 43rd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.

Computation of cubical Steenrod squares
M. Krcál, P. Pilarczyk, in:, Springer, 2016, pp. 140–151.

On eigenvalues of random complexes
A. Gundert, U. Wagner, Israel Journal of Mathematics 216 (2016) 545–582.

Periodic striped ground states in Ising models with competing interactions
A. Giuliani, R. Seiringer, Communications in Mathematical Physics 347 (2016) 983–1007.

Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without K5 minors
L.T. Solus, C. Uhler, R. Yoshida, Linear Algebra and Its Applications 509 (2016) 247–275.

Scale-invariant systems realize nonlinear differential operators
M. Lang, E. Sontag, in:, IEEE, 2016.

The big match in small space
K. Hansen, R. Ibsen-Jensen, M. Koucký, in:, Springer, 2016, pp. 64–76.

Efficiently computing data-independent memory-hard functions
J.F. Alwen, J. Blocki, in:, Springer, 2016, pp. 241–271.

On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.

Untangling two systems of noncrossing curves
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.

Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors
M. Mondelli, S.H. Hassani, R.L. Urbanke, IEEE Transactions on Information Theory 62 (2016) 6698–6712.

Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, R. Urbankez, in:, 2016 IEEE International Symposium on Information Theory , IEEE, 2016, pp. 1755–1759.

Reed-Muller codes: Thresholds and weight distribution
M. Mondelli, S. Kudekar, S. Kumar, H.D. Pfister, E. eafoflu, R. Urbanke, in:, 24th International Zurich Seminar on Communications, ETH Zürich, 2016, p. 50.

Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.

Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem
J. Féjoz, M. Guàrdia, V. Kaloshin, P. Roldán, Journal of the European Mathematical Society 18 (2016) 2315–2403.

Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene
L. Campos, T. Taychatanapat, M. Serbyn, K. Surakitbovorn, K. Watanabe, T. Taniguchi, D. Abanin, P. Jarillo Herrero, Physical Review Letters 117 (2016).

Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders
P. Bernard, V. Kaloshin, K. Zhang, Acta Mathematica 217 (2016) 1–79.

Algorithms for partially observable markov decision processes
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, Institute of Science and Technology Austria, 2016.

On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.

The value 1 problem under finite-memory strategies for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.

Space- and time-efficient algorithm for maintaining dense subgraphs on one-pass dynamic streams
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, C. Tsourakakis, in:, 47th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2015, pp. 173–182.

A stable multi-scale kernel for topological machine learning
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.

Spectral statistics of large dimensional spearman s rank correlation matrix and its application
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.

On computability and triviality of well groups
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.

Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.

The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.

Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.

Representing directed trees as straight skeletons
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.

Key-homomorphic constrained pseudorandom functions
A. Banerjee, G. Fuchsbauer, C. Peikert, K.Z. Pietrzak, S. Stevens, in:, 12th Theory of Cryptography Conference, Springer Nature, 2015, pp. 31–60.

A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.

Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).

Minimal resistance of curves under the single impact assumption
A. Akopyan, A. Plakhov, Society for Industrial and Applied Mathematics 47 (2015) 2754–2769.

Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.

Magnetization of underdoped YBCu3Oy above the irreversibility field
J.F. Yu, B.J. Ramshaw, I. Kokanovi, K.A. Modic, N. Harrison, J. Day, R. Liang, W.N. Hardy, D.A. Bonn, A. McCollam, S.R. Julian, J.R. Cooper, Physical Review B 92 (2015).

Lock-Free algorithms under stochastic schedulers
D.-A. Alistarh, T. Sauerwald, M. Vojnovi, in:, ACM, 2015, pp. 251–260.

Arnold diffusion for smooth convex systems of two and a half degrees of freedom
V. Kaloshin, K. Zhang, Nonlinearity 28 (2015) 2699–2720.

Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation
M. Guardia, V. Kaloshin, Journal of the European Mathematical Society 17 (2015) 71–149.

Modeling 2m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming
A. Ayala, F. Pellicciotti, J.M. Shea, Journal of Geophysical Research: Atmospheres 120 (2015) 3139–3157.

Quantifying self-organizing behavior of autonomous robots
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.

A 10 de Lyman ;1 survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys
J.J. Matthee, D. Sobral, A.M. Swinbank, I. Smail, P.N. Best, J.-W. Kim, M. Franx, B. Milvang-Jensen, J. Fynbo, Monthly Notices of the Royal Astronomical Society 440 (2014) 2375–2387.

Online bipartite matching with decomposable weights
M. Charikar, M.H. Henzinger, H.L. Nguyên, in:, 22nd Annual European Symposium on Algorithms, Springer Nature, 2014, pp. 260–271.

Deterministic fully dynamic data structures for vertex cover and matching
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, in:, 26th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 785–804.

Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models
J.L. Fischer, Nonlinear Differential Equations and Applications 21 (2014) 27–50.

Upper bounds on waiting times for the Thin-film equation: The case of weak slippage
J.L. Fischer, Archive for Rational Mechanics and Analysis 211 (2014) 771–818.

Plant biology: Gatekeepers of the road to protein perdition
M. Sauer, J. Friml, Current Biology 24 (2014) –.

Formation of stripes and slabs near the ferromagnetic transition
A. Giuliani, É. Lieb, R. Seiringer, Communications in Mathematical Physics 331 (2014) 333–350.

Hypersurfaces and their singularities in partial correlation testing
S. Lin, C. Uhler, B. Sturmfels, P. Bühlmann, Foundations of Computational Mathematics 14 (2014) 1079–1116.

On Gromov's method of selecting heavily covered points
J. Matousek, U. Wagner, Discrete &; Computational Geometry 52 (2014) 1–33.

Isotropic local laws for sample covariance and generalized Wigner matrices
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).

Markov decision processes with multiple long-run average objectives
T. Brázdil, V. Broeek, K. Chatterjee, V. Forejt, A. Kudera, Logical Methods in Computer Science 10 (2014).

How to fake auxiliary input
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.

Equivalence of two definitions of the effective mass of a polaron
É. Lieb, R. Seiringer, Journal of Statistical Physics 154 (2014) 51–57.

Universality of general ;2-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.

Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites
D. Cadavid, M. Ibáñez, U. Anselmi Tamburini, O. Durá, M. De La Torre, A. Cabot, International Journal of Nanotechnology 11 (2014) 773–784.

Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.

Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.

The value 1 problem for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.

From polar to Reed-Muller codes: A technique to improve the finite-length performance
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Communications 62 (2014) 3084–3091.

A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.

Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.

Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.

Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–547.

Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.

Untangling two systems of noncrossing curves
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.

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.

Formalizing and reasoning about quality
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.

Stability and semiclassics in self-generated fields
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.

The complexity of conservative valued CSPs
V. Kolmogorov, S. divný, Journal of the ACM 60 (2013).

The local semicircle law for a general class of random matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.

Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.

Strategy improvement for concurrent reachability and turn based stochastic safety games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System Sciences 79 (2013) 640–657.

An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, Computational Geometry: Theory and Applications 46 (2013) 435–447.

Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.

Thermoelectric properties of Ho-doped Bi0.88S.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.

Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.

Inhomogeneous quadratic congruences
S. Baier, T.D. Browning, Functiones et Approximatio, Commentarii Mathematici 47 (2012) 267–286.

Further implications of the Bessis-Moussa-Villani conjecture
É. Lieb, R. Seiringer, Journal of Statistical Physics 149 (2012) 86–91.

Quadratic polynomials represented by norm forms
T.D. Browning, R. Heath Brown, Geometric and Functional Analysis 22 (2012) 1124–1190.

Bulk universality for generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.

Universality of local spectral statistics of random matrices
L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012) 377–414.

Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).

Second order semiclassics with self generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.

Scott correction for large atoms and molecules in a self-generated magnetic field
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.

Bulk universality of general ;2-ensembles with non-convex potential
P. Bourgade, L. Erdös, H. Yau, Journal of Mathematical Physics 53 (2012).

Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.

Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).

Alexander duality for functions: The persistent behavior of land and water and shore
H. Edelsbrunner, M. Kerber, in:, Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–258.

The complexity of conservative valued CSPs
V. Kolmogorov, S. divný, in:, SIAM, 2012, pp. 750–759.

Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of ATe–PbTe
D. Cadavid, M. Ibáñez, S. Gorsse, A. López, A. Cirera, J. Morante, A. Cabot, Journal of Nanoparticle Research 14 (2012).

Thermoelectric properties of Ho-doped Bi0.88S.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.

From sparse mocap to highly detailed facial animation
B. Bickel, M. Lang, in:, GPU Computing Gems Emerald Edition, Science Direct, 2011, pp. 413–426.

Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators
J. Maas, J. Van Neerven, in:, Parabolic Problems, Birkhäuser, 2011, pp. 463–477.

Quantum diffusion and delocalization for band matrices with general distribution
L. Erdös, A. Knowles, Annales Henri Poincare 12 (2011) 1227–1319.

Universality of random matrices and local relaxation flow
L. Erdös, B. Schlein, H. Yau, Inventiones Mathematicae 185 (2011) 75–119.

A Framework for Practical Universally Composable Zero-Knowledge Protocols
J. Camenisch, S. Krenn, V. Shoup, in:, D. Lee, X. Wang (Eds.), Springer, 2011, pp. 449–467.

An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, in:, ACM, 2011, pp. 207–216.

Tamper proof circuits How to trade leakage for tamper resilience
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.

Parallel repetition for leakage resilience amplification revisited
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.

What’s decidable about weighted automata 
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.

Two views on multiple mean payoff objectives in Markov Decision Processes
T. Brázdil, V. Broeek, K. Chatterjee, V. Forejt, A. Kudera, in:, IEEE, 2011.

Cell sorting in development
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Forces and Tension in Development, Elsevier, 2011, pp. 189–213.

Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.

Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.

Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.

The CLC family of chloride channels and transporters
T. Stauber, G. Novarino, T. Jentsch, in:, Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, Elsevier, 2010, pp. 209–231.

Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy
C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.

Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Annals of Mathematics 172 (2010) 291–370.

Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.

Ground state energy of large atoms in a self-generated magnetic field
L. Erdös, J. Solovej, Communications in Mathematical Physics 294 (2010) 229–249.

Bulk universality for Wigner Hermitian matrices with subexponential decay
L. Erdös, J. Ramírez, B. Schlein, T. Tao, V. Van, H. Yau, Mathematical Research Letters 17 (2010) 667–674.

Computational Topology: An Introduction
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.

Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.

Doomed program points
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.

Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.

Deeply bound ultracold molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).

Precision molecular spectroscopy for ground state transfer of molecular quantum gases
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.

Integral points on cubic hypersurfaces
T.D. Browning, R. Heath Brown, in:, Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.

Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).

Quantitative Arithmetic of Projective Varieties
T.D. Browning, Quantitative Arithmetic of Projective Varieties, Birkhäuser Basel, 2009.

The Stability of Matter in Quantum Mechanics
É. Lieb, R. Seiringer, The Stability of Matter in Quantum Mechanics, Cambridge University Press, 2009.

The ground state energy of the weakly interacting Bose gas at high density
A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.

Rigorous upper bound on the critical temperature of dilute Bose gases
R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).

Cell Biology: Networks, regulation, pathways
G. Tkadik, W. Bialek, in:, R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science, Springer, 2009, pp. 719–741.

Qualitative logics and equivalences for probabilistic systems
K. Chatterjee, L. De Alfaro, M. Faella, A. Legay, Logical Methods in Computer Science 5 (2009).

Structured prediction by joint kernel support estimation
C. Lampert, M. Blaschko, Machine Learning 77 (2009) 249–269.

On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.

Statistical mechanics and the evolution of polygenic quantitative traits
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.

Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.

On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces
J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability and Related Topics 11 (2008) 603–626.

A Clark-Ocone formula in UMD Banach spaces
J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.

On the representation of integers by quadratic forms
T.D. Browning, R. Dietmann, Proceedings of the London Mathematical Society 96 (2008) 389–416.

Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.

The Lieb-Liniger model as a limit of dilute bosons in three dimensions
R. Seiringer, J. Yin, Communications in Mathematical Physics 284 (2008) 459–479.

The BCS critical temperature for potentials with negative scattering length
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 84 (2008) 99–107.

Quantum diffusion of the random Schrödinger evolution in the scaling limit
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.

Ground-state energy of a low-density Bose gas: A second-order upper bound
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).

Leakage resilient cryptography
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2008, pp. 293–302.

Estimation of 2Nes From Temporal Allele Frequency Data
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.

Stochastic limit-average games are in EXPTIME
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.

On Manin's conjecture for a certain singular cubic surface
R. De La Bretèche, T.D. Browning, U. Derenthal, Annales Scientifiques de l’Ecole Normale Superieure 40 (2007) 1–50.

Density of integer solutions to diagonal quadratic forms
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.

Bose-Einstein condensation and spontaneous symmetry breaking
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.

The critical temperature for the BCS equation at weak coupling
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.

Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.

Quantum diffusion for the Anderson model in the scaling limit
L. Erdös, M. Salmhofer, H. Yau, Annales Henri Poincare 8 (2007) 621–685.

Decay of the Fourier transform of surfaces with vanishing curvature
L. Erdös, M. Salmhofer, Mathematische Zeitschrift 257 (2007) 261–294.

Qualitative logics and equivalences for probabilistic systems
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.

Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.

Stochastic <9-Regular Games
K. Chatterjee, Stochastic <9-Regular Games, University of California, Berkeley, 2007.

Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.

Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B. Hunt, Annals of Mathematics 165 (2007) 89–170.

Investigating the lateral motion of SiGe islands by selective chemical etching
G. Katsaros, A. Rastelli, M. Stoffel, G. Isella, H. Von Känel, A. Bittner, J. Tersoff, U. Denker, O. Schmidt, G. Costantini, K. Kern, Surface Science 600 (2006) 2608–2613.

Reading the footprints of strained islands
A. Rastelli, M. Stoffel, G. Katsaros, J. Tersoff, U. Denker, T. Merdzhanova, G. Kar, G. Costantini, K. Kern, H. Von Känel, O. Schmidt, Microelectronics Journal 37 (2006) 1471–1476.

The density of rational points on non-singular hypersurfaces, II
T.D. Browning, R. Heath Brown, J. Starr, Proceedings of the London Mathematical Society 93 (2006) 273–303.

Studying the N+2(:3+u  :3+g) fluorescence excited via the 1<0* resonance
A. Ehresmann, L. Werner, S. Klumpp, S. Lucht, H. Schmoranzer, S. Mickat, R. Schill, K. Schartner, P. Demekhin, M. Lemeshko, V. Sukhorukov, Journal of Physics B: Atomic, Molecular and Optical Physics 39 (2006) 283–304.

The density of rational points on non-singular hypersurfaces, I
T.D. Browning, R. Heath Brown, Bulletin of the London Mathematical Society 38 (2006) 401–410.

Counting rational points on algebraic varieties
T.D. Browning, R. Heath Brown, P. Salberger, Duke Mathematical Journal 132 (2006) 545–578.

On a geometric generalization of the Upper Bound Theorem
U. Wagner, in:, IEEE, 2006, pp. 635–645.

Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Communications on Pure and Applied Mathematics 59 (2006) 1659–1741.

Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons
A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.

Graph cut algorithms for binocular stereo with occlusions
V. Kolmogorov, R. Zabih, in:, Handbook of Mathematical Models in Computer Vision, Springer, 2006, pp. 423–427.

Nash equilibrium for upward-closed objectives
K. Chatterjee, in:, Springer, 2006, pp. 271–286.

The complexity of quantitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2006, pp. 678–687.

Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.

The effect of projections on fractal sets and measures in Banach spaces
W. OTT, B. HUNT, V. Kaloshin, Ergodic Theory and Dynamical Systems 26 (2006) 869–891.

Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.

Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.

Counting rational points on hypersurfaces
T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik (2005) 83–115.

Plane curves in boxes and equal sums of two powers
T.D. Browning, R. Heath Brown, Mathematische Zeitschrift 251 (2005) 233–247.

Justification of c-number substitutions in bosonic hamiltonians
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 94 (2005).

Existence of the - bound state: A detailed proof
L. Erdös, D. Hasler, J. Solovej, Annales Henri Poincare 6 (2005) 247–267.

Controllable motion synthesis in a gaseous medium
L. Shi, Y. Yu, C. Wojtan, S. Chenney, The Visual Computer 21 (2005) 474–487.

Two-player nonzero-sum <9-regular games
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 413–427.

Posterior mapping and posterior predictive distributions
J.P. Bollback, in:, R. Nielsen (Ed.), Statistical Methods in Molecular Evolution, Springer, 2005, pp. 439–462.

Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.

Generators for the cohomology ring of the moduli space of rank 2 higgs bundles
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.

One-dimensional behavior of dilute, trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.

 Equivalent forms of the Bessis-Moussa-Villani conjecture
É. Lieb, R. Seiringer, Journal of Statistical Physics 115 (2004) 185–190.

On Nash equilibria in stochastic games
K. Chatterjee, R. Majumdar, M. Jurdziski, in:, Springer, 2004, pp. 26–40.

Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.

Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.

Counting rational points on diagonal quadratic surfaces
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.

Poincaré inequalities in punctured domains
É. Lieb, R. Seiringer, J. Yngvason, Annals of Mathematics 158 (2003) 1067–1080.

Development of the monosynaptic stretch reflex circuit
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.

Discounting the future in systems theory
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 1022–1037.

Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells
J. Montero, B. Kilian, J. Chan, P. Bayliss, C.-P.J. Heisenberg, Current Biology 13 (2003) 1279–1289.

A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.

Wnt signalling: Refocusing on Strabismus
C.-P.J. Heisenberg, Current Biology 12 (2002) 7–9.

Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons
J. Bischofberger, J. Geiger, P.M. Jonas, Journal of Neuroscience 22 (2002) 10593–10602.

Evolution of the mouse polyubiquitin C gene
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.

Who links to whom: Mining linkage between Web sites
K. Bharat, B.-W. Chang, M.H. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.

Geometry and Topology for Mesh Generation
H. Edelsbrunner, Geometry and Topology for Mesh Generation, Cambridge University Press, 2001.

A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 17–27.

Diophantine properties of elements of SO(3)
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.

Mendel and mathematics
N.H. Barton, Trends in Genetics 17 (2001) 420–420.

Elimination voltammetry of adenine and cytosine mixtures
L. Trnková, J. Friml, O. Dradka, Bioelectrochemistry 54 (2001) 131–136.

Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.

Distribution of metabotropic glutamate receptor mGlu in the mouse CNS: Differential location relative to pre- and postsynaptic sites
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.

A continuous analogue of the Upper Bound Theorem
U. Wagner, E. Welzl, Discrete &; Computational Geometry 26 (2001) 205–219.

A comparison of techniques to find mirrored hosts on the WWW
K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122.

Concurrent omega-regular games
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–154.

The stability of symmetrical solutions to polygenic models
N.H. Barton, M. Shpak, Theoretical Population Biology 57 (2000) 249–263.

Estimating multilocus linkage disequilibria
N.H. Barton, Heredity 84 (2000) 373–389.

Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements
K. Harris, D. Henze, J.L. Csicsvari, H. Hirase, G. Buzsáki, Journal of Neurophysiology 84 (2000) 401–414.

Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem
U. Wagner, E. Welzl, in:, Proceedings of the 16th Annual Symposium on Computational Geometry, ACM, 2000, pp. 50–56.

Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.

mGlu-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones
M. Lafon Cazal, G. Viennois, R. Kühn, B. Malitschek, J. Pin, R. Shigemoto, J. Bockaërt, Neuropharmacology 38 (1999) 1631–1640.

Ionotropic Glutamate Receptors in the CNS
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, 1st ed., Springer, Berlinf; Heidelberg, 1999.

Parametric and kinetic minimum spanning trees
P.K. Agarwal, D. EppsteinL. J. Guibas, M.H. Henzinger, in:, Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605.

Average-case analysis of dynamic graph algorithms
D. Alberts, M.H. Henzinger, Algorithmica 20 (1998) 31–60.

The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves
L.A. Sazanov, P. Burrows, P. Nixon, FEBS Letters 429 (1998) 115–118.

Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:,  Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–575.

A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity
M.H. Henzinger, Journal of Algorithms 24 (1997) 194–220.

Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264.

Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.

Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat
Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 364 (1996) 290–310.

Immunohistochemical localization of a metabotropic glutamate receptor, mGlu, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons
J. Li, H. Ohishi, T. Kaneko, R. Shigemoto, A. Neki, S. Nakanishi, N. Mizuno, Neuroscience Letters 204 (1996) 9–12.

Lines in space: Combinatorics and algorithms
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Stolfi, Algorithmica 15 (1996) 428–447.

Speciation: more than the sum of its parts
N.H. Barton, in:, Current Biology, Cell Press, 1996, pp. 1244–1246.

A space-efficient on-the-fly algorithm for real-time model checking
T.A. Henzinger, O. Kupferman, M. Vardi, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.

Fully dynamic biconnectivity and transitive closure
M.H. Henzinger, V. King, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1995, pp. 664–672.

Approximating minimum cuts under insertions
M.H. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming, Springer Nature, 1995, pp. 280–291.

Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices
H. Monyer, P.M. Jonas, in:, B. Sakmann, E. Neher (Eds.), Single-Channel Recording, Plenum, 1995, pp. 357–373.

Fast application of agonists to isolated membrane patches
P.M. Jonas, in:, B. Sakmann, E. Neher (Eds.), Single-Channel Recording, Plenum, 1995, pp. 231–243.

Dendritic glutamate receptor channels in rat hippocampal C and C pyramidal neurons
N. Spruston, P.M. Jonas, B. Sakmann, Journal of Physiology 482 (1995) 325–352.

Measuring proteins and voids in proteins
H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264.

A general model for the evolution of recombination
N.H. Barton, Genetical Research 65 (1995) 123–144.

Improved bounds on weak ;5-nets for convex sets
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, E. Welzl, Discrete &; Computational Geometry 13 (1995) 1–15.

Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification
D. Koh, N. Burnashev, P.M. Jonas, Journal of Physiology 486 (1995) 305–312.

Fully dynamic cycle-equivalence in graphs
M.H. Henzinger, in:, 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–755.

Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.

Molecular characterization of a novel retinal metabotropic glutamate receptor mGlu with a high agonist selectivity for L-2-amino-4- phosphonobutyrate
Y. Nakajima, H. Iwakabe, C. Akazawa, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 268 (1993) 11868–11873.

Quantal components of unitary EPSCs at the mossy fibre synapse on C pyramidal cells of rat hippocampus
P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.

Geometric algorithms
H. Edelsbrunner, in:, Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.

Genetic analysis of hybrid zones
N.H. Barton, K. Gale, in:, R. Harrison (Ed.), Hybrid Zones and the Evolutionary Process, Oxford University Press, 1993, pp. 13–45.

Group selection and the 'shifting balance'
S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.

Diameter, width, closest line pair, and parametric searching
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &; Computational Geometry 10 (1993) 183–196.

A quadratic time algorithm for the minmax length triangulation
H. Edelsbrunner, T. Tan, SIAM Journal on Computing 22 (1993) 527–551.

Towards refining temporal specifications into hybrid systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), International Hybrid Systems Workshop, Springer, 1993, pp. 60–76.

Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.

Glutamate receptor channels in isolated patches from C and C pyramidal cells of rat hippocampal slices
P.M. Jonas, B. Sakmann, Journal of Physiology 455 (1992) 143–171.

Counting and cutting cycles of lines and rods in space
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, Computational Geometry: Theory and Applications 1 (1992) 305–323.

Edge insertion for optimal triangulations
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, T. Tan, in:, I. Simon (Ed.), 1st Latin American Symposium on Theoretical Informatics, Springer, 1992, pp. 46–60.

Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, in:, Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1992, pp. 394–406.

Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel
S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai, T. Takumi, in:, Recent Progress in Hormone Research, The Endocrine Society, 1991, pp. 59–83.

Computing a face in an arrangement of line segments
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, in:, Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 1991, pp. 441–448.

Euclidean minimum spanning trees and bichromatic closest pairs
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, Discrete &; Computational Geometry 6 (1991) 407–422.

Temporal proof methodologies for real-time systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 1991, pp. 353–366.

The benefits of relaxing punctuality
R. Alur, T. Feder, T.A. Henzinger, in:, Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1991, pp. 139–152.

The complexity of many cells in arrangements of planes and related problems
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &; Computational Geometry 5 (1990) 197–216.

The complexity and construction of many faces in arrangements of lines and of segments
H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &; Computational Geometry 5 (1990) 161–196.

Counting and cutting cycles of lines and rods in space
B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, in:, 31st Annual Symposium on Foundations of Computer Science, IEEE, 1990, pp. 242–251.

An O(n^2log n) time algorithm for the MinMax angle triangulation
H. Edelsbrunner, T. Tan, R. Waupotitsch, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 44–52.

Slimming down by adding; selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 116–127.

 Euclidean minimum spanning trees and bichromatic closest pairs
P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 203–210.

Points and triangles in the plane and halving planes in space
B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 112–115.

An interleaving model for real time
T.A. Henzinger, Z. Manna, A. Pnueli, in:,  Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–730.

Half-order modal logic: How to prove real-time properties
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.

Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, in:,  5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.

An acyclicity theorem for cell complexes in d dimension
H. Edelsbrunner, in:, Proceedings of the 5th Annual Symposium on Computational Geometry, ACM, 1989, pp. 145–151.

A really temporal logic
R. Alur, T.A. Henzinger, in:, 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–169.

Arrangements of curves in the plane - topology, combinatorics, and algorithms
H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, M. Sharir, in:, 15th International Colloquium on Automata, Languages and Programming, Springer, 1988, pp. 214–229.

Geometric structures in computational geometry
H. Edelsbrunner, in:, 15th International Colloquium on Automata, Languages and Programming, Springer, 1988, pp. 201–213.

Speciation
N.H. Barton, in:, A. Myers, P. Giller (Eds.), Analytical Biogeography: An Integrated Approach to the Study of Animal and Plant Distributions, 1st ed., Springer, 1988, pp. 185–218.

Space searching for intersecting objects
D. Dobkin, H. Edelsbrunner, Journal of Algorithms 8 (1987) 348–361.

On the lower envelope of bivariate functions and its applications
H. Edelsbrunner, J. Pach, J. Schwartz, M. Sharir, in:, 28th Annual Symposium on Foundations of Computer Science , IEEE, 1987, pp. 27–37.

The effects of linkage and density-dependent regulation on gene flow
N.H. Barton, Heredity 57 (1986) 415–426.

The number of extreme pairs of finite point-sets in Euclidean spaces
H. Edelsbrunner, G. Stöckl, Journal of Combinatorial Theory Series A 43 (1986) 344–349.

Computing a ham-sandwich cut in two dimensions
H. Edelsbrunner, R. Waupotitsch, Journal of Symbolic Computation 2 (1986) 171–178.

Rectangular point location in d-dimensions with applications
H. Edelsbrunner, G. Haring, D. Hilbert, Computer Journal 29 (1986) 76–82.

Efficient algorithms for agglomerative hierarchical clustering methods
W. Day, H. Edelsbrunner, Journal of Classification 1 (1984) 7–24.

Key-problems and key-methods in computational geometry
H. Edelsbrunner, in:, 1st Symposium of Theoretical Aspects of Computer Science, Springer, 1984, pp. 1–13.

Monotone edge sequences in line arrangements and applications
H. Edelsbrunner, E. Welzl, in:, 11th International Symposium on Mathematical Foundations of Computer Science, Springer, 1984, pp. 265–272.

Graphics in Flatland: a case study
H. Edelsbrunner, M. Overmars, D. Wood, in:, F. Preparata (Ed.), Computational Geometry: Theory and Applications, Elsevier, 1983, pp. 35–59.

On expected- and worst-case segment trees
W. Bucher, H. Edelsbrunner, in:, F. Preparata (Ed.), Computational Geometry: Theory and Applications, Elsevier, 1983, pp. 109–125.

Hybrid zones as barriers to gene flow
N.H. Barton, G. Hewitt, in:, G. Oxford, D. Rollinson (Eds.), Protein Polymorphism: Adaptive and Taxonomic Significance, Academic Press, 1983, pp. 341–359.

On the equivalence of some rectangle problems
H. Edelsbrunner, M. Overmars, Information Processing Letters 14 (1982) 124–127.