Please note that IST 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.

3211 Publications


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.
View | Files available | DOI | 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).
View | Files available | DOI | Download Preprint (ext.) | 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.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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.
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, PMLR, 2017, pp. 228–249.
View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 796 | OA
Al transmon qubits on silicon on insulator for quantum device integration
A.J. Keller, P. Dieterle, M. Fang, B. Berger, J.M. Fink, O. Painter, Applied Physics Letters 111 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 797
Photonenblockade aufgelöst
J.M. Fink, Physik in Unserer Zeit 48 (2017) 111–113.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 798 | OA
Mechanical on chip microwave circulator
S. Barzanjeh, M. Wulf, M. Peruzzo, M. Kalaee, P. Dieterle, O. Painter, J.M. Fink, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 799 | OA
BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana
S. Kitakura, M. Adamowski, Y. Matsuura, L. Santuari, H. Kouno, K. Arima, C. Hardtke, J. Friml, T. Kakimoto, H. Tanaka, Plant and Cell Physiology 58 (2017).
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 800 | OA
Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus
M. Strüber, J. Sauer, P.M. Jonas, M. Bartos, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 803 | OA
DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes
M. Samwer, M. Schneider, R. Hoefler, P.S. Schmalhorst, J. Jude, J. Zuber, D. Gerlic, Cell 170 (2017) 956–972.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 804 | OA
Overcoming the limitations of the MARTINI force field in simulations of polysaccharides
P.S. Schmalhorst, F. Deluweit, R. Scherrers, C.-P.J. Heisenberg, M.K. Sikora, Journal of Chemical Theory and Computation 13 (2017) 5039–5053.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 805
The E2A splice variant E47 regulates the differentiation of projection neurons via p57(KIP2) during cortical development
S. Pfurr, Y. Chu, C. Bohrer, F. Greulich, R.J. Beattie, K. Mammadzada, M. Hils, S. Arnold, V. Taylor, K. Schachtrup, N.H. Uhlenhaut, C. Schachtrup, Development 144 (2017) 3917–3931.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 807 | OA
Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung
M. Andrae, M. Villányi, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare 70 (2017) 274–280.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 818 | OA
Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819 | OA
Disease defence in garden ants
C. Pull, Disease Defence in Garden Ants, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 822 | OA
Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections
M. de Vos, M.P. Zagórski, A. Mcnally, M.T. Bollenbach, PNAS 114 (2017) 10666–10671.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 823 | OA
Phase transitions in integer linear problems
S. Colabrese, D. De Martino, L. Leuzzi, E. Marinari, Journal of Statistical Mechanics: Theory and Experiment 2017 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 824 | OA
Heteroclinic path to spatially localized chaos in pipe flow
N.B. Budanur, B. Hof, Journal of Fluid Mechanics 827 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 825 | OA
Metadata for research data in practice
B. Petritsch, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 70 (2017) 200–207.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 833 | OA
Streaming algorithm for Euler characteristic curves of multidimensional images
T. Heiss, H. Wagner, in:, M. Felsberg, A. Heyden, N. Krüger (Eds.), Springer, 2017, pp. 397–409.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 834 | OA
Thouless energy and multifractality across the many-body localization transition
M. Serbyn, P. Zlatko, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 836
Finding eigenvalues of self-maps with the Kronecker canonical form
M. Ethier, G. Jablonski, M. Mrozek, in:, Special Sessions in Applications of Computer Algebra, Springer, 2017, pp. 119–136.
View | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, IST Austria, 2017.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 84
Computational topology for structural molecular biology
H. Edelsbrunner, P. Koehl, in:, C. Toth, J. O’Rourke, J. Goodman (Eds.), Handbook of Discrete and Computational Geometry, Third Edition, CRC Press, 2017, pp. 1709–1735.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 840 | OA
Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry
L. Vukušić, J. Kukucka, H. Watzinger, G. Katsaros, Nano Letters 17 (2017) 5706–5710.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 8450
Methyl-specific isotope labeling strategies for NMR studies of membrane proteins
V. Kurauskas, P. Schanda, R. Sounier, in:, Membrane Protein Structure and Function Characterization, Springer Nature, 2017, pp. 109–123.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Exact goodness-of-fit testing for the Ising model
A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Thesis | IST-REx-ID: 202 | OA
Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 715
More excitation for Rett syndrome
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 

2017 | Journal Article | IST-REx-ID: 716 | OA
The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
View | DOI | Download Preprint (ext.) | arXiv
 
 

2017 | Journal Article | IST-REx-ID: 717 | OA
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 718 | OA
Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
H. Edelsbrunner, A. Nikitenko, M. Reitzner, Advances in Applied Probability 49 (2017) 745–767.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 719
Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 720 | OA View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 721 | OA
Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 722 | OA
Shaping 3D root system architecture
E. Morris, M. Griffiths, A. Golebiowska, S. Mairhofer, J. Burr Hersey, T. Goh, D. von Wangenheim, B. Atkinson, C. Sturrock, J. Lynch, K. Vissenberg, K. Ritz, D. Wells, S. Mooney, M. Bennett, Current Biology 27 (2017) R919–R930.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 724 | OA
Noninteracting central site model localization and logarithmic entanglement growth
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 725 | OA
Discrete modes of social information processing predict individual behavior of fish in a group
R. Harpaz, G. Tkačik, E. Schneidman, PNAS 114 (2017) 10149–10154.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 726 | OA
A unifying theory of branching morphogenesis
E.B. Hannezo, C. Scheele, M. Moad, N. Drogo, R. Heer, R. Sampogna, J. Van Rheenen, B. Simons, Cell 171 (2017) 242–255.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 727
Load adaptation of lamellipodial actin networks
J. Mueller, G. Szep, M. Nemethova, I. de Vries, A. Lieber, C. Winkler, K. Kruse, J. Small, C. Schmeiser, K. Keren, R. Hauschild, M.K. Sixt, Cell 171 (2017) 188–200.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 728
Coordination of morphogenesis and cell fate specification in development
C. Chan, C.-P.J. Heisenberg, T. Hiiragi, Current Biology 27 (2017) R1024–R1035.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 729
Regeneration tensed up polyploidy takes the lead
Z.P. Spiro, C.-P.J. Heisenberg, Developmental Cell 42 (2017) 559–560.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 730
Maximum entropy models as a tool for building precise neural controls
C. Savin, G. Tkačik, Current Opinion in Neurobiology 46 (2017) 120–126.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 731
The science of love in ASD and ADHD
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications