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
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. 2016. Conditionally optimal algorithms for generalized Büchi Games. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 58, 25.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1069 | OA
Chonev VK, Ouaknine J, Worrell J. 2016. On the skolem problem for continuous linear dynamical systems. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 100.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee K, Doyen L. 2016. Computation tree logic for synchronization properties. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 98.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2016. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. ESA: European Symposium on Algorithms, LIPIcs, vol. 57, 28.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 10746 | OA
Polshyn H, Naibert T, Chua V, Budakian R. 2016. Study of vortex states and dynamics in mesoscopic superconducting samples with MFM. APS March Meeting 2016. APS: American Physical Society, Bulletin of the American Physical Society, vol. 61, E25.00007.
[Published Version] View | Download Published Version (ext.)
 

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

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

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

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

2016 | Published | Journal Article | IST-REx-ID: 7734
Peyrot WJ, Robinson MR, Penninx BWJH, Wray NR. 2016. Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits. JAMA Psychiatry. 73(11), 1189–1195.
View | DOI
 

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

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

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

2016 | Published | Journal Article | IST-REx-ID: 7761
Graves AL, Nashed S, Padgett E, Goodrich CP, Liu AJ, Sethna JP. 2016. Pinning susceptibility: The effect of dilute, quenched disorder on jamming. Physical Review Letters. 116(23), 235501.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 7762
Rieser JM, Goodrich CP, Liu AJ, Durian DJ. 2016. Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials. Physical Review Letters. 116(8), 088001.
View | DOI
 

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

2016 | Published | Journal Article | IST-REx-ID: 7764
Sussman DM, Goodrich CP, Liu AJ. 2016. Spatial structure of states of self stress in jammed systems. Soft Matter. 12(17), 3982–3990.
View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 785
Haider S, Hasenplaugh W, Alistarh D-A. 2016. Lease/Release: Architectural support for scaling contended data structures. PPoPP: Principles and Practice of Parallel Pogramming vol. 12-16-March-2016.
View | DOI
 

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

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

Filters and Search Terms

year=2016

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed