Dana Fisman
According to our database^{1},
Dana Fisman
authored at least 54 papers
between 2001 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2022
Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
Proceedings of the 33rd Annual Symposium on Combinatorial Pattern Matching, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
Inf. Comput., 2021
Formal Methods Syst. Des., 2021
Formal Methods Syst. Des., 2021
Proceedings of the ThirtyFifth AAAI Conference on Artificial Intelligence, 2021
2020
Theor. Comput. Sci., 2020
CoRR, 2020
CoRR, 2020
Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors.
CoRR, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the TwentyNinth International Joint Conference on Artificial Intelligence, 2020
Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries.
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020
2019
Log. Methods Comput. Sci., 2019
CoRR, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Log. Methods Comput. Sci., 2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
CoRR, 2018
Commun. ACM, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
2017
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
2016
Theor. Comput. Sci., 2016
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the Language and Automata Theory and Applications, 2016
Proceedings of the Programming Languages and Systems, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
Formal Methods Syst. Des., 2015
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015
Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations.
ACM Trans. Comput. Log., 2014
2013
Proceedings of the Computer Aided Verification  25th International Conference, 2013
2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
2009
Proceedings of the Hardware and Software: Verification and Testing, 2009
2008
Theor. Comput. Sci., 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Hardware and Software: Verification and Testing, 2008
Proceedings of the Hardware and Software: Verification and Testing, 2008
Proceedings of the Formal Methods in ComputerAided Design, 2008
2007
Proceedings of the Hardware and Software: Verification and Testing, 2007
Proceedings of the CONCUR 2007  Concurrency Theory, 18th International Conference, 2007
2006
Series on Integrated Circuits and Systems, Springer, ISBN: 9780387361239, 2006
2005
Proceedings of the TwentyFourth Annual ACM Symposium on Principles of Distributed Computing, 2005
Proceedings of the Hardware and Software Verification and Testing, 2005
2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2001
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001