Gaillochet, Christophe, et al. “Control of Plant Cell Fate Transitions by Transcriptional and Hormonal Signals.”10.7554/elife.30135__ELife, vol. 6, e30135, eLife Sciences Publications, 2017, doi:10.7554/elife.30135.

Menke, Tim, et al. “Reconfigurable Re-Entrant Cavity for Wireless Coupling to an Electro-Optomechanical Device.”10.1063/1.5000973__Review of Scientific Instruments, vol. 88, no. 9, 094701, American Institute of Physics, 2017, doi:10.1063/1.5000973.

Rosenthal, Eric, et al. “Breaking Lorentz Reciprocity with Frequency Conversion and Delay.”10.1103/PhysRevLett.119.147703__APS Physics, Physical Review Letters, vol. 119, no. 14, 147703, American Physical Society, 2017, doi:10.1103/PhysRevLett.119.147703.

Lyons, David B., and Daniel Zilberman. “DDM1 and Lsh Remodelers Allow Methylation of DNA Wrapped in Nucleosomes.”10.7554/elife.30674__ELife, vol. 6, e30674, eLife Sciences Publications, 2017, doi:10.7554/elife.30674.

Clifton, Ben, et al. “Ancestral Protein Reconstruction and Circular Permutation for Improving the Stability and Dynamic Range of FRET Sensors.”10.1007/978-1-4939-6940-1_5__Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 71–87, doi:10.1007/978-1-4939-6940-1_5.

Bandeira, Afonso S., et al. “Resilience for the Littlewood-Offord Problem.”10.1016/j.endm.2017.06.025__Electronic Notes in Discrete Mathematics, vol. 61, Elsevier, 2017, pp. 93–99, doi:10.1016/j.endm.2017.06.025.

Krivelevich, Michael, et al. “Bounded-Degree Spanning Trees in Randomly Perturbed Graphs.”10.1137/15m1032910__SIAM Journal on Discrete Mathematics, vol. 31, no. 1, Society for Industrial &; Applied Mathematics, 2017, pp. 155–71, doi:10.1137/15m1032910.

Bandeira, Afonso S., et al. “Resilience for the Littlewood–Offord Problem.”10.1016/j.aim.2017.08.031__Advances in Mathematics, vol. 319, Elsevier, 2017, pp. 292–312, doi:10.1016/j.aim.2017.08.031.

Greenhill, Catherine, et al. “The Average Number of Spanning Trees in Sparse Graphs with given Degrees.”10.1016/j.ejc.2017.02.003__European Journal of Combinatorics, vol. 63, Elsevier, 2017, pp. 6–25, doi:10.1016/j.ejc.2017.02.003.

Avni, Guy, et al. Timed Network Games with Clocks. Vol. 83, 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.37.

Prentice, Jason, et al. Data from: Error-Robust Modes of the Retinal Population Code. Dryad, 2017, doi:10.5061/dryad.1f1rc.

Nikolic, Nela, et al. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.”10.1371/journal.pgen.1007122__PLoS Genetics, vol. 13, no. 12, e1007122, Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.

Pleska, Maros, and Calin C. Guet. Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification. The Royal Society, 2017, doi:10.6084/m9.figshare.5633917.v1.

Nikolic, Nela, et al. Mathematical Model. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s017.

Lukacisinova, Marta, et al. Modelling and Simulation Details. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s001.

Lukacisinova, Marta, et al. Extensions of the Model. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s002.

Nikolic, Nela, et al. Supplementary Methods. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s016.

Chalk, Matthew J., et al. “Sensory Noise Predicts Divisive Reshaping of Receptive Fields.”10.1371/journal.pcbi.1005582__PLoS Computational Biology, vol. 13, no. 6, e1005582, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.

Lukacisinova, Marta, et al. Heuristic Prediction for Multiple Stresses. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s003.

Lukacisinova, Marta, et al. Resistance Frequencies for Different Combination Strategies. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005609.s004.

Chalk, Matthew J., et al. Supplementary Appendix. Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005582.s001.

Huang, Guan, et al. “On the Marked Length Spectrum of Generic Strictly Convex Billiard Tables.”10.1215/00127094-2017-0038__Duke Mathematical Journal, vol. 167, no. 1, Duke University Press, 2017, pp. 175–209, doi:10.1215/00127094-2017-0038.

De Simoi, Jacopo, et al. “Dynamical Spectral Rigidity among Z2-Symmetric Strictly Convex Domains Close to a Circle.”10.4007/annals.2017.186.1.7__Annals of Mathematics, vol. 186, no. 1, Annals of Mathematics, 2017, pp. 277–314, doi:10.4007/annals.2017.186.1.7.

Rennella, Enrico, et al. “RNA Binding and Chaperone Activity of the E.Coli Cold-Shock Protein CspA.”10.1093/nar/gkx044__Nucleic Acids Research, vol. 45, no. 7, Oxford University Press, 2017, pp. 4255–68, doi:10.1093/nar/gkx044.

Gauto, Diego F., et al. “Protein Conformational Dynamics Studied by 15N and 1H<1 Relaxation Dispersion: Application to Wild-Type and A Ubiquitin Crystals.”10.1016/j.ssnmr.2017.04.002__Solid State Nuclear Magnetic Resonance, vol. 87, no. 10, Elsevier, 2017, pp. 86–95, doi:10.1016/j.ssnmr.2017.04.002.

Franco, Rémi, et al. “Optimized Fast Mixing Device for Real-Time NMR Applications.”10.1016/j.jmr.2017.05.016__Journal of Magnetic Resonance, vol. 281, no. 8, Elsevier, 2017, pp. 125–29, doi:10.1016/j.jmr.2017.05.016.

Bersch, Beate, et al. “Proton-Detected Solid-State NMR Spectroscopy of a Zinc Diffusion Facilitator Protein in Native Nanodiscs.”10.1002/anie.201610441__Angewandte Chemie International Edition, vol. 56, no. 9, Wiley, 2017, pp. 2508–12, doi:10.1002/anie.201610441.

Kurauskas, Vilius, et al. “Methyl-Specific Isotope Labeling Strategies for NMR Studies of Membrane Proteins.”10.1007/978-1-4939-7151-0_6__Membrane Protein Structure and Function Characterization, vol. 1635, Springer Nature, 2017, pp. 109–23, doi:10.1007/978-1-4939-7151-0_6.

Zuidema, Paquita, et al. “A Survey of Precipitation-Induced Atmospheric Cold Pools over Oceans and Their Interactions with the Larger-Scale Environment.”10.1007/s10712-017-9447-x__Surveys in Geophysics, vol. 38, no. 6, Springer Nature, 2017, pp. 1283–305, doi:10.1007/s10712-017-9447-x.

Holloway, Christopher E., et al. “Observing Convective Aggregation.”10.1007/s10712-017-9419-1__Surveys in Geophysics, vol. 38, no. 6, Springer Nature, 2017, pp. 1199–236, doi:10.1007/s10712-017-9419-1.

Wing, Allison A., et al. “Convective Self-Aggregation in Numerical Simulations: A Review.”10.1007/s10712-017-9408-4__Surveys in Geophysics, vol. 38, no. 6, Springer Nature, 2017, pp. 1173–97, doi:10.1007/s10712-017-9408-4.

Richet, O., et al. “Impact of a Mean Current on the Internal Tide Energy Dissipation at the Critical Latitude.”10.1175/jpo-d-16-0197.1__Journal of Physical Oceanography, vol. 47, no. 6, American Meteorological Society, 2017, pp. 1457–72, doi:10.1175/jpo-d-16-0197.1.

Scheele, Colinda, et al. “Identity and Dynamics of Mammary Stem Cells during Branching Morphogenesis.”10.1038/nature21046__Nature, vol. 542, no. 7641, Nature Publishing Group, 2017, pp. 313–17, doi:10.1038/nature21046.

Sedzinski, Jakub, et al. “RhoA Regulates Actin Network Dynamics during Apical Surface Emergence in Multiciliated Epithelial Cells .”10.1242/jcs.202234__Journal of Cell Science, vol. 130, no. 5, Company of Biologists, 2017, doi:10.1242/jcs.202234.

Pinheiro, Diana, et al. “Transmission of Cytokinesis Forces via E Cadherin Dilution and Actomyosin Flows.”10.1038/nature22041__Nature, vol. 545, no. 7652, Nature Publishing Group, 2017, pp. 103–07, doi:10.1038/nature22041.

Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic  PathFinder.”10.1145/3092703.3098225__Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–79, doi:10.1145/3092703.3098225.

Zilberman, Daniel. “An Evolutionary Case for Functional Gene Body Methylation in Plants and Animals.”10.1186/s13059-017-1230-2__Genome Biology, vol. 18, no. 1, 87, Springer Nature, 2017, doi:10.1186/s13059-017-1230-2.

Mitchell, Joshua, et al. “Method for Developing Optical Sensors Using a Synthetic Dye Fluorescent Protein FRET Pair and Computational Modeling and Assessment.”10.1007/978-1-4939-6940-1_6__Synthetic Protein Switches, edited by Viktor Stein, vol. 1596, Springer, 2017, pp. 89–99, doi:10.1007/978-1-4939-6940-1_6.

Cheng, Bingqing, et al. “The Gibbs Free Energy of Homogeneous Nucleation: From Atomistic Nuclei to the Planar Limit.”10.1063/1.4997180__The Journal of Chemical Physics, vol. 147, no. 10, 104707, AIP Publishing, 2017, doi:10.1063/1.4997180.

Cheng, Bingqing, and Michele Ceriotti. “Bridging the Gap between Atomistic and Macroscopic Models of Homogeneous Nucleation.”10.1063/1.4973883__The Journal of Chemical Physics, vol. 146, no. 3, 034106, AIP Publishing, 2017, doi:10.1063/1.4973883.

Riccio, Paul, et al. Data from: Ret and Et Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis. Dryad, 2017, doi:10.5061/dryad.pk16b.

Nikolic, Nela, et al. Source Data for Figures and Tables. Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.s018.

Ayala, A., et al. “Patterns of Glacier Ablation across North-Central Chile: Identifying the Limits of Empirical Melt Models under Sublimation-Favorable Conditions.”10.1002/2016wr020126__Water Resources Research, vol. 53, no. 7, American Geophysical Union, 2017, pp. 5601–25, doi:10.1002/2016wr020126.

MILES, EVAN S., et al. “Spatial, Seasonal and Interannual Variability of Supraglacial Ponds in the Langtang Valley of Nepal, 1999–2013.”10.1017/jog.2016.120__Journal of Glaciology, vol. 63, no. 237, Cambridge University Press, 2017, pp. 88–105, doi:10.1017/jog.2016.120.

Miles, Evan S., et al. “Pond Dynamics and Supraglacial-Englacial Connectivity on Debris-Covered Lirung Glacier, Nepal.”10.3389/feart.2017.00069__Frontiers in Earth Science, vol. 5, 69, Frontiers Media, 2017, doi:10.3389/feart.2017.00069.

AYALA, A., et al. “Melt and Surface Sublimation across a Glacier in a Dry Environment: Distributed Energy-Balance Modelling of Juncal Norte Glacier, Chile.”10.1017/jog.2017.46__Journal of Glaciology, vol. 63, no. 241, Cambridge University Press, 2017, pp. 803–22, doi:10.1017/jog.2017.46.

SHAW, THOMAS E., et al. “Centreline and Cross-Glacier Air Temperature Variability on an Alpine Glacier: Assessing Temperature Distribution Methods and Their Influence on Melt Model Calculations.”10.1017/jog.2017.65__Journal of Glaciology, vol. 63, no. 242, Cambridge University Press, 2017, pp. 973–88, doi:10.1017/jog.2017.65.

Schlögl, Alois, and Janos Kiss. “Scientific Computing at IST Austria.” AHP – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.

Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.”10.1007/978-3-662-54577-5_26__Tools and Algorithms for the Construction and Analysis of Systems, vol. 10205, Springer, 2017, pp. 443–60, doi:10.1007/978-3-662-54577-5_26.

Udayabhaskararao, Thumu, et al. “Tunable Porous Nanoallotropes Prepared by Post-Assembly Etching of Binary Nanoparticle Superlattices.”10.1126/science.aan6046__Science, vol. 358, no. 6362, American Association for the Advancement of Science, 2017, pp. 514–18, doi:10.1126/science.aan6046.

Sawczyk, Micha, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings during Seeded Growth of Metallic Nanoparticles.”10.1021/jacs.7b09111__Journal of the American Chemical Society, vol. 139, no. 49, American Chemical Society, 2017, pp. 17973–78, doi:10.1021/jacs.7b09111.

Ahrens, Johannes, et al. “Irreversible Bleaching of Donor-Acceptor Stenhouse Adducts on the Surfaces of Magnetite Nanoparticles.”10.1002/cptc.201700009__ChemPhotoChem, vol. 1, no. 5, Wiley, 2017, pp. 230–36, doi:10.1002/cptc.201700009.

Samanta, Dipak, and Rafal Klajn. “Clathrates Grow Up.”10.1126/science.aam7927__Science, vol. 355, no. 6328, American Association for the Advancement of Science, 2017, pp. 912–912, doi:10.1126/science.aam7927.

van Esch, Jan H., et al. “Chemical Systems out of Equilibrium.”10.1039/c7cs90088k__Chemical Society Reviews, vol. 46, no. 18, Royal Society of Chemistry, 2017, pp. 5474–75, doi:10.1039/c7cs90088k.

Zapartas, E., et al. “Delay-Time Distribution of Core-Collapse Supernovae with Late Events Resulting from Binary Interaction.”10.1051/0004-6361/201629685__Astronomy &; Astrophysics, vol. 601, no. A&;A, , EDP Sciences, 2017, doi:10.1051/0004-6361/201629685.

Götberg, Ylva Louise Linsdotter, et al. “Ionizing Spectra of Stars That Lose Their Envelope through Interaction with a Binary Companion: Role of Metallicity.”10.1051/0004-6361/201730472__Astronomy &; Astrophysics, vol. 608, , EDP Sciences, 2017, doi:10.1051/0004-6361/201730472.

Baykusheva, Denitsa Rangelova, et al. “Signatures of Electronic Structure in Bicircular High-Harmonic Spectroscopy.”10.1103/physrevlett.119.203201__Physical Review Letters, vol. 119, no. 20, 203201, American Physical Society, 2017, doi:10.1103/physrevlett.119.203201.

Baykusheva, Denitsa Rangelova, et al. “Signatures of Electronic Structure in Bicircular High-Harmonic Spectroscopy.”10.1103/physrevlett.119.203201__Physical Review Letters, vol. 119, no. 20, 203201, American Physical Society, 2017, doi:10.1103/physrevlett.119.203201.

Walt, Samuel G., et al. “Dynamics of Valence-Shell Electrons and Nuclei Probed by Strong-Field Holography and Rescattering.”10.1038/ncomms15651__Nature Communications, vol. 8, 15651, Springer Nature, 2017, doi:10.1038/ncomms15651.

Pertot, Yoann, et al. “Time-Resolved x-Ray Absorption Spectroscopy with a Water Window High-Harmonic Source.”10.1126/science.aah6114__Science, vol. 355, no. 6322, American Association for the Advancement of Science, 2017, pp. 264–67, doi:10.1126/science.aah6114.

Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Theory of Attosecond Delays in Molecular Photoionization.”10.1063/1.4977933__The Journal of Chemical Physics, vol. 146, no. 12, 124306, AIP Publishing, 2017, doi:10.1063/1.4977933.

Jordan, I., et al. “Spin-Orbit Delays in Photoemission.”10.1103/physreva.95.013404__Physical Review A, vol. 95, no. 1, 013404, American Physical Society, 2017, doi:10.1103/physreva.95.013404.

Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’”10.1088/1361-6455/aa62b5__Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7, 078002, IOP Publishing, 2017, doi:10.1088/1361-6455/aa62b5.

Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.21.

Lubiw, Anna, et al. A Proof of the Orbit Conjecture for Flipping Edge Labelled Triangulations. Vol. 77, 49, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.SoCG.2017.49.

Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:TH_730.

Payne, Pavel. Bacterial Herd and Social Immunity to Phages. Institute of Science and Technology Austria, 2017.

Pleska, Maros, and Calin C. Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.”10.1098/rsbl.2017.0646__Biology Letters, vol. 13, no. 12, 20170646, The Royal Society, 2017, doi:10.1098/rsbl.2017.0646.

Mitosch, Karin. Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_862.

Mitosch, Karin, et al. “Noisy Response to Antibiotic Stress Predicts Subsequent Single Cell Survival in an Acidic Environment.”10.1016/j.cels.2017.03.001__Cell Systems, vol. 4, no. 4, Cell Press, 2017, pp. 393–403, doi:10.1016/j.cels.2017.03.001.

Pavlogiannis, Andreas. Algorithmic Advances in Program Analysis and Their Applications. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_854.

Jesse, Fabienne. The Lac Operon in the Wild. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_857.

Rybar, Michal. (The Exact Security of) Message Authentication Codes. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_828.

Gazi, Peter, et al. “The Exact Security of PMAC.”10.13154/TOSC.V2016.I2.145-161__IACR Transactions on Symmetric Cryptology, vol. 2016, no. 2, Ruhr University Bochum, 2017, pp. 145–61, doi:10.13154/TOSC.V2016.I2.145-161.

Xu, Haibing. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_858.

Adamowski, Maciek. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_842.

Rolinek, Michal. Complexity of Constraint Satisfaction. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_815.

Edelsbrunner, Herbert, et al. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.”10.1017/apr.2017.20__Advances in Applied Probability, vol. 49, no. 3, Cambridge University Press, 2017, pp. 745–67, doi:10.1017/apr.2017.20.

Abusalah, Hamza M., et al. Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space. Vol. 10625, Springer, 2017, pp. 357–79, doi:10.1007/978-3-319-70697-9_13.

Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.”10.1214/17-ECP97__Electronic Communications in Probability, vol. 22, 63, Institute of Mathematical Statistics, 2017, doi:10.1214/17-ECP97.

Bogomolov, Sergiy, et al. Conic Abstractions for Hybrid Systems. Vol. 10419, Springer, 2017, pp. 116–32, doi:10.1007/978-3-319-65765-3_7.

Bogomolov, Sergiy, et al. Counterexample Guided Refinement of Template Polyhedra. Vol. 10205, Springer, 2017, pp. 589–606, doi:10.1007/978-3-662-54577-5_34.

Erdös, László, and Dominik J. Schröder. “Fluctuations of Functions of Wigner Matrices.”10.1214/16-ECP38__Electronic Communications in Probability, vol. 21, 86, Institute of Mathematical Statistics, 2017, doi:10.1214/16-ECP38.

Elek, Oskar, et al. “Scattering-Aware Texture Reproduction for 3D Printing.”10.1145/3130800.3130890__ACM Transactions on Graphics, vol. 36, no. 6, 241, ACM, 2017, doi:10.1145/3130800.3130890.

Jafargholi, Zahra, et al. Be Adaptive Avoid Overcommitting. Edited by Jonathan Katz and Hovav Shacham, vol. 10401, Springer, 2017, pp. 133–63, doi:10.1007/978-3-319-63688-7_5.

Etheridge, Alison, and Nicholas H. Barton. Data for: Establishment in a New Habitat by Polygenic Adaptation. Mendeley Data, 2017, doi:10.17632/nw68fxzjpm.1.

Locatello, Francesco, et al. “Greedy Algorithms for Cone Constrained Optimization with Convergence Guarantees.” Advances in Neural Information Processing Systems, 2017.

Locatello, Francesco, et al. “A Unified Optimization View on Generalized Matching Pursuit and Frank-Wolfe.” Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, vol. 54, ML Research Press, 2017, pp. 860–68.

Pleska, Maros. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_916.

Nikitenko, Anton. Discrete Morse Theory for Random Complexes . Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_873.

Prat, Tomas. Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor. Institute of Science and Technology Austria, 2017.

Martin Del Campo Sanchez, Abraham, et al. “Exact Goodness-of-Fit Testing for the Ising Model.”10.1111/sjos.12251__Scandinavian Journal of Statistics, vol. 44, no. 2, Wiley-Blackwell, 2017, pp. 285–306, doi:10.1111/sjos.12251.

Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.”10.1007/s00440-015-0692-y__Probability Theory and Related Fields, vol. 167, no. 3–4, Springer, 2017, pp. 673–776, doi:10.1007/s00440-015-0692-y.

Bauer, Ulrich, et al. “Phat - Persistent Homology Algorithms Toolbox.”10.1016/j.jsc.2016.03.008__Journal of Symbolic Computation, vol. 78, Academic Press, 2017, pp. 76–90, doi:10.1016/j.jsc.2016.03.008.

Svoreová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”10.1016/j.nahs.2016.04.006__Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi:10.1016/j.nahs.2016.04.006.

Manteaux, Pierre, et al. “Adaptive Physically Based Models in Computer Graphics.”10.1111/cgf.12941__Computer Graphics Forum, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37, doi:10.1111/cgf.12941.

Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.”10.1007/s10703-016-0256-5__Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi:10.1007/s10703-016-0256-5.

Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.”10.1007/s00236-016-0278-x__Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.

Paixao, Tiago, et al. “Towards a Runtime Comparison of Natural and Artificial Evolution.”10.1007/s00453-016-0212-1__Algorithmica, vol. 78, no. 2, Springer, 2017, pp. 681–713, doi:10.1007/s00453-016-0212-1.

Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.”10.1007/s00440-016-0740-2__Probability Theory and Related Fields, vol. 169, no. 3–4, Springer, 2017, pp. 667–727, doi:10.1007/s00440-016-0740-2.