Benjamin Werner
Orcid: 0000-0002-6857-8699
According to our database1,
Benjamin Werner
authored at least 28 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
2
1
1
2
2
1
1
1
1
1
2
2
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
CoRR, 2023
Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023
2022
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022
2019
Spatially constrained tumour growth affects the patterns of clonal selection and neutral drift in cancer genomic data.
PLoS Comput. Biol., 2019
2018
Variation of mutational burden in healthy human tissues suggests non-random strand segregation and allows measuring somatic mutation rates.
PLoS Comput. Biol., 2018
2015
Math. Program., 2015
2013
Proceedings of the Intelligent Computer Mathematics, 2013
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation.
Proceedings of the 12th European Control Conference, 2013
2012
Proceedings of the Language Grounding in Robots, 2012
2011
Log. Methods Comput. Sci., 2011
Using Co-existing Attractors of a Sensorimotor Loop for the Motion Control of a Humanoid Robot.
Proceedings of the NCTA 2011, 2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
2008
2007
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007
2006
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006
2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
2003
2002
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002
1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
1996
Proceedings of the Types for Proofs and Programs, 1996
1994
On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
1993