20112024

Research activity per year

Fingerprint

Dive into the research topics where Guy Avni is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Auction-Based Scheduling

    Avni, G., Mallik, K. & Sadhukhan, S., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 153-172 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Dimension-Minimality and Primality of Counter Nets

    Almagor, S., Avni, G., Sinclair-Banks, H. & Yeshurun, A., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 229-249 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • A Game of Pawns

    Avni, G., Ghorpade, P. & Guha, S., Sep 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Bidding Graph Games with Partially-Observable Budgets

    Avni, G., Jecker, I. & Žikelić, D., 27 Jun 2023, AAAI-23 Technical Tracks 5. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI Press, p. 5464-5471 8 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Reachability Poorman Discrete-Bidding Games

    Avni, G., Meggendorfer, T., Sadhukhan, S., Tkadlec, J. & Žikelić, D., 28 Sep 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press BV, p. 141-148 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access