Karle V, Defenu N, Enss T. 2019. Coupled superfluidity of binary Bose mixtures in two dimensions. Physical Review A. 99(6), 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. 2019. Quantum control of molecular rotation. Reviews of Modern Physics. 91(3), 035005.
LibreCat: https://research-explorer.ista.ac.at/record/7396
DOI: 10.1103/revmodphys.91.035005
WoS: 000486661700001
arXiv: 1810.11338

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

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

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

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

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

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

Assen FP. 2019. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. Institute of Science and Technology Austria.
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. 2019. Re-activation of stem cell pathways for pattern restoration in plant wound healing. Cell. 177(4), 957–969.e13.
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. 2019. Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. 52, 124–130.
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, Fuchida H, Kido M, Tani K, Zenmyo N, Uchinomiya S, Harada H, Itakura M, Hamachi I, Shigemoto R, Ojida A. 2019. Electron microscopic detection of single membrane proteins by a specific chemical labeling. iScience. 22(12), 256–268.
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. 2019. Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. 573(7773), 291–295.
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. 2019. The entorhinal cognitive map is attracted to goals. Science. 363(6434), 1443–1447.
LibreCat: https://research-explorer.ista.ac.at/record/6194
DOI: 10.1126/science.aav4837
WoS: 000462738000034

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

Castro JP, Yancoskie MN, Marchini M, Belohlavy S, Hiramatsu L, Kudka M, Beluch WH, Naumann R, Skuplik I, Cobb J, Barton NH, Rolian C, Chan YF. 2019. An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. eLife. 8, e42014.
LibreCat: https://research-explorer.ista.ac.at/record/6713
DOI: 10.7554/eLife.42014
WoS: 000473588700001
PMID: 31169497

Hofmann AC, Jirovec D, Borovkov M, Prieto Gonzalez I, Ballabio A, Frigerio J, Chrastina D, Isella G, Katsaros G. Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits. arXiv, 1910.05841.
LibreCat: https://research-explorer.ista.ac.at/record/10065
DOI: 10.48550/arXiv.1910.05841
arXiv: 1910.05841

Valosková K, Bicher J, Roblek M, Emtenani S, György A, Misova M, Ratheesh A, Rodrigues P, Shkarina K, Larsen ISB, Vakhrushev SY, Clausen H, Siekhaus DE. 2019. A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. eLife. 8, e41801.
LibreCat: https://research-explorer.ista.ac.at/record/6187
DOI: 10.7554/elife.41801
WoS: 000462530200001

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

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

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

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

Chatterjee K, Goharshady AK, Pourdamghani A. 2019. Probabilistic smart contracts: Secure randomness on the blockchain. IEEE International Conference on Blockchain and Cryptocurrency. IEEE International Conference on Blockchain and Cryptocurrency, 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. 2019. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. Proceedings of the 34th ACM Symposium on Applied Computing. ACM Symposium on Applied Computing vol. Part 7772, 374–381.
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. 2019. Cost analysis of nondeterministic probabilistic programs. PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Conference on Programming Language Design and Implementation, 204–220.
LibreCat: https://research-explorer.ista.ac.at/record/6175
DOI: 10.1145/3314221.3314581
WoS: 000523190300014
arXiv: 1902.04659

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

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

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

Kühnen J, Scarselli D, Hof B. 2019. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 141(11), 111105.
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. 2019. Relaminarising pipe flow by wall movement. Journal of Fluid Mechanics. 867, 934–948.
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, Nakao Y, Gallei MC, Quareshy M, Takahashi K, Kinoshita T, Harborough S, Kepinski S, Kasahara H, Napier R, Friml J, Hayashi K. 2019. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 180(2), 1152–1165.
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. 2019. Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell. 177(6), 1463–1479.e18.
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, Schauer A, Balda M, Tada M, Matter K, Heisenberg C-PJ. 2019. Mechanosensation of tight junctions depends on ZO-1 phase separation and flow. Cell. 179(4), 937–952.e18.
LibreCat: https://research-explorer.ista.ac.at/record/7001
DOI: 10.1016/j.cell.2019.10.006
WoS: 000493898000012
PMID: 31675500

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

Renkawitz J, Kopf A, Stopp JA, de Vries I, Driscoll MK, Merrin J, Hauschild R, Welf ES, Danuser G, Fiolka R, Sixt MK. 2019. Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. 568, 546–550.
LibreCat: https://research-explorer.ista.ac.at/record/6328
DOI: 10.1038/s41586-019-1087-5
WoS: 000465594200050
PMID: 30944468

Kopf A, Sixt MK. 2019. The neural crest pitches in to remove apoptotic debris. Cell. 179(1), 51–53.
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. 2019. Memo1 tiles the radial glial cell grid. Neuron. 103(5), 750–752.
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. 2019. 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. 20(13), 3337.
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. 2019. X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics. 38(6), 157.
LibreCat: https://research-explorer.ista.ac.at/record/7117
DOI: 10.1145/3355089.3356576
WoS: 000498397300007

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

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

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

Käfer K, Malagon-Vina H, Dickerson D, O’Neill J, Trossbach SV, Korth C, Csicsvari JL. 2019. Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. 29(9), 802–816.
LibreCat: https://research-explorer.ista.ac.at/record/5949
DOI: 10.1002/hipo.23076
WoS: 000480635400003

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

Allini EN, Skórski M, Petura O, Bernard F, Laban M, Fischer V. 2018. Evaluation and monitoring of free running oscillators serving as source of randomness. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2018(3), 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. 2018. Quasipolynomial set-based symbolic algorithms for parity games. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and Reasoning, EPiC Series in Computing, vol. 57, 233–253.
LibreCat: https://research-explorer.ista.ac.at/record/10883
DOI: 10.29007/5z5k
arXiv: 1909.04983

Leopold NK, Pickl P. 2018. Mean-field limits of particles in interaction with quantised radiation fields. MaLiQS: Macroscopic Limits of Quantum Systems vol. 270, 185–214.
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. 2018. Infinite-dimensional calculus under weak spatial regularity of the processes. Journal of Theoretical Probability. 31(2), 789–826.
LibreCat: https://research-explorer.ista.ac.at/record/1215
DOI: 10.1007/s10959-016-0724-2

Fulek R, Kyndl J. 2018. Hanani-Tutte for approximating maps of graphs. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 39.
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 10.4230/LIPIcs.SoCG.2018.39

Edelsbrunner H, Virk Z, Wagner H. 2018. Smallest enclosing spheres and Chernoff points in Bregman geometry. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 35:1-35:13.
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 10.4230/LIPIcs.SoCG.2018.35

De Martino A, De Martino D. 2018. An introduction to the maximum entropy approach and its application to inference problems in biology. Heliyon. 4(4), 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. 2018. Handbook of Model Checking 1st ed., Cham: Springer Nature, XLVIII, 1212p.
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Zagórski MP, Kicheva A. 2018.Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In: Morphogen Gradients . Methods in Molecular Biology, vol. 1863, 47–63.
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. 2018. Fabrication and operation of microfluidic hanging drop networks. Methods in Molecular Biology. 1771, 183–202.
LibreCat: https://research-explorer.ista.ac.at/record/305
DOI: 10.1007/978-1-4939-7792-5_15

Agrawal S, Chatterjee K, Novotný P. 2018. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. POPL: Principles of Programming Languages vol. 2, 34.
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Trinh H, Verstraeten I, Geelen D. 2018.In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls. In: Root Development . MIMB, vol. 1761, 95–102.
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. 2018.Optimized whole mount in situ immunolocalization for Arabidopsis thaliana  root meristems and lateral root primordia. In: Root Development. Methods and Protocols. Methods in Molecular Biology, vol. 1761, 131–143.
LibreCat: https://research-explorer.ista.ac.at/record/411
DOI: 10.1007/978-1-4939-7747-5_10

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

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

Napiórkowski MM, Reuvers R, Solovej J. 2018. The Bogoliubov free energy functional II: The dilute Limit. Communications in Mathematical Physics. 360(1), 347–403.
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. 2018.Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Neurotrophic Factors. Methods in Molecular Biology, vol. 1727, 201–215.
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. 2018.Graph games and reactive synthesis. In: Handbook of Model Checking. , 921–962.
LibreCat: https://research-explorer.ista.ac.at/record/59
DOI: 10.1007/978-3-319-10575-8_27

Clarke E, Henzinger TA, Veith H. 2018.Introduction to model checking. In: Handbook of Model Checking. , 1–26.
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. 2018.There is no strongly regular graph with parameters (460; 153; 32; 60). In: Contemporary Computational Mathematics. , 131–134.
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. 2018. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 8(18), e3018.
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 10.21769/bioprotoc.3018

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

Lee J, Schnelli K. 2018. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 171(1–2), 543–616.
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. 2018. Maximum persistency via iterative relaxed inference with graphical models. IEEE Transactions on Pattern Analysis and Machine Intelligence. 40(7), 1668–1682.
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. 2018. Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study. Proceedings of the 21st International Conference on Extending Database Technology. EDBT: Conference on Extending Database Technology, 145–156.
LibreCat: https://research-explorer.ista.ac.at/record/7116
DOI: 10.5441/002/EDBT.2018.14

Pietrzak KZ. 2018. Proofs of catalytic space. 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019). ITCS: Innovations in theoretical Computer Science Conference, LIPIcs, vol. 124, 59:1-59:25.
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. 2018. ThreadScan: Automatic and scalable memory reclamation. ACM Transactions on Parallel Computing. 4(4), 18.
LibreCat: https://research-explorer.ista.ac.at/record/6001
DOI: 10.1145/3201897

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

Llorca A, Ciceri G, Beattie RJ, Wong FK, Diana G, Serafeimidou E, Fernández-Otero M, Streicher C, Arnold SJ, Meyer M, Hippenmeyer S, Maravall M, Marín O. Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. bioRxiv,10.1101/494088 .
LibreCat: https://research-explorer.ista.ac.at/record/8547
DOI: 10.1101/494088

Chatterjee K, Henzinger TA, Otop J. 2018.Computing average response time. In: Principles of Modeling. LNCS, vol. 10760, 143–161.
LibreCat: https://research-explorer.ista.ac.at/record/86
DOI: 10.1007/978-3-319-95246-8_9

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

Avni G, Guha S, Kupferman O. 2018. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 117, 23.
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

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

Frost JM, Kim MY, Park GT, Hsieh P-H, Nakamura M, Lin SJH, Yoo H, Choi J, Ikeda Y, Kinoshita T, Choi Y, Zilberman D, Fischer RL. 2018. FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis. Proceedings of the National Academy of Sciences. 115(20), 20–29.
LibreCat: https://research-explorer.ista.ac.at/record/9471
DOI: 10.1073/pnas.1713333115
PMID: 29712855

Fulek R, Kyndl J. 2018. The 2-Genus of Kuratowski minors. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 40.1-40.14.
LibreCat: https://research-explorer.ista.ac.at/record/186
DOI: 10.4230/LIPIcs.SoCG.2018.40
arXiv: 1803.05085

Fulek R, Pach J. 2018. Thrackles: An improved upper bound. GD 2017: Graph Drawing and Network Visualization, LNCS, vol. 10692, 160–166.
LibreCat: https://research-explorer.ista.ac.at/record/433
DOI: 10.1007/978-3-319-73915-1_14
arXiv: 1708.08037

Faria R, Chaube P, Morales HE, Larsson T, Lemmon AR, Lemmon EM, Rafajlovi M, Panova M, Ravinet M, Johannesson K, Westram AM, Butlin RK. 2018. Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes, Dryad,10.5061/dryad.72cg113 .
LibreCat: https://research-explorer.ista.ac.at/record/9837
DOI: 10.5061/dryad.72cg113

Kazda A, Kozik M, McKenzie R, Moore M. 2018.Absorption and directed Jónsson terms. In: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. vol. 16, 203–220.
LibreCat: https://research-explorer.ista.ac.at/record/10864
DOI: 10.1007/978-3-319-74772-9_7
arXiv: 1502.01072

Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2018. Shellability is NP-complete. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 41:1-41:16.
LibreCat: https://research-explorer.ista.ac.at/record/184
DOI: 10.4230/LIPIcs.SoCG.2018.41

Huszár K, Spreer J, Wagner U. 2018. On the treewidth of triangulated 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 46.
LibreCat: https://research-explorer.ista.ac.at/record/285
DOI: 10.4230/LIPIcs.SoCG.2018.46
arXiv: 1712.00434

Garriga E, di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H, Kondrashov F, Floden E, Notredame C. 2018. Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method, Zenodo,10.5281/ZENODO.2025846 .
LibreCat: https://research-explorer.ista.ac.at/record/13059
DOI: 10.5281/ZENODO.2025846

Watzinger H. 2018. Ge hut wires - from growth to hole spin resonance. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/49
DOI: 10.15479/AT:ISTA:th_1033

Iglesias Ham M. 2018. Multiple covers with balls. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/201
DOI: 10.15479/AT:ISTA:th_1026

Zimin A. 2018. Learning from dependent data. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/68
DOI: 10.15479/AT:ISTA:TH1048

Abusalah HM. 2018. Proof systems for sustainable decentralized cryptocurrencies. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/83
DOI: 10.15479/AT:ISTA:TH_1046

Kolesnikov A. 2018. Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/197
DOI: 10.15479/AT:ISTA:th_1021

Filakovský M, Franek P, Wagner U, Zhechev SY. 2018. Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. 2(3–4), 177–231.
LibreCat: https://research-explorer.ista.ac.at/record/6774
DOI: 10.1007/s41468-018-0021-5

Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.
LibreCat: https://research-explorer.ista.ac.at/record/133
DOI: 10.4230/LIPIcs.CONCUR.2018.21

Edelsbrunner H, Osang GF. 2018. The multi-cover persistence of Euclidean balls. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 34.
LibreCat: https://research-explorer.ista.ac.at/record/187
DOI: 10.4230/LIPIcs.SoCG.2018.34

Akopyan A. 2018. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 194(1), 55–64.
LibreCat: https://research-explorer.ista.ac.at/record/692
DOI: 10.1007/s10711-017-0265-6
WoS: 000431418800004

Watzinger H, Kukucka J, Vukusi L, Gao F, Wang T, Schäffler F, Zhang J, Katsaros G. 2018. A germanium hole spin qubit. Nature Communications. 9(3902).
LibreCat: https://research-explorer.ista.ac.at/record/77
DOI: 10.1038/s41467-018-06418-4
WoS: 000445560800010

Qin X, Hannezo EB, Mangeat T, Liu C, Majumder P, Liu J, Choesmel Cadamuro V, Mcdonald J, Liu Y, Yi B, Wang X. 2018. A biochemical network controlling basal myosin oscillation. Nature Communications. 9(1), 1210.
LibreCat: https://research-explorer.ista.ac.at/record/401
DOI: 10.1038/s41467-018-03574-5
WoS: 000428165400009

Casano AM, Sixt MK. 2018. A fat lot of good for wound healing. Developmental Cell. 44(4), 405–406.
LibreCat: https://research-explorer.ista.ac.at/record/318
DOI: 10.1016/j.devcel.2018.02.009
WoS: 000426150700002
PMID: 29486189

Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based method for quantitative brain lesion characterization and electrode localization. Scientific Reports. 8(1), 5184.
LibreCat: https://research-explorer.ista.ac.at/record/410
DOI: 10.1038/s41598-018-23247-z
WoS: 000428234100005

Dokládal L, Benková E, Honys D, Dupláková N, Lee L, Gelvin S, Sýkorová E. 2018. An armadillo-domain protein participates in a telomerase interaction network. Plant Molecular Biology. 97(5), 407–420.
LibreCat: https://research-explorer.ista.ac.at/record/277
DOI: 10.1007/s11103-018-0747-4
WoS: 000438981700009

Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2018. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10806, 303–319.
LibreCat: https://research-explorer.ista.ac.at/record/299
DOI: 10.1007/978-3-319-89963-3_18
WoS: 00445822600018