Hörmayer, Lukas, and Jií Friml. “Targeted Cell Ablation-Based Insights into Wound Healing and Restorative Patterning.”https://doi.org/10.1016/j.pbi.2019.08.006__Current Opinion in Plant Biology. Elsevier, 2019.https://doi.org/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, Shigekazu, Marijo Jevtic, Nobutaka Kurashige, Hirokazu Fuchida, Munetsugu Kido, Kazushi Tani, Naoki Zenmyo, et al. “Electron Microscopic Detection of Single Membrane Proteins by a Specific Chemical Labeling.”https://doi.org/10.1016/j.isci.2019.11.025__IScience. Elsevier, 2019.https://doi.org/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, Domen, and Leonid A Sazanov. “Structure and Mechanism of Mitochondrial Proton-Translocating Transhydrogenase.”https://doi.org/10.1038/s41586-019-1519-2__Nature. Springer Nature, 2019.https://doi.org/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, Charlotte N., Michele Nardin, Federico Stella, Joseph O’Neill, and Jozsef L Csicsvari. “The Entorhinal Cognitive Map Is Attracted to Goals.”https://doi.org/10.1126/science.aav4837__Science. American Association for the Advancement of Science, 2019.https://doi.org/10.1126/science.aav4837 .
LibreCat: https://research-explorer.ista.ac.at/record/6194
DOI: 10.1126/science.aav4837
WoS: 000462738000034

Mckenzie, Catherine. “Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission.”https://doi.org/10.15479/at:ista:7132__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/at:ista:7132 .
LibreCat: https://research-explorer.ista.ac.at/record/7132
DOI: 10.15479/at:ista:7132

Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kudka, William H. Beluch, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.”https://doi.org/10.7554/eLife.42014__ELife. eLife Sciences Publications, 2019.https://doi.org/10.7554/eLife.42014 .
LibreCat: https://research-explorer.ista.ac.at/record/6713
DOI: 10.7554/eLife.42014
WoS: 000473588700001
PMID: 31169497

Hofmann, Andrea C, Daniel Jirovec, Maxim Borovkov, Ivan Prieto Gonzalez, Andrea Ballabio, Jacopo Frigerio, Daniel Chrastina, Giovanni Isella, and Georgios Katsaros. “Assessing the Potential of Ge/SiGe Quantum Dots as Hosts for Singlet-Triplet Qubits.”https://doi.org/10.48550/arXiv.1910.05841__ArXiv, n.d.https://doi.org/10.48550/arXiv.1910.05841 .
LibreCat: https://research-explorer.ista.ac.at/record/10065
DOI: 10.48550/arXiv.1910.05841
arXiv: 1910.05841

Valosková, Katarina, Julia Bicher, Marko Roblek, Shamsi Emtenani, Attila György, Michaela Misova, Aparna Ratheesh, et al. “A Conserved Major Facilitator Superfamily Member Orchestrates a Subset of O-Glycosylation to Aid Macrophage Tissue Invasion.”https://doi.org/10.7554/elife.41801__ELife. eLife Sciences Publications, 2019.https://doi.org/10.7554/elife.41801 .
LibreCat: https://research-explorer.ista.ac.at/record/6187
DOI: 10.7554/elife.41801
WoS: 000462530200001

Valosková, Katarina. “The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration.”https://doi.org/10.15479/AT:ISTA:6546__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6546 .
LibreCat: https://research-explorer.ista.ac.at/record/6546
DOI: 10.15479/AT:ISTA:6546

Espinoza Martinez, Claudia . “Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits.”https://doi.org/10.15479/AT:ISTA:6363__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6363 .
LibreCat: https://research-explorer.ista.ac.at/record/6363
DOI: 10.15479/AT:ISTA:6363

Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.”https://doi.org/10.1145/3360555__In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , Vol. 3. ACM, 2019.https://doi.org/10.1145/3360555 .
LibreCat: https://research-explorer.ista.ac.at/record/6780
DOI: 10.1145/3360555
arXiv: 1901.06087

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Nastaran Okati, and Andreas Pavlogiannis. “Efficient Parameterized Algorithms for Data Packing.”https://doi.org/10.1145/3290366__Proceedings of the ACM on Programming Languages. ACM, 2019.https://doi.org/10.1145/3290366 .
LibreCat: https://research-explorer.ista.ac.at/record/6380
DOI: 10.1145/3290366

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Probabilistic Smart Contracts: Secure Randomness on the Blockchain.”https://doi.org/10.1109/BLOC.2019.8751326__In IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 2019.https://doi.org/10.1109/BLOC.2019.8751326 .
LibreCat: https://research-explorer.ista.ac.at/record/6056
DOI: 10.1109/BLOC.2019.8751326
arXiv: 1902.07986

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.”https://doi.org/10.1145/3297280.3297319__In Proceedings of the 34th ACM Symposium on Applied Computing, Part 7772:374–81. ACM, 2019.https://doi.org/10.1145/3297280.3297319 .
LibreCat: https://research-explorer.ista.ac.at/record/6378
DOI: 10.1145/3297280.3297319
WoS: 000474685800049

Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.”https://doi.org/10.1145/3314221.3314581__In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019.https://doi.org/10.1145/3314221.3314581 .
LibreCat: https://research-explorer.ista.ac.at/record/6175
DOI: 10.1145/3314221.3314581
WoS: 000523190300014
arXiv: 1902.04659

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.”https://doi.org/10.1145/3297280.3297322__In Proceedings of the 34th ACM Symposium on Applied Computing, Part 7772:400–408. ACM, n.d.https://doi.org/10.1145/3297280.3297322 .
LibreCat: https://research-explorer.ista.ac.at/record/6490
DOI: 10.1145/3297280.3297322
WoS: 000474685800052

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.”https://doi.org/10.1145/3363525__ACM Transactions on Programming Languages and Systems. ACM, 2019.https://doi.org/10.1145/3363525 .
LibreCat: https://research-explorer.ista.ac.at/record/7158
DOI: 10.1145/3363525
WoS: 000564108400004

Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.”https://doi.org/10.1145/3339984__ACM Transactions on Programming Languages and Systems. ACM, 2019.https://doi.org/10.1145/3339984 .
LibreCat: https://research-explorer.ista.ac.at/record/7014
DOI: 10.1145/3339984
WoS: 000564108400001
arXiv: 1705.00317

Kühnen, Jakob, Davide Scarselli, and Björn Hof. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.”https://doi.org/10.1115/1.4043494__Journal of Fluids Engineering. ASME, 2019.https://doi.org/10.1115/1.4043494 .
LibreCat: https://research-explorer.ista.ac.at/record/6486
DOI: 10.1115/1.4043494
WoS: 000487748600005
arXiv: 1809.07625

Scarselli, Davide, Jakob Kühnen, and Björn Hof. “Relaminarising Pipe Flow by Wall Movement.”https://doi.org/10.1017/jfm.2019.191__Journal of Fluid Mechanics. Cambridge University Press, 2019.https://doi.org/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, Jakub Hajny, K Fukui, Y Nakao, Michelle C Gallei, M Quareshy, K Takahashi, et al. “Pinstatic Acid Promotes Auxin Transport by Inhibiting PIN Internalization.”https://doi.org/10.1104/pp.19.00201__Plant Physiology. ASPB, 2019.https://doi.org/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, Shayan, Roland Kardos, Shi-lei Xue, Björn Hof, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.”https://doi.org/10.1016/j.cell.2019.04.030__Cell. Elsevier, 2019.https://doi.org/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, Cornelia, Shayan Shamipour, Kornelija Pranjic-Ferscha, Alexandra Schauer, M Balda, M Tada, K Matter, and Carl-Philipp J Heisenberg. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.”https://doi.org/10.1016/j.cell.2019.10.006__Cell. Cell Press, 2019.https://doi.org/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, Aglaja. “The Implication of Cytoskeletal Dynamics on Leukocyte Migration.”https://doi.org/10.15479/AT:ISTA:6891__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6891 .
LibreCat: https://research-explorer.ista.ac.at/record/6891
DOI: 10.15479/AT:ISTA:6891

Renkawitz, Jörg, Aglaja Kopf, Julian A Stopp, Ingrid de Vries, Meghan K. Driscoll, Jack Merrin, Robert Hauschild, et al. “Nuclear Positioning Facilitates Amoeboid Migration along the Path of Least Resistance.”https://doi.org/10.1038/s41586-019-1087-5__Nature. Springer Nature, 2019.https://doi.org/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, Aglaja, and Michael K Sixt. “The Neural Crest Pitches in to Remove Apoptotic Debris.”https://doi.org/10.1016/j.cell.2019.08.047__Cell. Elsevier, 2019.https://doi.org/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, Ximena, and Simon Hippenmeyer. “Memo1 Tiles the Radial Glial Cell Grid.”https://doi.org/10.1016/j.neuron.2019.08.021__Neuron. Elsevier, 2019.https://doi.org/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, Maciek, Lanxin Li, and Jií Friml. “Reorientation of Cortical Microtubule Arrays in the Hypocotyl of Arabidopsis Thaliana Is Induced by the Cell Growth Process and Independent of Auxin Signaling.”https://doi.org/10.3390/ijms20133337__International Journal of Molecular Sciences. MDPI, 2019.https://doi.org/10.3390/ijms20133337 .
LibreCat: https://research-explorer.ista.ac.at/record/6627
DOI: 10.3390/ijms20133337
WoS: 000477041100221
PMID: 31284661

Hafner, Christian, Christian Schumacher, Espen Knoop, Thomas Auzinger, Bernd Bickel, and Moritz Bächer. “X-CAD: Optimizing CAD Models with Extended Finite Elements.”https://doi.org/10.1145/3355089.3356576__ACM Transactions on Graphics. ACM, 2019.https://doi.org/10.1145/3355089.3356576 .
LibreCat: https://research-explorer.ista.ac.at/record/7117
DOI: 10.1145/3355089.3356576
WoS: 000498397300007

Igler, Claudia. “On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation.”https://doi.org/10.15479/AT:ISTA:6371__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6371 .
LibreCat: https://research-explorer.ista.ac.at/record/6371
DOI: 10.15479/AT:ISTA:6371

Agrawal, Nishchal, George H Choueiri, and Björn Hof. “Transition to Turbulence in Particle Laden Flows.”https://doi.org/10.1103/PhysRevLett.122.114502__Physical Review Letters. American Physical Society, 2019.https://doi.org/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

Rangel Guerrero, Dámaris K. “The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics.”https://doi.org/10.15479/AT:ISTA:6849__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6849 .
LibreCat: https://research-explorer.ista.ac.at/record/6849
DOI: 10.15479/AT:ISTA:6849

Käfer, Karola, Hugo Malagon-Vina, Desiree Dickerson, Joseph O’Neill, Svenja V. Trossbach, Carsten Korth, and Jozsef L Csicsvari. “Disrupted-in-Schizophrenia 1 Overexpression Disrupts Hippocampal Coding and Oscillatory Synchronization.”https://doi.org/10.1002/hipo.23076__Hippocampus. Wiley, 2019.https://doi.org/10.1002/hipo.23076 .
LibreCat: https://research-explorer.ista.ac.at/record/5949
DOI: 10.1002/hipo.23076
WoS: 000480635400003

Käfer, Karola. “The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior.”https://doi.org/10.15479/AT:ISTA:6825__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6825 .
LibreCat: https://research-explorer.ista.ac.at/record/6825
DOI: 10.15479/AT:ISTA:6825

Allini, Elie Noumon, Maciej Skórski, Oto Petura, Florent Bernard, Marek Laban, and Viktor Fischer. “Evaluation and Monitoring of Free Running Oscillators Serving as Source of Randomness.”https://doi.org/10.13154/tches.v2018.i3.214-242__IACR Transactions on Cryptographic Hardware and Embedded Systems. International Association for Cryptologic Research, 2018.https://doi.org/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, Krishnendu, Wolfgang Dvoák, Monika H Henzinger, and Alexander Svozil. “Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.”https://doi.org/10.29007/5z5k__In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 57:233–53. EasyChair, 2018.https://doi.org/10.29007/5z5k .
LibreCat: https://research-explorer.ista.ac.at/record/10883
DOI: 10.29007/5z5k
arXiv: 1909.04983

Leopold, Nikolai K, and Peter Pickl. “Mean-Field Limits of Particles in Interaction with Quantised Radiation Fields,”https://doi.org/10.1007/978-3-030-01602-9_9__270:185–214. Springer, 2018.https://doi.org/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, Franco, Francesco Russo, and Giovanni A Zanco. “Infinite-Dimensional Calculus under Weak Spatial Regularity of the Processes.”https://doi.org/10.1007/s10959-016-0724-2__Journal of Theoretical Probability. Springer, 2018.https://doi.org/10.1007/s10959-016-0724-2 .
LibreCat: https://research-explorer.ista.ac.at/record/1215
DOI: 10.1007/s10959-016-0724-2

Fulek, Radoslav, and Jan Kyndl. “Hanani-Tutte for Approximating Maps of Graphs,”https://doi.org/10.4230/LIPIcs.SoCG.2018.39__Vol. 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.SoCG.2018.39 .
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 10.4230/LIPIcs.SoCG.2018.39

Edelsbrunner, Herbert, Ziga Virk, and Hubert Wagner. “Smallest Enclosing Spheres and Chernoff Points in Bregman Geometry,”https://doi.org/10.4230/LIPIcs.SoCG.2018.35__99:35:1-35:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.SoCG.2018.35 .
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 10.4230/LIPIcs.SoCG.2018.35

De Martino, Andrea, and Daniele De Martino. “An Introduction to the Maximum Entropy Approach and Its Application to Inference Problems in Biology.”https://doi.org/10.1016/j.heliyon.2018.e00596__Heliyon. Elsevier, 2018.https://doi.org/10.1016/j.heliyon.2018.e00596 .
LibreCat: https://research-explorer.ista.ac.at/record/306
DOI: 10.1016/j.heliyon.2018.e00596

Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. 1st ed. Cham: Springer Nature, 2018.https://doi.org/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, Marcin P, and Anna Kicheva. “Measuring Dorsoventral Pattern and Morphogen Signaling Profiles in the Growing Neural Tube.”https://doi.org/10.1007/978-1-4939-8772-6_4__In Morphogen Gradients , 1863:47–63. MIMB. Springer Nature, 2018.https://doi.org/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, Patrick, Axel Birchler, Moritz Lang, Andreas Hierlemann, and Olivier Frey. “Fabrication and Operation of Microfluidic Hanging Drop Networks.”https://doi.org/10.1007/978-1-4939-7792-5_15__Methods in Molecular Biology. Springer, 2018.https://doi.org/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, Sheshansh, Krishnendu Chatterjee, and Petr Novotný. “Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs,”https://doi.org/10.1145/3158122__Vol. 2. ACM, 2018.https://doi.org/10.1145/3158122 .
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

Trinh, Hoang, Inge Verstraeten, and Danny Geelen. “In Vitro Assay for Induction of Adventitious Rooting on Intact Arabidopsis Hypocotyls.”https://doi.org/10.1007/978-1-4939-7747-5_7__In Root Development , 1761:95–102. Springer Nature, 2018.https://doi.org/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, Michael, Ricardo Tejos, Jií Friml, and Steffen Vanneste. “Optimized Whole Mount in Situ Immunolocalization for Arabidopsis Thaliana  Root Meristems and Lateral Root Primordia.”https://doi.org/10.1007/978-1-4939-7747-5_10__In Root Development. Methods and Protocols, edited by Daniela Ristova and Elke Barbez, 1761:131–43. MIMB. Springer, 2018.https://doi.org/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, Gaia. “Zika-Associated Microcephaly: Reduce the Stress and Race for the Treatment.”https://doi.org/10.1126/scitranslmed.aar7514__Science Translational Medicine. American Association for the Advancement of Science, 2018.https://doi.org/10.1126/scitranslmed.aar7514 .
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 10.1126/scitranslmed.aar7514

Petritsch, Barbara, and Jana Porsche. “IST PubRep and IST DataRep: The Institutional Repositories at IST Austria.”https://doi.org/10.31263/voebm.v71i1.1993__VÖB Mitteilungen. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2018.https://doi.org/10.31263/voebm.v71i1.1993 .
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 10.31263/voebm.v71i1.1993

Alistarh, Dan-Adrian, James Aspnes, Valerie King, and Jared Saia. “Communication-Efficient Randomized Consensus.”https://doi.org/10.1007/s00446-017-0315-1__Distributed Computing. Springer, 2018.https://doi.org/10.1007/s00446-017-0315-1 .
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 10.1007/s00446-017-0315-1