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.

6495 Publications


2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee K, Chmelik M. 2016. Indefinite-horizon reachability in Goal-DEC-POMDPs. Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling. ICAPS: International Conference on Automated Planning and Scheduling vol. 2016–January, 88–96.
View | Download None (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1325 | OA
Brázdil T, Forejt V, Kučera A, Novotný P. 2016. Stability in graphs and games. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 10.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1326 | OA
Brázdil T, Kučera A, Novotný P. 2016. Optimizing the expected mean payoff in Energy Markov Decision Processes. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 9938, 32–49.
View | DOI | Download Preprint (ext.)
 

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

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

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

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

2016 | Journal Article | IST-REx-ID: 1331
Zwack P, De Clercq I, Howton T, Hallmark HT, Hurny A, Keshishian E, Parish A, Benková E, Mukhtar MS, Van Breusegem F, Rashotte A. 2016. Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress. Plant Physiology. 172(2), 1249–1258.
View | DOI
 

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

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

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

2016 | Conference Paper | IST-REx-ID: 1335 | OA
Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative monitor automata. SAS: Static Analysis Symposium, LNCS, vol. 9837, 23–38.
View | DOI | Download Preprint (ext.)
 

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

2016 | Conference Paper | IST-REx-ID: 1340 | OA
Hansen K, Ibsen-Jensen R, Koucký M. 2016. The big match in small space. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928, 64–76.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1341 | OA
Avni G, Henzinger TA, Kupferman O. 2016. Dynamic resource allocation games. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928, 153–166.
View | Files available | DOI
 

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

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

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

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

2016 | Journal Article | IST-REx-ID: 1346 | OA
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
 

Search

Filter Publications