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

4126 Publications


2017 | Journal Article | IST-REx-ID: 996 | OA
Strongly aligned molecules inside helium droplets in the near-adiabatic regime
B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, H. Stapelfeldt, The Journal of Chemical Physics 147 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 997 | OA
Emergence of non-abelian magnetic monopoles in a quantum impurity problem
E. Yakaboylu, A. Deuchert, M. Lemeshko, APS Physics, Physical Review Letters 119 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 998 | OA
iCaRL: Incremental classifier and representation learning
S.A. Rebuffi, A. Kolesnikov, G. Sperl, C. Lampert, in:, IEEE, 2017, pp. 5533–5542.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, Omnipress, 2017, pp. 2807–2816.
View | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
QSGD: Communication-efficient SGD via gradient quantization and encoding
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnović, in:, Neural Information Processing Systems Foundation, Inc., 2017, pp. 1710–1721.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, C. Zhang, in:, Proceedings of Machine Learning Research, PMLR, 2017, pp. 4035–4043.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 481 | OA
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, International Journal of Computational Geometry and Applications 26 (2017) 211–229.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681 | OA
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation
W. Steenackers, P. Klíma, M. Quareshy, I. Cesarino, R. Kumpf, S. Corneillie, P. Araújo, T. Viaene, G. Goeminne, M. Nowack, K. Ljung, J. Friml, J. Blakeslee, O. Novák, E. Zažímalová, R. Napier, W. Boerjan, B. Vanholme, Plant Physiology 173 (2017) 552–565.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 625 | OA
The cost of exactness in quantitative reachability
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
View | Files available | DOI
 

2017 | Book | IST-REx-ID: 567
A Dynamical Approach to Random Matrix Theory
L. Erdös, H. Yau, A Dynamical Approach to Random Matrix Theory, American Mathematical Society, 2017.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 649
Entropic Ricci curvature for discrete spaces
J. Maas, in:, L. Najman, P. Romon (Eds.), Modern Approaches to Discrete Curvature, Springer, 2017, pp. 159–174.
View | DOI
 

2017 | Conference (Editor) | IST-REx-ID: 638
Numerical Software Verification
S. Bogomolov, M. Martel, P. Prabhakar, eds., Numerical Software Verification, Springer, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
View | Files available | DOI
 

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: 1013 | OA
Viewpoint: Microwave quantum states beat the heat
J.M. Fink, Physics 10 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 653 | OA
Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
A. Makohon Moore, M. Zhang, J. Reiter, I. Božić, B. Allen, D. Kundu, K. Chatterjee, F. Wong, Y. Jiao, Z. Kohutek, J. Hong, M. Attiyeh, B. Javier, L. Wood, R. Hruban, M. Nowak, N. Papadopoulos, K. Kinzler, B. Vogelstein, C. Iacobuzio Donahue, Nature Genetics 49 (2017) 358–366.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1228 | OA
Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Thesis | IST-REx-ID: 961 | OA
Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1026
Optogenetic methods in drug screening: Technologies and applications
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1433 | OA
Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
View | Files available | DOI | Download Published Version (ext.)
 

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 | Conference Paper | IST-REx-ID: 552 | OA
Faster algorithms for mean-payoff parity games
K. Chatterjee, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6519 | OA
Improved set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 464 | OA
Improved algorithms for parity and Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9707 | OA
Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Data from: Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1199 | OA
How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842 | OA
Data for: Establishment in a new habitat by polygenic adaptation
A. Etheridge, N.H. Barton, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 914 | OA
Ant queens increase their reproductive efforts after pathogen infection
J. Giehr, A.V. Grasse, S. Cremer, J. Heinze, A. Schrempf, Royal Society Open Science 4 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 561 | OA
Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Research Data Reference | IST-REx-ID: 9859 | OA
Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9847 | OA
Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9853 | OA
Raw data from ant queens increase their reproductive efforts after pathogen infection
J. Giehr, A.V. Grasse, S. Cremer, J. Heinze, A. Schrempf, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1077 | OA
Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Włodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1006 | OA
Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1019
X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9861 | OA
Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9860 | OA
Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 679 | OA
The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection
F. Ebner, V. Sedlyarov, S. Tasciyan, M. Ivin, F. Kratochvill, N. Gratz, L. Kenner, A. Villunger, M.K. Sixt, P. Kovarik, The Journal of Clinical Investigation 127 (2017) 2051–2065.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1029 | OA
Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast
M. Lukacisin, M. Landon, R. Jajoo, PLoS One 12 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 664
The dynamic cytokine niche
F.P. Assen, M.K. Sixt, Immunity 46 (2017) 519–520.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 960 | OA
Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks
A.H. Hansen, C.F. Düllberg, C. Mieck, M. Loose, S. Hippenmeyer, Frontiers in Cellular Neuroscience 11 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 735
An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate
V. Barone, M. Lang, G. Krens, S. Pradhan, S. Shamipour, K. Sako, M.K. Sikora, C.C. Guet, C.-P.J. Heisenberg, Developmental Cell 43 (2017) 198–211.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 682 | OA
PirB regulates asymmetries in hippocampal circuitry
H. Ukai, A. Kawahara, K. Hirayama, M.J. Case, S. Aino, M. Miyabe, K. Wakita, R. Oogi, M. Kasayuki, S. Kawashima, S. Sugimoto, K. Chikamatsu, N. Nitta, T. Koga, R. Shigemoto, T. Takai, I. Ito, PLoS One 12 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
Green-light-induced inactivation of receptor signaling using cobalamin-binding domains
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie - International Edition 56 (2017) 4608–4611.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1024 | OA
Methodological advances in auxin and cytokinin biology
A. Hurny, E. Benková, Auxins and Cytokinins in Plant Biology 1569 (2017) 1–29.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation
G. Krens, J. Veldhuis, V. Barone, D. Capek, J.-L. Maître, W. Brodland, C.-P.J. Heisenberg, Development 144 (2017) 1798–1806.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 661 | OA
Friction forces position the neural anlage
M. Smutny, Z. Ákos, S. Grigolon, S. Shamipour, V. Ruprecht, D. Capek, M. Behrndt, E. Papusheva, M. Tada, B. Hof, T. Vicsek, G. Salbreux, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 306–317.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 704 | OA
Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection
M. Steinrück, C.C. Guet, ELife 6 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 696 | OA
Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes
M. Lukacisinova, S. Novak, T. Paixao, PLoS Computational Biology 13 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1027 | OA
Toward a quantitative understanding of antibiotic resistance evolution
M. Lukacisinova, M.T. Bollenbach, Current Opinion in Biotechnology 46 (2017) 90–97.
View | Files available | DOI
 

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 | 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: 479
Use runtime verification to improve the quality of medical care practice
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.
View | 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 | Conference Paper | IST-REx-ID: 482
Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, OSA, 2016.
View | DOI
 

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: 5554 | OA
Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase
M. Tugrul, (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 | Conference Paper | IST-REx-ID: 1069 | OA
On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
Ł. Łangowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10810 | OA
SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography
P. Rubel, D. Pani, A. Schlögl, J. Fayn, F. Badilini, P. Macfarlane, A. Varri, in:, 2016 Computing in Cardiology Conference, Computing in Cardiology, 2016, pp. 309–312.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1083
KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons
S. Booker, D. Althof, A. Gross, D. Loreth, J. Müller, A. Unger, B. Fakler, A. Varro, M. Watanabe, M. Gassmann, B. Bettler, R. Shigemoto, I. Vida, Á. Kulik, Cerebral Cortex 27 (2016) 2318–2334.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 1094
Immunogold protein localization on grid-glued freeze-fracture replicas
H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1096
Actin rings of power
C. Schwayer, M.K. Sikora, J. Slovakova, R. Kardos, C.-P.J. Heisenberg, Developmental Cell 37 (2016) 493–506.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1101
Rangefinder: A semisynthetic FRET sensor design algorithm
J. Mitchell, J. Whitfield, W. Zhang, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, ACS SENSORS 1 (2016) 1286–1290.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1105
Estimating nonlinear neural response functions using GP priors and Kronecker methods
C. Savin, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 3610–3618.
View | Download None (ext.)
 

2016 | Thesis | IST-REx-ID: 1121 | OA
Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, IST Austria, 2016.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, IST Austria, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1123 | OA
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, IST Austria, 2016.
View | Files available
 

Filters and Search Terms

extern<>1

Search

Filter Publications