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.

6436 Publications


2016 | Published | Journal Article | IST-REx-ID: 1518 | OA
Lohse, K., Chmelik, M., Martin, S., & Barton, N. H. (2016). Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.183814
[Preprint] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 1521
Berrisford, J., Baradaran, R., & Sazanov, L. A. (2016). Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2016.01.012
View | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, S. (2016). The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. Independent University of Moscow. https://doi.org/10.17323/1609-4514-2016-16-1-1-25
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1523 | OA
Gundert, A., & Wagner, U. (2016). On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/12824
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1524 | OA
Beica, A., Guet, C. C., & Petrov, T. (2016). Efficient reduction of kappa models by static inspection of the rule-set (Vol. 9271, pp. 173–191). Presented at the HSB: Hybrid Systems Biology, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-319-26916-0_10
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2016.01.007
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1545 | OA
Nam, P., Napiórkowski, M. M., & Solovej, J. (2016). Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2015.12.007
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, K., Dvorák, W., Henzinger, M., & Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science, Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.25
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.100
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, K., & Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.98
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2016.28
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1081 | OA
Łangowski, Ł., Wabnik, K. T., Li, H., Vanneste, S., Naramoto, S., Tanaka, H., & Friml, J. (2016). Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. Nature Publishing Group. https://doi.org/10.1038/celldisc.2016.18
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 10810 | OA
Rubel, P., Pani, D., Schlögl, A., Fayn, J., Badilini, F., Macfarlane, P., & Varri, A. (2016). SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography. In 2016 Computing in Cardiology Conference (Vol. 43, pp. 309–312). Vancouver, Canada: Computing in Cardiology. https://doi.org/10.22489/cinc.2016.090-500
[Published Version] View | DOI | Download Published Version (ext.)
 

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

2016 | Published | Journal Article | IST-REx-ID: 1083
Booker, S., Althof, D., Gross, A., Loreth, D., Müller, J., Unger, A., … Kulik, Á. (2016). KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhw090
View | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science, Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.24
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1093 | OA
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Linear distances between Markov chains (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.20
[Published Version] View | Files available | DOI
 

2016 | Published | Book Chapter | IST-REx-ID: 1094
Harada, H., & Shigemoto, R. (2016). Immunogold protein localization on grid-glued freeze-fracture replicas. In High-Resolution Imaging of Cellular Proteins (Vol. 1474, pp. 203–216). Springer. https://doi.org/10.1007/978-1-4939-6352-2_12
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1095 | OA
Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H., … Veith, H. (2016). Local linearizability for concurrent container-type data structures. In Leibniz International Proceedings in Informatics (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed