المؤلفون: Park, Jeongmin, Qureshi, Zaid, Mailthody, Vikram, Gacek, Andrew, Shao, Shunfan, AlMasri, Mohammad, Gelado, Isaac, Xiong, Jinjun, Newburn, Chris, Chung, I-hsin, Garland, Michael, Sakharnykh, Nikolay, Hwu, Wen-mei

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

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

المؤلفون: Greve, David, Gacek, Andrew

المصدر: EPTCS 280, 2018, pp. 30-46

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

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

المؤلفون: Apicelli, Andrew, Bayless, Sam, Das, Ankush, Gacek, Andrew, Jaganathan, Dhiva, Padhi, Saswat, Sharma, Vaibhav, Whalen, Michael W., Yadav, Raveesh

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 27-39 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031377051 9783031377068

الاتاحة: http://dx.doi.org/10.1007/978-3-031-37706-8_2
https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_2

المؤلفون: Gacek, Andrew, Backes, John, Whalen, Mike, Wagner, Lucas, Ghassabani, Elaheh

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

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

المؤلفون: Katis, Andreas, Fedyukovich, Grigory, Guo, Huajun, Gacek, Andrew, Backes, John, Gurfinkel, Arie, Whalen, Michael W.

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

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

المؤلفون: Katis, Andreas, Fedyukovich, Grigory, Gacek, Andrew, Backes, John, Gurfinkel, Arie, Whalen, Michael W.

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

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

المؤلفون: Backes, John D., Whalen, Michael W., Gacek, Andrew, Komp, John

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

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

المؤلفون: Pham, Tuan-Hung, Gacek, Andrew, Whalen, Michael W.

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

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

المؤلفون: Ghassabani, Elaheh, Gacek, Andrew, Whalen, Michael W.

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

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

المؤلفون: Liu, Jing, Backes, John D., Cofer, Darren, Gacek, Andrew

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

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

المؤلفون: Backes, John, Bayless, Sam, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Hu, Alan J., Kahsai, Temesghen, Kocik, Bill, Kotelnikov, Evgenii, 1990, Kukovec, Jure, McLaughlin, Sean, Reed, Jason, Rungta, Neha, Sizemore, John, Stalzer, Mark, Srinivasan, Preethi, Subotić, Pavle, Varming, Carsten, Whaley, Blake

المصدر: 31st International Conference on Computer Aided Verification, CAV 2019, New York, USA Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11562 LNCS:231-241

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/511601
https://research.chalmers.se/publication/511601/file/511601_Fulltext.pdf

المؤلفون: Katis, Andreas, Whalen, Michael W., Gacek, Andrew

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

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

المؤلفون: Gacek, Andrew, Katis, Andreas, Whalen, Michael W., Backes, John, Cofer, Darren

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

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

المؤلفون: Katis, Andreas, Gacek, Andrew, Whalen, Michael W.

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

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

المؤلفون: Gacek, Andrew, Backes, John, Cofer, Darren, Slind, Konrad, Whalen, Mike

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

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

المؤلفون: Wang, Yuting, Chaudhuri, Kaustuv, Gacek, Andrew, Nadathur, Gopalan

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

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

المؤلفون: Gacek, Andrew

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

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

المؤلفون: Gacek, Andrew, Miller, Dale, Nadathur, Gopalan

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

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

المؤلفون: Gacek, Andrew

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

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

المؤلفون: Gacek, Andrew, Miller, Dale, Nadathur, Gopalan

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

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