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.

237 Publications


2022 | Thesis | IST-REx-ID: 11193 | OA
Wachner, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11193
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12364 | OA
Dotter, C. (2022). Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12094
[Published Version] View | Files available | DOI
 

2022 | Research Data | IST-REx-ID: 11653 | OA
Elkrewi, M. N. (2022). Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:11653
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10080 | OA
Nardin, M., Käfer, K., & Csicsvari, J. L. (n.d.). The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2021.09.30.462269
[Preprint] View | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 10635 | OA
Nardin, M., Phillips, J. W., Podlaski, W. F., & Keemink, S. W. (2021). Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. Centre Mersenne ; Peer Community In. https://doi.org/10.24072/pcjournal.69
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10668 | OA
Babaiee, Z., Hasani, R., Lechner, M., Rus, D., & Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 478–489). Virtual: ML Research Press.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., & Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10694 | OA
Avni, G., Jecker, I. R., & Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976465.38
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Book Chapter | IST-REx-ID: 9403 | OA
Schmid, L., & Hilbe, C. (2021). The evolution of strategic ignorance in strategic interaction. In R. Hertwig & C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know (Vol. 29, pp. 139–152). MIT Press.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 9592 | OA
Dvorak, M., & Nicholson, S. (n.d.). Massively winning configurations in the convex grabbing game on the plane. In Proceedings of the 33rd Canadian Conference on Computational Geometry. Halifax, NS, Canada.
[Submitted Version] View | Files available | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9826 | OA
Auerbach, B., Chakraborty, S., Klein, K., Pascual Perez, G., Pietrzak, K. Z., Walter, M., & Yeo, M. X. (2021). Inverse-Sybil attacks in automated contact tracing. In Topics in Cryptology – CT-RSA 2021 (Vol. 12704, pp. 399–421). Virtual Event: Springer Nature. https://doi.org/10.1007/978-3-030-75539-3_17
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 11458 | OA
Peste, E.-A., Iofinova, E. B., Vladu, A., & Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10667 | OA
Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. https://doi.org/10.48550/arXiv.2111.03165
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Technical Report | IST-REx-ID: 6995 | OA
Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M., … Novitch, B. G. (2021). Identification of neural oscillations and epileptiform changes in human brain organoids (Vol. 24). Springer Nature. https://doi.org/10.1038/s41593-021-00906-5
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9387 | OA
Khudiakova, K., Neretina, T. Y., & Kondrashov, A. S. (2021). Two linked loci under mutation-selection balance and Muller’s ratchet. Journal of Theoretical Biology. Elsevier . https://doi.org/10.1016/j.jtbi.2021.110729
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2021 | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470547
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9558 | OA
Yalniz, G., Hof, B., & Budanur, N. B. (2021). Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.126.244502
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9818 | OA
Sperl, G., Narain, R., & Wojtan, C. (2021). Mechanics-aware deformation of yarn pattern geometry. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3450626.3459816
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2021 | Scientific Software | IST-REx-ID: 9327 | OA
Sperl, G., Narain, R., & Wojtan, C. (2021). Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria. https://doi.org/10.15479/AT:ISTA:9327
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9891 | OA
Lauritsen, A. B. (2021). Floating Wigner crystal and periodic jellium configurations. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0053494
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9903 | OA
Karle, V., Serbyn, M., & Michailidis, A. (2021). Area-law entangled eigenstates from nullspaces of local Hamiltonians. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.127.060602
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10666 | OA
Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In 2021 IEEE International Conference on Robotics and Automation (pp. 4140–4147). Xi’an, China. https://doi.org/10.1109/ICRA48506.2021.9561036
View | Files available | DOI | Download None (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 9121 | OA
Lauritsen, A. B. (2021). The BCS energy gap at low density. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01358-5
[Published Version] View | Files available | DOI | WoS
 

2021 | Thesis | IST-REx-ID: 9056 | OA
Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9022 | OA
Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9022
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 9416 | OA
Phuong, M., & Lampert, C. (2021). The inductive bias of ReLU networks on orthogonally separable data. In 9th International Conference on Learning Representations. Virtual.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Thesis | IST-REx-ID: 10007 | OA
Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 10191 | OA
Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., & Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3485541
[Published Version] View | Files available | DOI | arXiv
 

2021 | Thesis | IST-REx-ID: 10030 | OA
Portinale, L. (2021). Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10030
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9920 | OA
Peruzzo, M. (2021). Geometric superinductors and their applications in circuit quantum electrodynamics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9920
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10422 | OA
Piankov, A. (2021). Towards designer materials using customizable particle shape. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10422
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9418 | OA
Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9418
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 14278 | OA
Koval, I. (n.d.). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv. https://doi.org/10.48550/ARXIV.2111.12171
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 10199 | OA
Toman, V. (2021). Improved verification techniques for concurrent systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10199
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10035 | OA
Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10035
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10429 | OA
Nadiradze, G. (2021). On achieving scalability through relaxation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10429
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9760 | OA
Sack, S., & Serbyn, M. (2021). Quantum annealing initialization of the quantum approximate optimization algorithm. Quantum. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften. https://doi.org/10.22331/Q-2021-07-01-491
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Research Data | IST-REx-ID: 9323 | OA
Jirovec, D. (2021). Research data for “A singlet-triplet hole spin qubit planar Ge.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9323
[Published Version] View | Files available | DOI
 

2021 | Research Data | IST-REx-ID: 9389 | OA
Valentini, M. (2021). Research data for “Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9389
[Published Version] View | Files available | DOI
 

2021 | Research Data | IST-REx-ID: 9192 | OA
Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2021). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9192
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9733 | OA
Feliciangeli, D. (2021). The polaron at strong coupling. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9733
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9992 | OA
Hörmayer, L. (2021). Wound healing in the Arabidopsis root meristem. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9992
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10077 | OA
Nardin, M., Csicsvari, J. L., Tkačik, G., & Savin, C. (n.d.). The structure of hippocampal CA1 interactions optimizes spatial coding across experience. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2021.09.28.460602
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Thesis | IST-REx-ID: 9623 | OA
Caballero Mancebo, S. (2021). Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9623
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10058 | OA
Jirovec, D. (2021). Singlet-Triplet qubits and spin-orbit interaction in 2-dimensional Ge hole gases. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10058
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8909 | OA
Jirovec, D., Hofmann, A. C., Ballabio, A., Mutter, P. M., Tavani, G., Botifoll, M., … Katsaros, G. (2021). A singlet triplet hole spin qubit in planar Ge. Nature Materials. Springer Nature. https://doi.org/10.1038/s41563-021-01022-2
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Thesis | IST-REx-ID: 9397 | OA
Huljev, K. (2021). Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9397
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9562 | OA
Kleindienst, D. (2021). 2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9562
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934 | OA
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8934
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10307 | OA
Tomasek, K. (2021). Pathogenic Escherichia coli hijack the host immune response. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10307
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9913 | OA
Vega, A., Fredes, I., O’Brien, J., Shen, Z., Ötvös, K., Abualia, R., … Gutiérrez, R. A. (2021). Nitrate triggered phosphoproteome changes and a PIN2 phosphosite modulating root system architecture. EMBO Reports. Wiley. https://doi.org/10.15252/embr.202051813
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 10303 | OA
Abualia, R. (2021). Role of hormones in nitrate regulated growth. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10303
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9962 | OA
Hansen, A. H. (2021). Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9962
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10083 | OA
Li, L. (2021). Rapid cell growth regulation in Arabidopsis. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10083
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 10293 | OA
Schmid, L. (2021). Evolution of cooperation via (in)direct reciprocity under imperfect information. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10293
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9997 | OA
Schmid, L., Shati, P., Hilbe, C., & Chatterjee, K. (2021). The evolution of indirect reciprocity under action and assessment generosity. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-021-96932-1
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9402 | OA
Schmid, L., Chatterjee, K., Hilbe, C., & Nowak, M. A. (2021). A unified framework of direct and indirect reciprocity. Nature Human Behaviour. Springer Nature. https://doi.org/10.1038/s41562-021-01114-8
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Thesis | IST-REx-ID: 10135 | OA
Semerádová, H. (2021). Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10135
[Published Version] View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9728 | OA
Agrawal, N. (2021). Transition to turbulence and drag reduction in particle-laden pipe flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9728
[Published Version] View | Files available | DOI
 

2020 | Conference Paper | IST-REx-ID: 10673 | OA
Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2020). A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In Proceedings of the 37th International Conference on Machine Learning (pp. 4082–4093). Virtual.
[Published Version] View | Files available | Download Published Version (ext.)
 

2020 | Conference Paper | IST-REx-ID: 10672 | OA
Lechner, M. (2020). Learning representations for binary-classification without backpropagation. In 8th International Conference on Learning Representations. Virtual ; Addis Ababa, Ethiopia: ICLR.
[Published Version] View | Files available | Download Published Version (ext.)
 

2020 | Thesis | IST-REx-ID: 7514 | OA
Mayer, S. (2020). The free energy of a dilute two-dimensional Bose gas. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7514
[Published Version] View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 7460 | OA
Ölsböck, K. (2020). The hole system of triangulated shapes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7460
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 9196
Hensel, S., & Rosati, T. (2020). Modelled distributions of Triebel–Lizorkin type. Studia Mathematica. Instytut Matematyczny. https://doi.org/10.4064/sm180411-11-2
[Preprint] View | DOI | WoS | arXiv
 

2020 | Thesis | IST-REx-ID: 7196 | OA
Tkadlec, J. (2020). A role of graphs in evolutionary processes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7196
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 10190 | OA
Chatterjee, K., Pavlogiannis, A., & Toman, V. (2019). Value-centric dynamic partial order reduction. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360550
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2019 | Thesis | IST-REx-ID: 6825 | OA
Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible behavior. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6825
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 104 | OA
Seitner, D., Uhse, S., Gallei, M. C., & Djamei, A. (2018). The core effector Cce1 is required for early infection of maize by Ustilago maydis. Molecular Plant Pathology. Wiley. https://doi.org/10.1111/mpp.12698
[Published Version] View | Files available | DOI | WoS
 

2018 | Thesis | IST-REx-ID: 69 | OA
Vukušić, L. (2018). Charge sensing and spin relaxation times of holes in Ge hut wires. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_1047
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1130
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2015 | Thesis | IST-REx-ID: 1401 | OA
Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1401
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1405
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Thesis | IST-REx-ID: 2964
Kim, S. (2012). Active properties of hippocampal CA3 pyramidal neuron dendrites. Institute of Science and Technology Austria.
View | Files available
 

2010 | Thesis | IST-REx-ID: 3962
Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
View
 

Filters and Search Terms

department=Various

Search

Filter Publications