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.




4871 Publications

2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
[Submitted Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 6430 | OA
Adaptively secure proxy re-encryption
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, Springer Nature, 2019, pp. 317–346.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2019 | Published | Thesis | IST-REx-ID: 6435 | OA
Collective defenses of garden ants against a fungal pathogen
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 6442 | OA
Fundamental solutions for water wave animation
C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019).
[Submitted Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6451 | OA
EGFR controls hair shaft differentiation in a p53-independent manner
N. Amberg, P.A. Sotiropoulou, G. Heller, B.M. Lichtenberger, M. Holcmann, B. Camurdanoglu, T. Baykuscheva-Gentscheva, C. Blanpain, M. Sibilia, IScience 15 (2019) 243–256.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6454 | OA
Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members
G. Ortiz-Álvarez, M. Daclin, A. Shihavuddin, P. Lansade, A. Fortoul, M. Faucourt, S. Clavreul, M. Lalioti, S. Taraviras, S. Hippenmeyer, J. Livet, A. Meunier, A. Genovesio, N. Spassky, Neuron 102 (2019) 159–172.e7.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6455 | OA
Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex
L. Telley, G. Agirman, J. Prados, N. Amberg, S. Fièvre, P. Oberst, G. Bartolini, I. Vitali, C. Cadilhac, S. Hippenmeyer, L. Nguyen, A. Dayer, D. Jabaudon, Science 364 (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Conference Paper | IST-REx-ID: 6462 | OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6465 | OA
A modular degron library for synthetic circuits in mammalian cells
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019).
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6466 | OA
Breaking down barriers in morning glories
D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6467 | OA
The distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6470 | OA
Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells
T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597 (2019) 2925–2947.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Thesis | IST-REx-ID: 6473 | OA
Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 
2019 | Published | Journal Article | IST-REx-ID: 6477 | OA
Colloquium: Many-body localization, thermalization, and entanglement
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6482 | OA
KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2019 | Published | Conference Poster | IST-REx-ID: 6485
Lock-free channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
View | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6486 | OA
Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Submitted | Conference Paper | IST-REx-ID: 6490 | OA
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
[Submitted Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 65 | OA
Entropy solutions for stochastic porous media equations
K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266 (2019) 3732–3763.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Export / Embed