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.

2616 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
Flower colour data and phylogeny (NEXUS) files
T. Ellis, D. Field, (2016).
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Data on pollinator observations and offpsring phenotypes
T. Ellis, (2016).
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.
T. Ellis, (2016).
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5553 | OA
Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012
D. Field, T. Ellis, (2016).
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Fiji script to determine average speed and direction of migration of cells
R. Hauschild, (2016).
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, M. Landon, R. Jajoo, (2016).
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Synthetic discrete tomography problems
P. Swoboda, (2016).
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA
Tracking, Correcting and Absorbing Water Surface Waves
M. Bojsen-Hansen, (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1270 | OA
Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information
P. Hillenbrand, U. Gerland, G. Tkačik, PLoS One 11 (2016).
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
Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies
H. Matsuno, M. Kudoh, A. Watakabe, T. Yamamori, R. Shigemoto, S. Nagao, PLoS One 11 (2016).
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
Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses
N. Vyleta, C. Borges Merjane, P.M. Jonas, ELife 5 (2016).
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.)
 

2016 | Journal Article | IST-REx-ID: 1328 | OA
Heavy-hole states in germanium hut wires
H. Watzinger, C. Kloeffel, L. Vukušić, M. Rossell, V. Sessi, J. Kukucka, R. Kirchschlager, E. Lausecker, A. Truhlar, M. Glaser, A. Rastelli, A. Fuhrer, D. Loss, G. Katsaros, Nano Letters 16 (2016) 6879–6885.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1329 | OA
De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata
A.K. Huylmans, A. López Ezquerra, J. Parsch, M. Cordellier, Genome Biology and Evolution 8 (2016) 3120–3139.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1330 | OA
Billiards in convex bodies with acute angles
A. Akopyan, A. Balitskiy, Israel Journal of Mathematics 216 (2016) 833–845.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1332 | OA
Pervasive selection for and against antibiotic resistance in inhomogeneous multistress environments
R.P. Chait, A. Palmer, I. Yelin, R. Kishony, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1333 | OA
Humans choose representatives who enforce cooperation in social dilemmas through extortion
M. Milinski, C. Hilbe, D. Semmann, R. Sommerfeld, J. Marotzke, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1334 | OA
Activity dependent plasticity of hippocampal place maps
P. Schönenberger, J. O’Neill, J.L. Csicsvari, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1335 | OA
Quantitative monitor automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Springer, 2016, pp. 23–38.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1339 | OA
Tunable mechanical coupling between driven microelectromechanical resonators
G. Verbiest, D. Xu, M. Goldsche, T. Khodkov, S. Barzanjeh, N. Von Den Driesch, D. Buca, C. Stampfer, Applied  Physics Letter 109 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1340 | OA
The big match in small space
K. Hansen, R. Ibsen-Jensen, M. Koucký, in:, Springer, 2016, pp. 64–76.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1341 | OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1342 | OA
Spatiotemporal microbial evolution on antibiotic landscapes
M. Baym, T. Lieberman, E. Kelsic, R.P. Chait, R. Gross, I. Yelin, R. Kishony, Science 353 (2016) 1147–1151.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1343 | OA
Dissipative preparation of antiferromagnetic order in the Fermi-Hubbard model
J. Kaczmarczyk, H. Weimer, M. Lemeshko, New Journal of Physics 18 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1344 | OA
TIR1 AFB Aux IAA auxin perception mediates rapid cell wall acidification and growth of Arabidopsis hypocotyls
M. Fendrych, J. Leung, J. Friml, ELife 5 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1345 | OA
Plasma membrane: Negative attraction
G. Molnar, M. Fendrych, J. Friml, Nature Plants 2 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1346 | OA
Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification
Dejonghe W, Kuenen S, Mylle E, Vasileva MK, Keech O, Viotti C, Swerts J, Fendrych M, Ortiz Morea F, Mishev K, Delang S, Scholl S, Zarza X, Heilmann M, Kourelis J, Kasprowicz J, Nguyen L, Drozdzecki A, Van Houtte I, Szatmári A, Majda M, Baisa G, Bednarek S, Robert S, Audenaert D, Testerink C, Munnik T, Van Damme D, Heilmann I, Schumacher K, Winne J, Friml J, Verstreken P, Russinova E. 2016. Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. 7, 11710.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1347 | OA
Deformation of a quantum many-particle system by a rotating impurity
R. Schmidt, M. Lemeshko, Physical Review X 6 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1348 | OA
Bounded embeddings of graphs in the plane
R. Fulek, in:, Springer, 2016, pp. 31–42.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1349 | OA
When non-elitism outperforms elitism for crossing fitness valleys
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, B. Trubenova, in:, Proceedings of the Genetic and Evolutionary Computation Conference 2016 , ACM, 2016, pp. 1163–1170.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1350 | OA
Synaptic mechanisms of pattern completion in the hippocampal CA3 network
J. Guzmán, A. Schlögl, M. Frotscher, P.M. Jonas, Science 353 (2016) 1117–1123.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1352 | OA
Coexistence of nematic order and superconductivity in the Hubbard model
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1353 | OA
Deciding absorption
L. Barto, A. Kazda, International Journal of Algebra and Computation 26 (2016) 1033–1060.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1354 | OA
Superconducting cavity electromechanics on a silicon-on-insulator platform
P. Dieterle, M. Kalaee, J.M. Fink, O. Painter, Physical Review Applied 6 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1355 | OA
Quantum electromechanics on silicon nitride nanomembranes
J.M. Fink, M. Kalaee, A. Pitanti, R. Norte, L. Heinzle, M. Davanço, K. Srinivasan, O. Painter, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1356 | OA
Sewall Wright on evolution in Mendelian populations and the “Shifting Balance”
N.H. Barton, Genetics 202 (2016) 3–4.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1357 | OA
Richard Hudson and Norman Kaplan on the coalescent process
N.H. Barton, Genetics 202 (2016) 865–866.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1358 | OA
Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkačik, Nature Communications 7 (2016).
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1359 | OA
The effect of gene interactions on the long-term response to selection
T. Paixao, N.H. Barton, PNAS 113 (2016) 4422–4427.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1360 | OA
Elementary approach to closed billiard trajectories in asymmetric normed spaces
A. Akopyan, A. Balitskiy, R. Karasev, A. Sharipova, Proceedings of the American Mathematical Society 144 (2016) 4501–4513.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1361 | OA
Surface only liquids
F. Da, D. Hahn, C. Batty, C.J. Wojtan, E. Grinspun, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1362 | OA
Fast approximations for boundary element based brittle fracture simulation
D. Hahn, C.J. Wojtan, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1363 | OA
Generalized non-reflecting boundaries for fluid re-simulation
M. Bojsen-Hansen, C.J. Wojtan, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1364 | OA
Computational design of stable planar-rod structures
E. Miguel Villalba, M. Lepoutre, B. Bickel, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1365 | OA
Efficiently computing data-independent memory-hard functions
J.F. Alwen, J. Blocki, in:, Springer, 2016, pp. 241–271.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1366 | OA
Provably robust sponge-based PRNGs and KDFs
P. Gazi, S. Tessaro, in:, Springer, 2016, pp. 87–116.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1368 | OA
Correlation driven d wave superconductivity in Anderson lattice model: Two gaps
M. Wysokiński, J. Kaczmarczyk, J. Spałek, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1369 | OA
Seed, expand and constrain: Three principles for weakly-supervised image segmentation
A. Kolesnikov, C. Lampert, in:, Springer, 2016, pp. 695–711.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1370 | OA
Phonon Josephson junction with nanomechanical resonators
S. Barzanjeh, D. Vitali, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1372 | OA
Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis
M. Pernisová, T. Prat, P. Grones, D. Haruštiaková, M. Matonohova, L. Spíchal, T. Nodzyński, J. Friml, J. Hejátko, New Phytologist 212 (2016) 497–509.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1373 | OA
Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function"
O. Martin, M.P. Zagórski, Physics of Life Reviews 17 (2016) 168–171.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1377 | OA
Total variation on a tree
V. Kolmogorov, T. Pock, M. Rolinek, SIAM Journal on Imaging Sciences 9 (2016) 605–636.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1378 | OA
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1380 | OA
On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1381 | OA
Eliminating higher-multiplicity intersections, II. The deleted product criterion in the r-metastable range
I. Mabillard, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2016, p. 51.1-51.12.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1389 | OA
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1394 | OA
Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
View | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1398 | OA
The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone
T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, IST Austria, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1408 | OA
On computability and triviality of well groups
P. Franek, M. Krcál, Discrete & Computational Geometry 56 (2016) 126–164.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1409 | OA
Genomics of hybridization and its evolutionary consequences
R. Abbott, N.H. Barton, J. Good, Molecular Ecology 25 (2016) 2325–2332.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications