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.

570 Publications


2016 | Published | Conference Paper | IST-REx-ID: 1068 | OA
Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

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: 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: 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: 10746 | OA
Study of vortex states and dynamics in mesoscopic superconducting samples with MFM
H. Polshyn, T. Naibert, V. Chua, R. Budakian, in:, APS March Meeting 2016, American Physical Society, 2016.
[Published Version] View | Download Published Version (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 10747 | OA
Stochastic resonance magnetic force microscopy imaging of Josephson arrays
T. Naibert, H. Polshyn, B. Wolin, M. Durkin, R. Garrido Menacho, I.M. Shem, V. Chua, T. Hughes, N. Mason, R. Budakian, in:, APS March Meeting 2016, American Physical Society, 2016.
[Published Version] View | Download Published Version (ext.)
 

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

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

2016 | Published | Journal Article | IST-REx-ID: 7599 | OA
Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078
Y. Tang, C.-Y. Zhao, S. Tan, H.-W. Xue, PLOS Genetics 12 (2016).
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 7734
Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits
W.J. Peyrot, M.R. Robinson, B.W.J.H. Penninx, N.R. Wray, JAMA Psychiatry 73 (2016) 1189–1195.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 7736
EigenGWAS: Finding loci under selection through genome-wide association studies of eigenvectors in structured populations
G.-B. Chen, S.H. Lee, Z.-X. Zhu, B. Benyamin, M.R. Robinson, Heredity 117 (2016) 51–61.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 7737 | OA
Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets
Z. Zhu, F. Zhang, H. Hu, A. Bakshi, M.R. Robinson, J.E. Powell, G.W. Montgomery, M.E. Goddard, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 48 (2016) 481–487.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 7760
Scaling ansatz for the jamming transition
C.P. Goodrich, A.J. Liu, J.P. Sethna, Proceedings of the National Academy of Sciences 113 (2016) 9745–9750.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 7761
Pinning susceptibility: The effect of dilute, quenched disorder on jamming
A.L. Graves, S. Nashed, E. Padgett, C.P. Goodrich, A.J. Liu, J.P. Sethna, Physical Review Letters 116 (2016).
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 7762
Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials
J.M. Rieser, C.P. Goodrich, A.J. Liu, D.J. Durian, Physical Review Letters 116 (2016).
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 7763
Higher-order wavelet reconstruction/differentiation filters and Gibbs phenomena
R. Lombardini, R. Acevedo, A. Kuczala, K.P. Keys, C.P. Goodrich, B.R. Johnson, Journal of Computational Physics 305 (2016) 244–262.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 7764
Spatial structure of states of self stress in jammed systems
D.M. Sussman, C.P. Goodrich, A.J. Liu, Soft Matter 12 (2016) 3982–3990.
View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 785
Lease/Release: Architectural support for scaling contended data structures
S. Haider, W. Hasenplaugh, D.-A. Alistarh, in:, ACM, 2016.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 786 | OA
Are lock free concurrent algorithms practically wait free
D.-A. Alistarh, K. Censor Hillel, N. Shavit, Journal of the ACM 63 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 8020 | OA
Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories
H.C. Barron, T.P. Vogels, U.E. Emir, T.R. Makin, J. O’Shea, S. Clare, S. Jbabdi, R.J. Dolan, T.E.J. Behrens, Neuron 90 (2016) 191–203.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2016

Search

Filter Publications

Display / Sort

Export / Embed