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.

2618 Publications


2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee K, Goharshady AK, Pavlogiannis A. JTDec: A tool for tree decompositions in soot. In: D’Souza D, ed. Vol 10482. Springer; 2017:59-66. doi:10.1007/978-3-319-68167-2_4
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst case analysis of recursive programs. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:41-63. doi:10.1007/978-3-319-63390-9_3
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius GS, Hostettler R, Knoll A, Der R. Self-organized control of an tendon driven arm by differential extrinsic plasticity. In: Proceedings of the Artificial Life Conference 2016. Vol 28. MIT Press; 2016:142-143. doi:10.7551/978-0-262-33936-0-ch029
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov S, Donzé A, Frehse G, et al. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 2016;18(4):449-467. doi:10.1007/s10009-015-0393-y
View | Files available | DOI
 

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

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

2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee J, Schnelli K. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 2016;164(1-2):165-241. doi:10.1007/s00440-014-0610-8
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, et al. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 2016;11(6). doi:10.1080/15592324.2016.1191734
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
View | Files available | DOI
 

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

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous 1, Anonymous 2, Anonymous 3. 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
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-728-v2-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis T, Field D. Flower colour data and phylogeny (NEXUS) files. 2016. doi:10.15479/AT:ISTA:34
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis T. Data on pollinator observations and offpsring phenotypes. 2016. doi:10.15479/AT:ISTA:35
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis T. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data. 2016. doi:10.15479/AT:ISTA:36
View | Files available | DOI
 

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

2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild R. Fiji script to determine average speed and direction of migration of cells. 2016. doi:10.15479/AT:ISTA:44
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin M, Landon M, Jajoo R. MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” 2016. doi:10.15479/AT:ISTA:45
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda P. Synthetic discrete tomography problems. 2016. doi:10.15479/AT:ISTA:46
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA
Bojsen-Hansen M. Tracking, Correcting and Absorbing Water Surface Waves. 2016. doi:10.15479/AT:ISTA:48
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1270 | OA
Hillenbrand P, Gerland U, Tkačik G. Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. 2016;11(9). doi:10.1371/journal.pone.0163628
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1271 | OA
Diz Muñoz A, Romanczuk P, Yu W, et al. Steering cell migration by alternating blebs and actin-rich protrusions. BMC Biology. 2016;14(1). doi:10.1186/s12915-016-0294-x
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1273 | OA
Porco S, Larrieu A, Du Y, et al. Lateral root emergence in Arabidopsis is dependent on transcription factor LBD29 regulation of auxin influx carrier LAX3. Development. 2016;143(18):3340-3349. doi:10.1242/dev.136283
View | DOI | Download Preprint (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1276 | OA
Postila P, Kaszuba K, Kuleta P, et al. Atomistic determinants of co-enzyme Q reduction at the Qi-site of the cytochrome bc1 complex. Scientific Reports. 2016;6. doi:10.1038/srep33607
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1277 | OA
Ortiz Morea F, Savatin D, Dejonghe W, et al. Danger-associated peptide signaling in Arabidopsis requires clathrin. PNAS. 2016;113(39):11028-11033. doi:10.1073/pnas.1605588113
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1278 | OA
Matsuno H, Kudoh M, Watakabe A, Yamamori T, Shigemoto R, Nagao S. 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. PLoS One. 2016;11(10). doi:10.1371/journal.pone.0164037
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1279 | OA
Kovács K, O’Neill J, Schönenberger P, Penttonen M, Rangel Guerrero DK, Csicsvari JL. 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. PLoS One. 2016;11(10). doi:10.1371/journal.pone.0164675
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1281 | OA
Bouguyon E, Perrine Walker F, Pervent M, et al. Nitrate controls root development through posttranscriptional regulation of the NRT1.1/NPF6.3 transporter sensor. Plant Physiology. 2016;172(2):1237-1248. doi:10.1104/pp.16.01047
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1282 | OA
Gundert A, Wagner U. On eigenvalues of random complexes. Israel Journal of Mathematics. 2016;216(2):545-582. doi:10.1007/s11856-016-1419-1
View | DOI | Download Preprint (ext.)
 

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

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

2016 | Journal Article | IST-REx-ID: 1289 | OA
Dunaeva O, Edelsbrunner H, Lukyanov A, et al. The classification of endoscopy images with persistent homology. Pattern Recognition Letters. 2016;83(1):13-22. doi:10.1016/j.patrec.2015.12.012
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1291 | OA
Giuliani A, Seiringer R. Periodic striped ground states in Ising models with competing interactions. Communications in Mathematical Physics. 2016;347(3):983-1007. doi:10.1007/s00220-016-2665-0
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1292 | OA
Durst S, Kegel M, Klukas MD. Computing the Thurston–Bennequin invariant in open books. Acta Mathematica Hungarica. 2016;150(2):441-455. doi:10.1007/s10474-016-0648-4
View | DOI | Download Preprint (ext.)
 

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

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

2016 | Journal Article | IST-REx-ID: 1323 | OA
Vyleta N, Borges Merjane C, Jonas PM. Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses. eLife. 2016;5. doi:10.7554/eLife.17977
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1326 | OA
Brázdil T, Kučera A, Novotný P. Optimizing the expected mean payoff in Energy Markov Decision Processes. In: Vol 9938. Springer; 2016:32-49. doi:10.1007/978-3-319-46520-3_3
View | DOI | Download Preprint (ext.)
 

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

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications