Research output per year
Research output per year
Fingerprint
Dive into the research topics where Shaull Almagor is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Researchers
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
-
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.). 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 proceeding › Conference contribution › peer-review
Open Access -
Temporal segmentation in multi agent path finding with applications to explainability
Almagor, S., Kottinger, J. & Lahijanian, M., May 2024, In: Artificial Intelligence. 330, 104087.Research output: Contribution to journal › Article › peer-review
-
Jumping Automata over Infinite Words
Almagor, S. & Yizhaq, O., 2023, Developments in Language Theory - 27th International Conference, DLT 2023, Proceedings. Drewes, F. & Volkov, M. (eds.). p. 9-22 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13911 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
SIMULATION BY ROUNDS OF LETTER-TO-LETTER TRANSDUCERS
Abu Nassar, A. & Almagor, S., 2023, In: Logical Methods in Computer Science. 19, 4, p. 19:1-19:32Research output: Contribution to journal › Article › peer-review
Open Access -
Synchronized CTL over One-Counter Automata
Almagor, S., Assa, D. & Boker, U., Dec 2023, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. Bouyer, P., Srinivasan, S. & Srinivasan, S. (eds.). 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 284).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review