Vicoso B. Supplementary data for “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome”10.15479/AT:ISTA:6060__(Huylman, Toups et al., 2019). . 2019. doi:10.15479/AT:ISTA:6060
LibreCat: https://research-explorer.ista.ac.at/record/6060
DOI: 10.15479/AT:ISTA:6060

Dotter C, Novarino G. Supplementary data for the research paper “Haploinsufficiency of the intellectual disability gene SET disturbs developmental gene expression and cognition.”10.15479/AT:ISTA:6074__2019. doi:10.15479/AT:ISTA:6074
LibreCat: https://research-explorer.ista.ac.at/record/6074
DOI: 10.15479/AT:ISTA:6074

Nardin M. Supplementary Code and Data for the paper “The Entorhinal Cognitive Map is Attracted to Goals.”10.15479/AT:ISTA:6062__2019. doi:10.15479/AT:ISTA:6062
LibreCat: https://research-explorer.ista.ac.at/record/6062
DOI: 10.15479/AT:ISTA:6062

Fraisse C, Puixeu Sala G, Vicoso B. Pleiotropy modulates the efficacy of selection in drosophila melanogaster. Molecular biology and evolution. 2019;36(3):500-515. doi:10.1093/molbev/msy246
LibreCat: https://research-explorer.ista.ac.at/record/6089
DOI: 10.1093/molbev/msy246
WoS: 000462585100006
PMID: 30590559

Schröder DJ. From Dyson to Pearcey: Universal statistics in random matrix theory. 2019. doi:10.15479/AT:ISTA:th6179
LibreCat: https://research-explorer.ista.ac.at/record/6179
DOI: 10.15479/AT:ISTA:th6179

Sun R, Lampert C. KS(conf): A light-weight test if a ConvNet operates outside of Its specifications. In: Vol 11269. Springer Nature; 2019:244-259. doi:10.1007/978-3-030-12939-2_18
LibreCat: https://research-explorer.ista.ac.at/record/6482
DOI: 10.1007/978-3-030-12939-2_18
arXiv: 1804.04171

Dostalík M, Prusa V, Skrivan T. On diffusive variants of some classical viscoelastic rate-type models. In: AIP Conference Proceedings. Vol 2107. AIP Publishing; 2019. doi:10.1063/1.5109493
LibreCat: https://research-explorer.ista.ac.at/record/6642
DOI: 10.1063/1.5109493
WoS: 000479303100002
arXiv: 1902.07983

Jaksic V, Seiringer R. Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018. Journal of Mathematical Physics. 2019;60(12). doi:10.1063/1.5138135
LibreCat: https://research-explorer.ista.ac.at/record/7226
DOI: 10.1063/1.5138135
WoS: 000505529800002

Huber D, Hammer H-W, Volosniev A. In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas. Physical Review Research. 2019;1(3). doi:10.1103/physrevresearch.1.033177
LibreCat: https://research-explorer.ista.ac.at/record/7190
DOI: 10.1103/physrevresearch.1.033177
arXiv: 1908.02483

Choi S, Turner CJ, Pichler H, et al. Emergent SU(2) dynamics and perfect quantum many-body scars. Physical Review Letters. 2019;122(22). doi:10.1103/PhysRevLett.122.220603
LibreCat: https://research-explorer.ista.ac.at/record/6575
DOI: 10.1103/PhysRevLett.122.220603
WoS: 000470885800005
arXiv: 1812.05561

Mentink JH, Katsnelson M, Lemeshko M. Quantum many-body dynamics of the Einstein-de Haas effect. Physical Review B. 2019;99(6). doi:10.1103/PhysRevB.99.064428
LibreCat: https://research-explorer.ista.ac.at/record/6092
DOI: 10.1103/PhysRevB.99.064428
WoS: 000459223400004
arXiv: 1802.01638

Carballo-Pacheco M, Desponds J, Gavrilchenko T, et al. Receptor crosstalk improves concentration sensing of multiple ligands. Physical Review E. 2019;99(2). doi:10.1103/PhysRevE.99.022423
LibreCat: https://research-explorer.ista.ac.at/record/6090
DOI: 10.1103/PhysRevE.99.022423
WoS: 000459916500007

Hubert C, Baruchi Y, Mazuz-Harpaz Y, et al. Attractive dipolar coupling between stacked exciton fluids. Physical Review X. 2019;9(2). doi:10.1103/PhysRevX.9.021026
LibreCat: https://research-explorer.ista.ac.at/record/6786
DOI: 10.1103/PhysRevX.9.021026
WoS: 000467402900001
arXiv: 1807.11238

Orell T, Michailidis A, Serbyn M, Silveri M. Probing the many-body localization phase transition with superconducting circuits. Physical Review B. 2019;100(13). doi:10.1103/physrevb.100.134504
LibreCat: https://research-explorer.ista.ac.at/record/7013
DOI: 10.1103/physrevb.100.134504
WoS: 000489036500004
arXiv: 1907.04043

Brighi P, Grilli M, Leridon B, Caprara S. Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films. Physical Review B. 2019;100(17). doi:10.1103/PhysRevB.100.174518
LibreCat: https://research-explorer.ista.ac.at/record/7200
DOI: 10.1103/PhysRevB.100.174518
WoS: 000498845700006
arXiv: 1907.13579

Suri B, Pallantla RK, Schatz MF, Grigoriev RO. Heteroclinic and homoclinic connections in a Kolmogorov-like flow. Physical Review E. 2019;100(1). doi:10.1103/physreve.100.013112
LibreCat: https://research-explorer.ista.ac.at/record/6779
DOI: 10.1103/physreve.100.013112
WoS: 000477911800012
arXiv: 1907.05860

Lewin M, Lieb EH, Seiringer R. Floating Wigner crystal with no boundary charge fluctuations. Physical Review B. 2019;100(3). doi:10.1103/physrevb.100.035127
LibreCat: https://research-explorer.ista.ac.at/record/7015
DOI: 10.1103/physrevb.100.035127
WoS: 000477888200001
arXiv: 1905.09138

Anselmetti GLR, Martinez EA, Ménard GC, et al. End-to-end correlated subgap states in hybrid nanowires. Physical Review B. 2019;100(20). doi:10.1103/physrevb.100.205412
LibreCat: https://research-explorer.ista.ac.at/record/7145
DOI: 10.1103/physrevb.100.205412
WoS: 000495967500006
arXiv: 1908.05549

Goremykina A, Vasseur R, Serbyn M. Analytically solvable renormalization group for the many-body localization transition. Physical Review Letters. 2019;122(4). doi:10.1103/physrevlett.122.040601
LibreCat: https://research-explorer.ista.ac.at/record/5906
DOI: 10.1103/physrevlett.122.040601
WoS: 000456783700001
arXiv: 1807.04285

Karle V, Defenu N, Enss T. Coupled superfluidity of binary Bose mixtures in two dimensions. Physical Review A. 2019;99(6). doi:10.1103/PhysRevA.99.063627
LibreCat: https://research-explorer.ista.ac.at/record/6632
DOI: 10.1103/PhysRevA.99.063627
WoS: 000473133600007
arXiv: 1903.06759

Koch CP, Lemeshko M, Sugny D. Quantum control of molecular rotation. Reviews of Modern Physics. 2019;91(3). doi:10.1103/revmodphys.91.035005
LibreCat: https://research-explorer.ista.ac.at/record/7396
DOI: 10.1103/revmodphys.91.035005
WoS: 000486661700001
arXiv: 1810.11338

Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. Fast approximate shortest paths in the congested clique. In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin. ACM; 2019:74-83. doi:10.1145/3293611.3331633
LibreCat: https://research-explorer.ista.ac.at/record/6933
DOI: 10.1145/3293611.3331633
WoS: 000570442000011
arXiv: 1903.05956

Hledik M, Sokolowski TR, Tkadik G. A tight upper bound on mutual information. In: IEEE Information Theory Workshop, ITW 2019. IEEE; 2019. doi:10.1109/ITW44776.2019.8989292
LibreCat: https://research-explorer.ista.ac.at/record/7606
DOI: 10.1109/ITW44776.2019.8989292
WoS: 000540384500015
arXiv: 1812.01475

Lukacisin M. Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. 2019. doi:10.15479/AT:ISTA:6392
LibreCat: https://research-explorer.ista.ac.at/record/6392
DOI: 10.15479/AT:ISTA:6392

Casillas Perez BE. Collective defenses of garden ants against a fungal pathogen. 2019. doi:10.15479/AT:ISTA:6435
LibreCat: https://research-explorer.ista.ac.at/record/6435
DOI: 10.15479/AT:ISTA:6435

Narasimhan M. Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . 2019. doi:10.15479/at:ista:th1075
LibreCat: https://research-explorer.ista.ac.at/record/6269
DOI: 10.15479/at:ista:th1075

Kim O, Borges Merjane C, Jonas PM. Functional analysis of the docked vesicle pool in hippocampal mossy fiber terminals by electron microscopy. In: Intrinsic Activity. Vol 7. Austrian Pharmacological Society; 2019. doi:10.25006/ia.7.s1-a3.27
LibreCat: https://research-explorer.ista.ac.at/record/11222
DOI: 10.25006/ia.7.s1-a3.27

Assen FP. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. 2019. doi:10.15479/AT:ISTA:6947
LibreCat: https://research-explorer.ista.ac.at/record/6947
DOI: 10.15479/AT:ISTA:6947

Marhavá P, Hörmayer L, Yoshida S, Marhavý P, Benková E, Friml J. Re-activation of stem cell pathways for pattern restoration in plant wound healing. Cell. 2019;177(4):957-969.e13. doi:10.1016/j.cell.2019.04.015
LibreCat: https://research-explorer.ista.ac.at/record/6351
DOI: 10.1016/j.cell.2019.04.015
WoS: 000466843000015
PMID: 31051107

Hörmayer L, Friml J. Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. 2019;52:124-130. doi:10.1016/j.pbi.2019.08.006
LibreCat: https://research-explorer.ista.ac.at/record/6943
DOI: 10.1016/j.pbi.2019.08.006
WoS: 000502890600017
PMID: 31585333

Tabata S, Jevtic M, Kurashige N, et al. Electron microscopic detection of single membrane proteins by a specific chemical labeling. iScience. 2019;22(12):256-268. doi:10.1016/j.isci.2019.11.025
LibreCat: https://research-explorer.ista.ac.at/record/7391
DOI: 10.1016/j.isci.2019.11.025
WoS: :000504652000020
PMID: 31786521

Kampjut D, Sazanov LA. Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. 2019;573(7773):291–295. doi:10.1038/s41586-019-1519-2
LibreCat: https://research-explorer.ista.ac.at/record/6848
DOI: 10.1038/s41586-019-1519-2
WoS: 000485415400061
PMID: 31462775

Boccara CN, Nardin M, Stella F, O’Neill J, Csicsvari JL. The entorhinal cognitive map is attracted to goals. Science. 2019;363(6434):1443-1447. doi:10.1126/science.aav4837
LibreCat: https://research-explorer.ista.ac.at/record/6194
DOI: 10.1126/science.aav4837
WoS: 000462738000034

Mckenzie C. Design and characterization of methods and biological components to realize synthetic neurotransmission. 2019. doi:10.15479/at:ista:7132
LibreCat: https://research-explorer.ista.ac.at/record/7132
DOI: 10.15479/at:ista:7132

Castro JP, Yancoskie MN, Marchini M, et al. An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. eLife. 2019;8. doi:10.7554/eLife.42014
LibreCat: https://research-explorer.ista.ac.at/record/6713
DOI: 10.7554/eLife.42014
WoS: 000473588700001
PMID: 31169497

Valosková K, Bicher J, Roblek M, et al. A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. eLife. 2019;8. doi:10.7554/elife.41801
LibreCat: https://research-explorer.ista.ac.at/record/6187
DOI: 10.7554/elife.41801
WoS: 000462530200001

Valosková K. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. 2019. doi:10.15479/AT:ISTA:6546
LibreCat: https://research-explorer.ista.ac.at/record/6546
DOI: 10.15479/AT:ISTA:6546

Espinoza Martinez C. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. 2019. doi:10.15479/AT:ISTA:6363
LibreCat: https://research-explorer.ista.ac.at/record/6363
DOI: 10.15479/AT:ISTA:6363

Kühnen J, Scarselli D, Hof B. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 2019;141(11). doi:10.1115/1.4043494
LibreCat: https://research-explorer.ista.ac.at/record/6486
DOI: 10.1115/1.4043494
WoS: 000487748600005
arXiv: 1809.07625

Scarselli D, Kühnen J, Hof B. Relaminarising pipe flow by wall movement. Journal of Fluid Mechanics. 2019;867:934-948. doi:10.1017/jfm.2019.191
LibreCat: https://research-explorer.ista.ac.at/record/6228
DOI: 10.1017/jfm.2019.191
WoS: 000462606100001
arXiv: 1807.05357

Oochi A, Hajny J, Fukui K, et al. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 2019;180(2):1152-1165. doi:10.1104/pp.19.00201
LibreCat: https://research-explorer.ista.ac.at/record/6260
DOI: 10.1104/pp.19.00201
WoS: 000470086100045
PMID: 30936248

Shamipour S, Kardos R, Xue S, Hof B, Hannezo EB, Heisenberg C-PJ. Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell. 2019;177(6):1463-1479.e18. doi:10.1016/j.cell.2019.04.030
LibreCat: https://research-explorer.ista.ac.at/record/6508
DOI: 10.1016/j.cell.2019.04.030
WoS: 000469415100013
PMID: 31080065

Schwayer C, Shamipour S, Pranjic-Ferscha K, et al. Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. Cell. 2019;179(4):937-952.e18. doi:10.1016/j.cell.2019.10.006
LibreCat: https://research-explorer.ista.ac.at/record/7001
DOI: 10.1016/j.cell.2019.10.006
WoS: 000493898000012
PMID: 31675500

Kopf A. The implication of cytoskeletal dynamics on leukocyte migration. 2019. doi:10.15479/AT:ISTA:6891
LibreCat: https://research-explorer.ista.ac.at/record/6891
DOI: 10.15479/AT:ISTA:6891

Renkawitz J, Kopf A, Stopp JA, et al. Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. 2019;568:546-550. doi:10.1038/s41586-019-1087-5
LibreCat: https://research-explorer.ista.ac.at/record/6328
DOI: 10.1038/s41586-019-1087-5
WoS: 000465594200050
PMID: 30944468

Kopf A, Sixt MK. The neural crest pitches in to remove apoptotic debris. Cell. 2019;179(1):51-53. doi:10.1016/j.cell.2019.08.047
LibreCat: https://research-explorer.ista.ac.at/record/6877
DOI: 10.1016/j.cell.2019.08.047
WoS: 000486618500011
PMID: 31539498

Contreras X, Hippenmeyer S. Memo1 tiles the radial glial cell grid. Neuron. 2019;103(5):750-752. doi:10.1016/j.neuron.2019.08.021
LibreCat: https://research-explorer.ista.ac.at/record/6830
DOI: 10.1016/j.neuron.2019.08.021
WoS: 000484400200002
PMID: 31487522

Adamowski M, Li L, Friml J. Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling. International Journal of Molecular Sciences. 2019;20(13). doi:10.3390/ijms20133337
LibreCat: https://research-explorer.ista.ac.at/record/6627
DOI: 10.3390/ijms20133337
WoS: 000477041100221
PMID: 31284661

Hafner C, Schumacher C, Knoop E, Auzinger T, Bickel B, Bächer M. X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics. 2019;38(6). doi:10.1145/3355089.3356576
LibreCat: https://research-explorer.ista.ac.at/record/7117
DOI: 10.1145/3355089.3356576
WoS: 000498397300007

Rangel Guerrero DK. The role of CCK-interneurons in regulating hippocampal network dynamics. 2019. doi:10.15479/AT:ISTA:6849
LibreCat: https://research-explorer.ista.ac.at/record/6849
DOI: 10.15479/AT:ISTA:6849

Igler C. On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. 2019. doi:10.15479/AT:ISTA:6371
LibreCat: https://research-explorer.ista.ac.at/record/6371
DOI: 10.15479/AT:ISTA:6371

Agrawal N, Choueiri GH, Hof B. Transition to turbulence in particle laden flows. Physical Review Letters. 2019;122(11). doi:10.1103/PhysRevLett.122.114502
LibreCat: https://research-explorer.ista.ac.at/record/6189
DOI: 10.1103/PhysRevLett.122.114502
WoS: 000461922000006
arXiv: 1809.06358

Käfer K, Malagon-Vina H, Dickerson D, et al. Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. 2019;29(9):802-816. doi:10.1002/hipo.23076
LibreCat: https://research-explorer.ista.ac.at/record/5949
DOI: 10.1002/hipo.23076
WoS: 000480635400003

Käfer K. The hippocampus and medial prefrontal cortex during flexible behavior. 2019. doi:10.15479/AT:ISTA:6825
LibreCat: https://research-explorer.ista.ac.at/record/6825
DOI: 10.15479/AT:ISTA:6825

Huang M, Fu H, Chatterjee K, Goharshady AK. Modular verification for almost-sure termination of probabilistic programs. In: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Vol 3. ACM; 2019. doi:10.1145/3360555
LibreCat: https://research-explorer.ista.ac.at/record/6780
DOI: 10.1145/3360555
arXiv: 1901.06087

Chatterjee K, Goharshady AK, Okati N, Pavlogiannis A. Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. 2019;3(POPL). doi:10.1145/3290366
LibreCat: https://research-explorer.ista.ac.at/record/6380
DOI: 10.1145/3290366

Chatterjee K, Goharshady AK, Pourdamghani A. Probabilistic smart contracts: Secure randomness on the blockchain. In: IEEE International Conference on Blockchain and Cryptocurrency. IEEE; 2019. doi:10.1109/BLOC.2019.8751326
LibreCat: https://research-explorer.ista.ac.at/record/6056
DOI: 10.1109/BLOC.2019.8751326
arXiv: 1902.07986

Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part 7772. ACM; 2019:374-381. doi:10.1145/3297280.3297319
LibreCat: https://research-explorer.ista.ac.at/record/6378
DOI: 10.1145/3297280.3297319
WoS: 000474685800049

Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of nondeterministic probabilistic programs. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2019:204-220. doi:10.1145/3314221.3314581
LibreCat: https://research-explorer.ista.ac.at/record/6175
DOI: 10.1145/3314221.3314581
WoS: 000523190300014
arXiv: 1902.04659

Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3363525
LibreCat: https://research-explorer.ista.ac.at/record/7158
DOI: 10.1145/3363525
WoS: 000564108400004

Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. 2019;41(4). doi:10.1145/3339984
LibreCat: https://research-explorer.ista.ac.at/record/7014
DOI: 10.1145/3339984
WoS: 000564108400001
arXiv: 1705.00317

Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part 7772. ACM; 2019:400-408. doi:10.1145/3297280.3297322
LibreCat: https://research-explorer.ista.ac.at/record/6490
DOI: 10.1145/3297280.3297322
WoS: 000474685800052

Hofmann AC, Jirovec D, Borovkov M, et al. Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits. arXiv. doi:10.48550/arXiv.1910.05841
LibreCat: https://research-explorer.ista.ac.at/record/10065
DOI: 10.48550/arXiv.1910.05841
arXiv: 1910.05841

Allini EN, Skórski M, Petura O, Bernard F, Laban M, Fischer V. Evaluation and monitoring of free running oscillators serving as source of randomness. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2018;2018(3):214-242. doi:10.13154/tches.v2018.i3.214-242
LibreCat: https://research-explorer.ista.ac.at/record/10286
DOI: 10.13154/tches.v2018.i3.214-242

Chatterjee K, Dvoák W, Henzinger MH, Svozil A. Quasipolynomial set-based symbolic algorithms for parity games. In: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Vol 57. EasyChair; 2018:233-253. doi:10.29007/5z5k
LibreCat: https://research-explorer.ista.ac.at/record/10883
DOI: 10.29007/5z5k
arXiv: 1909.04983

Leopold NK, Pickl P. Mean-field limits of particles in interaction with quantised radiation fields. In: Vol 270. Springer; 2018:185-214. doi:10.1007/978-3-030-01602-9_9
LibreCat: https://research-explorer.ista.ac.at/record/11
DOI: 10.1007/978-3-030-01602-9_9
arXiv: 1806.10843

Flandoli F, Russo F, Zanco GA. Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. 2018;31(2):789-826. doi:10.1007/s10959-016-0724-2
LibreCat: https://research-explorer.ista.ac.at/record/1215
DOI: 10.1007/s10959-016-0724-2

Fulek R, Kyndl J. Hanani-Tutte for approximating maps of graphs. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.39
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 10.4230/LIPIcs.SoCG.2018.39

Edelsbrunner H, Virk Z, Wagner H. Smallest enclosing spheres and Chernoff points in Bregman geometry. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:35:1-35:13. doi:10.4230/LIPIcs.SoCG.2018.35
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 10.4230/LIPIcs.SoCG.2018.35

De Martino A, De Martino D. An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. 2018;4(4). doi:10.1016/j.heliyon.2018.e00596
LibreCat: https://research-explorer.ista.ac.at/record/306
DOI: 10.1016/j.heliyon.2018.e00596

Clarke EM, Henzinger TA, Veith H, Bloem R. Handbook of Model Checking. 1st ed. Cham: Springer Nature; 2018. doi:10.1007/978-3-319-10575-8
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Zagórski MP, Kicheva A. Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In: Morphogen Gradients . Vol 1863. MIMB. Springer Nature; 2018:47-63. doi:10.1007/978-1-4939-8772-6_4
LibreCat: https://research-explorer.ista.ac.at/record/37
DOI: 10.1007/978-1-4939-8772-6_4

Misun P, Birchler A, Lang M, Hierlemann A, Frey O. Fabrication and operation of microfluidic hanging drop networks. Methods in Molecular Biology. 2018;1771:183-202. doi:10.1007/978-1-4939-7792-5_15
LibreCat: https://research-explorer.ista.ac.at/record/305
DOI: 10.1007/978-1-4939-7792-5_15

Agrawal S, Chatterjee K, Novotný P. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. In: Vol 2. ACM; 2018. doi:10.1145/3158122
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Trinh H, Verstraeten I, Geelen D. In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In: Root Development . Vol 1761. Springer Nature; 2018:95-102. doi:10.1007/978-1-4939-7747-5_7
LibreCat: https://research-explorer.ista.ac.at/record/408
DOI: 10.1007/978-1-4939-7747-5_7
PMID: 29525951

Karampelias M, Tejos R, Friml J, Vanneste S. Optimized whole mount in situ immunolocalization for Arabidopsis thaliana  root meristems and lateral root primordia. In: Ristova D, Barbez E, eds. Root Development. Methods and Protocols. Vol 1761. MIMB. Springer; 2018:131-143. doi:10.1007/978-1-4939-7747-5_10
LibreCat: https://research-explorer.ista.ac.at/record/411
DOI: 10.1007/978-1-4939-7747-5_10

Novarino G. Zika-associated microcephaly: Reduce the stress and race for the treatment. Science Translational Medicine. 2018;10(423). doi:10.1126/scitranslmed.aar7514
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 10.1126/scitranslmed.aar7514

Petritsch B, Porsche J. IST PubRep and IST DataRep: the institutional repositories at IST Austria. VÖB Mitteilungen. 2018;71(1):199-206. doi:10.31263/voebm.v71i1.1993
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 10.31263/voebm.v71i1.1993

Alistarh D-A, Aspnes J, King V, Saia J. Communication-efficient randomized consensus. Distributed Computing. 2018;31(6):489-501. doi:10.1007/s00446-017-0315-1
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 10.1007/s00446-017-0315-1

Napiórkowski MM, Reuvers R, Solovej J. The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. 2018;360(1):347-403. doi:10.1007/s00220-017-3064-x
LibreCat: https://research-explorer.ista.ac.at/record/554
DOI: 10.1007/s00220-017-3064-x
arXiv: 1511.05953

Dimitrov D, Guillaud L, Eguchi K, Takahashi T. Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Skaper SD, ed. Neurotrophic Factors. Vol 1727. Springer; 2018:201-215. doi:10.1007/978-1-4939-7571-6_15
LibreCat: https://research-explorer.ista.ac.at/record/562
DOI: 10.1007/978-1-4939-7571-6_15
PMID: 29222783

Bloem R, Chatterjee K, Jobstmann B. Graph games and reactive synthesis. In: Henzinger TA, Clarke EM, Veith H, Bloem R, eds. Handbook of Model Checking. 1st ed. Springer; 2018:921-962. doi:10.1007/978-3-319-10575-8_27
LibreCat: https://research-explorer.ista.ac.at/record/59
DOI: 10.1007/978-3-319-10575-8_27

Clarke E, Henzinger TA, Veith H. Introduction to model checking. In: Henzinger TA, ed. Handbook of Model Checking. Handbook of Model Checking. Springer; 2018:1-26. doi:10.1007/978-3-319-10575-8_1
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 10.1007/978-3-319-10575-8_1

Bondarenko A, Mellit A, Prymak A, Radchenko D, Viazovska M. There is no strongly regular graph with parameters (460; 153; 32; 60). In: Contemporary Computational Mathematics. Springer; 2018:131-134. doi:10.1007/978-3-319-72456-0_7
LibreCat: https://research-explorer.ista.ac.at/record/61
DOI: 10.1007/978-3-319-72456-0_7
arXiv: 1509.06286

Fan S, Lorenz M, Massberg S, Gärtner FR. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 2018;8(18). doi:10.21769/bioprotoc.3018
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 10.21769/bioprotoc.3018

Petritsch B. Open Access at IST Austria 2009-2017. IST Austria; 2018. doi:10.5281/zenodo.1410279
LibreCat: https://research-explorer.ista.ac.at/record/6459
DOI: 10.5281/zenodo.1410279

Hausel T, Mellit A, Pei D. Mirror symmetry with branes by equivariant verlinde formulas. In: Geometry and Physics: Volume I. Oxford University Press; 2018:189-218. doi:10.1093/oso/9780198802013.003.0009
LibreCat: https://research-explorer.ista.ac.at/record/6525
DOI: 10.1093/oso/9780198802013.003.0009

Lee J, Schnelli K. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 2018;171(1-2). doi:10.1007/s00440-017-0787-8
LibreCat: https://research-explorer.ista.ac.at/record/690
DOI: 10.1007/s00440-017-0787-8
arXiv: 1605.08767

Shekhovtsov A, Swoboda P, Savchynskyy B. Maximum persistency via iterative relaxed inference with graphical models. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2018;40(7):1668-1682. doi:10.1109/TPAMI.2017.2730884
LibreCat: https://research-explorer.ista.ac.at/record/703
DOI: 10.1109/TPAMI.2017.2730884
arXiv: 1508.07902

Grubic D, Tam L, Alistarh D-A, Zhang C. Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study. In: Proceedings of the 21st International Conference on Extending Database Technology. OpenProceedings; 2018:145-156. doi:10.5441/002/EDBT.2018.14
LibreCat: https://research-explorer.ista.ac.at/record/7116
DOI: 10.5441/002/EDBT.2018.14

Pietrzak KZ. Proofs of catalytic space. In: 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019). Vol 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:59:1-59:25. doi:10.4230/LIPICS.ITCS.2019.59
LibreCat: https://research-explorer.ista.ac.at/record/7407
DOI: 10.4230/LIPICS.ITCS.2019.59

Alistarh D-A, Leiserson W, Matveev A, Shavit N. ThreadScan: Automatic and scalable memory reclamation. ACM Transactions on Parallel Computing. 2018;4(4). doi:10.1145/3201897
LibreCat: https://research-explorer.ista.ac.at/record/6001
DOI: 10.1145/3201897

Polino A, Pascanu R, Alistarh D-A. Model compression via distillation and quantization. In: 6th International Conference on Learning Representations. ; 2018.
LibreCat: https://research-explorer.ista.ac.at/record/7812
arXiv: 1802.05668

Llorca A, Ciceri G, Beattie RJ, et al. Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. bioRxiv. doi:10.1101/494088
LibreCat: https://research-explorer.ista.ac.at/record/8547
DOI: 10.1101/494088

Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh M, Derler P, Sirjani M, eds. Principles of Modeling. Vol 10760. Springer; 2018:143-161. doi:10.1007/978-3-319-95246-8_9
LibreCat: https://research-explorer.ista.ac.at/record/86
DOI: 10.1007/978-3-319-95246-8_9

Danzl JG. Diffraction-unlimited optical imaging for synaptic physiology. Opera Medica et Physiologica. 2018;4():11. doi:10.20388/omp2018.00s1.001
LibreCat: https://research-explorer.ista.ac.at/record/9229
DOI: 10.20388/omp2018.00s1.001

Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPICS.MFCS.2018.23
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

Polechova J. Is the sky the limit? On the expansion threshold of a species’ range. PLoS Biology. 2018;16(6). doi:10.1371/journal.pbio.2005372
LibreCat: https://research-explorer.ista.ac.at/record/315
DOI: 10.1371/journal.pbio.2005372

Frost JM, Kim MY, Park GT, et al. FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis. Proceedings of the National Academy of Sciences. 2018;115(20):20-29. doi:10.1073/pnas.1713333115
LibreCat: https://research-explorer.ista.ac.at/record/9471
DOI: 10.1073/pnas.1713333115
PMID: 29712855

Fulek R, Kyndl J. The 2-Genus of Kuratowski minors. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:40.1-40.14. doi:10.4230/LIPIcs.SoCG.2018.40
LibreCat: https://research-explorer.ista.ac.at/record/186
DOI: 10.4230/LIPIcs.SoCG.2018.40
arXiv: 1803.05085