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.

11357 Publications


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

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

2016 | Published | Conference Paper | IST-REx-ID: 1524 | OA
Efficient reduction of kappa models by static inspection of the rule-set
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 15242 | OA
Using galaxy formation simulations to optimize LIGO follow-up observations
E. Antolini, I. Caiazzo, R. Davé, J.S. Heyl, Monthly Notices of the Royal Astronomical Society 466 (2016) 2212–2216.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 15244 | OA
XIPE: The x-ray imaging polarimetry explorer
Soffitta P et al. 2016. XIPE: The x-ray imaging polarimetry explorer. Space Telescopes and Instrumentation 2016: Ultraviolet to Gamma Ray. Astronomical Telescopes + Instrumentation vol. 9905, 990515.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 15245 | OA
eXTP: Enhanced X-ray timing and polarization mission
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1526 | OA
Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

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

2016 | Published | Journal Article | IST-REx-ID: 1057
Coordinate-targeted fluorescence nanoscopy with multiple off states
J.G. Danzl, S. Sidenstein, C. Gregor, N. Urban, P. Ilgen, S. Jakobs, S. Hell, Nature Photonics 10 (2016) 122–128.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1059
Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells
A. Butkevich, G. Mitronova, S. Sidenstein, J. Klocke, D. Kamin, D. Meineke, E. D’Este, P. Kraemer, J.G. Danzl, V. Belov, S. Hell, Angewandte Chemie - International Edition 55 (2016) 3290–3294.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1060
Multicolour multilevel STED nanoscopy of actin/spectrin organization at synapses
S. Sidenstein, E. D’Este, M. Böhm, J.G. Danzl, V. Belov, S. Hell, Scientific Reports 6 (2016) 1–8.
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1070 | OA
Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1071 | OA
Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 10746 | OA
Study of vortex states and dynamics in mesoscopic superconducting samples with MFM
H. Polshyn, T. Naibert, V. Chua, R. Budakian, in:, APS March Meeting 2016, American Physical Society, 2016.
[Published Version] View | Download Published Version (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 10747 | OA
Stochastic resonance magnetic force microscopy imaging of Josephson arrays
T. Naibert, H. Polshyn, B. Wolin, M. Durkin, R. Garrido Menacho, I.M. Shem, V. Chua, T. Hughes, N. Mason, R. Budakian, in:, APS March Meeting 2016, American Physical Society, 2016.
[Published Version] View | Download Published Version (ext.)
 

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

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

Search

Filter Publications

Display / Sort

Export / Embed