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.

2621 Publications


2017 | Conference Paper | IST-REx-ID: 949 | OA
JTDec: A tool for tree decompositions in soot
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Non-polynomial worst case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1794 | OA
Inference algorithms for pattern-based CRFs on sequence data
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 510 | OA
The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5452 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA View | Files available | DOI
 
 

2016 | Research Data | IST-REx-ID: 5553 | OA View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA View | Files available | DOI
 
 

2016 | Research Data | IST-REx-ID: 5557 | OA View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1270 | OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1271 | OA
Steering cell migration by alternating blebs and actin-rich protrusions
A. Diz Muñoz, P. Romanczuk, W. Yu, M. Bergert, K. Ivanovitch, G. Salbreux, C.-P.J. Heisenberg, E. Paluch, BMC Biology 14 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1272 | OA
Generalized offsetting of planar structures using skeletons
M. Held, S. Huber, P. Palfrader, Computer-Aided Design and Applications 13 (2016) 712–721.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1273 | OA
Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3
S. Porco, A. Larrieu, Y. Du, A. Gaudinier, T. Goh, K. Swarup, R. Swarup, B. Kuempers, A. Bishopp, J. Lavenus, I. Casimiro, K. Hill, E. Benková, H. Fukaki, S. Brady, B. Scheres, B. Peéet, M. Bennett, Development 143 (2016) 3340–3349.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1274 | OA
Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis
E. Mazur, E. Benková, J. Friml, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1276 | OA
Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome bc1 complex
P. Postila, K. Kaszuba, P. Kuleta, I. Vattulainen, M. Sarewicz, A. Osyczka, T. Róg, Scientific Reports 6 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1277 | OA
Danger-associated peptide signaling in Arabidopsis requires clathrin
F. Ortiz Morea, D. Savatin, W. Dejonghe, R. Kumar, Y. Luo, M. Adamowski, J. Van Begin, K. Dressano, G. De Oliveira, X. Zhao, Q. Lu, A. Madder, J. Friml, D. De Moura, E. Russinova, PNAS 113 (2016) 11028–11033.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1278 | OA View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1279 | OA
Optogenetically blocking sharp wave ripple events in sleep does not interfere with the formation of stable spatial representation in the CA1 area of the hippocampus
K. Kovács, J. O’Neill, P. Schönenberger, M. Penttonen, D.K. Rangel Guerrero, J.L. Csicsvari, PLoS One 11 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1280 | OA
Fixed energy universality for generalized wigner matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Communications on Pure and Applied Mathematics 69 (2016) 1815–1881.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1281 | OA
Nitrate controls root development through posttranscriptional regulation of the NRT1.1/NPF6.3 transporter sensor
E. Bouguyon, F. Perrine Walker, M. Pervent, J. Rochette, C. Cuesta, E. Benková, A. Martinière, L. Bach, G. Krouk, A. Gojon, P. Nacry, Plant Physiology 172 (2016) 1237–1248.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1282 | OA
On eigenvalues of random complexes
A. Gundert, U. Wagner, Israel Journal of Mathematics 216 (2016) 545–582.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1286 | OA
Rotation of cold molecular ions inside a Bose-Einstein condensate
B. Midya, M. Tomza, R. Schmidt, M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 94 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1287 | OA
Modes and exceptional points in waveguides with impedance boundary conditions
B. Midya, V. Konotop, Optics Letters 41 (2016) 4621–4624.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1289 | OA
The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, R. Kuvaev, S. Kashin, Pattern Recognition Letters 83 (2016) 13–22.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1290 | OA
Compounds that select against the tetracycline-resistance efflux pump
L. Stone, M. Baym, T. Lieberman, R.P. Chait, J. Clardy, R. Kishony, Nature Chemical Biology 12 (2016) 902–904.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1291 | OA
Periodic striped ground states in Ising models with competing interactions
A. Giuliani, R. Seiringer, Communications in Mathematical Physics 347 (2016) 983–1007.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1292 | OA
Computing the Thurston–Bennequin invariant in open books
S. Durst, M. Kegel, M.D. Klukas, Acta Mathematica Hungarica 150 (2016) 441–455.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1293 | OA
Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without K5 minors
L.T. Solus, C. Uhler, R. Yoshida, Linear Algebra and Its Applications 509 (2016) 247–275.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1322 | OA
Asymmetric power boosts extortion in an economic experiment
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1323 | OA View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1325 | OA
Stability in graphs and games
T. Brázdil, V. Forejt, A. Kučera, P. Novotný, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1326 | OA
Optimizing the expected mean payoff in Energy Markov Decision Processes
T. Brázdil, A. Kučera, P. Novotný, in:, Springer, 2016, pp. 32–49.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1327 | OA
Stochastic shortest path with energy constraints in POMDPs
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, P. Novotný, in:, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–1466.
View | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications