Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5473 Publications

2019 | Published | Journal Article | IST-REx-ID: 5944 | OA [Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 5945 | OA
Optimal decoding of cellular identities in a genetic network
M.D. Petkova, G. Tkačik, W. Bialek, E.F. Wieschaus, T. Gregor, Cell 176 (2019) 844–855.e15.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Conference Paper | IST-REx-ID: 5947 | OA
A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries
B. Chatterjee, S. Peri, M. Sa, N. Singhal, in:, ACM International Conference Proceeding Series, ACM, 2019, pp. 168–177.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, in:, International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2019, pp. 468–490.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 5986 | OA
A proof of the orbit conjecture for flipping edge-labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6022 | OA
Genetic dissection of assortative mating behavior
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019).
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6023 | OA
A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis
S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi, B. Möller, C.A. Ten Hove, P. Marhavý, R. Smith, J. Friml, D. Weijers, Nature Plants 5 (2019) 160–166.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6025 | OA
Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6028 | OA
A solution theory for quasilinear singular SPDEs
M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics 72 (2019) 1983–2005.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6029 | OA
A fast and simple contact printing approach to generate 2D protein nanopatterns
M. Lindner, A. Tresztenyak, G. Fülöp, W. Jahr, A. Prinz, I. Prinz, J.G. Danzl, G.J. Schütz, E. Sevcsik, Frontiers in Chemistry 6 (2019).
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 6035 | OA
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6042 | OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6046 | OA
Temporal order and precision of complex stress responses in individual bacteria
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6049 | OA
Feedback-induced self-oscillations in large interacting systems subjected to phase transitions
D. De Martino, Journal of Physics A: Mathematical and Theoretical 52 (2019).
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6050 | OA
Two circles and only a straightedge
A. Akopyan, R. Fedorov, Proceedings of the American Mathematical Society 147 (2019) 91–102.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6052 | OA
A practical guide to optimization in X10 expansion microscopy
S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols 14 (2019) 832–863.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6053 | OA
Quantum electromechanics of a hypersonic crystal
M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology 14 (2019) 334–339.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
 
2019 | Research Data | IST-REx-ID: 6062 | OA [Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 6069 | OA
Stokes flow analogous to viscous electron current in graphene
J. Mayzel, V. Steinberg, A. Varshney, Nature Communications 10 (2019).
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed