-
1تقرير
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2310.17410
-
2كتاب إلكتروني
المؤلفون: Raha, RitamAff10, Aff11, Roy, RajarshiAff12, Fijalkow, NathanaëlAff11, Neider, DanielAff13, Aff14, Pérez, Guillermo A.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, Dimitrova, Rayna, editorAff7, Lahav, Ori, editorAff8, Wolff, Sebastian, editorAff9
المصدر: Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II. 14500:264-288
-
3تقرير
-
4كتاب إلكتروني
المؤلفون: Bellis, StijnAff10, Denil, JoachimAff10, Krishnamurthy, RameshAff10, Leys, TimAff10, Pérez, Guillermo A.Aff10, Raha, RitamAff10
المساهمون: 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, Bournez, Olivier, editorAff7, Formenti, Enrico, editorAff8, Potapov, Igor, editorAff9
المصدر: Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings. 14235:141-154
-
5
-
6تقرير
المؤلفون: Hélouët, Loïc, Markey, Nicolas, Raha, Ritam
المصدر: EPTCS 305, 2019, pp. 17-33
مصطلحات موضوعية: Computer Science - Computer Science and Game Theory
URL الوصول: http://arxiv.org/abs/1909.07653
-
7كتاب إلكتروني
المؤلفون: Raha, RitamAff10, Aff11, Roy, RajarshiAff12, Fijalkow, NathanaëlAff11, Aff13, Neider, DanielAff12
المساهمون: 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, Fisman, Dana, editorAff8, Rosu, Grigore, editorAff9
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. 13243:263-280
-
8دورية أكاديمية
المؤلفون: Hélouët, Loïc, Markey, Nicolas, Raha, Ritam
المصدر: In Information and Computation May 2022 285 Part B
-
9
المؤلفون: P��rez, Guillermo A., Raha, Ritam
المصدر: LIPIcs : Leibniz International Proceedings in Informatics
مصطلحات موضوعية: FOS: Computer and information sciences, Computer. Automation, Parametric one-counter automata, Theory of computation ��� Quantitative automata, Computer Science - Logic in Computer Science, Software Verification, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Reachability, Theory of computation ��� Logic and verification, Computer Science::Formal Languages and Automata Theory, Logic in Computer Science (cs.LO)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec6dac19e674c376e453ad4c58805e26