المؤلفون: Berzish, Murphy, Day, Joel D., Ganesh, Vijay, Kulczynski, Mitja, Manea, Florin, Mora, Federico, Nowotka, Dirk

مصطلحات موضوعية: Computer Science - Computation and Language

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

المؤلفون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay

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

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

المؤلفون: Berzish, Murphy, Zheng, Yunhui, Ganesh, Vijay

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

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

المؤلفون: Subramanian, Sanu, Berzish, Murphy, Zheng, Yunhui, Tripp, Omer, Ganesh, Vijay

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

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

المؤلفون: Ganesh, Vijay, Berzish, Murphy

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

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

المؤلفون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay, Silva, Alexandra, Leino, K. Rustan M.

المساهمون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay, Silva, Alexandra, Leino, K. Rustan M.

Relation: https://resolver.sub.uni-goettingen.de/purl?gro-2/136391

الاتاحة: https://resolver.sub.uni-goettingen.de/purl?gro-2/136391
https://doi.org/10.1007/978-3-030-81688-9_14

المؤلفون: Blotsky, Dmitry, Mora, Federico, Berzish, Murphy, Zheng, Yunhui, Kabir, Ifaz, Ganesh, Vijay

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 45-51 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319961415 9783319961422

الاتاحة: http://dx.doi.org/10.1007/978-3-319-96142-2_6
http://link.springer.com/content/pdf/10.1007/978-3-319-96142-2_6

المؤلفون: Berzish, Murphy, Day, Joel D., Ganesh, Vijay, Kulczynski, Mitja, Manea, Florin, Mora, Federico, Nowotka, Dirk

Relation: https://resolver.sub.uni-goettingen.de/purl?gro-2/122033; S030439752200723X

الاتاحة: https://resolver.sub.uni-goettingen.de/purl?gro-2/122033
https://doi.org/10.1016/j.tcs.2022.12.009

المؤلفون: Mora, Federico, Berzish, Murphy, Kulczynski, Mitja, Nowotka, Dirk, Ganesh, Vijay

المصدر: Formal Methods ; Lecture Notes in Computer Science ; page 389-406 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030908690 9783030908706

الاتاحة: http://dx.doi.org/10.1007/978-3-030-90870-6_21
https://link.springer.com/content/pdf/10.1007/978-3-030-90870-6_21

المؤلفون: Berzish, Murphy, Tripp, Bryan

المصدر: BMC Neuroscience ; volume 15, issue S1 ; ISSN 1471-2202

الاتاحة: http://dx.doi.org/10.1186/1471-2202-15-s1-p21
http://link.springer.com/content/pdf/10.1186/1471-2202-15-S1-P21.pdf

المؤلفون: Klassen, Nicholas, Lyons, Michael, Prysiazny, Michael, Roth, Paul, Socha, Peter, Berzish, Murphy, Zaman, Atulan, Rayside, Derek

المصدر: 2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE) ; page 1-5

الاتاحة: http://dx.doi.org/10.1109/ccece.2017.7946805
http://xplorestaging.ieee.org/ielx7/7938141/7946583/07946805.pdf?arnumber=7946805

المؤلفون: Berzish, Murphy, Ganesh, Vijay, Zheng, Yunhui

المصدر: 2017 Formal Methods in Computer Aided Design (FMCAD) ; page 55-59

الاتاحة: http://dx.doi.org/10.23919/fmcad.2017.8102241
http://xplorestaging.ieee.org/ielx7/8093672/8102222/08102241.pdf?arnumber=8102241

المؤلفون: Subramanian, Sanu, Berzish, Murphy, Tripp, Omer, Ganesh, Vijay

المصدر: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)

الاتاحة: http://dx.doi.org/10.1109/icse-c.2017.73
http://xplorestaging.ieee.org/ielx7/7961434/7964953/07965276.pdf?arnumber=7965276

المؤلفون: Berzish, Murphy, Eliasmith, Chris, Tripp, Bryan

المصدر: Artificial Neural Networks and Machine Learning – ICANN 2016 ; Lecture Notes in Computer Science ; page 349-356 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319447773 9783319447780

الاتاحة: http://dx.doi.org/10.1007/978-3-319-44778-0_41
http://link.springer.com/content/pdf/10.1007/978-3-319-44778-0_41

المؤلفون: Berzish, Murphy

مصطلحات موضوعية: string solvers, SMT solvers, regular expressions, word equations

Relation: http://hdl.handle.net/10012/17102

الاتاحة: http://hdl.handle.net/10012/17102

المؤلفون: Zheng, Yunhui, Ganesh, Vijay, Subramanian, Sanu, Tripp, Omer, Berzish, Murphy, Dolby, Julian, Zhang, Xiangyu

المصدر: Formal Methods in System Design; Jun2017, Vol. 50 Issue 2/3, p249-288, 40p

مصطلحات موضوعية: ARITHMETIC, OVERLAPPING generations model (Economics), EQUATIONS, ABELIAN equations

المؤلفون: Berzish, Murphy

المصدر: Manitoba History. Fall2010, Issue 64, p18-25. 8p.

مصطلحات موضوعية: *LABOR movement, *STRIKES & lockouts, *LABOR unions, SOCIAL aspects

مصطلحات جغرافية: WINNIPEG (Man.), CANADA, MANITOBA

المؤلفون: Berzish, Murphy

مصطلحات موضوعية: programming languages, microfluidics, design automation, constraint solvers, formal verification

Relation: http://hdl.handle.net/10012/10457

الاتاحة: http://hdl.handle.net/10012/10457