Find Research outputs

Search results

• Article

  Verifying security invariants in expressoS

  Mai, H., Pek, E., Xue, H., King, S. T. & Madhusudan, P., Apr 2013, In: ACM SIGPLAN Notices. 48, 4, p. 293-303 11 p.

  Research output: Contribution to journal › Article › peer-review

• Verifying the evolution of probability distributions governed by a DTMC

  Kwon, Y. & Agha, G., 2011, In: IEEE Transactions on Software Engineering. 37, 1, p. 126-141 16 p., 5557891.

  Research output: Contribution to journal › Article › peer-review

• Verisim: Formal analysis of network simulations

  Bhargavan, K., Gunter, C. A., Kim, M., Lee, I., Obradovic, D., Sokolsky, O. & Viswanathan, M., Feb 2002, In: IEEE Transactions on Software Engineering. 28, 2, p. 129-145 17 p.

  Research output: Contribution to journal › Article › peer-review

• Vernier and grating acuity in adult hooded rats: The influence of sex

  Seymoure, P. & Juraska, J. M., Aug 21 1997, In: Behavioral Neuroscience. 111, 4, p. 792-800 9 p.

  Research output: Contribution to journal › Article › peer-review

• Versatile and on-demand biologics co-production in yeast

  Cao, J., Perez-Pinera, P., Lowenhaupt, K., Wu, M. R., Purcell, O., De La Fuente-Nunez, C. & Lu, T. K., Dec 1 2018, In: Nature communications. 9, 1, 77.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Versatile Core–Sheath Yarn for Sustainable Biomechanical Energy Harvesting and Real‐Time Human‐Interactive Sensing.

  Dong, K., Deng, J., Ding, W., Wang, A. C., Wang, P., Cheng, C., Jin, L., Gu, B., Sun, B., Wang, Z. L. & Wang, Y-C., Aug 16 2018, In: Advanced Energy Materials. 8, 23, p. 1-12 12 p., 1801114.

  Research output: Contribution to journal › Article › peer-review

• Versatile generation of optical vector fields and vector beams using a non-interferometric approach

  Tripathi, S. & Toussaint, K. C., May 7 2012, In: Optics Express. 20, 10, p. 10788-10795 8 p.

  Research output: Contribution to journal › Article › peer-review

• Versatile Target-Guided Screen for Discovering Bidirectional Transcription Inhibitors of a Trinucleotide Repeat Disease

  Hagler, L. D., Krueger, S. B., Luu, L. M., Lanzendorf, A. N., Mitchell, N. L., Vergara, J. I., Curet, L. D. & Zimmerman, S. C., Jun 10 2021, In: ACS Medicinal Chemistry Letters. 12, 6, p. 935-940 6 p.

  Research output: Contribution to journal › Article › peer-review

• Versatile technique for assessing thickness of 2D layered materials by XPS

  Zemlyanov, D. Y., Jespersen, M., Zakharov, D. N., Hu, J., Paul, R., Kumar, A., Pacley, S., Glavin, N., Saenz, D., Smith, K. C., Fisher, T. S. & Voevodin, A. A., Feb 7 2018, In: Nanotechnology. 29, 11, 115705.

  Research output: Contribution to journal › Article › peer-review

• Versatile transporter apparatus for experiments with optically trapped Bose-Einstein condensates

  Pertot, D., Greif, D., Albert, S., Gadway, B. & Schneble, D., 2009, In: Journal of Physics B: Atomic, Molecular and Optical Physics. 42, 21, 215305.

  Research output: Contribution to journal › Article › peer-review

• Versatility in corrinoid salvaging and remodeling pathways supports corrinoid-dependent metabolism in Dehalococcoides mccartyi

  Yi, S., Seth, E. C., Men, Y. J., Stabler, S. P., Allen, R. H., Alvarez-Cohen, L. & Taga, M. E., Nov 2012, In: Applied and environmental microbiology. 78, 21, p. 7745-7752 8 p.

  Research output: Contribution to journal › Article › peer-review

• Versican secreted by the ovary links ovulation and migration in fallopian tube derived serous cancer

  Russo, A., Zizhao, Y., Heyrman, G. M., Cain, B. P., Lopez Carrero, A., Isenberg, B. C., Dean, M. J., Coppeta, J. & Burdette, J. E., Sep 1 2022, In: Cancer Letters. 543, 215779.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Version-Aware rating prediction for mobile app recommendation

  Yao, Y., Zhao, W. X., Wang, Y., Tong, H., Xu, F. & Lu, J., Jun 2017, In: ACM Transactions on Information Systems. 35, 4, 3015458.

  Research output: Contribution to journal › Article › peer-review

• VERSIONS FRANÇAISES DE L'AMÉRIQUE: SARTRE ET LE MODELE TOCQUEVILLE

  Mathy, J-P., Oct 1 1988, In: Contemporary French Civilization . 12, 2, p. 207-225

  Research output: Contribution to journal › Article › peer-review

• Version spaces and the consistency problem

  Hirsh, H., Mishra, N. & Pitt, L., Jul 2004, In: Artificial Intelligence. 156, 2, p. 115-138 24 p.

  Research output: Contribution to journal › Article › peer-review

• Vertebrate conserved non coding DNA regions have a high persistence length and a short persistence time

  Retelska, D., Beaudoing, E., Notredame, C., Jongeneel, C. V. & Bucher, P., Oct 31 2007, In: BMC genomics. 8, 398.

  Research output: Contribution to journal › Article › peer-review

• Vertebrate fauna in caves of eastern Tennessee within the Appalachians karst region, USA

  Niemiller, M. L., Zigler, K. S., Stephen, C. D. R., Carter, E. T., Paterson, A. T., Taylor, S. J. & Engel, A. S., Apr 2016, In: Journal of Cave and Karst Studies. 78, 1, p. 1-24 24 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Vertebrate hosts of aedes aegypti and aedes mediovittatus (Diptera: Culicidae) in rural Puerto Rico

  Barrera, R., Bingham, A. M., Hassan, H. K., Amador, M., MacKay, A. J. & Unnasch, T. R., Jul 2012, In: Journal of medical entomology. 49, 4, p. 917-921 5 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Vertebrate scavenger guild composition and utilization of carrion in an East Asian temperate forest

  Inagaki, A., Allen, M. L., Maruyama, T., Yamazaki, K., Tochigi, K., Naganuma, T. & Koike, S., Feb 1 2020, In: Ecology and Evolution. 10, 3, p. 1223-1232 10 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Vertex decompositions of sparse graphs into an independent vertex set and a subgraph of maximum degree at most 1

  Borodin, O. V. & Kostochka, A. V., 2011, In: Siberian Mathematical Journal. 52, 5, p. 796-801 6 p.

  Research output: Contribution to journal › Article › peer-review

• Vertex operators and spinon edge excitations in the spin-singlet quantum Hall effect

  Balatsky, A. & Stone, M., 1991, In: Physical Review B. 43, 10, p. 8038-8043 6 p.

  Research output: Contribution to journal › Article › peer-review

• Vertex set partitions preserving conservativeness

  Ageev, A. A. & Kostochka, A. V., Nov 2000, In: Journal of Combinatorial Theory. Series B. 80, 2, p. 202-217 16 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical and horizontal redistributions from a carbon tax and rebate

  Cronin, J. A., Fullerton, D. & Sexton, S., Mar 2019, In: Journal of the Association of Environmental and Resource Economists. 6, S1, p. S169-S208

  Research output: Contribution to journal › Article › peer-review

• Vertical and horizontal transport of mesospheric Na: Implications for the mass influx of cosmic dust

  Gardner, C. S., Liu, A. Z. & Guo, Y., Sep 2017, In: Journal of Atmospheric and Solar-Terrestrial Physics. 162, p. 192-202 11 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical-Cavity Surface-Emitting Laser Diodes Fabricated by In Situ Dry Etching and Molecular Beam Epitaxial Regrowth

  Choquette, K. D., Freund, R. S., Mannaerts, J. P. & Wetzel, R. C., Mar 1993, In: IEEE Photonics Technology Letters. 5, 3, p. 284-287 4 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical-cavity surface-emitting laser operating with photonic crystal seven-point defect structure

  Yokouchi, N., Danner, A. J. & Choquette, K. D., May 26 2003, In: Applied Physics Letters. 82, 21, p. 3608-3610 3 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical-cavity surface emitting lasers: Moving from research to manufacturing

  Croquette, K. D. & Hou, H. Q., 1997, In: Proceedings of the IEEE. 85, 11, p. 1730-1739 10 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical-Cavity Surface-Emitting Lasers Fabricated by Vacuum Integrated Processing

  Choquette, K. D., Hasnain, G., Mannaerts, J. P., Wynn, J. D., Wetzel, R. C., Freund, R. S. & Hong, M., Sep 1992, In: IEEE Photonics Technology Letters. 4, 9, p. 951-954 4 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical Cavity Surface Emitting Lasers With 21% Efficiency by Metalorganic Vapor Phase Epitaxy

  Lear, K. L., Schneider, R. P., Choquette, K. D., Kilcoyne, S. P., Figiel, J. J. & Zolper, J. C., Sep 1994, In: IEEE Photonics Technology Letters. 6, 9, p. 1053-1055 3 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical coordination, financial structure, and the changing theory of the firm

  Barry, P. J., Sonka, S. T. & Lajili, K., Dec 1992, In: American Journal of Agricultural Economics. 74, 5, p. 1219-1225 7 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical Coupling by Solar Semidiurnal Tides in the Thermosphere From ICON/MIGHTI Measurements

  Forbes, J. M., Oberheide, J., Zhang, X., Cullens, C., Englert, C. R., Harding, B. J., Harlander, J. M., Marr, K. D., Makela, J. J. & Immel, T. J., May 2022, In: Journal of Geophysical Research: Space Physics. 127, 5, e2022JA030288.

  Research output: Contribution to journal › Article › peer-review

• Vertical Dependence of Horizontal Scaling Behavior of Orographic Wind and Moisture Fields in Atmospheric Models

  Eghdami, M. & Barros, A. P., Oct 1 2019, In: Earth and Space Science. 6, 10, p. 1957-1975 19 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Vertical distribution of larval fish in pelagic waters of southwest Lake Michigan: Implications for growth, survival, and dispersal

  Martin, B. T., Czesny, S. J. & Wahl, D. H., Jun 2011, In: Journal of Great Lakes Research. 37, 2, p. 279-288 10 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical Distribution of Microplastics in the Water Column and Surficial Sediment from the Milwaukee River Basin to Lake Michigan

  Lenaker, P. L., Baldwin, A. K., Corsi, S. R., Mason, S. A., Reneau, P. C. & Scott, J. W., Nov 5 2019, In: Environmental Science and Technology. 53, 21, p. 12227-12237 11 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Vertical dynamical transport of mesospheric constituents by dissipating gravity waves

  Liu, A. Z. & Gardner, C. S., Feb 2004, In: Journal of Atmospheric and Solar-Terrestrial Physics. 66, 3-4, p. 267-275 9 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical E-Business Standards and Standards Developing Organizations: A Conceptual Framework

  Zhao, K., Xia, M. & Shaw, M., Nov 1 2005, In: Electronic Markets. 15, 4, p. 289-300

  Research output: Contribution to journal › Article › peer-review

• Vertical equilibrium in a competitive input market

  Perry, M., Jun 1984, In: International Journal of Industrial Organization. 2, 2, p. 159-170 12 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical flow in the Thermoelectric Liquid Metal Plasma Facing Structures (TELS) facility at Illinois

  Xu, W., Fiflis, P., Szott, M., Kalathiparambil, K., Jung, S., Christenson, M., Haehnlein, I., Kapat, A., Andruczyk, D., Curreli, D. & Ruzic, D. N., Jul 22 2015, In: Journal of Nuclear Materials. 463, p. 1181-1185 5 p., 48776.

  Research output: Contribution to journal › Article › peer-review

• Vertical heat and constituent transport in the mesopause region by dissipating gravity waves at Maui, Hawaii (20.7°N), and Starfire Optical Range, New Mexico (35°N)

  Liu, A. Z. & Gardner, C. S., May 16 2005, In: Journal of Geophysical Research D: Atmospheres. 110, 9, p. 1-6 6 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical integration

  Turk, M., Jan 1 2015, In: Computing in Science and Engineering. 17, 1, p. 64-66 3 p., 7030308.

  Research output: Contribution to journal › Article › peer-review

• Vertical integration: The monopsony case

  Perry, M., 1978, In: American Economic Review. 68, 4, p. 561-570 10 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical Integration by Competitive Firms: Uncertainty and Diversification

  Perry, M., Jul 1982, In: Southern Economic Journal. 49, 1, p. 201-208

  Research output: Contribution to journal › Article › peer-review

• Vertical Integration of Cell-Laden Hydrogels with Bioinspired Photonic Crystal Membranes

  Pei, Y., Shahoei, S. H., Li, Y., Reece, P. J., Nelson, E. R., Gooding, J. J. & Kilian, K., Dec 7 2018, In: Advanced Materials Interfaces. 5, 23, 1801233.

  Research output: Contribution to journal › Article › peer-review

• Vertical integration with price-setting competitive newsvendors

  Wu, C., Petruzzi, N. C. & Chhajed, D., Nov 2007, In: Decision Sciences. 38, 4, p. 581-610 30 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical light-emitting diode fabrication by controlled spalling

  Bedell, S. W., Bayram, C., Fogel, K., Lauro, P., Kiser, J., Ott, J., Zhu, Y. & Sadana, D., Nov 2013, In: Applied Physics Express. 6, 11, 112301.

  Research output: Contribution to journal › Article › peer-review

• Vertically emitting, dye-doped polymer laser in the green (λ ∼ 536 nm) with a second order distributed feedback grating fabricated by replica molding

  Lu, M., Cunningham, B. T., Park, S. J. & Eden, J. G., Jun 1 2008, In: Optics Communications. 281, 11, p. 3159-3162 4 p.

  Research output: Contribution to journal › Article › peer-review

• Vertically integrated, three-dimensional nanowire complementary metal-oxide-semiconductor circuits

  Nam, S., Jiang, X., Xiong, Q., Ham, D. & Lieber, C. M., Dec 15 2009, In: Proceedings of the National Academy of Sciences of the United States of America. 106, 50, p. 21035-21038 4 p.

  Research output: Contribution to journal › Article › peer-review

• Vertically stacked individually tunable nanowire field effect transistors for low power operation with ultrahigh radio frequency linearity

  Song, Y., Luo, J. & Li, X., Aug 27 2012, In: Applied Physics Letters. 101, 9, 093509.

  Research output: Contribution to journal › Article › peer-review

• Vertically stacked plasmonic nanoparticles in a circular arrangement: A key to colorimetric refractive index sensing

  Seo, S., Gartia, M. R. & Liu, G. L., Oct 21 2014, In: Nanoscale. 6, 20, p. 11795-11802 8 p.

  Research output: Contribution to journal › Article › peer-review

• Vertical motions in arctic mixed-phase stratiform clouds

  Shupe, M. D., Kollias, P., Persson, P. O. G. & McFarquhar, G. M., Apr 2008, In: Journal of the Atmospheric Sciences. 65, 4, p. 1304-1322 19 p.

  Research output: Contribution to journal › Article › peer-review