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.

4895 Publications


2018 | Research Data | IST-REx-ID: 5577 | OA [Submitted Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5578 | OA
IOP Austrian Publications 2012-2015
M. Villányi, (2018).
[Submitted Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5574 | OA
Data Check IOP Scopus vs. Publisher
M. Villányi, (2018).
[Submitted Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 278 | OA
Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken
M. Villányi, Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken, Universität Wien, 2018.
[Published Version] View | Files available | Download Published Version (ext.)
 

2018 | Research Data | IST-REx-ID: 5588 | OA [Published Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5582 | OA [Submitted Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5581 | OA [Submitted Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5580 | OA
SAGE Austrian Publications 2013-2017
M. Villányi, (2018).
[Submitted Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5579 | OA
RSC Austrian Publications 2013-2017
M. Villányi, (2018).
[Submitted Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5576 | OA
Data Check T&F Scopus vs. FWF
M. Villányi, (2018).
[Submitted Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5575 | OA
Data Check RSC Scopus vs. FWF
M. Villányi, (2018).
[Submitted Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 292 | OA
Nonlinear decoding of a complex movie from the mammalian retina
V. Botella Soler, S. Deny, G.S. Martius, O. Marre, G. Tkačik, PLoS Computational Biology 14 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 438 | OA
Autoregulation of mazEF expression underlies growth heterogeneity in bacterial populations
N. Nikolic, T. Bergmiller, A. Vandervelde, T. Albanese, L. Gelens, I. Moll, Nucleic Acids Research 46 (2018) 2918–2931.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 131 | OA
Evolution of gene dosage on the Z-chromosome of schistosome parasites
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Research Data | IST-REx-ID: 5584 | OA
Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 286
Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering
T. Ellis, D. Field, N.H. Barton, Molecular Ecology Resources 18 (2018) 988–999.
View | Files available | DOI | WoS
 
 

2018 | Research Data | IST-REx-ID: 5583 | OA [Published Version] View | Files available | DOI
 

2018 | Research Data | IST-REx-ID: 5569 | OA
Time-lapse microscopy data
T. Bergmiller, N. Nikolic, (2018).
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 161 | OA
Statistical mechanics for metabolic networks during steady state growth
D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications 9 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Research Data | IST-REx-ID: 5587 | OA [Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 542 | OA
Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver
R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 5751 | OA
Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Research Data | IST-REx-ID: 5757 | OA [Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 149 | OA
Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 415 | OA
Effect of a magnetic field on molecule–solvent angular momentum transfer
W. Rzadkowski, M. Lemeshko, The Journal of Chemical Physics 148 (2018).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 134 | OA
Water surface wavelets
S. Jeschke, T. Skrivan, M. Mueller Fischer, N. Chentanez, M. Macklin, C. Wojtan, ACM Transactions on Graphics 37 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 6339 | OA
Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems
G. Bighin, T. Tscherbul, M. Lemeshko, Physical Review Letters 121 (2018).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 417 | OA
Diagrammatic Monte Carlo approach to rotating molecular impurities
G. Bighin, T. Tscherbul, M. Lemeshko, Physical Review Letters 121 (2018).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 412 | OA
A functional study of AUXILIN LIKE1 and 2 two putative clathrin uncoating factors in Arabidopsis
M. Adamowski, M. Narasimhan, U. Kania, M. Glanc, G. De Jaeger, J. Friml, The Plant Cell 30 (2018) 700–716.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 5914 | OA [Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 402 | OA
Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice
M. Brown, F.P. Assen, A.F. Leithner, J. Abe, H. Schachner, G. Asfour, Z. Bagó Horváth, J. Stein, P. Uhrin, M.K. Sixt, D. Kerjaschki, Science 359 (2018) 1408–1411.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Thesis | IST-REx-ID: 395 | OA
The branched chain amino acids in autism spectrum disorders
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 51 | OA
From the left to the right: A tale of asymmetries, environments, and hippocampal development
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 10 | OA
Role of genomic imprinting in cerebral cortex development
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 323 | OA
Branched actin networks in dendritic cell biology
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 539 | OA
Identification and characterization of novel auxin-cytokinin cross-talk components
A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 48 | OA
Reactivation content is important for consolidation of spatial memory
I. Gridchyn, Reactivation Content Is Important for Consolidation of Spatial Memory, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 9 | OA
Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 6266 | OA
Design and characterization of methods and biological components to realize synthetic neurotransmission
C. Mckenzie, Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission , Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 50 | OA
Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration
D. Capek, Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 26 | OA
The influence of sequence context on the evolution of bacterial gene expression
M. Steinrück, The Influence of Sequence Context on the Evolution of Bacterial Gene Expression, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 5816 | OA
30 GHz-voltage controlled oscillator operating at 4 K
A. Hollmann, D. Jirovec, M. Kucharski, D. Kissinger, G. Fischer, L.R. Schreiber, Review of Scientific Instruments 89 (2018).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Thesis | IST-REx-ID: 6263 | OA
Genetic determinants of antibiotic resistance evolution
M. Lukacisinova, Genetic Determinants of Antibiotic Resistance Evolution, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 544 | OA
Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues
A. György, M. Roblek, A. Ratheesh, K. Valosková, V. Belyaeva, S. Wachner, Y. Matsubayashi, B. Sanchez Sanchez, B. Stramer, D.E. Siekhaus, G3: Genes, Genomes, Genetics 8 (2018) 845–857.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 612 | OA
Differential association of GABAB receptors with their effector ion channels in Purkinje cells
R. Luján, C. Aguado, F. Ciruela, J. Cózar, D. Kleindienst, L. De La Ossa, B. Bettler, K. Wickman, M. Watanabe, R. Shigemoto, Y. Fukazawa, Brain Structure and Function 223 (2018) 1565–1587.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 21 | OA
Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus
C. Espinoza Martinez, J. Guzmán, X. Zhang, P.M. Jonas, Nature Communications 9 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 66 | OA
Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | Files available | DOI | arXiv
 

2018 | Conference Paper | IST-REx-ID: 311 | OA
Quantitative analysis of smart contracts
K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 6340 | OA
Secure Credit Reporting on the Blockchain
A.K. Goharshady, A. Behrouz, K. Chatterjee, in:, Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–1348.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 6009 | OA
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, ACM Transactions on Programming Languages and Systems 40 (2018).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Conference Paper | IST-REx-ID: 5977 | OA
Computational approaches for stochastic shortest path on succinct MDPs
K. Chatterjee, H. Fu, A.K. Goharshady, N. Okati, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4700–4707.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Journal Article | IST-REx-ID: 422 | OA
Relaminarization by steady modification of the streamwise velocity profile in a pipe
J. Kühnen, D. Scarselli, M. Schaner, B. Hof, Flow Turbulence and Combustion 100 (2018) 919–942.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 461 | OA
Destabilizing turbulence in pipe flow
J. Kühnen, B. Song, D. Scarselli, N.B. Budanur, M. Riedl, A. Willis, M. Avila, B. Hof, Nature Physics 14 (2018) 386–390.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2018 | Journal Article | IST-REx-ID: 449 | OA
WRKY23 is a component of the transcriptional network mediating auxin feedback on PIN polarity
T. Prat, J. Hajny, W. Grunewald, M.K. Vasileva, G. Molnar, R. Tejos, M. Schmid, M. Sauer, J. Friml, PLoS Genetics 14 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 191 | OA
PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism
P. Grones, M.F. Abas, J. Hajny, A. Jones, S. Waidmann, J. Kleine Vehn, J. Friml, Scientific Reports 8 (2018).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 47
Transporters and mechanisms of hormone transport in arabidopsis
R. Abualia, E. Benková, B. Lacombe, Advances in Botanical Research 87 (2018) 115–138.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 15 | OA
Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells
M. Hons, A. Kopf, R. Hauschild, A.F. Leithner, F.R. Gärtner, J. Abe, J. Renkawitz, J. Stein, M.K. Sixt, Nature Immunology 19 (2018) 606–616.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 28
Incorrect trafficking route leads to autism
X. Contreras, S. Hippenmeyer, Brain a Journal of Neurology 141 (2018) 2542–2544.
View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 442 | OA [Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 3 | OA
Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition
E. Deliu, N. Arecco, J. Morandell, C. Dotter, X. Contreras, C. Girardot, E. Käsper, A. Kozlova, K. Kishi, I. Chiaradia, K. Noh, G. Novarino, Nature Neuroscience 21 (2018) 1717–1727.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 2 | OA
Indirect reciprocity with private, noisy, and incomplete information
C. Hilbe, L. Schmid, J. Tkadlec, K. Chatterjee, M. Nowak, PNAS 115 (2018) 12241–12246.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 67 | OA
Evolutionary potential of transcription factors for gene regulatory rewiring
C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, Nature Ecology and Evolution 2 (2018) 1633–1643.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Research Data | IST-REx-ID: 5585 | OA
Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring
C. Igler, M. Lagator, G. Tkačik, J.P. Bollback, C.C. Guet, (2018).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1013 | OA [Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10418 | OA
A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1112
An application of stochastic differential equations to evolutionary algorithms
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 1175 | OA
Cumulative space in black-white pebbling and resolution
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1191 | OA
Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1211 | OA
Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1113 | OA
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications 21 (2017) 135–154.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Book Chapter | IST-REx-ID: 444
Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 453 | OA
Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 464 | OA
Improved algorithms for parity and Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
[Published Version] View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 470 | OA
Water wave packets
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 471 | OA
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 481 | OA
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 484 | OA
Bogoliubov correction to the mean-field dynamics of interacting bosons
P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 483 | OA
Universality for a class of random band matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 487
Towards unlicensed cellular networks in TV white spaces
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 514 | OA
Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum
J. Simonnet, M. Nassar, F. Stella, I. Cohen, B. Mathon, C.N. Boccara, R. Miles, D. Fricker, Nature Communications 8 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 515 | OA
Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain
J.A. Letts, L.A. Sazanov, Nature Structural and Molecular Biology 24 (2017) 800–808.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 513 | OA
Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence
L. Klotz, G.M. Lemoult, I. Frontczak, L. Tuckerman, J. Wesfreid, Physical Review Fluids 2 (2017).
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 520
Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803
W. Du, A. Angermayr, J. Jongbloets, D. Molenaar, H. Bachmann, K. Hellingwerf, F. Branco Dos Santos, ACS Synthetic Biology 6 (2017) 395–401.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 521 | OA
Higson compactification and dimension raising
K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 534 | OA
Finding non-orientable surfaces in 3-Manifolds
B. Burton, A.N. de Mesmay, U. Wagner, Discrete & Computational Geometry 58 (2017) 871–888.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 538 | OA
Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie 129 (2017) 4679–4682.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 540 | OA
Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein
K. Khamina, A. Lercher, M. Caldera, C. Schliehe, B. Vilagos, M. Sahin, L. Kosack, A. Bhattacharya, P. Májek, A. Stukalov, R. Sacco, L. James, D. Pinschewer, K. Bennett, J. Menche, A. Bergthaler, PLoS Pathogens 13 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 466 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 467 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 465 | OA
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 512 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Scientific Reports 7 (2017).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
Optimal Dyck reachability for data-dependence and Alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version] View | Files available | DOI | arXiv
 

2017 | Technical Report | IST-REx-ID: 5455 | OA
Optimal Dyck reachability for data-dependence and alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Optimal Dyck Reachability for Data-Dependence and Alias Analysis, IST Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Report | IST-REx-ID: 5450 | OA
Implementing the institutional data repository IST DataRep
B. Petritsch, Implementing the Institutional Data Repository IST DataRep, IST Austria, 2017.
View | Files available | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 10417 | OA
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Technical Report | IST-REx-ID: 5456 | OA
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2017.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 551 | OA
Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 552 | OA
Faster algorithms for mean-payoff parity games
K. Chatterjee, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 553 | OA
Strategy complexity of concurrent safety games
K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications