Udi Boker
Orcid: 0000-0003-4322-8892
According to our database1,
Udi Boker
authored at least 54 papers
between 2005 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
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
2023
When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism.
ACM SIGLOG News, January, 2023
Log. Methods Comput. Sci., 2023
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
ACM Trans. Program. Lang. Syst., 2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
2021
Proceedings of the Reachability Problems - 15th International Conference, 2021
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
CoRR, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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
2019
Proceedings of the Developments in Language Theory - 23rd International Conference, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
2018
Log. Methods Comput. Sci., 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
2017
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the Martin Davis on Computability, 2016
2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
2014
Log. Methods Comput. Sci., 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
2012
ACM Trans. Comput. Log., 2012
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
Proceedings of the Computer Science Logic, 2011
2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Fields of Logic and Computation, 2010
Proceedings of the Fields of Logic and Computation, 2010
2009
Appl. Math. Comput., 2009
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009
2008
Proceedings of the Pillars of Computer Science, 2008
2006
2005
Proceedings of the First International Workshop on Developments in Computational Models, 2005
Proceedings of the New Computational Paradigms, 2005