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.

1624 Publications


2019 |Published| Conference Paper | IST-REx-ID: 6482 | OA
R. Sun and C. Lampert, “KS(conf): A light-weight test if a ConvNet operates outside of Its specifications,” presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany, 2019, vol. 11269, pp. 244–259.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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 | 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 | 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
 

2019 |Published| Thesis | 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
 

2018 |Published| Conference Paper | IST-REx-ID: 10883 | OA
K. Chatterjee, W. Dvořák, M. H. 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. H. 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
 

2018 |Published| Journal Article | IST-REx-ID: 11890 | OA
S. Bhattacharya, M. H. Henzinger, and G. F. Italiano, “Deterministic fully dynamic data structures for vertex cover and matching,” SIAM Journal on Computing, vol. 47, no. 3. Society for Industrial & Applied Mathematics, pp. 859–887, 2018.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 124
S. R. Waitukaitis et al., “The retention of dust in protoplanetary disks: evidence from agglomeration olivine chondrules from the outer solar system,” Geochimica et Cosmochimica Acta, vol. 223. Elsevier, pp. 405–421, 2018.
View | DOI
 

2018 |Published| Conference Paper | IST-REx-ID: 185 | OA
R. Fulek and J. Kynčl, “Hanani-Tutte for approximating maps of graphs,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.
[Published Version] View | Files available | DOI
 

2018 |Published| Book | IST-REx-ID: 3300
E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model Checking, 1st ed. Cham: Springer Nature, 2018.
View | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 37 | OA
M. P. Zagórski and A. Kicheva, “Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube,” in Morphogen Gradients , vol. 1863, Springer Nature, 2018, pp. 47–63.
[Submitted Version] View | Files available | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 59
R. Bloem, K. Chatterjee, and B. Jobstmann, “Graph games and reactive synthesis,” in Handbook of Model Checking, 1st ed., T. A. Henzinger, E. M. Clarke, H. Veith, and R. Bloem, Eds. Springer, 2018, pp. 921–962.
View | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 60
E. Clarke, T. A. Henzinger, and H. Veith, “Introduction to model checking,” in Handbook of Model Checking, T. A. Henzinger, Ed. Springer, 2018, pp. 1–26.
View | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 61 | OA
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, and M. Viazovska, “There is no strongly regular graph with parameters (460; 153; 32; 60),” in Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 6164
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, and P. Bhowmick, “Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D,” in 19th International Workshop, Porto, Portugal, 2018, vol. 11255, pp. 82–96.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications