Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6293 Publications

2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “QuAK: Quantitative Automata Kit,” in 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Crete, Greece, 2024, vol. 15222, pp. 3–20.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 9651 | OA
M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata, vol. 218. Springer Nature, 2024.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
M. Dvorak and V. Kolmogorov, “Duality theory in linear optimization and its extensions -- formally  verified,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18101 | OA
D. Porley Esteves, “Structural characterization of spumavirus capsid assemblies,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18477 | OA
B. M. Kaczmarek, “Biochemical and structural insights into ADAR1 RNA editing,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18129 | OA
M. Janik, “Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 17881 | OA
S. Mukhopadhyay, “Thermal effects in one dimensional Josephson chains,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18471 | OA
N. Agudelo Duenas, “Visualizing the neuronal transcriptional landscape with tissue context,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Draft | Preprint | IST-REx-ID: 18144 | OA
M. Janik et al., “Strong charge-photon coupling in planar germanium enabled by granular  aluminium superinductors,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18104 | OA
D. Puglia, “Everyday electromechanics: Capacitive strong coupling to mechanical motion,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Draft | Preprint | IST-REx-ID: 18143 | OA
D. Puglia, R. H. Odessey, P. S. Burns, N. Luhmann, S. Schmid, and A. P. Higginbotham, “Room temperature, cavity-free capacitive strong coupling to mechanical  motion,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Draft | Preprint | IST-REx-ID: 18057 | OA
S. Mukhopadhyay, D. A. Lancheros Naranjo, J. L. Senior, and A. P. Higginbotham, “Dual relaxation oscillations in a Josephson junction array,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18574 | OA
D. Gupta, “Visual adaptations to natural statistics,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18531 | OA
A. Mrnjavac, “Early stages of sex chromosome evolution,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Draft | Preprint | IST-REx-ID: 18549 | OA
A. Mrnjavac and B. Vicoso, “Evidence of a Slower-Z effect in Schistosoma japonicum,” bioRxiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18661 | OA
M. Santana de Freitas Amaral, “Archaeal membranes : In silico modelling and design,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18642 | OA
N. N. Machnik, “Algorithms for causal learning and comparative analysis for genomic data,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Preprint | IST-REx-ID: 18648 | OA
N. N. Machnik, S. M. Mahmoudi, M. Borczyk, I. Krätschmer, M. J. Bauer, and M. R. Robinson, “Causal inference for multiple risk factors and diseases from genomics data,” bioRxiv. 2024.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2024 | Draft | Preprint | IST-REx-ID: 18670 | OA
M. Santana de Freitas Amaral, F. F. Frey, X. Jiang, B. Baum, and A. Šarić, “Stability vs flexibility: Reshaping archaeal membranes in silico,” bioRxiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2024 | Published | Journal Article | IST-REx-ID: 14796 | OA
S. Stankowski et al., “The genetic basis of a recent transition to live-bearing in marine snails,” Science, vol. 383, no. 6678. American Association for the Advancement of Science, pp. 114–119, 2024.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed