يعرض 1 - 10 نتائج من 69 نتيجة بحث عن '"Dragoi, Cezara"', وقت الاستعلام: 1.26s تنقيح النتائج
  1. 1
  2. 2
    كتاب إلكتروني

    المؤلفون: Drǎgoi, CezaraAff10, Aff11, Inzaghi Pronesti, PatricioAff9, Aff10

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Lal, Akash, editorAff7, Tonetta, Stefano, editorAff8

    المصدر: Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. 13800:52-71

  3. 3
  4. 4
    كتاب إلكتروني

    المؤلفون: Damian, AndreiAff10, Drăgoi, CezaraAff11, Militaru, AlexandruAff10, Widder, JosefAff12, Aff13

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Dillig, Isil, editorAff8, Tasiran, Serdar, editorAff9

    المصدر: Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II. 11562:344-363

  5. 5
    تقرير

    المصدر: Logical Methods in Computer Science, Volume 5, Issue 2 (April 22, 2009) lmcs:991

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

  6. 6
  7. 7
    كتاب إلكتروني

    المؤلفون: Drăgoi, CezaraAff18, Henzinger, Thomas A.Aff18, Veith, HelmutAff19, Widder, JosefAff19, Zufferey, DamienAff20

    المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, McMillan, Kenneth L., editorAff16, Rival, Xavier, editorAff17

    المصدر: Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. 8318:161-181

  8. 8
    كتاب إلكتروني

    المؤلفون: Drăgoi, CezaraAff18, Gupta, AshutoshAff18, Henzinger, Thomas A.Aff18

    المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Sharygina, Natasha, editorAff16, Veith, Helmut, editorAff17

    المصدر: Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. 8044:174-190

  9. 9
    كتاب إلكتروني

    المؤلفون: Drăgoi, CezaraAff18, Enea, ConstantinAff19, Sighireanu, MihaelaAff19

    المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Logozzo, Francesco, editorAff16, Fähndrich, Manuel, editorAff17

    المصدر: Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. 7935:150-171

  10. 10
    كتاب إلكتروني

    المساهمون: Chakraborty, Supratik, editorAff1, Mukund, Madhavan, editorAff2

    المصدر: Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. 7561:167-182