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.




6366 Publications

2019 | Published | Journal Article | IST-REx-ID: 6857 | OA
Giese, B, J L Friess, M F Schetelig, Nicholas H Barton, Philip Messer, Florence Debarre, H Meimberg, N Windbichler, and C Boete. “Gene Drives: Dynamics and Regulatory Matters – A Report from the Workshop ‘Evaluation of Spatial and Temporal Control of Gene Drives’, 4 – 5 April 2019, Vienna.” BioEssays. Wiley, 2019. https://doi.org/10.1002/bies.201900151.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6858 | OA
Barton, Nicholas H. “Is Speciation Driven by Cycles of Mixing and Isolation?” National Science Review. Oxford University Press, 2019. https://doi.org/10.1093/nsr/nwy113.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6859
Zhou, Long, and Leonid A Sazanov. “Structure and Conformational Plasticity of the Intact Thermus Thermophilus V/A-Type ATPase.” Science. AAAS, 2019. https://doi.org/10.1126/science.aaw9144.
View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Avni, Guy, Thomas A Henzinger, and Dorde Zikelic. “Bidding Mechanisms in Graph Games,” Vol. 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.MFCS.2019.11.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6885 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Long-Run Average Behavior of Vector Addition Systems with States,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.27.
[Published Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.20.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Alexander Svozil. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” In Leibniz International Proceedings in Informatics, Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.7.
[Published Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6888 | OA
Lechner, Mathias, Ramin Hasani, Manuel Zimmer, Thomas A Henzinger, and Radu Grosu. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” In Proceedings - IEEE International Conference on Robotics and Automation, Vol. 2019–May. IEEE, 2019. https://doi.org/10.1109/icra.2019.8793840.
[Submitted Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, Krishnendu, and Nir Piterman. “Combinations of Qualitative Winning for Stochastic Parity Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.6.
[Published Version] View | Files available | DOI
 
2019 | Published | Book Chapter | IST-REx-ID: 6890
Obr, Martin, and Florian KM Schur. “Structural Analysis of Pleomorphic and Asymmetric Viruses Using Cryo-Electron Tomography and Subtomogram Averaging.” In Complementary Strategies to Study Virus Structure and Function, edited by Félix A. Rey, 105:117–59. Advances in Virus Research. Elsevier, 2019. https://doi.org/10.1016/bs.aivir.2019.07.008.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6896
Oliveira, Bárbara, Aysan Çerağ Yahya, and Gaia Novarino. “Modeling Cell-Cell Interactions in the Brain Using Cerebral Organoids.” Brain Research. Elsevier, 2019. https://doi.org/10.1016/j.brainres.2019.146458.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 6920
Artner, Christina, and Eva Benková. “Ethylene and Cytokinin - Partners in Root Growth Regulation.” Molecular Plant. Cell Press, 2019. https://doi.org/10.1016/j.molp.2019.09.003.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Published | Conference Paper | IST-REx-ID: 6931 | OA
Nowak, Thomas, and Joel Rybicki. “Byzantine Approximate Agreement on Graphs.” In 33rd International Symposium on Distributed Computing, 146:29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.DISC.2019.29.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6933 | OA
Censor-Hillel, Keren, Michal Dory, Janne Korhonen, and Dean Leitersdorf. “Fast Approximate Shortest Paths in the Congested Clique.” In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, 74–83. ACM, 2019. https://doi.org/10.1145/3293611.3331633.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6935 | OA
Foerster, Klaus-Tycho, Janne Korhonen, Joel Rybicki, and Stefan Schmid. “Does Preprocessing Help under Congestion?” In Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 259–61. ACM, 2019. https://doi.org/10.1145/3293611.3331581.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6936 | OA
Ovaskainen, Otso, Joel Rybicki, and Nerea Abrego. “What Can Observational Data Reveal about Metacommunity Processes?” Ecography. Wiley, 2019. https://doi.org/10.1111/ecog.04444.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6940 | OA
Bighin, Giacomo, Nicolò Defenu, István Nándori, Luca Salasnich, and Andrea Trombettoni. “Berezinskii-Kosterlitz-Thouless Paired Phase in Coupled XY Models.” Physical Review Letters. American Physical Society, 2019. https://doi.org/10.1103/physrevlett.123.100601.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6942 | OA
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6955 | OA
Schmickler, C.H., H.-W. Hammer, and Artem Volosniev. “Universal Physics of Bound States of a Few Charged Particles.” Physics Letters B. Elsevier, 2019. https://doi.org/10.1016/j.physletb.2019.135016.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6972 | OA
Lenzen, Christoph, and Joel Rybicki. “Self-Stabilising Byzantine Clock Synchronisation Is Almost as Easy as Consensus.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3339471.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed