Marc Zeitoun
Orcid: 0000-0003-4101-8437Affiliations:
- University of Bordeaux 1, LABRI, France
According to our database1,
Marc Zeitoun
authored at least 59 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
Proceedings of the LATIN 2022: Theoretical Informatics, 2022
A Generic Polynomial Time Approach to Separation by First-Order Logic Without Quantifier Alternation.
Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022
Proceedings of the Computer Science - Theory and Applications, 2022
2021
2020
ACM Trans. Comput. Log., 2020
Selected papers of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017.
J. Comput. Syst. Sci., 2020
2019
J. ACM, 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
2017
Discret. Math. Theor. Comput. Sci., 2017
Proceedings of the Computer Science - Theory and Applications, 2017
2016
Discret. Math. Theor. Comput. Sci., 2016
The Covering Problem: A Unified Approach for Investigating the Expressive Power of Logics.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the Foundations of Software Science and Computation Structures, 2016
2015
ACM SIGLOG News, 2015
LMS J. Comput. Math., 2015
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015
2014
Temporal logics for concurrent recursive programs: Satisfiability and model checking.
J. Appl. Log., 2014
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.
Log. Methods Comput. Sci., 2014
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
CoRR, 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
2012
Log. Methods Comput. Sci., 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
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
2009
Formal Methods Syst. Des., 2009
2008
Inf. Process. Lett., 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Theor. Comput. Sci., 2007
2006
J. Comput. Syst. Sci., 2006
2004
Proceedings of the Workshop on Games in Design and Verification, 2004
Proceedings of the Model Checking Software, 2004
Proceedings of the LATIN 2004: Theoretical Informatics, 2004
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004
1999
1997
1995
Int. J. Algebra Comput., 1995