Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
437 Publications
2019 | Journal Article | IST-REx-ID: 7109
From real-time logic to timed automata
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
View
| DOI
T. Ferrere, O. Maler, D. Ničković, A. Pnueli, Journal of the ACM 66 (2019).
2019 | Journal Article | IST-REx-ID: 7117 |

X-CAD: Optimizing CAD Models with Extended Finite Elements
C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).
View
| Files available
| DOI
C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, M. Bächer, ACM Transactions on Graphics 38 (2019).
2019 | Conference Paper | IST-REx-ID: 7122
Gradient compression for communication-limited convex optimization
S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision and Control, IEEE, 2019.
View
| DOI
S. Khirirat, M. Johansson, D.-A. Alistarh, in:, 2018 IEEE Conference on Decision and Control, IEEE, 2019.
2019 | Journal Article | IST-REx-ID: 7128 |

Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
View
| Files available
| DOI
| PubMed | Europe PMC
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
2019 | Journal Article | IST-REx-ID: 7130 |

Statistical criticality arises in most informative representations
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
2019 | Conference Paper | IST-REx-ID: 7136 |

Strong chain rules for min-entropy under few bits spoiled
M. Skórski, in:, 2019 IEEE International Symposium on Information Theory, IEEE, 2019.
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Skórski, in:, 2019 IEEE International Symposium on Information Theory, IEEE, 2019.
2019 | Journal Article | IST-REx-ID: 7143 |

Defying gravity: a plant's quest for moisture
S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S.A. Sinclair, J. Friml, Cell Research 29 (2019) 965–966.
2019 | Journal Article | IST-REx-ID: 7145 |

End-to-end correlated subgap states in hybrid nanowires
G.L.R. Anselmetti, E.A. Martinez, G.C. Ménard, D. Puglia, F.K. Malinowski, J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, C.M. Marcus, L. Casparis, A.P. Higginbotham, Physical Review B 100 (2019).
View
| DOI
| Download Preprint (ext.)
| arXiv
G.L.R. Anselmetti, E.A. Martinez, G.C. Ménard, D. Puglia, F.K. Malinowski, J.S. Lee, S. Choi, M. Pendharkar, C.J. Palmstrøm, C.M. Marcus, L. Casparis, A.P. Higginbotham, Physical Review B 100 (2019).
2019 | Journal Article | IST-REx-ID: 138 |

Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system
N. Nikolic, Current Genetics 65 (2019) 133–138.
View
| Files available
| DOI
N. Nikolic, Current Genetics 65 (2019) 133–138.
2019 | Journal Article | IST-REx-ID: 151 |

Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity
J.L. Fischer, O. Kneuss, Journal of Differential Equations 266 (2019) 257–311.
View
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, O. Kneuss, Journal of Differential Equations 266 (2019) 257–311.
2019 | Journal Article | IST-REx-ID: 105 |

CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
2019 | Journal Article | IST-REx-ID: 9016 |

Recognition of ASF1 by using hydrocarbon‐constrained peptides
M.M. Bakail, S. Rodriguez‐Marin, Z. Hegedüs, M.E. Perrin, F. Ochsenbein, A.J. Wilson, ChemBioChem 20 (2019) 891–895.
View
| DOI
| Download Published Version (ext.)
M.M. Bakail, S. Rodriguez‐Marin, Z. Hegedüs, M.E. Perrin, F. Ochsenbein, A.J. Wilson, ChemBioChem 20 (2019) 891–895.
2019 | Journal Article | IST-REx-ID: 9018 |

Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1
M.M. Bakail, A. Gaubert, J. Andreani, G. Moal, G. Pinna, E. Boyarchuk, M.-C. Gaillard, R. Courbeyrette, C. Mann, J.-Y. Thuret, B. Guichard, B. Murciano, N. Richet, A. Poitou, C. Frederic, M.-H. Le Du, M. Agez, C. Roelants, Z.A. Gurard-Levin, G. Almouzni, N. Cherradi, R. Guerois, F. Ochsenbein, Cell Chemical Biology 26 (2019) 1573–1585.e10.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.M. Bakail, A. Gaubert, J. Andreani, G. Moal, G. Pinna, E. Boyarchuk, M.-C. Gaillard, R. Courbeyrette, C. Mann, J.-Y. Thuret, B. Guichard, B. Murciano, N. Richet, A. Poitou, C. Frederic, M.-H. Le Du, M. Agez, C. Roelants, Z.A. Gurard-Levin, G. Almouzni, N. Cherradi, R. Guerois, F. Ochsenbein, Cell Chemical Biology 26 (2019) 1573–1585.e10.
2019 | Journal Article | IST-REx-ID: 9060 |

Activity-controlled annealing of colloidal monolayers
S. Ramananarivo, E. Ducrot, J.A. Palacci, Nature Communications 10 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
S. Ramananarivo, E. Ducrot, J.A. Palacci, Nature Communications 10 (2019).
2019 | Journal Article | IST-REx-ID: 405 |

Jointly convex quantum Jensen divergences
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
2019 | Journal Article | IST-REx-ID: 429 |

Stability of the matrix Dyson equation and random matrices with correlations
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
2019 | Journal Article | IST-REx-ID: 439 |

Arithmetic and representation theory of wild character varieties
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.
2019 | Journal Article | IST-REx-ID: 441 |

Tropical formulae for summation over a part of SL(2,Z)
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Kalinin, M. Shkolnikov, European Journal of Mathematics 5 (2019) 909–928.
2019 | Journal Article | IST-REx-ID: 301 |

A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
2019 | Journal Article | IST-REx-ID: 319 |

Singular SPDEs in domains with boundaries
M. Gerencser, M. Hairer, Probability Theory and Related Fields 173 (2019) 697–758.
View
| Files available
| DOI
M. Gerencser, M. Hairer, Probability Theory and Related Fields 173 (2019) 697–758.
2019 | Thesis | IST-REx-ID: 6392 |

Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
View
| Files available
| DOI
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6435 |

Collective defenses of garden ants against a fungal pathogen
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
View
| Files available
| DOI
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6269 |

Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
View
| Files available
| DOI
M. Narasimhan, Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants , IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6849 |

The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
View
| Files available
| DOI
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6486 |

Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
2019 | Journal Article | IST-REx-ID: 6228 |

Relaminarising pipe flow by wall movement
D. Scarselli, J. Kühnen, B. Hof, Journal of Fluid Mechanics 867 (2019) 934–948.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Scarselli, J. Kühnen, B. Hof, Journal of Fluid Mechanics 867 (2019) 934–948.
2019 | Thesis | IST-REx-ID: 6891 |

The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
View
| Files available
| DOI
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6328 |

Nuclear positioning facilitates amoeboid migration along the path of least resistance
J. Renkawitz, A. Kopf, J.A. Stopp, I. de Vries, M.K. Driscoll, J. Merrin, R. Hauschild, E.S. Welf, G. Danuser, R. Fiolka, M.K. Sixt, Nature 568 (2019) 546–550.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J. Renkawitz, A. Kopf, J.A. Stopp, I. de Vries, M.K. Driscoll, J. Merrin, R. Hauschild, E.S. Welf, G. Danuser, R. Fiolka, M.K. Sixt, Nature 568 (2019) 546–550.
2019 | Journal Article | IST-REx-ID: 6877
The neural crest pitches in to remove apoptotic debris
A. Kopf, M.K. Sixt, Cell 179 (2019) 51–53.
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kopf, M.K. Sixt, Cell 179 (2019) 51–53.
2019 | Thesis | IST-REx-ID: 6947 |

Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
View
| Files available
| DOI
F.P. Assen, Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6371 |

On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
View
| Files available
| DOI
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 7132 |

Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, IST Austria, 2019.
View
| Files available
| DOI
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 6187 |

A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion
K. Valosková, J. Biebl, M. Roblek, S. Emtenani, A. György, M. Misova, A. Ratheesh, P. Rodrigues, K. Shkarina, I.S.B. Larsen, S.Y. Vakhrushev, H. Clausen, D.E. Siekhaus, ELife 8 (2019).
View
| Files available
| DOI
K. Valosková, J. Biebl, M. Roblek, S. Emtenani, A. György, M. Misova, A. Ratheesh, P. Rodrigues, K. Shkarina, I.S.B. Larsen, S.Y. Vakhrushev, H. Clausen, D.E. Siekhaus, ELife 8 (2019).
2019 | Thesis | IST-REx-ID: 6546 |

The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
View
| Files available
| DOI
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6363 |

Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits
C.M. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
View
| Files available
| DOI
C.M. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 5949 |

Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
View
| Files available
| DOI
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
2019 | Thesis | IST-REx-ID: 6825 |

The hippocampus and medial prefrontal cortex during flexible behavior
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, IST Austria, 2019.
View
| Files available
| DOI
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, IST Austria, 2019.