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.

8457 Publications


2016 | Published | Journal Article | IST-REx-ID: 1616 | OA
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. 2016. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 26(5), 668–682.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1617 | OA
Pausinger F, Steinerberger S. 2016. On the discrepancy of jittered sampling. Journal of Complexity. 33, 199–216.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1620 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. 2016. The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. 342(1), 189–216.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1622 | OA
Lundholm D, Nam P, Portmann F. 2016. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 219(3), 1343–1382.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1631 | OA
Kelleher J, Etheridge A, Véber A, Barton NH. 2016. Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. 108, 1–12.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1641 | OA
Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. 2016. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 35(2), 465–476.
[Preprint] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto T, Pietrzak KZ, Waters B, Wichs D. 2016. New realizations of somewhere statistically binding hashing and positional accumulators. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 9452, 121–145.
[Submitted Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle M. 2016. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 18(4), 449–467.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1881 | OA
Lee J, Schnelli K. 2016. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 164(1–2), 165–241.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 460 | OA
Willmann K, Sacco R, Martins R, Garncarz W, Krolo A, Knapp S, Bennett K, Boztug K. 2016. Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. 15(9), 2900–2909.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Published | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 11(6), e1191734.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 526 | OA
von Wangenheim D, Fangerau J, Schmitz A, Smith R, Leitte H, Stelzer E, Maizel A. 2016. Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. 26(4), 439–449.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
[Published Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5446 | OA
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
[Published Version] View | Files available
 

2016 | Published | Technical Report | IST-REx-ID: 5447 | OA
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
[Published Version] View | Files available
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5448 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
[Published Version] View | Files available | arXiv
 

earlier version | 2016 | Published | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
[Updated Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed