Shaull Almagor
Orcid: 0000-0001-9021-1175Affiliations:
- Technion Israel Institute of Technology, Israel
According to our database1,
Shaull Almagor
authored at least 50 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Temporal segmentation in multi agent path finding with applications to explainability.
Artif. Intell., 2024
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
2023
Log. Methods Comput. Sci., 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
Proceedings of the Developments in Language Theory - 27th International Conference, 2023
2022
ACM Trans. Comput. Log., 2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
2021
Proc. ACM Program. Lang., 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
2019
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Discret. Event Dyn. Syst., 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
PhD thesis, 2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
2010
Proceedings of the Automated Technology for Verification and Analysis, 2010