Luján, Rafael, Carolina Aguado, Francisco Ciruela, Javier Cózar, David Kleindienst, Luis De La Ossa, Bernhard Bettler, et al. “Differential Association of GABAB Receptors with Their Effector Ion Channels in Purkinje Cells.”https://doi.org/10.1007/s00429-017-1568-y__Brain Structure and Function. Springer, 2018.https://doi.org/10.1007/s00429-017-1568-y .

Espinoza Martinez, Claudia , José Guzmán, Xiaomin Zhang, and Peter M Jonas. “Parvalbumin+ Interneurons Obey Unique Connectivity Rules and Establish a Powerful Lateral-Inhibition Microcircuit in Dentate Gyrus.”https://doi.org/10.1038/s41467-018-06899-3__Nature Communications. Nature Publishing Group, 2018.https://doi.org/10.1038/s41467-018-06899-3 .

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,”https://doi.org/10.4230/LIPIcs.CONCUR.2018.11__Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.CONCUR.2018.11 .

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,”https://doi.org/10.1007/978-3-319-89884-1_26__10801:739–67. Springer, 2018.https://doi.org/10.1007/978-3-319-89884-1_26 .

Goharshady, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.”https://doi.org/10.1109/Cybermatics_2018.2018.00231__In Proceedings of the IEEE International Conference on Blockchain, 1343–48. IEEE, 2018.https://doi.org/10.1109/Cybermatics_2018.2018.00231 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.”https://doi.org/10.1145/3210257__ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM), 2018.https://doi.org/10.1145/3210257 .

Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.”https://doi.org/10.24963/ijcai.2018/653__In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018.https://doi.org/10.24963/ijcai.2018/653 .

Kühnen, Jakob, Davide Scarselli, Markus Schaner, and Björn Hof. “Relaminarization by Steady Modification of the Streamwise Velocity Profile in a Pipe.”https://doi.org/10.1007/s10494-018-9896-4__Flow Turbulence and Combustion. Springer, 2018.https://doi.org/10.1007/s10494-018-9896-4 .

Kühnen, Jakob, Baofang Song, Davide Scarselli, Nazmi B Budanur, Michael Riedl, Ashley Willis, Marc Avila, and Björn Hof. “Destabilizing Turbulence in Pipe Flow.”https://doi.org/10.1038/s41567-017-0018-3__Nature Physics. Nature Publishing Group, 2018.https://doi.org/10.1038/s41567-017-0018-3 .

Prat, Tomas, Jakub Hajny, Wim Grunewald, Mina K Vasileva, Gergely Molnar, Ricardo Tejos, Markus Schmid, Michael Sauer, and Jií Friml. “WRK Is a Component of the Transcriptional Network Mediating Auxin Feedback on PIN Polarity.”https://doi.org/10.1371/journal.pgen.1007177__PLoS Genetics. Public Library of Science, 2018.https://doi.org/10.1371/journal.pgen.1007177 .

Grones, Peter, Melinda F Abas, Jakub Hajny, Angharad Jones, Sascha Waidmann, Jürgen Kleine Vehn, and Jií Friml. “PID/WAG-Mediated Phosphorylation of the Arabidopsis PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.”https://doi.org/10.1038/s41598-018-28188-1__Scientific Reports. Springer, 2018.https://doi.org/10.1038/s41598-018-28188-1 .

Hons, Miroslav, Aglaja Kopf, Robert Hauschild, Alexander F Leithner, Florian R Gärtner, Jun Abe, Jörg Renkawitz, Jens Stein, and Michael K Sixt. “Chemokines and Integrins Independently Tune Actin Flow and Substrate Friction during Intranodal Migration of T Cells.”https://doi.org/10.1038/s41590-018-0109-z__Nature Immunology. Nature Publishing Group, 2018.https://doi.org/10.1038/s41590-018-0109-z .

Li, Lanxin, Gabriel Krens, Matyas Fendrych, and Jií Friml. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.”https://doi.org/10.21769/BioProtoc.2685__Bio-Protocol. Bio-protocol, 2018.https://doi.org/10.21769/BioProtoc.2685 .

Deliu, Elena, Niccoló Arecco, Jasmin Morandell, Christoph Dotter, Ximena Contreras, Charles Girardot, Eva Käsper, et al. “Haploinsufficiency of the Intellectual Disability Gene SET Disturbs Developmental Gene Expression and Cognition.”https://doi.org/10.1038/s41593-018-0266-2__Nature Neuroscience. Nature Publishing Group, 2018.https://doi.org/10.1038/s41593-018-0266-2 .

Hilbe, Christian, Laura Schmid, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Indirect Reciprocity with Private, Noisy, and Incomplete Information.”https://doi.org/10.1073/pnas.1810565115__PNAS. National Academy of Sciences, 2018.https://doi.org/10.1073/pnas.1810565115 .

Igler, Claudia, Mato Lagator, Gasper Tkadik, Jonathan P Bollback, and Calin C Guet. “Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.”https://doi.org/10.1038/s41559-018-0651-y__Nature Ecology and Evolution. Nature Publishing Group, 2018.https://doi.org/10.1038/s41559-018-0651-y .

Igler, Claudia, Mato Lagator, Gasper Tkadik, Jonathan P Bollback, and Calin C Guet. “Data for the Paper Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.”https://doi.org/10.15479/AT:ISTA:108__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:108 .

Rangel Guerrero, Dámaris K, James G. Donnett, Jozsef L Csicsvari, and Krisztián Kovács. “Tetrode Recording from the Hippocampus of Behaving Mice Coupled with Four-Point-Irradiation Closed-Loop Optogenetics: A Technique to Study the Contribution of Hippocampal SWR Events to Learning.”https://doi.org/10.1523/ENEURO.0087-18.2018__ENeuro. Society of Neuroscience, 2018.https://doi.org/10.1523/ENEURO.0087-18.2018 .

Fink, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.”https://doi.org/10.1103/Physics.10.32__Physics. American Physical Society, 2017.https://doi.org/10.1103/Physics.10.32 .

Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.”https://doi.org/10.1145/3158121__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158121 .