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.

522 Publications


2017 | Journal Article | IST-REx-ID: 561 View | Files available | DOI
 
 

2017 | Journal Article | IST-REx-ID: 9445 | OA View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 9506 | OA View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 798 | OA
Mechanical on chip microwave circulator
S. Barzanjeh, M. Wulf, M. Peruzzo, M. Kalaee, P. Dieterle, O. Painter, J.M. Fink, Nature Communications 8 (2017).
View | Files available | DOI
 

2017 | Technical Report | IST-REx-ID: 5455 | OA
Optimal Dyck reachability for data-dependence and alias analysis
K. Chatterjee, B. Choudhary, A. Pavlogiannis, Optimal Dyck Reachability for Data-Dependence and Alias Analysis, IST Austria, 2017.
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
 

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 | Conference Paper | IST-REx-ID: 647 | OA
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 631 | OA
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 637 | OA
Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1029 | OA 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: 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 | 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: 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: 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: 704 | OA View | Files available | DOI
 

Filters and Search Terms

year=2017

Search

Filter Publications