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.

2079 Publications


2019 | Published | Conference Paper | IST-REx-ID: 7232
T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75.
View | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7398 | OA
F. A. Erdem et al., “A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2,” The Journal of General Physiology, vol. 151, no. 8. Rockefeller University Press, pp. 1035–1050, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Conference Paper | IST-REx-ID: 7401 | OA
R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 7404 | OA
T. Stürner et al., “Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo,” Development, vol. 146, no. 7. The Company of Biologists, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Conference Paper | IST-REx-ID: 7411 | OA
H. M. Abusalah, C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and M. Walter, “Reversible proofs of sequential work,” in Advances in Cryptology – EUROCRYPT 2019, Darmstadt, Germany, 2019, vol. 11477, pp. 277–291.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2019 | Published | Book Chapter | IST-REx-ID: 7453 | OA
R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 7459
S. S. Vadla, T. Costanzo, S. John, G. Caruntu, and S. C. Roy, “Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites,” Scripta Materialia, vol. 159. Elsevier, pp. 33–36, 2019.
View | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9900 | OA
O. M. Sigalova et al., “Additional file 5 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Published | Thesis | IST-REx-ID: 6392 | OA
M. Lukacisin, “Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory,” IST Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6363 | OA
C. Espinoza Martinez, “Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6849 | OA
D. K. Rangel Guerrero, “The role of CCK-interneurons in regulating hippocampal network dynamics,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6891 | OA
A. Kopf, “The implication of cytoskeletal dynamics on leukocyte migration,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

2018 | Published | Book Chapter | IST-REx-ID: 10864 | OA
A. Kazda, M. Kozik, R. McKenzie, and M. Moore, “Absorption and directed Jónsson terms,” in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, vol. 16, J. Czelakowski, Ed. Cham: Springer Nature, 2018, pp. 203–220.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 10882 | OA
J. Uijlings, K. Konyushkova, C. Lampert, and V. Ferrari, “Learning intelligent dialogs for bounding box annotation,” in 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Salt Lake City, UT, United States, 2018, pp. 9175–9184.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 10883 | OA
K. Chatterjee, W. Dvořák, M. Henzinger, and A. Svozil, “Quasipolynomial set-based symbolic algorithms for parity games,” in 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 2018, vol. 57, pp. 233–253.
[Published Version] View | Files available | DOI | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 11 | OA
N. K. Leopold and P. Pickl, “Mean-field limits of particles in interaction with quantised radiation fields,” presented at the MaLiQS: Macroscopic Limits of Quantum Systems, Munich, Germany, 2018, vol. 270, pp. 185–214.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 11557 | OA
D. Sobral et al., “The nature of luminous Ly α emitters at z ∼ 2–3: Maximal dust-poor starbursts and highly ionizing AGN,” Monthly Notices of the Royal Astronomical Society, vol. 477, no. 2. Oxford University Press, pp. 2817–2840, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 11558 | OA
D. Sobral et al., “Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6,” Monthly Notices of the Royal Astronomical Society, vol. 476, no. 4. Oxford University Press, pp. 4725–4752, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 11618 | OA
L. A. Bugnet et al., “FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants,” Astronomy & Astrophysics, vol. 620. EDP Sciences, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 11872 | OA
S. Bhattacharya, D. Chakrabarty, M. Henzinger, and D. Nanongkai, “Dynamic algorithms for graph coloring,” in 29th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, LA, United States, 2018, pp. 1–20.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed