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.




6350 Publications

2019 | Published | Conference Paper | IST-REx-ID: 7231 | OA
Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
H. Kong, E. Bartocci, Y. Jiang, T.A. Henzinger, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 123–141.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 7232
Mixed-time signal temporal logic
T. Ferrere, O. Maler, D. Nickovic, in:, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2019, pp. 59–75.
View | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 7233
Resonant electro-optic frequency comb generation in lithium niobate disk resonator inside a microwave cavity
A.R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kumari, H.G.L. Schwefel, in:, Nonlinear Optics, OSA Technical Digest, Optica Publishing Group, 2019.
View | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 7393 | OA
Genomic architecture of parallel ecological divergence: Beyond a single environmental contrast
H.E. Morales, R. Faria, K. Johannesson, T. Larsson, M. Panova, A.M. Westram, R.K. Butlin, Science Advances 5 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7394
Editorial overview: Cell biology in the era of omics?
E. Benková, Y. Dagdas, Current Opinion in Plant Biology 52 (2019) A1–A2.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7395 | OA
Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk
J.A. Letts, K. Fiedorczuk, G. Degliesposti, M. Skehel, L.A. Sazanov, Molecular Cell 75 (2019) 1131–1146.e6.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7396 | OA
Quantum control of molecular rotation
C.P. Koch, M. Lemeshko, D. Sugny, Reviews of Modern Physics 91 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7397 | OA
Dynamics of viscoelastic pipe flow at low Reynolds numbers in the maximum drag reduction limit
J.M. Lopez Alonso, G.H. Choueiri, B. Hof, Journal of Fluid Mechanics 874 (2019) 699–719.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7398 | OA
A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2
F.A. Erdem, M. Ilic, P. Koppensteiner, J. Gołacki, G. Lubec, M. Freissmuth, W. Sandtner, The Journal of General Physiology 151 (2019) 1035–1050.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7399 | OA
The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes
D. Andergassen, M. Muckenhuber, P.C. Bammer, T.M. Kulinski, H.-C. Theussl, T. Shimizu, J.M. Penninger, F. Pauler, Q.J. Hudson, PLoS Genetics 15 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7400 | OA
Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua
P. Veltsos, K.E. Ridout, M.A. Toups, S.C. González-Martínez, A. Muyle, O. Emery, P. Rastas, V. Hudzieczek, R. Hobza, B. Vyskot, G.A.B. Marais, D.A. Filatov, J.R. Pannell, Genetics 212 (2019) 815–835.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Conference Paper | IST-REx-ID: 7401 | OA
Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 7402 | OA
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7404 | OA
Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo
T. Stürner, A. Tatarnikova, J. Müller, B. Schaffran, H. Cuntz, Y. Zhang, M. Nemethova, S. Bogdan, V. Small, G. Tavosanis, Development 146 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7405 | OA
NetPyNE, a tool for data-driven multiscale modeling of brain circuits
S. Dura-Bernal, B. Suter, P. Gleeson, M. Cantarelli, A. Quintana, F. Rodriguez, D.J. Kedziora, G.L. Chadderdon, C.C. Kerr, S.A. Neymotin, R.A. McDougal, M. Hines, G.M. Shepherd, W.W. Lytton, ELife 8 (2019).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 7412 | OA
A local lemma for focused stochastical algorithms
D. Achlioptas, F. Iliopoulos, V. Kolmogorov, SIAM Journal on Computing 48 (2019) 1583–1602.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7413 | OA
Bogoliubov theory in the Gross–Pitaevskii limit
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Acta Mathematica 222 (2019) 219–335.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7414
S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly
L. Knaus, D.-C. Tarlungeanu, G. Novarino, European Neuropsychopharmacology 29 (2019) S11.
View | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 7415
S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism
J. Morandell, A. Nicolas, L.A. Schwarz, G. Novarino, European Neuropsychopharmacology 29 (2019) S11–S12.
View | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 7418
MIS compensation: Optimizing sampling techniques in multiple importance sampling
O. Karlík, M. Šik, P. Vévoda, T. Skrivan, J. Křivánek, ACM Transactions on Graphics 38 (2019).
View | DOI | WoS
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Export / Embed