Research output per year
Research output per year
Fingerprint
Dive into the research topics where Noam Shenwald is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Coverage Games
Kupferman, O. & Shenwald, N., 18 Aug 2025, 36th International Conference on Concurrency Theory, CONCUR 2025. Bouyer, P. & van de Pol, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 348).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Games with Weighted Multiple Objectives
Kupferman, O. & Shenwald, N., 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 110-132 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15054 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Non-Zero-Sum Games with Multiple Weighted Objectives
Feinstein, Y., Kupferman, O. & Shenwald, N., 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 303-322 20 p. (Lecture Notes in Computer Science; vol. 15697 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
Positional-Player Games
Kupferman, O. & Shenwald, N., 20 Aug 2025, 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025. Gawrychowski, P., Mazowiecki, F. & Skrzypczak, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 64. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 345).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
The Complexity of LTL Rational Synthesis
Kupferman, O. & Shenwald, N., 16 Apr 2024, In: ACM Transactions on Computational Logic. 25, 2, 10.Research output: Contribution to journal › Article › peer-review
Open Access