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.

6324 Publications


2016 | Published | Journal Article | IST-REx-ID: 1493 | OA
S. P. Petrat and P. Pickl, “A new method and a new scaling for deriving fermionic mean-field dynamics,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1. Springer, 2016.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1494
G. M. Lemoult, L. Shi, K. Avila, S. V. Jalikop, M. Avila, and B. Hof, “Directed percolation phase transition to sustained turbulence in Couette flow,” Nature Physics, vol. 12, no. 3. Nature Publishing Group, pp. 254–258, 2016.
View | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1496 | OA
P. Amaro et al., “Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3. American Physical Society, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1518 | OA
K. Lohse, M. Chmelik, S. Martin, and N. H. Barton, “Efficient strategies for calculating blockwise likelihoods under the coalescent,” Genetics, vol. 202, no. 2. Genetics Society of America, pp. 775–786, 2016.
[Preprint] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 1521
J. Berrisford, R. Baradaran, and L. A. Sazanov, “Structure of bacterial respiratory complex I,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1857, no. 7. Elsevier, pp. 892–901, 2016.
View | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1522 | OA
S. Avvakumov, “The classification of certain linked 3-manifolds in 6-space,” Moscow Mathematical Journal, vol. 16, no. 1. Independent University of Moscow, pp. 1–25, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1523 | OA
A. Gundert and U. Wagner, “On topological minors in random simplicial complexes,” Proceedings of the American Mathematical Society, vol. 144, no. 4. American Mathematical Society, pp. 1815–1828, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1524 | OA
A. Beica, C. C. Guet, and T. Petrov, “Efficient reduction of kappa models by static inspection of the rule-set,” presented at the HSB: Hybrid Systems Biology, Madrid, Spain, 2016, vol. 9271, pp. 173–191.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1526 | OA
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of timed I/O systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 250–267.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1529 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234. Elsevier, pp. 26–48, 2016.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1545 | OA
P. Nam, M. M. Napiórkowski, and J. Solovej, “Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations,” Journal of Functional Analysis, vol. 270, no. 11. Academic Press, pp. 4340–4368, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
K. Chatterjee, W. Dvorák, M. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science, Krakow, Poland, 2016, vol. 58.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1070 | OA
K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1071 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1081 | OA
Ł. Łangowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 10810 | OA
P. Rubel et al., “SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography,” in 2016 Computing in Cardiology Conference, Vancouver, Canada, 2016, vol. 43, pp. 309–312.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1082 | OA
M. J. Chalk, O. Marre, and G. Tkačik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1083
S. Booker et al., “KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” Cerebral Cortex, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.
View | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1090 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science, Krakow; Poland, 2016, vol. 58.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed