المؤلفون: Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2407.01688

المؤلفون: Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2403.04651

المؤلفون: Singhal, Kartik, Hietala, Kesha, Marshall, Sarah, Rand, Robert

المصدر: EPTCS 394, 2023, pp. 170-191

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Emerging Technologies, Computer Science - Logic in Computer Science, Quantum Physics

URL الوصول: http://arxiv.org/abs/2206.03532

المؤلفون: Peng, Yuxiang, Hietala, Kesha, Tao, Runzhou, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi

مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics

URL الوصول: http://arxiv.org/abs/2204.07112

المؤلفون: Li, Liyi, Voichick, Finn, Hietala, Kesha, Peng, Yuxiang, Wu, Xiaodi, Hicks, Michael

مصطلحات موضوعية: Quantum Physics, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2112.06700

المؤلفون: Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Li, Liyi, Hicks, Michael

مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics

URL الوصول: http://arxiv.org/abs/2010.01240

المؤلفون: Sharma, Vaibhav, Hietala, Kesha, McCamant, Stephen

المصدر: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2018 IEEE 11th International Conference on. :150-160 Apr, 2018

Relation: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)

المؤلفون: Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Wu, Xiaodi, Hicks, Michael

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Emerging Technologies, Computer Science - Logic in Computer Science, Quantum Physics

URL الوصول: http://arxiv.org/abs/1912.02250

المؤلفون: Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Wu, Xiaodi, Hicks, Michael

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Emerging Technologies, Computer Science - Programming Languages, Quantum Physics

URL الوصول: http://arxiv.org/abs/1904.06319

المؤلفون: Hung, Shih-Han, Hietala, Kesha, Zhu, Shaopeng, Ying, Mingsheng, Hicks, Michael, Wu, Xiaodi

مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics

URL الوصول: http://arxiv.org/abs/1811.03585