Please note that ISTA 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.

8915 Publications


2018 | Published | Conference Paper | IST-REx-ID: 299 | OA
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 3 | OA
Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition
E. Deliu, N. Arecco, J. Morandell, C. Dotter, X. Contreras, C. Girardot, E. Käsper, A. Kozlova, K. Kishi, I. Chiaradia, K. Noh, G. Novarino, Nature Neuroscience 21 (2018) 1717–1727.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 300 | OA
On the bit security of cryptographic primitives
D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 302 | OA
Simple proofs of sequential work
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 303 | OA
Introduction to tropical series and wave dynamic on them
N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series A 38 (2018) 2827–2849.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 304 | OA
Computational design of nanostructural color for additive manufacturing
T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 305
Fabrication and operation of microfluidic hanging drop networks
P. Misun, A. Birchler, M. Lang, A. Hierlemann, O. Frey, Methods in Molecular Biology 1771 (2018) 183–202.
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 306 | OA
An introduction to the maximum entropy approach and its application to inference problems in biology
A. De Martino, D. De Martino, Heliyon 4 (2018).
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 307 | OA
Nanoscopy of pairs of atoms by fluorescence in a magnetic field
E. Redchenko, A. Makarov, V. Yudson, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 308 | OA
Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration
A. Ratheesh, J. Bicher, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Conference Paper | IST-REx-ID: 309 | OA
Recognizing weak embeddings of graphs
H. Akitaya, R. Fulek, C. Tóth, in:, ACM, 2018, pp. 274–292.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 31 | OA
Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons
U. Ferrari, S. Deny, M.J. Chalk, G. Tkačik, O. Marre, T. Mora, Physical Review E 98 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 312 | OA
On the optimality of the FCC lattice for soft sphere packing
H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 314 | OA
The science of living matter for tomorrow
G. Bauer, N. Fakhri, A. Kicheva, J. Kondev, K. Kruse, H. Noji, D. Riveline, T. Saunders, M. Thatta, E. Wieschaus, Cell Systems 6 (2018) 400–402.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 315 | OA
Is the sky the limit? On the expansion threshold of a species’ range
J. Polechova, PLoS Biology 16 (2018).
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 317 | OA
Palladium gates for reproducible quantum dots in silicon
M. Brauns, S. Amitonov, P. Spruijtenburg, F. Zwanenburg, Scientific Reports 8 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 318 | OA
A fat lot of good for wound healing
A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 32 | OA
In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2
T. Chen, B. Kula, B. Nagy, R. Barzan, A. Gall, I. Ehrlich, M. Kukley, Cell Reports 25 (2018) 852–861.e7.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 320 | OA
Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons
H. Hu, F. Roth, D.H. Vandael, P.M. Jonas, Neuron 98 (2018) 156–165.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 321 | OA
Guest editors' introduction to the special section on learning with Shared information for computer vision and multimedia analysis
T. Darrell, C. Lampert, N. Sebe, Y. Wu, Y. Yan, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1029–1031.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed