Joëlle Despeyroux
According to our database1,
Joëlle Despeyroux
authored at least 20 papers
between 1983 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
2
1
1
1
1
2
1
1
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
2019
2018
Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018
2016
Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016
Proceedings of the Computational Methods in Systems Biology, 2016
2014
Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014
2013
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology.
CoRR, 2013
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013
2001
2000
Proceedings of the Theoretical Computer Science, 2000
1998
Proceedings of the Types for Proofs and Programs, 1998
1995
Proceedings of the Typed Lambda Calculi and Applications, 1995
1994
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994
1992
1986
Proof of Translation in Natural Semantics
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986
1983