Patrick Baillot
Orcid: 0009-0002-9364-1140
According to our database1,
Patrick Baillot
authored at least 36 papers
between 1997 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
1
1
2
1
1
1
1
1
1
3
1
2
2
1
1
2
1
1
1
1
2
1
1
1
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025
2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
2023
Proceedings of the Programming Languages and Systems, 2023
2022
ACM Trans. Program. Lang. Syst., 2022
2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
2020
Theor. Comput. Sci., 2020
2019
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.
J. Autom. Reason., 2019
2018
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus.
Inf. Comput., 2018
2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2015
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy.
Inf. Comput., 2015
2012
Math. Struct. Comput. Sci., 2012
2011
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
2010
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010
Proceedings of the Programming Languages and Systems, 2010
2009
ACM Trans. Comput. Log., 2009
CoRR, 2009
2007
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic.
Log. Methods Comput. Sci., 2007
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007
2006
Math. Struct. Comput. Sci., 2006
CoRR, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005
2004
Theor. Comput. Sci., 2004
Theor. Comput. Sci., 2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
2002
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002
2001
1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
Proceedings of the Computer Science Logic, 11th International Workshop, 1997