Damien Pous
Orcid: 0000-0002-1220-4399
According to our database1,
Damien Pous
authored at least 87 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
1
3
1
3
1
3
5
1
2
1
2
1
3
2
1
1
2
2
4
7
7
3
5
5
5
2
3
1
2
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
Log. Methods Comput. Sci., 2024
Log. Methods Comput. Sci., 2024
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
2023
2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
Proceedings of the Coalgebraic Methods in Computer Science, 2022
2021
Proc. ACM Program. Lang., 2021
Modular coinduction up-to for higher-order languages via first-order transition systems.
Log. Methods Comput. Sci., 2021
2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms.
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
J. Log. Algebraic Methods Program., 2019
Formal Aspects Comput., 2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
Proceedings of the Foundations of Software Science and Computation Structures, 2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019
2018
Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
A robust reconfiguration protocol for the dynamic update of component-based software systems.
Softw. Pract. Exp., 2017
Proceedings of the Implementation and Application of Automata, 2017
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
2015
Proceedings of the Programming Languages Mentoring Workshop, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
De la KAM avec un Processus d'Ordre Supe'rieur.
Proceedings of the 25. Journées francophones des langages applicatifs, 2014
Formal verification in Coq of program properties involving the global state effect.
Proceedings of the 25. Journées francophones des langages applicatifs, 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
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Log. Methods Comput. Sci., 2012
Enhancements of the bisimulation proof method.
Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012
2011
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2008
PhD thesis, 2008
Using bisimulation proof techniques for the analysis of distributed abstract machines.
Theor. Comput. Sci., 2008
Log. Methods Comput. Sci., 2008
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008
CoRR, 2008
2007
J. Log. Algebraic Methods Program., 2007
Proceedings of the Foundations of Software Science and Computational Structures, 2007
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007
2006
CoRR, 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Proceedings of the Generative Programming and Component Engineering, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005