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.

10717 Publications


2016 | Published | 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.
[Published Version] View | Files available | arXiv
 

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

2016 | Published | Conference Paper | IST-REx-ID: 948 | OA
Neurons equipped with intrinsic plasticity learn stimulus intensity statistics
T. Monk, C. Savin, J. Lücke, in:, Neural Information Processing Systems Foundation, 2016, pp. 4285–4293.
View | Download None (ext.)
 

2016 | Published | 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 für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Published | 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 für Informatik, 2016.
[Published Version] View | Files available | DOI
 

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

2016 | Published | 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).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Published | 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 Foundation, 2016, pp. 1965–1973.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2016 | Published | 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 für Informatik, 2016, p. 51.1-51.12.
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1151 | OA
A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Published | 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).
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1378 | OA
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 35.1-35.10.
[Published Version] View | Files available | DOI
 

2016 | Published | 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 für Informatik, 2016, p. 24.1-24.15.
[Published Version] View | Files available | DOI
 

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

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

2016 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2016 | Published | 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).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | 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).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | 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).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed