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.

756 Publications


2024 | Published | Journal Article | IST-REx-ID: 14841 | OA
Clatot, J., Currin, C., Liang, Q., Pipatpolkai, T., Massey, S. L., Helbig, I., … Goldberg, E. M. (2024). A structurally precise mechanism links an epilepsy-associated KCNC2 potassium channel mutation to interneuron dysfunction. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2307776121
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 15171 | OA
Agnes, E. J., & Vogels, T. P. (2024). Co-dependent excitatory and inhibitory plasticity accounts for quick, stable and long-lasting memories in biological networks. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/s41593-024-01597-4
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 14887 | OA
Feitosa Tomé, D., Zhang, Y., Aida, T., Mosto, O., Lu, Y., Chen, M., … Clopath, C. (2024). Dynamic and selective engrams emerge with memory consolidation. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/s41593-023-01551-w
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 15169 | OA
Chintaluri, C., Bejtka, M., Sredniawa, W., Czerwinski, M., Dzik, J. M., Jedrzejewska-Szmek, J., & Wojciki, D. K. (2024). kCSD-python, reliable current source density estimation with quality control. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1011941
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 17092 | OA
Delamare, G., Feitosa Tomé, D., & Clopath, C. (2024). Intrinsic neural excitability biases allocation and overlap of memory engrams. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0846-23.2024
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 18930 | OA | PlanS
Elsholtz, C., & Wurzinger, L. (2024). Sumsets in the set of squares. The Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haae044
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 17327 | OA
Cano, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2024). Abstraction-based decision making for statistical properties. In 9th International Conference on Formal Structures for Computation and Deduction (Vol. 299). Tallinn, Estonia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSCD.2024.2
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 17886 | OA
Zendrikov, D., & Paraskevov, A. (2024). The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks. Neural Networks. Elsevier. https://doi.org/10.1016/j.neunet.2024.106589
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 14400 | OA
Majumdar, R., Mallik, K., Schmuck, A. K., & Soudjani, S. (2024). Symbolic control for stochastic systems via finite parity games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2023.101430
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 15258 | OA
Hall, S. M., Kochin, D., Carne, C., Herterich, P., Lewers, K. L., Abdelhack, M., … Sharan, M. (2024). Ten simple rules for pushing boundaries of inclusion at academic events. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1011797
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 15295 | OA
Beyer, C., Currin, C., Williams, T., & Stein, D. J. (2024). Meta-analysis of the comparative efficacy of benzodiazepines and antidepressants for psychic versus somatic symptoms of generalized anxiety disorder. Comprehensive Psychiatry. Elsevier. https://doi.org/10.1016/j.comppsych.2024.152479
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Conference Paper | IST-REx-ID: 17053 | OA
Froleyks, N., Yu, E., & Biere, A. (2024). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany: VDE Verlag.
[Submitted Version] View | Download Submitted Version (ext.)
 

2024 | Research Data Reference | IST-REx-ID: 23182 | OA
Zendrikov, D., & Paraskevov, A. (2024). Supplementary Material for the article entitled “The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks.” Figshare. https://doi.org/10.6084/m9.figshare.24527848
View | Files available | DOI | Download None (ext.)
 

2024 | Published | Conference Paper | IST-REx-ID: 18066 | OA
Avni, G., Goharshady, E. K., Henzinger, T. A., & Mallik, K. (2024). Bidding games with charging. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.8
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18067 | OA
Boker, U., Henzinger, T. A., Lehtinen, K., & Prakash, A. (2024). History-determinism vs fair simulation. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.12
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 15376 | OA
Avni, G., Mallik, K., & Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_8
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17413 | OA
Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa, M., & Richter, C. (2024). Bubaak-SpLit: Split what you cannot verify (Competition contribution). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_20
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 15377 | OA
Majumdar, R., Sağlam, I., & Thejaswini, K. S. (2024). Rabin games and colourful universal trees. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 213–231). Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_11
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17898
Lechner, M., Hasani, R., Amini, A., Wang, T. H., Henzinger, T. A., & Rus, D. (2024). Overparametrization helps offline-to-online generalization of closed-loop control from pixels. In Proceedings of the 2024 IEEE International Conference on Robotics and Automation (pp. 2774–2782). Yokohama, Japan: IEEE. https://doi.org/10.1109/ICRA57147.2024.10610284
View | DOI | WoS
 

Filters and Search Terms

year=2024

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed