Bahareh Afshari
Orcid: 0000-0003-1511-1208Affiliations:
- University of Amsterdam, The Netherlands
- University of Gothenburg, Sweden (former)
According to our database1,
Bahareh Afshari
authored at least 21 papers
between 2006 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
2023
J. Graph Theory, October, 2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
2022
Proceedings of the Logic, Language, Information, and Computation, 2022
2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
2020
Proceedings of the 13th Conference on Advances in Modal Logic, 2020
2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019
2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2016
Proceedings of the Proceedings Sixth International Workshop on Classical Logic and Computation, 2016
2015
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015
2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
Proceedings of the How the World Computes, 2012
2010
Arch. Math. Log., 2010
2009
Ann. Pure Appl. Log., 2009
2007
2006
Proceedings of the Theory and Applications of Models of Computation, 2006