# Dana Fisman

According to our database

Collaborative distances:

^{1}, Dana Fisman authored at least 45 papers between 2001 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Theor. Comput. Sci., 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 Twenty-Ninth 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 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 Twenty-Fourth 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 Computer-Aided 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: 978-0-387-36123-9, 2006

2005

Proceedings of the Twenty-Fourth 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