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.

7706 Publications


2022 | Conference Paper | IST-REx-ID: 10891
Quantitative monitoring of software
T.A. Henzinger, in:, Software Verification, Springer Nature, 2022, pp. 3–6.
View | DOI
 

2022 | Preprint | IST-REx-ID: 11366 | OA
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11355 | OA
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11951 | OA
A direct excitatory projection from entorhinal layer 6b neurons to the hippocampus contributes to spatial coding and memory
Y. Ben Simon, K. Käfer, P. Velicky, J.L. Csicsvari, J.G. Danzl, P.M. Jonas, Nature Communications 13 (2022).
View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 11943 | OA
Saturated reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
View | DOI | Download Preprint (ext.)
 

2022 | Preprint | IST-REx-ID: 11950 | OA
Uncovering brain tissue architecture across scales with super-resolution light microscopy
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, A. Venturino, K. Roessler, T. Czech, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, BioRxiv (n.d.).
View | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 10604 | OA View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11451 | OA
The chemistry of Cu₃N and Cu₃PdN nanocrystals
M. Parvizian, A. Duràn Balsa, R. Pokratath, C. Kalha, S. Lee, D. Van Den Eynden, M. Ibáñez, A. Regoutz, J. De Roo, Angewandte Chemie - International Edition 61 (2022).
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10829 | OA
Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device
R. Hasler, C. Reiner-Rozman, S. Fossati, P. Aspermair, J. Dostalek, S. Lee, M. Ibáñez, J. Bintinger, W. Knoll, ACS Sensors 7 (2022) 504–512.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11704 | OA
An autonomous compartmental model for accelerating epidemics
N.B. Budanur, B. Hof, PLoS ONE 17 (2022).
View | Files available | DOI
 
 

2022 | Research Data Reference | IST-REx-ID: 10833 | OA
Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device
R. Hasler, C. Reiner-Rozman, S. Fossati, P. Aspermair, J. Dostalek, S. Lee, M. Ibáñez, J. Bintinger, W. Knoll, (2022).
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 11695 | OA
Data for "The chemistry of Cu3N and Cu3PdN nanocrystals"
M. Parvizian, A. Duran Balsa, R. Pokratath, C. Kalha, S. Lee, D. Van den Eynden, M. Ibáñez, A. Regoutz, J. De Roo, (2022).
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Research Data Reference | IST-REx-ID: 11711 | OA
burakbudanur/autoacc-public
N.B. Budanur, (2022).
View | Files available | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 12000 | OA
Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11998 | OA
A simple model for high rotational excitations of molecules in a superfluid
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, H. Stapelfeldt, M. Lemeshko, New Journal of Physics 24 (2022).
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12001 | OA
Differing associations between sex determination and sex-linked inversions in two ecotypes of Littorina saxatilis
K.E. Hearn, E.L. Koch, S. Stankowski, R.K. Butlin, R. Faria, K. Johannesson, A.M. Westram, Evolution Letters (2022).
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11999 | OA
Inserting one edge into a simples drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry (2022).
View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11995 | OA
Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses
R. Schulz, M. Korkut, A. Venturino, G. Colombo, S. Siegert, Nature Communications 13 (2022).
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11945 | OA
Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function
R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria (ISTA), 2022.
View | Files available | DOI
 
 

2022 | Journal Article | IST-REx-ID: 11735 | OA
Computational design of high-level interlocking puzzles
R. Chen, Z. Wang, P. Song, B. Bickel, ACM Transactions on Graphics 41 (2022).
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12007 | OA
Role of the Tibetan plateau glaciers in the Asian summer monsoon
B.B. GOSWAMI, S.-I. An, R. Murtugudde, Climatic Change 173 (2022).
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11993 | OA
State of the art in computational mould design
T. Alderighi, L. Malomo, T. Auzinger, B. Bickel, P. Cignoni, N. Pietroni, Computer Graphics Forum (2022).
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11997 | OA
Impurity in a heteronuclear two-component Bose mixture
G. Bighin, A. Burchianti, F. Minardi, T. Macrì, Physical Review A 106 (2022).
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11996
A soft active matter that can climb walls
J.A. Palacci, Science 377 (2022) 710–711.
View | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11991 | OA
An invitation to the promise constraint satisfaction problem
A. Krokhin, J. Opršal, ACM SIGLOG News 9 (2022) 30–59.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12009 | OA
Developmental depression-to-facilitation shift controls excitation-inhibition balance
D.W. Jia, T.P. Vogels, R.P. Costa, Communications Biology 5 (2022).
View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12010 | OA
Latent imagination facilitates zero-shot transfer in autonomous racing
A. Brunnbauer, L. Berducci, A. Brandstatter, M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–7520.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12013
On the capacity of additive AVCs with feedback
P. Joshi, A. Purkayastha, Y. Zhang, A.J. Budkuley, S. Jaggi, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 504–509.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12016 | OA
Polar coded computing: The role of the scaling exponent
D. Fathollahi, M. Mondelli, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2154–2159.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12012 | OA
Heterogeneous differential privacy via graphs
S. Torkamani, J.B. Ebrahimi, P. Sadeghi, R.G.L. D’Oliveira, M. Médard, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 1623–1628.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12011 | OA
The capacity of causal adversarial channels
Y. Zhang, S. Jaggi, M. Langberg, A.D. Sarwate, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2523–2528.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12015
Lower bounds for multiple packing
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 3085–3090.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12014
List-decodability of Poisson Point Processes
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2559–2564.
View | DOI
 

2022 | Journal Article | IST-REx-ID: 11955 | OA
Acridine‐functionalized covalent organic frameworks (COFs) as photocatalysts for metallaphotocatalytic C−N cross‐coupling
M. Traxler, S. Gisbertz, P. Pachfule, J. Schmidt, J. Roeser, S. Reischauer, J. Rabeah, B. Pieber, A. Thomas, Angewandte Chemie International Edition 61 (2022).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Preprint | IST-REx-ID: 12067 | OA View | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 12084 | OA
Regimes and mechanisms of transient amplification in abstract and biological neural networks
G. Christodoulou, T.P. Vogels, E.J. Agnes, PLoS Computational Biology 18 (2022).
View | Files available | DOI
 

2022 | Research Data | IST-REx-ID: 10934 | OA View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11373 | OA
In vitro reconstitution of Escherichia coli divisome activation
Radler, Philipp, In vitro reconstitution of Escherichia coli divisome activation. Nature Communications 13. 2022
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11589 | OA
Constitutive active CPK30 interferes with root growth and endomembrane trafficking in Arabidopsis thaliana
Wang, Ren, Constitutive active CPK30 interferes with root growth and endomembrane trafficking in Arabidopsis thaliana. Frontiers in Plant Science 13. 2022
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11553 | OA
The dynamics of complex box mappings
Clark, Trevor, The dynamics of complex box mappings. Arnold Mathematical Journal 8 (2). 2022
View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12072 | OA
Existence and density problems in Diophantine geometry: From norm forms to Campana points
Shute, Alec L, Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12083 | OA
Dependent random variables in quantum dynamics
Rademacher, Simone Anna Elvira, Dependent random variables in quantum dynamics. Journal of Mathematical Physics 63 (8). 2022
View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11723 | OA
RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis
Li, Lanxin, RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. Proceedings of the National Academy of Sciences 119 (31). 2022
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10623 | OA
The BCS critical temperature at high density
Henheik, Sven Joscha, The BCS critical temperature at high density. Mathematical Physics, Analysis and Geometry 25 (1). 2022
View | Files available | DOI | arXiv
 

2022 | Preprint | IST-REx-ID: 12312 | OA
On the local-global principle for isogenies of abelian surfaces
Lombardo, Davide, On the local-global principle for isogenies of abelian surfaces. arXiv. 2022
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 12311 | OA
Common valuations of division polynomials
Naskręcki, Bartosz, Common valuations of division polynomials. arXiv. 2022
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11336 | OA
Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression
Amberg, Nicole, Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression. Science Advances 8 (44). 2022
View | DOI | Download Preprint (ext.)
 

2022 | Book Chapter | IST-REx-ID: 11456
Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling
Artan, Murat, Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling. Behavioral Neurogenetics 181. 2022
View | DOI
 

Search

Filter Publications