@inproceedings{8298,
  abstract     = {Sharding, or partitioning the system’s state so that different subsets of participants handle it, is a proven approach to building distributed systems whose total capacity scales horizontally with the number of participants. Many distributed ledgers have adopted this approach to increase their performance, however, they focus on the permissionless setting that assumes the existence of a strong adversary. In this paper, we deploy channels for permissioned blockchains. Our first contribution is to adapt sharding on asset-management applications for the permissioned setting, while preserving liveness and safety even on transactions spanning across-channels. Our second contribution is to leverage channels as a confidentiality boundary, enabling different organizations and consortia to preserve their privacy within their channels and still be part of a bigger collaborative ecosystem. To make our system concrete we map it on top of Hyperledger Fabric.},
  author       = {Androulaki, Elli and Cachin, Christian and De Caro, Angelo and Kokoris Kogias, Eleftherios},
  booktitle    = {Computer Security},
  isbn         = {9783319990729},
  issn         = {0302-9743},
  location     = {Barcelona, Spain},
  pages        = {111--131},
  publisher    = {Springer Nature},
  title        = {{Channels: Horizontal scaling and confidentiality on permissioned blockchains}},
  doi          = {10.1007/978-3-319-99073-6_6},
  volume       = {11098},
  year         = {2018},
}

@phdthesis{83,
  abstract     = {A proof system is a protocol between a prover and a verifier over a common input in which an honest prover convinces the verifier of the validity of true statements. Motivated by the success of decentralized cryptocurrencies, exemplified by Bitcoin, the focus of this thesis will be on proof systems which found applications in some sustainable alternatives to Bitcoin, such as the Spacemint and Chia cryptocurrencies. In particular, we focus on proofs of space and proofs of sequential work.
Proofs of space (PoSpace) were suggested as more ecological, economical, and egalitarian alternative to the energy-wasteful proof-of-work mining of Bitcoin. However, the state-of-the-art constructions of PoSpace are based on sophisticated graph pebbling lower bounds, and are therefore complex. Moreover, when these PoSpace are used in cryptocurrencies like Spacemint, miners can only start mining after ensuring that a commitment to their space is already added in a special transaction to the blockchain. Proofs of sequential work (PoSW) are proof systems in which a prover, upon receiving a statement x and a time parameter T, computes a proof which convinces the verifier that T time units had passed since x was received. Whereas Spacemint assumes synchrony to retain some interesting Bitcoin dynamics, Chia requires PoSW with unique proofs, i.e., PoSW in which it is hard to come up with more than one accepting proof for any true statement. In this thesis we construct simple and practically-efficient PoSpace and PoSW. When using our PoSpace in cryptocurrencies, miners can start mining on the fly, like in Bitcoin, and unlike current constructions of PoSW, which either achieve efficient verification of sequential work, or faster-than-recomputing verification of correctness of proofs, but not both at the same time, ours achieve the best of these two worlds.},
  author       = {Abusalah, Hamza M},
  issn         = {2663-337X},
  pages        = {59},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Proof systems for sustainable decentralized cryptocurrencies}},
  doi          = {10.15479/AT:ISTA:TH_1046},
  year         = {2018},
}

@article{8417,
  abstract     = {The restricted planar elliptic three body problem (RPETBP) describes the motion of a massless particle (a comet or an asteroid) under the gravitational field of two massive bodies (the primaries, say the Sun and Jupiter) revolving around their center of mass on elliptic orbits with some positive eccentricity. The aim of this paper is to show the existence of orbits whose angular momentum performs arbitrary excursions in a large region. In particular, there exist diffusive orbits, that is, with a large variation of angular momentum. The leading idea of the proof consists in analyzing parabolic motions of the comet. By a well-known result of McGehee, the union of future (resp. past) parabolic orbits is an analytic manifold P+ (resp. P−). In a properly chosen coordinate system these manifolds are stable (resp. unstable) manifolds of a manifold at infinity P∞, which we call the manifold at parabolic infinity. On P∞ it is possible to define two scattering maps, which contain the map structure of the homoclinic trajectories to it, i.e. orbits parabolic both in the future and the past. Since the inner dynamics inside P∞ is trivial, two different scattering maps are used. The combination of these two scattering maps permits the design of the desired diffusive pseudo-orbits. Using shadowing techniques and these pseudo orbits we show the existence of true trajectories of the RPETBP whose angular momentum varies in any predetermined fashion.},
  author       = {Delshams, Amadeu and Kaloshin, Vadim and de la Rosa, Abraham and Seara, Tere M.},
  issn         = {0010-3616},
  journal      = {Communications in Mathematical Physics},
  keywords     = {Mathematical Physics, Statistical and Nonlinear Physics},
  number       = {3},
  pages        = {1173--1228},
  publisher    = {Springer Nature},
  title        = {{Global instability in the restricted planar elliptic three body problem}},
  doi          = {10.1007/s00220-018-3248-z},
  volume       = {366},
  year         = {2018},
}

@article{8419,
  abstract     = {In this survey, we provide a concise introduction to convex billiards and describe some recent results, obtained by the authors and collaborators, on the classification of integrable billiards, namely the so-called Birkhoff conjecture.

This article is part of the theme issue ‘Finite dimensional integrable systems: new trends and methods’.},
  author       = {Kaloshin, Vadim and Sorrentino, Alfonso},
  issn         = {1364-503X},
  journal      = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
  keywords     = {General Engineering, General Physics and Astronomy, General Mathematics},
  number       = {2131},
  publisher    = {The Royal Society},
  title        = {{On the integrability of Birkhoff billiards}},
  doi          = {10.1098/rsta.2017.0419},
  volume       = {376},
  year         = {2018},
}

@article{8420,
  abstract     = {We show that in the space of all convex billiard boundaries, the set of boundaries with rational caustics is dense. More precisely, the set of billiard boundaries with caustics of rotation number 1/q is polynomially sense in the smooth case, and exponentially dense in the analytic case.},
  author       = {Kaloshin, Vadim and Zhang, Ke},
  issn         = {0951-7715},
  journal      = {Nonlinearity},
  keywords     = {Mathematical Physics, General Physics and Astronomy, Applied Mathematics, Statistical and Nonlinear Physics},
  number       = {11},
  pages        = {5214--5234},
  publisher    = {IOP Publishing},
  title        = {{Density of convex billiards with rational caustics}},
  doi          = {10.1088/1361-6544/aadc12},
  volume       = {31},
  year         = {2018},
}

@article{8421,
  abstract     = {The classical Birkhoff conjecture claims that the boundary of a strictly convex integrable billiard table is necessarily an ellipse (or a circle as a special case). In this article we prove a complete local version of this conjecture: a small integrable perturbation of an ellipse must be an ellipse. This extends and completes the result in Avila-De Simoi-Kaloshin, where nearly circular domains were considered. One of the crucial ideas in the proof is to extend action-angle coordinates for elliptic billiards into complex domains (with respect to the angle), and to thoroughly analyze the nature of their complex singularities. As an application, we are able to prove some spectral rigidity results for elliptic domains.},
  author       = {Kaloshin, Vadim and Sorrentino, Alfonso},
  issn         = {0003-486X},
  journal      = {Annals of Mathematics},
  keywords     = {Statistics, Probability and Uncertainty, Statistics and Probability},
  number       = {1},
  pages        = {315--380},
  publisher    = {Annals of Mathematics, Princeton U},
  title        = {{On the local Birkhoff conjecture for convex billiards}},
  doi          = {10.4007/annals.2018.188.1.6},
  volume       = {188},
  year         = {2018},
}

@article{8422,
  abstract     = {The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of an ellipse of small eccentricity which preserves integrability near the boundary, is itself an ellipse. This extends the result in Avila et al. (Ann Math 184:527–558, ADK16), where integrability was assumed on a larger set. In particular, it shows that (local) integrability near the boundary implies global integrability. One of the crucial ideas in the proof consists in analyzing Taylor expansion of the corresponding action-angle coordinates with respect to the eccentricity parameter, deriving and studying higher order conditions for the preservation of integrable rational caustics.},
  author       = {Huang, Guan and Kaloshin, Vadim and Sorrentino, Alfonso},
  issn         = {1016-443X},
  journal      = {Geometric and Functional Analysis},
  keywords     = {Geometry and Topology, Analysis},
  number       = {2},
  pages        = {334--392},
  publisher    = {Springer Nature},
  title        = {{Nearly circular domains which are integrable close to the boundary are ellipses}},
  doi          = {10.1007/s00039-018-0440-4},
  volume       = {28},
  year         = {2018},
}

@article{8426,
  abstract     = {For any strictly convex planar domain Ω ⊂ R2 with a C∞ boundary one can associate an infinite sequence of spectral invariants introduced by Marvizi–Merlose [5]. These invariants can generically be determined using the spectrum of the Dirichlet problem of the Laplace operator. A natural question asks if this collection is sufficient to determine Ω up to isometry. In this paper we give a counterexample, namely, we present two nonisometric domains Ω and Ω¯ with the same collection of Marvizi–Melrose invariants. Moreover, each domain has countably many periodic orbits {Sn}n≥1 (resp. {S¯n}n⩾1) of period going to infinity such that Sn and S¯n have the same period and perimeter for each n.},
  author       = {Buhovsky, Lev and Kaloshin, Vadim},
  issn         = {1560-3547},
  journal      = {Regular and Chaotic Dynamics},
  pages        = {54--59},
  publisher    = {Springer Nature},
  title        = {{Nonisometric domains with the same Marvizi-Melrose invariants}},
  doi          = {10.1134/s1560354718010057},
  volume       = {23},
  year         = {2018},
}

@article{8436,
  abstract     = {The exchange of metabolites between the mitochondrial matrix and the cytosol depends on β-barrel channels in the outer membrane and α-helical carrier proteins in the inner membrane. The essential translocase of the inner membrane (TIM) chaperones escort these proteins through the intermembrane space, but the structural and mechanistic details remain elusive. We have used an integrated structural biology approach to reveal the functional principle of TIM chaperones. Multiple clamp-like binding sites hold the mitochondrial membrane proteins in a translocation-competent elongated form, thus mimicking characteristics of co-translational membrane insertion. The bound preprotein undergoes conformational dynamics within the chaperone binding clefts, pointing to a multitude of dynamic local binding events. Mutations in these binding sites cause cell death or growth defects associated with impairment of carrier and β-barrel protein biogenesis. Our work reveals how a single mitochondrial “transfer-chaperone” system is able to guide α-helical and β-barrel membrane proteins in a “nascent chain-like” conformation through a ribosome-free compartment.},
  author       = {Weinhäupl, Katharina and Lindau, Caroline and Hessel, Audrey and Wang, Yong and Schütze, Conny and Jores, Tobias and Melchionda, Laura and Schönfisch, Birgit and Kalbacher, Hubert and Bersch, Beate and Rapaport, Doron and Brennich, Martha and Lindorff-Larsen, Kresten and Wiedemann, Nils and Schanda, Paul},
  issn         = {0092-8674},
  journal      = {Cell},
  keywords     = {General Biochemistry, Genetics and Molecular Biology},
  number       = {5},
  pages        = {1365--1379.e25},
  publisher    = {Elsevier},
  title        = {{Structural basis of membrane protein chaperoning through the mitochondrial intermembrane space}},
  doi          = {10.1016/j.cell.2018.10.039},
  volume       = {175},
  year         = {2018},
}

@article{8437,
  abstract     = {Chaperonins are ubiquitous protein assemblies present in bacteria, eukaryota, and archaea, facilitating the folding of proteins, preventing protein aggregation, and thus participating in maintaining protein homeostasis in the cell. During their functional cycle, they bind unfolded client proteins inside their double ring structure and promote protein folding by closing the ring chamber in an adenosine 5′-triphosphate (ATP)–dependent manner. Although the static structures of fully open and closed forms of chaperonins were solved by x-ray crystallography or electron microscopy, elucidating the mechanisms of such ATP-driven molecular events requires studying the proteins at the structural level under working conditions. We introduce an approach that combines site-specific nuclear magnetic resonance observation of very large proteins, enabled by advanced isotope labeling methods, with an in situ ATP regeneration system. Using this method, we provide functional insight into the 1-MDa large hsp60 chaperonin while processing client proteins and reveal how nucleotide binding, hydrolysis, and release control switching between closed and open states. While the open conformation stabilizes the unfolded state of client proteins, the internalization of the client protein inside the chaperonin cavity speeds up its functional cycle. This approach opens new perspectives to study structures and mechanisms of various ATP-driven biological machineries in the heat of action.},
  author       = {Mas, Guillaume and Guan, Jia-Ying and Crublet, Elodie and Debled, Elisa Colas and Moriscot, Christine and Gans, Pierre and Schoehn, Guy and Macek, Pavel and Schanda, Paul and Boisbouvier, Jerome},
  issn         = {2375-2548},
  journal      = {Science Advances},
  number       = {9},
  publisher    = {American Association for the Advancement of Science},
  title        = {{Structural investigation of a chaperonin in action reveals how nucleotide binding regulates the functional cycle}},
  doi          = {10.1126/sciadv.aau4196},
  volume       = {4},
  year         = {2018},
}

@article{8438,
  author       = {Kurauskas, Vilius and Hessel, Audrey and Dehez, François and Chipot, Christophe and Bersch, Beate and Schanda, Paul},
  issn         = {1545-9993},
  journal      = {Nature Structural & Molecular Biology},
  keywords     = {Molecular Biology, Structural Biology},
  number       = {9},
  pages        = {745--747},
  publisher    = {Springer Nature},
  title        = {{Dynamics and interactions of AAC3 in DPC are not functionally relevant}},
  doi          = {10.1038/s41594-018-0127-4},
  volume       = {25},
  year         = {2018},
}

@article{8439,
  abstract     = {Lipopolysaccharides (LPS) are complex glycolipids forming the outside layer of Gram-negative bacteria. Their hydrophobic and heterogeneous nature greatly hampers their structural study in an environment similar to the bacterial surface. We have studied LPS purified from E. coli and pathogenic P. aeruginosa with long O-antigen polysaccharides assembled in solution as vesicles or elongated micelles. Solid-state NMR with magic-angle spinning permitted the identification of NMR signals arising from regions with different flexibilities in the LPS, from the lipid components to the O-antigen polysaccharides. Atomic scale data on the LPS enabled the study of the interaction of gentamicin antibiotic bound to P. aeruginosa LPS, for which we could confirm that a specific oligosaccharide is involved in the antibiotic binding. The possibility to study LPS alone and bound to a ligand when it is assembled in membrane-like structures opens great prospects for the investigation of proteins and antibiotics that specifically target such an important molecule at the surface of Gram-negative bacteria.},
  author       = {Laguri, Cedric and Silipo, Alba and Martorana, Alessandra M. and Schanda, Paul and Marchetti, Roberta and Polissi, Alessandra and Molinaro, Antonio and Simorre, Jean-Pierre},
  issn         = {1554-8929},
  journal      = {ACS Chemical Biology},
  keywords     = {Molecular Medicine, Biochemistry, General Medicine},
  number       = {8},
  pages        = {2106--2113},
  publisher    = {American Chemical Society},
  title        = {{Solid state NMR studies of intact lipopolysaccharide endotoxin}},
  doi          = {10.1021/acschembio.8b00271},
  volume       = {13},
  year         = {2018},
}

@article{8440,
  abstract     = {Mycobacterium tuberculosis can remain dormant in the host, an ability that explains the failure of many current tuberculosis treatments. Recently, the natural products cyclomarin, ecumicin, and lassomycin have been shown to efficiently kill Mycobacterium tuberculosis persisters. Their target is the N-terminal domain of the hexameric AAA+ ATPase ClpC1, which recognizes, unfolds, and translocates protein substrates, such as proteins containing phosphorylated arginine residues, to the ClpP1P2 protease for degradation. Surprisingly, these antibiotics do not inhibit ClpC1 ATPase activity, and how they cause cell death is still unclear. Here, using NMR and small-angle X-ray scattering, we demonstrate that arginine-phosphate binding to the ClpC1 N-terminal domain induces millisecond dynamics. We show that these dynamics are caused by conformational changes and do not result from unfolding or oligomerization of this domain. Cyclomarin binding to this domain specifically blocked these N-terminal dynamics. On the basis of these results, we propose a mechanism of action involving cyclomarin-induced restriction of ClpC1 dynamics, which modulates the chaperone enzymatic activity leading eventually to cell death.},
  author       = {Weinhäupl, Katharina and Brennich, Martha and Kazmaier, Uli and Lelievre, Joel and Ballell, Lluis and Goldberg, Alfred and Schanda, Paul and Fraga, Hugo},
  issn         = {0021-9258},
  journal      = {Journal of Biological Chemistry},
  keywords     = {Cell Biology, Biochemistry, Molecular Biology},
  number       = {22},
  pages        = {8379--8393},
  publisher    = {American Society for Biochemistry & Molecular Biology},
  title        = {{The antibiotic cyclomarin blocks arginine-phosphate–induced millisecond dynamics in the N-terminal domain of ClpC1 from Mycobacterium tuberculosis}},
  doi          = {10.1074/jbc.ra118.002251},
  volume       = {293},
  year         = {2018},
}

@article{8441,
  abstract     = {Solid-state near-rotary-resonance measurements of the spin–lattice relaxation rate in the rotating frame (R1ρ) is a powerful NMR technique for studying molecular dynamics in the microsecond time scale. The small difference between the spin-lock (SL) and magic-angle-spinning (MAS) frequencies allows sampling very slow motions, at the same time it brings up some methodological challenges. In this work, several issues affecting correct measurements and analysis of 15N R1ρ data are considered in detail. Among them are signal amplitude as a function of the difference between SL and MAS frequencies, “dead time” in the initial part of the relaxation decay caused by transient spin-dynamic oscillations, measurements under HORROR condition and proper treatment of the multi-exponential relaxation decays. The multiple 15N R1ρ measurements at different SL fields and temperatures have been conducted in 1D mode (i.e. without site-specific resolution) for a set of four different microcrystalline protein samples (GB1, SH3, MPD-ubiquitin and cubic-PEG-ubiquitin) to study the overall protein rocking in a crystal. While the amplitude of this motion varies very significantly, its correlation time for all four sample is practically the same, 30–50 μs. The amplitude of the rocking motion correlates with the packing density of a protein crystal. It has been suggested that the rocking motion is not diffusive but likely a jump-like dynamic process.},
  author       = {Krushelnitsky, Alexey and Gauto, Diego and Rodriguez Camargo, Diana C. and Schanda, Paul and Saalwächter, Kay},
  issn         = {0925-2738},
  journal      = {Journal of Biomolecular NMR},
  number       = {1},
  pages        = {53--67},
  publisher    = {Springer Nature},
  title        = {{Microsecond motions probed by near-rotary-resonance R1ρ 15N MAS NMR experiments: The model case of protein overall-rocking in crystals}},
  doi          = {10.1007/s10858-018-0191-4},
  volume       = {71},
  year         = {2018},
}

@article{8442,
  abstract     = {Membrane proteins perform a host of vital cellular functions. Deciphering the molecular mechanisms whereby they fulfill these functions requires detailed biophysical and structural investigations. Detergents have proven pivotal to extract the protein from its native surroundings. Yet, they provide a milieu that departs significantly from that of the biological membrane, to the extent that the structure, the dynamics, and the interactions of membrane proteins in detergents may considerably vary, as compared to the native environment. Understanding the impact of detergents on membrane proteins is, therefore, crucial to assess the biological relevance of results obtained in detergents. Here, we review the strengths and weaknesses of alkyl phosphocholines (or foscholines), the most widely used detergent in solution-NMR studies of membrane proteins. While this class of detergents is often successful for membrane protein solubilization, a growing list of examples points to destabilizing and denaturing properties, in particular for α-helical membrane proteins. Our comprehensive analysis stresses the importance of stringent controls when working with this class of detergents and when analyzing the structure and dynamics of membrane proteins in alkyl phosphocholine detergents.},
  author       = {Chipot, Christophe and Dehez, François and Schnell, Jason R. and Zitzmann, Nicole and Pebay-Peyroula, Eva and Catoire, Laurent J. and Miroux, Bruno and Kunji, Edmund R. S. and Veglia, Gianluigi and Cross, Timothy A. and Schanda, Paul},
  issn         = {0009-2665},
  journal      = {Chemical Reviews},
  keywords     = {General Chemistry},
  number       = {7},
  pages        = {3559--3607},
  publisher    = {American Chemical Society},
  title        = {{Perturbations of native membrane protein structure in alkyl phosphocholine detergents: A critical assessment of NMR and biophysical studies}},
  doi          = {10.1021/acs.chemrev.7b00570},
  volume       = {118},
  year         = {2018},
}

@article{8443,
  abstract     = {Characterizing the structure of membrane proteins (MPs) generally requires extraction from their native environment, most commonly with detergents. Yet, the physicochemical properties of detergent micelles and lipid bilayers differ markedly and could alter the structural organization of MPs, albeit without general rules. Dodecylphosphocholine (DPC) is the most widely used detergent for MP structure determination by NMR, but the physiological relevance of several prominent structures has been questioned, though indirectly, by other biophysical techniques, e.g., functional/thermostability assay (TSA) and molecular dynamics (MD) simulations. Here, we resolve unambiguously this controversy by probing the functional relevance of three different mitochondrial carriers (MCs) in DPC at the atomic level, using an exhaustive set of solution-NMR experiments, complemented by functional/TSA and MD data. Our results provide atomic-level insight into the structure, substrate interaction and dynamics of the detergent–membrane protein complexes and demonstrates cogently that, while high-resolution NMR signals can be obtained for MCs in DPC, they systematically correspond to nonfunctional states.},
  author       = {Kurauskas, Vilius and Hessel, Audrey and Ma, Peixiang and Lunetti, Paola and Weinhäupl, Katharina and Imbert, Lionel and Brutscher, Bernhard and King, Martin S. and Sounier, Rémy and Dolce, Vincenza and Kunji, Edmund R. S. and Capobianco, Loredana and Chipot, Christophe and Dehez, François and Bersch, Beate and Schanda, Paul},
  issn         = {1948-7185},
  journal      = {The Journal of Physical Chemistry Letters},
  keywords     = {General Materials Science},
  number       = {5},
  pages        = {933--938},
  publisher    = {American Chemical Society},
  title        = {{How detergent impacts membrane proteins: Atomic-level views of mitochondrial carriers in dodecylphosphocholine}},
  doi          = {10.1021/acs.jpclett.8b00269},
  volume       = {9},
  year         = {2018},
}

@inproceedings{85,
  abstract     = {Concurrent accesses to shared data structures must be synchronized to avoid data races. Coarse-grained synchronization, which locks the entire data structure, is easy to implement but does not scale. Fine-grained synchronization can scale well, but can be hard to reason about. Hand-over-hand locking, in which operations are pipelined as they traverse the data structure, combines fine-grained synchronization with ease of use. However, the traditional implementation suffers from inherent overheads. This paper introduces snapshot-based synchronization (SBS), a novel hand-over-hand locking mechanism. SBS decouples the synchronization state from the data, significantly improving cache utilization. Further, it relies on guarantees provided by pipelining to minimize synchronization that requires cross-thread communication. Snapshot-based synchronization thus scales much better than traditional hand-over-hand locking, while maintaining the same ease of use.},
  author       = {Gilad, Eran and Brown, Trevor A and Oskin, Mark and Etsion, Yoav},
  issn         = {03029743},
  location     = {Turin, Italy},
  pages        = {465 -- 479},
  publisher    = {Springer},
  title        = {{Snapshot based synchronization: A fast replacement for Hand-over-Hand locking}},
  doi          = {10.1007/978-3-319-96983-1_33},
  volume       = {11014},
  year         = {2018},
}

@unpublished{8547,
  abstract     = {The cerebral cortex contains multiple hierarchically organized areas with distinctive cytoarchitectonical patterns, but the cellular mechanisms underlying the emergence of this diversity remain unclear. Here, we have quantitatively investigated the neuronal output of individual progenitor cells in the ventricular zone of the developing mouse neocortex using a combination of methods that together circumvent the biases and limitations of individual approaches. We found that individual cortical progenitor cells show a high degree of stochasticity and generate pyramidal cell lineages that adopt a wide range of laminar configurations. Mathematical modelling these lineage data suggests that a small number of progenitor cell populations, each generating pyramidal cells following different stochastic developmental programs, suffice to generate the heterogenous complement of pyramidal cell lineages that collectively build the complex cytoarchitecture of the neocortex.},
  author       = {Llorca, Alfredo and Ciceri, Gabriele and Beattie, Robert J and Wong, Fong K. and Diana, Giovanni and Serafeimidou, Eleni and Fernández-Otero, Marian and Streicher, Carmen and Arnold, Sebastian J. and Meyer, Martin and Hippenmeyer, Simon and Maravall, Miguel and Marín, Oscar},
  booktitle    = {bioRxiv},
  publisher    = {Cold Spring Harbor Laboratory},
  title        = {{Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture}},
  doi          = {10.1101/494088},
  year         = {2018},
}

@inbook{86,
  abstract     = {Responsiveness—the requirement that every request to a system be eventually handled—is one of the fundamental liveness properties of a reactive system. Average response time is a quantitative measure for the responsiveness requirement used commonly in performance evaluation. We show how average response time can be computed on state-transition graphs, on Markov chains, and on game graphs. In all three cases, we give polynomial-time algorithms.},
  author       = {Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan},
  booktitle    = {Principles of Modeling},
  editor       = {Lohstroh, Marten and Derler, Patricia and Sirjani, Marjan},
  pages        = {143 -- 161},
  publisher    = {Springer},
  title        = {{Computing average response time}},
  doi          = {10.1007/978-3-319-95246-8_9},
  volume       = {10760},
  year         = {2018},
}

@article{8618,
  abstract     = {The reversibly switchable fluorescent proteins (RSFPs) commonly used for RESOLFT nanoscopy have been developed from fluorescent proteins of the GFP superfamily. These proteins are bright, but exhibit several drawbacks such as relatively large size, oxygen-dependence, sensitivity to low pH, and limited switching speed. Therefore, RSFPs from other origins with improved properties need to be explored. Here, we report the development of two RSFPs based on the LOV domain of the photoreceptor protein YtvA from Bacillus subtilis. LOV domains obtain their fluorescence by association with the abundant cellular cofactor flavin mononucleotide (FMN). Under illumination with blue and ultraviolet light, they undergo a photocycle, making these proteins inherently photoswitchable. Our first improved variant, rsLOV1, can be used for RESOLFT imaging, whereas rsLOV2 proved useful for STED nanoscopy of living cells with a resolution of down to 50 nm. In addition to their smaller size compared to GFP-related proteins (17 kDa instead of 27 kDa) and their usability at low pH, rsLOV1 and rsLOV2 exhibit faster switching kinetics, switching on and off 3 times faster than rsEGFP2, the fastest-switching RSFP reported to date. Therefore, LOV-domain-based RSFPs have potential for applications where the switching speed of GFP-based proteins is limiting.},
  author       = {Gregor, Carola and Sidenstein, Sven C. and Andresen, Martin and Sahl, Steffen J. and Danzl, Johann G and Hell, Stefan W.},
  issn         = {2045-2322},
  journal      = {Scientific Reports},
  keywords     = {Multidisciplinary},
  publisher    = {Springer Nature},
  title        = {{Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA}},
  doi          = {10.1038/s41598-018-19947-1},
  volume       = {8},
  year         = {2018},
}