Arnaud Sangnier
Orcid: 0000-0002-6731-0340
According to our database1,
Arnaud Sangnier
authored at least 48 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
1
1
1
3
1
1
1
3
1
1
4
2
1
1
3
2
1
3
3
3
4
2
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Proceedings of the 13th International Symposium on Games, 2022
2021
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 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
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction.
Proceedings of the 36th Italian Conference on Computational Logic, 2021
2020
Formal Methods Syst. Des., 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
Proceedings of the Networked Systems - 7th International Conference, 2019
2018
Theor. Comput. Sci., 2018
2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Theor. Comput. Sci., 2016
Fundam. Informaticae, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Proceedings of the Foundations of Software Science and Computation Structures, 2016
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
Proceedings of the Proceedings Sixth International Symposium on Games, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
Proceedings of the Foundations of Software Science and Computation Structures, 2014
2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
2012
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
2011
Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
2010
Theor. Comput. Sci., 2010
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010
Proceedings of the Foundations of Software Science and Computational Structures, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
Proceedings of the Joint Proceedings of the 8th, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Proceedings of the Mathematical Foundations of Computer Science 2008, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Infinity in Logic and Computation, International Conference, 2007