Nicolas Tabareau
Orcid: 0000-0003-3366-2273
According to our database1,
Nicolas Tabareau
authored at least 63 papers
between 2004 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
2025
0
1
2
3
4
5
6
7
1
2
1
3
4
3
4
3
2
1
1
2
1
1
1
1
2
2
2
2
2
3
5
2
4
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
Proceedings of the Programming Languages and Systems, 2024
2023
2022
ACM Trans. Program. Lang. Syst., 2022
2021
Proc. ACM Program. Lang., 2021
Math. Struct. Comput. Sci., 2021
2020
Proc. ACM Program. Lang., 2020
Proc. ACM Program. Lang., 2020
2019
J. Autom. Reason., 2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Proc. ACM Program. Lang., 2018
Math. Struct. Comput. Sci., 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Proceedings of the Programming Languages and Systems, 2018
2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
2016
Sci. Comput. Program., 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
2015
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015
Proceedings of the 11th Symposium on Dynamic Languages, 2015
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
2014
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications.
Sci. Comput. Program., 2014
Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
Proceedings of the 13th International Conference on Modularity, 2014
Proceedings of the 13th International Conference on Modularity, 2014
2013
LNCS Trans. Aspect Oriented Softw. Dev., 2013
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013
Proceedings of the Aspect-Oriented Software Development, 2013
2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012
2011
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011
2010
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010
2009
IEEE Trans. Autom. Control., 2009
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009
Compiling functional types to relational specifications for low level imperative code.
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009
2008
Modalités de ressource et contrôle en logique tensorielle. (Resource modalities and control in tensorial logic).
PhD thesis, 2008
Where neuroscience and dynamic system theory meet autonomous robotics: A contracting basal ganglia model for action selection.
Neural Networks, 2008
2007
Biol. Cybern., 2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
2006
Implementation of a neurophysiological model of saccadic eye movements on an anthropomorphic robotic head.
Proceedings of the 2006 6th IEEE-RAS International Conference on Humanoid Robots, 2006
2004
Proceedings of the Formal Techniques, 2004